DEFAULT_REBOOT_MODE   30 kernel/reboot.c #define DEFAULT_REBOOT_MODE		= REBOOT_HARD
DEFAULT_REBOOT_MODE   32 kernel/reboot.c #define DEFAULT_REBOOT_MODE