local_irq_enable();
}
-static enum reboot_mode reboot_mode = REBOOT_HARD;
-
-int __init reboot_setup(char *str)
-{
- if ('s' == str[0])
- reboot_mode = REBOOT_SOFT;
- return 1;
-}
-__setup("reboot=", reboot_setup);
-
void machine_halt(void)
{
gpio_set_value(GPO_SOFT_OFF, 0);