Searched refs:ACPI_TABLE_GUID (Results 1 – 2 of 2) sorted by relevance
| /arch/x86/boot/compressed/ | ||
| A D | efi.h | 16 #define ACPI_TABLE_GUID EFI_GUID(0xeb9d2d30, 0x2d88, 0x11d3, 0x9a, 0x16, 0x00, 0x90, 0x27, 0x3f… macro |
| A D | acpi.c | 42 ACPI_TABLE_GUID); in __efi_get_rsdp_addr() |
Completed in 5 milliseconds