reboot_type 426 arch/x86/kernel/efi.c reboot_type = BOOT_EFI; reboot_type 36 arch/x86/kernel/reboot.c enum reboot_type reboot_type = BOOT_ACPI; reboot_type 86 arch/x86/kernel/reboot.c reboot_type = *str; reboot_type 118 arch/x86/kernel/reboot.c if (reboot_type != BOOT_BIOS) { reboot_type 119 arch/x86/kernel/reboot.c reboot_type = BOOT_BIOS; reboot_type 371 arch/x86/kernel/reboot.c switch (reboot_type) { reboot_type 386 arch/x86/kernel/reboot.c reboot_type = BOOT_KBD; reboot_type 393 arch/x86/kernel/reboot.c reboot_type = BOOT_KBD; reboot_type 399 arch/x86/kernel/reboot.c reboot_type = BOOT_KBD; reboot_type 408 arch/x86/kernel/reboot.c reboot_type = BOOT_KBD; reboot_type 14 include/asm-x86/emergency-restart.h extern enum reboot_type reboot_type;