Searched refs:acpi2 (Results 1 – 1 of 1) sorted by relevance
154 static efi_guid_t acpi2 = EFI_ACPI_TABLE_GUID; variable1678 if (dboot_same_guids(&VendorGuid, &acpi2)) { in process_efi32()1715 if (dboot_same_guids(&VendorGuid, &acpi2)) { in process_efi64()