Searched refs:ACPI_20_TABLE_GUID (Results 1 – 2 of 2) sorted by relevance
296 status = efi_get_system_config_table(ACPI_20_TABLE_GUID, (void **)&rsdp); in setup_rsdp()
67 #define ACPI_20_TABLE_GUID EFI_GUID(0x8868e871, 0xe4f1, 0x11d3, 0xbc, 0x22, 0x00, 0x80, 0xc7, 0x3c… macro