1 files changed, 2 insertions, 0 deletions

diff --git a/arch/arm/kernel/process.c b/arch/arm/kernel/process.c
index 19c95ea65b2f..693b744fd572 100644
--- a/arch/arm/kernel/process.c
+++ b/arch/arm/kernel/process.c
@@ -247,6 +247,7 @@ void machine_shutdown(void)
 void machine_halt(void)
 {
         machine_shutdown();
+        local_irq_disable();
         while (1);
 }
 
@@ -268,6 +269,7 @@ void machine_restart(char *cmd)
 
         /* Whoops - the platform was unable to reboot. Tell the user! */
         printk("Reboot failed -- System halted\n");
+        local_irq_disable();
         while (1);
 }