x86: add ACPI reboot option
authorAaron Durbin <adurbin@google.com>
Wed, 30 Jan 2008 12:31:17 +0000 (13:31 +0100)
committerIngo Molnar <mingo@elte.hu>
Wed, 30 Jan 2008 12:31:17 +0000 (13:31 +0100)
commitfa20efd2fcd9349770113c6f72fc76ce437b62f5
tree15600837350257043966fe7b8d8cf0d1d8badd00
parent5f561d3be8f0db54f9b4fc5cb5db05343f372431
x86: add ACPI reboot option

Add the ability to reboot an x86_64 based machine using the RESET_REG in the
FADT ACPI table.

Signed-off-by: Aaron Durbin <adurbin@google.com>
Cc: Len Brown <lenb@kernel.org>
Cc: Andi Kleen <ak@suse.de>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Documentation/x86_64/boot-options.txt
arch/x86/kernel/reboot_64.c