Searched refs:acpi20_guid (Results 1 – 2 of 2) sorted by relevance
53 static EFI_GUID acpi20_guid = ACPI_20_TABLE_GUID; variable83 rsdp = efi_get_table(&acpi20_guid); in elf64_exec()
55 static EFI_GUID acpi20_guid = ACPI_20_TABLE_GUID; variable116 rsdp = efi_get_table(&acpi20_guid); in elf64_exec()