Searched refs:gEfiAcpiTableGuid (Results 1 – 3 of 3) sorted by relevance
32 EFI_GUID gEfiAcpiTableGuid = ACPI_TABLE_GUID; variable42 rsdp = efi_get_table(&gEfiAcpiTableGuid); in acpi_detect()
36 extern EFI_GUID gEfiAcpiTableGuid;
368 .efi_guid = &gEfiAcpiTableGuid },