Searched refs:gEfiAcpi20TableGuid (Results 1 – 3 of 3) sorted by relevance
33 EFI_GUID gEfiAcpi20TableGuid = EFI_ACPI_TABLE_GUID; variable41 if ((rsdp = efi_get_table(&gEfiAcpi20TableGuid)) == NULL) in acpi_detect()
38 extern EFI_GUID gEfiAcpi20TableGuid;
370 .efi_guid = &gEfiAcpi20TableGuid },