Searched refs:ACPI_20_TABLE_GUID (Results 1 – 3 of 3) sorted by relevance
184 #define ACPI_20_TABLE_GUID \ macro
533 } else if (efi_guidcmp(config_tables[i].guid, ACPI_20_TABLE_GUID) == 0) { in efi_init()
579 efi_tables->guid = ACPI_20_TABLE_GUID; in sys_fw_init()