acrn-kernel/include/acpi/reboot.h

#ifndef __ACPI_REBOOT_H
#define __ACPI_REBOOT_H

#ifdef CONFIG_ACPI
extern void acpi_reboot(void);
#else
static inline void acpi_reboot(void) { }
#endif

#endif
Add the ability to reset the machine using the RESET_REG in ACPI's FADT table. Signed-off-by: Aaron Durbin <adurbin@google.com> Signed-off-by: Andi Kleen <ak@linux.intel.com> Cc: Len Brown <lenb@kernel.org> Cc: Andi Kleen <andi@firstfloor.org> Signed-off-by: Andrew Morton <akpm@linux-foundation.org> 2008-07-17 05:27:08 +08:00			`#ifndef __ACPI_REBOOT_H`
			`#define __ACPI_REBOOT_H`

			`#ifdef CONFIG_ACPI`
			`extern void acpi_reboot(void);`
			`#else`
			`static inline void acpi_reboot(void) { }`
			`#endif`
x86: dummy placeholder for acpi/reboot.h dummy placeholder for acpi/reboot.h Signed-off-by: Ingo Molnar <mingo@elte.hu> Signed-off-by: Thomas Gleixner <tglx@linutronix.de> 2008-01-30 20:31:17 +08:00
			`#endif`