|
@@ -29,11 +29,7 @@ EXPORT_SYMBOL(pm_power_off);
|
|
|
|
|
|
static const struct desc_ptr no_idt = {};
|
|
static const struct desc_ptr no_idt = {};
|
|
static int reboot_mode;
|
|
static int reboot_mode;
|
|
-/*
|
|
|
|
- * Keyboard reset and triple fault may result in INIT, not RESET, which
|
|
|
|
- * doesn't work when we're in vmx root mode. Try ACPI first.
|
|
|
|
- */
|
|
|
|
-enum reboot_type reboot_type = BOOT_ACPI;
|
|
|
|
|
|
+enum reboot_type reboot_type = BOOT_KBD;
|
|
int reboot_force;
|
|
int reboot_force;
|
|
|
|
|
|
#if defined(CONFIG_X86_32) && defined(CONFIG_SMP)
|
|
#if defined(CONFIG_X86_32) && defined(CONFIG_SMP)
|