static void device_reset(void) { flush_uart(); wdog_reset(); }
void do_board_reset(void) { wdog_reset(); }
void hard_reset(void) { wdog_reset(); }