void cpu_reset(void) { sbi_shutdown(); while(1); }
static void default_power_off(void) { sbi_shutdown(); while (1); }
void machine_power_off(void) { sbi_shutdown(); }