Home
last modified time | relevance | path

Searched refs:reboot_type (Results 1 – 10 of 10) sorted by relevance

/linux-4.4.14/arch/x86/kernel/
Dreboot.c63 if (reboot_type != BOOT_BIOS) { in set_bios_reboot()
64 reboot_type = BOOT_BIOS; in set_bios_reboot()
119 if (reboot_type != BOOT_CF9_FORCE) { in set_pci_reboot()
120 reboot_type = BOOT_CF9_FORCE; in set_pci_reboot()
129 if (reboot_type != BOOT_KBD) { in set_kbd_reboot()
130 reboot_type = BOOT_KBD; in set_kbd_reboot()
441 reboot_type = BOOT_EFI; in reboot_init()
526 int orig_reboot_type = reboot_type; in native_machine_emergency_restart()
540 switch (reboot_type) { in native_machine_emergency_restart()
543 reboot_type = BOOT_KBD; in native_machine_emergency_restart()
[all …]
/linux-4.4.14/include/linux/
Dreboot.h22 enum reboot_type { enum
31 extern enum reboot_type reboot_type;
/linux-4.4.14/kernel/
Dreboot.c44 enum reboot_type reboot_type = BOOT_ACPI; variable
541 reboot_type = *str; in reboot_setup()
/linux-4.4.14/arch/x86/platform/ce4100/
Dce4100.c165 reboot_type = BOOT_KBD; in x86_ce4100_early_setup()
/linux-4.4.14/tools/testing/ktest/
Dktest.pl97 my $reboot_type;
259 "REBOOT_TYPE" => \$reboot_type,
1796 if ($reboot_type eq "grub2") {
1801 if ($reboot_type ne "grub") {
1890 if ($reboot_type eq "grub") {
1892 } elsif ($reboot_type eq "grub2") {
1894 } elsif ($reboot_type eq "syslinux") {
4252 if ($reboot_type eq "grub") {
4254 } elsif ($reboot_type eq "grub2") {
4257 } elsif ($reboot_type eq "syslinux") {
/linux-4.4.14/Documentation/x86/x86_64/
Duefi.txt38 reboot_type=k turn off EFI reboot runtime service
/linux-4.4.14/arch/powerpc/kernel/
Drtas_flash.c561 static void rtas_flash_firmware(int reboot_type) in rtas_flash_firmware() argument
571 if (reboot_type != SYS_RESTART) { in rtas_flash_firmware()
/linux-4.4.14/arch/powerpc/include/asm/
Dopal.h48 int64_t opal_cec_reboot2(uint32_t reboot_type, char *diag);
/linux-4.4.14/arch/x86/kernel/apic/
Dx2apic_uv_x.c1028 reboot_type = BOOT_ACPI; in uv_system_init()
/linux-4.4.14/Documentation/
Dkernel-parameters.txt3338 reboot_type is one of bios, acpi, kbd, triple, efi, or pci,