Searched refs:ACPI_20_TABLE_GUID (Results 1 – 5 of 5) sorted by relevance
/openbmc/linux/arch/x86/boot/compressed/ |
H A D | efi.h | 17 #define ACPI_20_TABLE_GUID EFI_GUID(0x8868e871, 0xe4f1, 0x11d3, 0xbc, 0x22, 0x00, 0x80, 0xc7, 0x… macro
|
H A D | acpi.c | 30 * Search EFI system tables for RSDP. Preferred is ACPI_20_TABLE_GUID to in __efi_get_rsdp_addr() 34 ACPI_20_TABLE_GUID); in __efi_get_rsdp_addr() 38 /* No ACPI_20_TABLE_GUID found, fallback to ACPI_TABLE_GUID. */ in __efi_get_rsdp_addr()
|
/openbmc/linux/drivers/firmware/efi/ |
H A D | efi.c | 576 {ACPI_20_TABLE_GUID, &efi.acpi20, "ACPI 2.0" },
|
/openbmc/linux/include/linux/ |
H A D | efi.h | 364 #define ACPI_20_TABLE_GUID EFI_GUID(0x8868e871, 0xe4f1, 0x11d3, 0xbc, 0x22, 0x00, 0x80, 0xc7, 0x… macro
|
/openbmc/linux/Documentation/arch/arm64/ |
H A D | arm-acpi.rst | 142 MUST set the ACPI_20_TABLE_GUID to point to the RSDP table (the table with
|