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