Searched refs:ACPI_20_TABLE_GUID (Results 1 - 4 of 4) sorted by relevance
| /linux-master/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, 0x3c, 0x88, 0x81) macro
|
| H A D | acpi.c | 32 * Search EFI system tables for RSDP. Preferred is ACPI_20_TABLE_GUID to
36 ACPI_20_TABLE_GUID);
40 /* No ACPI_20_TABLE_GUID found, fallback to ACPI_TABLE_GUID. */
|
| /linux-master/drivers/firmware/efi/ |
| H A D | efi.c | 594 {ACPI_20_TABLE_GUID, &efi.acpi20, "ACPI 2.0" },
|
| /linux-master/include/linux/ |
| H A D | efi.h | 363 #define ACPI_20_TABLE_GUID EFI_GUID(0x8868e871, 0xe4f1, 0x11d3, 0xbc, 0x22, 0x00, 0x80, 0xc7, 0x3c, 0x88, 0x81) macro
|
Completed in 149 milliseconds