Searched refs:ACPI_20_TABLE_GUID (Results 1 – 4 of 4) sorted by relevance
| /Linux-v5.4/arch/x86/boot/compressed/ |
| D | acpi.c | 60 else if (!(efi_guidcmp(guid, ACPI_20_TABLE_GUID))) in __efi_get_rsdp_addr()
|
| /Linux-v5.4/drivers/firmware/efi/ |
| D | efi.c | 463 {ACPI_20_TABLE_GUID, "ACPI 2.0", &efi.acpi20},
|
| /Linux-v5.4/include/linux/ |
| D | efi.h | 651 #define ACPI_20_TABLE_GUID EFI_GUID(0x8868e871, 0xe4f1, 0x11d3, 0xbc, 0x22, 0x00, 0x80, 0xc7, 0x… macro
|
| /Linux-v5.4/Documentation/arm64/ |
| D | arm-acpi.rst | 141 MUST set the ACPI_20_TABLE_GUID to point to the RSDP table (the table with
|
