[acpi] Add support for ACPI power off

Signed-off-by: Michael Brown <mcb30@ipxe.org>

src/arch/x86/include/bios.h

@@ -4,6 +4,7 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #define BDA_SEG 0x0040
+#define BDA_EBDA 0x000e
 #define BDA_EQUIPMENT_WORD 0x0010
 #define BDA_FBMS 0x0013
 #define BDA_REBOOT 0x0072

src/arch/x86/include/bits/errfile.h

@@ -24,6 +24,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 #define ERRFILE_int13con	( ERRFILE_ARCH | ERRFILE_CORE | 0x000d0000 )
 #define ERRFILE_gdbmach		( ERRFILE_ARCH | ERRFILE_CORE | 0x000e0000 )
 #define ERRFILE_rtc_entropy	( ERRFILE_ARCH | ERRFILE_CORE | 0x000f0000 )
+#define ERRFILE_acpipwr		( ERRFILE_ARCH | ERRFILE_CORE | 0x00100000 )
 
 #define ERRFILE_bootsector     ( ERRFILE_ARCH | ERRFILE_IMAGE | 0x00000000 )
 #define ERRFILE_bzimage	       ( ERRFILE_ARCH | ERRFILE_IMAGE | 0x00010000 )

src/arch/x86/include/ipxe/acpipwr.h

@@ -0,0 +1,14 @@
+#ifndef _IPXE_ACPIPWR_H
+#define _IPXE_ACPIPWR_H
+
+/** @file
+ *
+ * ACPI power off
+ *
+ */
+
+FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+
+extern int acpi_poweroff ( void );
+
+#endif /* _IPXE_ACPIPWR_H */

src/arch/x86/include/ipxe/apm.h

@@ -0,0 +1,14 @@
+#ifndef _IPXE_APM_H
+#define _IPXE_APM_H
+
+/** @file
+ *
+ * Advanced Power Management
+ *
+ */
+
+FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+
+extern int apm_poweroff ( void );
+
+#endif /* _IPXE_APM_H */