@@ -134,6 +134,7 @@ void machine_shutdown(void)
*/
void machine_halt(void)
{
+ local_irq_disable();
smp_send_stop();
while (1);
}
@@ -146,6 +147,7 @@ void machine_halt(void)
*/
void machine_power_off(void)
{
+ local_irq_disable();
smp_send_stop();
if (pm_power_off)
pm_power_off();
@@ -164,10 +166,9 @@ void machine_power_off(void)
*/
void machine_restart(char *cmd)
{
- smp_send_stop();
-
/* Disable interrupts first */
local_irq_disable();
+ smp_send_stop();
/* Now call the architecture specific reboot code. */
if (arm_pm_restart)