TianoCore EDK2 master
Loading...
Searching...
No Matches
Acpi.h
Go to the documentation of this file.
1
16#ifndef __ACPI_GUID_H__
17#define __ACPI_GUID_H__
18
19#define ACPI_TABLE_GUID \
20 { \
21 0xeb9d2d30, 0x2d88, 0x11d3, {0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d } \
22 }
23
24#define EFI_ACPI_TABLE_GUID \
25 { \
26 0x8868e871, 0xe4f1, 0x11d3, {0xbc, 0x22, 0x0, 0x80, 0xc7, 0x3c, 0x88, 0x81 } \
27 }
28
29#define ACPI_10_TABLE_GUID ACPI_TABLE_GUID
30
31//
32// ACPI 2.0 or newer tables should use EFI_ACPI_TABLE_GUID.
33//
34#define EFI_ACPI_20_TABLE_GUID EFI_ACPI_TABLE_GUID
35
36extern EFI_GUID gEfiAcpiTableGuid;
37extern EFI_GUID gEfiAcpi10TableGuid;
38extern EFI_GUID gEfiAcpi20TableGuid;
39
40#endif
Definition: Base.h:213