|
@@ -197,6 +197,7 @@ void machine_shutdown(void)
|
|
|
*/
|
|
|
void machine_halt(void)
|
|
|
{
|
|
|
+ local_irq_disable();
|
|
|
smp_send_stop();
|
|
|
|
|
|
local_irq_disable();
|
|
@@ -211,6 +212,7 @@ void machine_halt(void)
|
|
|
*/
|
|
|
void machine_power_off(void)
|
|
|
{
|
|
|
+ local_irq_disable();
|
|
|
smp_send_stop();
|
|
|
|
|
|
if (pm_power_off)
|
|
@@ -230,6 +232,7 @@ void machine_power_off(void)
|
|
|
*/
|
|
|
void machine_restart(char *cmd)
|
|
|
{
|
|
|
+ local_irq_disable();
|
|
|
smp_send_stop();
|
|
|
|
|
|
arm_pm_restart(reboot_mode, cmd);
|