ARM: tango: add HOTPLUG_CPU support
[linux-2.6-microblaze.git] / arch / arm / mach-tango / smc.h
index 7a4af35..3d31f98 100644 (file)
@@ -2,4 +2,6 @@ extern int tango_smc(unsigned int val, unsigned int service);
 
 #define tango_set_l2_control(val)      tango_smc(val, 0x102)
 #define tango_start_aux_core(val)      tango_smc(val, 0x104)
-#define tango_set_aux_boot_addr(val)   tango_smc((unsigned int)val, 0x105)
+#define tango_set_aux_boot_addr(val)   tango_smc(val, 0x105)
+#define tango_aux_core_die(val)                tango_smc(val, 0x121)
+#define tango_aux_core_kill(val)       tango_smc(val, 0x122)