Use ao_delay to sleep for 2 seconds instead of trying ao_sleep
[fw/altos] / src / ao_reboot.c
index 82ea32e0b216ba5d91084b89d02c0d1f6d2ebcf9..8c47b89351cf7ed5ce5963510dcf4227f7135606 100644 (file)
@@ -23,6 +23,6 @@ void
 ao_reboot(void)
 {
        WDCTL = WDCTL_EN | WDCTL_MODE_WATCHDOG | WDCTL_INT_32768;
 ao_reboot(void)
 {
        WDCTL = WDCTL_EN | WDCTL_MODE_WATCHDOG | WDCTL_INT_32768;
-       ao_sleep(AO_SEC_TO_TICKS(2));
+       ao_delay(AO_SEC_TO_TICKS(2));
        ao_panic(AO_PANIC_REBOOT);
 }
        ao_panic(AO_PANIC_REBOOT);
 }