changeset 2 | d1f6d8b6f81c |
parent 0 | aa628870c1d3 |
1:0056487c491e | 2:d1f6d8b6f81c |
---|---|
6 BOOT_KBD = 'k', |
6 BOOT_KBD = 'k', |
7 #ifdef CONFIG_X86_32 |
7 #ifdef CONFIG_X86_32 |
8 BOOT_BIOS = 'b', |
8 BOOT_BIOS = 'b', |
9 #endif |
9 #endif |
10 BOOT_ACPI = 'a', |
10 BOOT_ACPI = 'a', |
11 BOOT_EFI = 'e' |
11 BOOT_EFI = 'e', |
12 BOOT_CF9 = 'p', |
|
13 BOOT_CF9_COND = 'q', |
|
12 }; |
14 }; |
13 |
15 |
14 extern enum reboot_type reboot_type; |
16 extern enum reboot_type reboot_type; |
15 |
17 |
16 extern void machine_emergency_restart(void); |
18 extern void machine_emergency_restart(void); |