Searched refs:acpi1 (Results 1 – 1 of 1) sorted by relevance
155 static efi_guid_t acpi1 = ACPI_10_TABLE_GUID; variable1683 dboot_same_guids(&VendorGuid, &acpi1)) { in process_efi32()1720 dboot_same_guids(&VendorGuid, &acpi1)) { in process_efi64()