arm64: add better and more generic spin-table support
[oweals/u-boot.git] / arch / arm / mach-keystone / keystone.c
index 11a9357db4140d3dec56e01246c1a3615e13c834..beb8a767c44a7bcd0dc13f8c54393d391f37c77e 100644 (file)
@@ -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;
@@ -54,22 +36,11 @@ static void turn_off_all_dsps(int num_dsps)
                if (psc_disable_module(i + KS2_LPSC_GEM_0))
                        printf("Cannot disable module for #%d DSP", i);
 
-               if (psc_disable_domain(i + 8))
+               if (psc_disable_domain(i + KS2_GEM_0_PWR_DOMAIN))
                        printf("Cannot disable domain for #%d DSP", i);
        }
 }
 
-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;