Searched refs:ACPI_TABLE_GUID (Results 1 – 3 of 3) sorted by relevance
| /Linux-v5.4/arch/x86/boot/compressed/ |
| D | acpi.c | 58 if (!(efi_guidcmp(guid, ACPI_TABLE_GUID))) in __efi_get_rsdp_addr()
|
| /Linux-v5.4/drivers/firmware/efi/ |
| D | efi.c | 464 {ACPI_TABLE_GUID, "ACPI", &efi.acpi},
|
| /Linux-v5.4/include/linux/ |
| D | efi.h | 650 #define ACPI_TABLE_GUID EFI_GUID(0xeb9d2d30, 0x2d88, 0x11d3, 0x9a, 0x16, 0x00, 0x90, 0x27, 0x3f… macro
|
