16#ifndef __ACPI_GUID_H__
17#define __ACPI_GUID_H__
22#define ACPI_TABLE_GUID \
24 0xeb9d2d30, 0x2d88, 0x11d3, {0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d } \
27#define EFI_ACPI_TABLE_GUID \
29 0x8868e871, 0xe4f1, 0x11d3, {0xbc, 0x22, 0x0, 0x80, 0xc7, 0x3c, 0x88, 0x81 } \
32#define ACPI_10_TABLE_GUID ACPI_TABLE_GUID
37#define EFI_ACPI_20_TABLE_GUID EFI_ACPI_TABLE_GUID
EFI_GUID gEfiAcpi10TableGuid
EFI_GUID gEfiAcpi20TableGuid
EFI_GUID gEfiAcpiTableGuid
GUID EFI_GUID
128-bit buffer containing a unique identifier value.
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
#define FILE_SECBOOT(_status)
Declare a file's UEFI Secure Boot permission status.