reboot: Use power off rather than busy spinning when halt is requested

diff --git a/arch/arm/kernel/reboot.c b/arch/arm/kernel/reboot.c
index bb18ed0..a8595ab 100644 (file)
--- a/arch/arm/kernel/reboot.c
+++ b/arch/arm/kernel/reboot.c
@@ -102,9 +102,7 @@ void machine_shutdown(void)
  */
 void machine_halt(void)
 {
-       local_irq_disable();
-       smp_send_stop();
-       while (1);
+       machine_power_off();
 }
 
 /*