All of lore.kernel.org
 help / color / mirror / Atom feed
From: Matt Wilson <msw@amazon.com>
To: xen-devel@lists.xenproject.org
Cc: Andrew Cooper <andrew.cooper3@citrix.com>,
	Ben Guthro <benjamin.guthro@citrix.com>,
	Keir Fraser <keir@xen.org>, Jan Beulich <jbeulich@suse.com>
Subject: [PATCH] x86: remove references to unimplemented BIOS reboot option
Date: Fri, 30 Aug 2013 00:13:32 +0000	[thread overview]
Message-ID: <1377821612-27939-1-git-send-email-msw@amazon.com> (raw)

The BIOS reboot option was never implemented for x86_64, and retaining
it is somewhat false advertising.

Signed-off-by: Matt Wilson <msw@amazon.com>
Cc: Keir Fraser <keir@xen.org>
Cc: Jan Beulich <jbeulich@suse.com>
Cc: Andrew Cooper <andrew.cooper3@citrix.com>
Cc: Ben Guthro <benjamin.guthro@citrix.com>
---
 docs/misc/xen-command-line.markdown |    5 +---
 xen/arch/x86/shutdown.c             |   42 ++++++++++++++--------------------
 2 files changed, 18 insertions(+), 29 deletions(-)

diff --git a/docs/misc/xen-command-line.markdown b/docs/misc/xen-command-line.markdown
index 13c0306..da97da8 100644
--- a/docs/misc/xen-command-line.markdown
+++ b/docs/misc/xen-command-line.markdown
@@ -747,7 +747,7 @@ This option can be specified more than once (up to 8 times at present).
 > `= <integer>`
 
 ### reboot
-> `= b[ios] | t[riple] | k[bd] | n[o] [, [w]arm | [c]old]`
+> `= t[riple] | k[bd] | n[o] [, [w]arm | [c]old]`
 
 Default: `0`
 
@@ -757,9 +757,6 @@ Specify the host reboot method.
 
 `cold` instructs Xen to set the cold reboot flag.
 
-`bios` instructs Xen to reboot the host by jumping to BIOS. This is
-only available on 32-bit x86 platforms.
-
 `triple` instructs Xen to reboot the host by causing a triple fault.
 
 `kbd` instructs Xen to reboot the host via the keyboard controller.
diff --git a/xen/arch/x86/shutdown.c b/xen/arch/x86/shutdown.c
index 4715681..167905a 100644
--- a/xen/arch/x86/shutdown.c
+++ b/xen/arch/x86/shutdown.c
@@ -31,7 +31,6 @@ enum reboot_type {
         BOOT_TRIPLE = 't',
         BOOT_KBD = 'k',
         BOOT_ACPI = 'a',
-        BOOT_BIOS = 'b',
         BOOT_CF9 = 'p',
 };
 
@@ -42,7 +41,6 @@ static int reboot_mode;
  * reboot=b[ios] | t[riple] | k[bd] | n[o] [, [w]arm | [c]old]
  * warm   Don't set the cold reboot flag
  * cold   Set the cold reboot flag
- * bios   Reboot by jumping through the BIOS (only for X86_32)
  * triple Force a triple fault (init)
  * kbd    Use the keyboard controller. cold reset (default)
  * acpi   Use the RESET_REG in the FADT
@@ -64,7 +62,6 @@ static void __init set_reboot_type(char *str)
         case 'c': /* "cold" reboot (with memory testing etc) */
             reboot_mode = 0x0;
             break;
-        case 'b':
         case 'a':
         case 'k':
         case 't':
@@ -112,7 +109,6 @@ static int __init override_reboot(struct dmi_system_id *d)
     {
         static const char *__initdata msg[] =
         {
-            [BOOT_BIOS] = "BIOS",
             [BOOT_KBD]  = "keyboard controller",
             [BOOT_CF9]  = "PCI",
         };
@@ -128,7 +124,7 @@ static int __init override_reboot(struct dmi_system_id *d)
 static struct dmi_system_id __initdata reboot_dmi_table[] = {
     {    /* Handle problems with rebooting on Dell E520's */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Dell E520",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
@@ -137,7 +133,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on Dell 1300's */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Dell PowerEdge 1300",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Dell Computer Corporation"),
@@ -146,7 +142,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on Dell 300's */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Dell PowerEdge 300",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Dell Computer Corporation"),
@@ -155,7 +151,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on Dell Optiplex 745's SFF */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Dell OptiPlex 745",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
@@ -164,7 +160,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on Dell Optiplex 745's DFF */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Dell OptiPlex 745",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
@@ -174,7 +170,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on Dell Optiplex 745 with 0KW626 */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Dell OptiPlex 745",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
@@ -184,7 +180,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on Dell Optiplex 330 with 0KP561 */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Dell OptiPlex 330",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
@@ -194,7 +190,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on Dell Optiplex 360 with 0T656F */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Dell OptiPlex 360",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
@@ -204,7 +200,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on Dell OptiPlex 760 with 0G919G */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Dell OptiPlex 760",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
@@ -214,7 +210,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on Dell 2400's */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Dell PowerEdge 2400",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Dell Computer Corporation"),
@@ -223,7 +219,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on Dell T5400's */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Dell Precision T5400",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
@@ -232,7 +228,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on Dell T7400's */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Dell Precision T7400",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
@@ -241,7 +237,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on HP laptops */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "HP Compaq Laptop",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Hewlett-Packard"),
@@ -250,7 +246,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on Dell XPS710 */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Dell XPS710",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
@@ -259,7 +255,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on Dell DXP061 */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Dell DXP061",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
@@ -268,7 +264,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on Sony VGN-Z540N */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "Sony VGN-Z540N",
         .matches = {
             DMI_MATCH(DMI_SYS_VENDOR, "Sony Corporation"),
@@ -277,7 +273,7 @@ static struct dmi_system_id __initdata reboot_dmi_table[] = {
     },
     {    /* Handle problems with rebooting on ASUS P4S800 */
         .callback = override_reboot,
-        .driver_data = (void *)(long)BOOT_BIOS,
+        .driver_data = (void *)(long)BOOT_KBD,
         .ident = "ASUS P4S800",
         .matches = {
             DMI_MATCH(DMI_BOARD_VENDOR, "ASUSTeK Computer INC."),
@@ -530,10 +526,6 @@ void machine_restart(unsigned int delay_millisecs)
             asm volatile ( "lidt %0 ; int3" : "=m" (no_idt) );
             reboot_type = BOOT_KBD;
             break;
-        case BOOT_BIOS:
-            /* unsupported on x86_64 */
-            reboot_type = BOOT_KBD;
-            break;
         case BOOT_ACPI:
             acpi_reboot();
             reboot_type = BOOT_KBD;
-- 
1.7.4.5

             reply	other threads:[~2013-08-30  0:13 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-08-30  0:13 Matt Wilson [this message]
2013-08-30  5:23 ` [PATCH] x86: remove references to unimplemented BIOS reboot option Keir Fraser
2013-08-30  8:40 ` Andrew Cooper
2013-08-30  8:53 ` Jan Beulich
2013-08-30 16:25   ` Matt Wilson

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1377821612-27939-1-git-send-email-msw@amazon.com \
    --to=msw@amazon.com \
    --cc=andrew.cooper3@citrix.com \
    --cc=benjamin.guthro@citrix.com \
    --cc=jbeulich@suse.com \
    --cc=keir@xen.org \
    --cc=xen-devel@lists.xenproject.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.