Searched refs:acpi_guid (Results 1 – 2 of 2) sorted by relevance
51 static EFI_GUID acpi_guid = ACPI_TABLE_GUID; variable84 rsdp = efi_get_table(&acpi_guid); in elf64_exec()
52 static EFI_GUID acpi_guid = ACPI_TABLE_GUID; variable106 rsdp = efi_get_table(&acpi_guid); in elf64_exec()