reboot_default    501 arch/x86/kernel/reboot.c 	if (!reboot_default)
reboot_default     38 include/linux/reboot.h extern int reboot_default;
reboot_default     44 kernel/reboot.c int reboot_default = 1;
reboot_default    531 kernel/reboot.c 		reboot_default = 0;