diff options
author | Michael Brown <mcb30@ipxe.org> | 2017-05-23 18:32:31 +0100 |
---|---|---|
committer | Michael Brown <mcb30@ipxe.org> | 2017-05-23 18:48:02 +0100 |
commit | 993fd2b45140d071d7837ff502df771e87f14127 (patch) | |
tree | ccae8dca9af4937e3b9092ef0706e97dbf188f37 /src/include/ipxe/efi | |
parent | 933e6dadc0b415b26c7c0752423e8284164945e0 (diff) | |
download | ipxe-993fd2b45140d071d7837ff502df771e87f14127.zip ipxe-993fd2b45140d071d7837ff502df771e87f14127.tar.gz ipxe-993fd2b45140d071d7837ff502df771e87f14127.tar.bz2 |
[efi] Provide access to ACPI tables
Signed-off-by: Michael Brown <mcb30@ipxe.org>
Diffstat (limited to 'src/include/ipxe/efi')
-rw-r--r-- | src/include/ipxe/efi/Guid/Acpi.h | 48 | ||||
-rw-r--r-- | src/include/ipxe/efi/efi_acpi.h | 18 |
2 files changed, 66 insertions, 0 deletions
diff --git a/src/include/ipxe/efi/Guid/Acpi.h b/src/include/ipxe/efi/Guid/Acpi.h new file mode 100644 index 0000000..c4169c5 --- /dev/null +++ b/src/include/ipxe/efi/Guid/Acpi.h @@ -0,0 +1,48 @@ +/** @file + GUIDs used for ACPI entries in the EFI system table + + These GUIDs point the ACPI tables as defined in the ACPI specifications. + ACPI 2.0 specification defines the ACPI 2.0 GUID. UEFI 2.0 defines the + ACPI 2.0 Table GUID and ACPI Table GUID. + + Copyright (c) 2006 - 2009, Intel Corporation. All rights reserved.<BR> + This program and the accompanying materials + are licensed and made available under the terms and conditions of the BSD License + which accompanies this distribution. The full text of the license may be found at + http://opensource.org/licenses/bsd-license.php + + THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, + WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. + + @par Revision Reference: + GUIDs defined in UEFI 2.0 spec. + +**/ + +#ifndef __ACPI_GUID_H__ +#define __ACPI_GUID_H__ + +FILE_LICENCE ( BSD3 ); + +#define ACPI_TABLE_GUID \ + { \ + 0xeb9d2d30, 0x2d88, 0x11d3, {0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d } \ + } + +#define EFI_ACPI_TABLE_GUID \ + { \ + 0x8868e871, 0xe4f1, 0x11d3, {0xbc, 0x22, 0x0, 0x80, 0xc7, 0x3c, 0x88, 0x81 } \ + } + +#define ACPI_10_TABLE_GUID ACPI_TABLE_GUID + +// +// ACPI 2.0 or newer tables should use EFI_ACPI_TABLE_GUID. +// +#define EFI_ACPI_20_TABLE_GUID EFI_ACPI_TABLE_GUID + +extern EFI_GUID gEfiAcpiTableGuid; +extern EFI_GUID gEfiAcpi10TableGuid; +extern EFI_GUID gEfiAcpi20TableGuid; + +#endif diff --git a/src/include/ipxe/efi/efi_acpi.h b/src/include/ipxe/efi/efi_acpi.h new file mode 100644 index 0000000..01456f1 --- /dev/null +++ b/src/include/ipxe/efi/efi_acpi.h @@ -0,0 +1,18 @@ +#ifndef _IPXE_EFI_ACPI_H +#define _IPXE_EFI_ACPI_H + +/** @file + * + * iPXE ACPI API for EFI + * + */ + +FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL ); + +#ifdef ACPI_EFI +#define ACPI_PREFIX_efi +#else +#define ACPI_PREFIX_efi __efi_ +#endif + +#endif /* _IPXE_EFI_ACPI_H */ |