ao_sleep doesn't delay for a specified time interval as much as one
might want it to.
if (!ao_match_word("eboot"))
return;
WDCTL = WDCTL_EN | WDCTL_MODE_WATCHDOG | WDCTL_INT_64;
if (!ao_match_word("eboot"))
return;
WDCTL = WDCTL_EN | WDCTL_MODE_WATCHDOG | WDCTL_INT_64;
- ao_sleep(AO_SEC_TO_TICKS(2));
+ ao_delay(AO_SEC_TO_TICKS(2));
ao_panic(AO_PANIC_REBOOT);
}
ao_panic(AO_PANIC_REBOOT);
}
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);
}