|
@@ -9,10 +9,8 @@
|
|
|
|
|
|
#include <common.h>
|
|
|
#include <asm/io.h>
|
|
|
-#include <asm/arch/mon.h>
|
|
|
#include <asm/arch/psc_defs.h>
|
|
|
#include <asm/arch/hardware.h>
|
|
|
-#include <asm/arch/hardware.h>
|
|
|
|
|
|
/**
|
|
|
* cpu_to_bus - swap bytes of the 32-bit data if the device is BE
|
|
@@ -30,22 +28,6 @@ int cpu_to_bus(u32 *ptr, u32 length)
|
|
|
return 0;
|
|
|
}
|
|
|
|
|
|
-static int turn_off_myself(void)
|
|
|
-{
|
|
|
- printf("Turning off ourselves\r\n");
|
|
|
- mon_power_off(0);
|
|
|
-
|
|
|
- psc_disable_module(KS2_LPSC_TETRIS);
|
|
|
- psc_disable_domain(KS2_TETRIS_PWR_DOMAIN);
|
|
|
-
|
|
|
- asm volatile ("isb\n"
|
|
|
- "dsb\n"
|
|
|
- "wfi\n");
|
|
|
-
|
|
|
- printf("What! Should not see that\n");
|
|
|
- return 0;
|
|
|
-}
|
|
|
-
|
|
|
static void turn_off_all_dsps(int num_dsps)
|
|
|
{
|
|
|
int i;
|
|
@@ -59,17 +41,6 @@ static void turn_off_all_dsps(int num_dsps)
|
|
|
}
|
|
|
}
|
|
|
|
|
|
-int do_killme_cmd(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
|
|
|
-{
|
|
|
- return turn_off_myself();
|
|
|
-}
|
|
|
-
|
|
|
-U_BOOT_CMD(
|
|
|
- killme, 1, 0, do_killme_cmd,
|
|
|
- "turn off main ARM core",
|
|
|
- "turn off main ARM core. Should not live after that :(\n"
|
|
|
-);
|
|
|
-
|
|
|
int misc_init_r(void)
|
|
|
{
|
|
|
char *env;
|