|
@@ -128,9 +128,7 @@ void machine_restart(char *cmd)
|
|
|
machine_shutdown();
|
|
|
if (ppc_md.restart)
|
|
|
ppc_md.restart(cmd);
|
|
|
-#ifdef CONFIG_SMP
|
|
|
smp_send_stop();
|
|
|
-#endif
|
|
|
printk(KERN_EMERG "System Halted, OK to turn off power\n");
|
|
|
local_irq_disable();
|
|
|
while (1) ;
|
|
@@ -141,9 +139,7 @@ void machine_power_off(void)
|
|
|
machine_shutdown();
|
|
|
if (pm_power_off)
|
|
|
pm_power_off();
|
|
|
-#ifdef CONFIG_SMP
|
|
|
smp_send_stop();
|
|
|
-#endif
|
|
|
printk(KERN_EMERG "System Halted, OK to turn off power\n");
|
|
|
local_irq_disable();
|
|
|
while (1) ;
|
|
@@ -159,9 +155,7 @@ void machine_halt(void)
|
|
|
machine_shutdown();
|
|
|
if (ppc_md.halt)
|
|
|
ppc_md.halt();
|
|
|
-#ifdef CONFIG_SMP
|
|
|
smp_send_stop();
|
|
|
-#endif
|
|
|
printk(KERN_EMERG "System Halted, OK to turn off power\n");
|
|
|
local_irq_disable();
|
|
|
while (1) ;
|