Searched refs:acpi20 (Results 1 – 1 of 1) sorted by relevance
77 EFI_GUID acpi20 = ACPI_20_TABLE_GUID; variable1129 if ((rsdp = efi_get_table(&acpi20)) == NULL) in acpi_detect()