Searched refs:efi_guid_t (Results 1 – 3 of 3) sorted by relevance
82 typedef struct uuid efi_guid_t __aligned(8);166 efi_guid_t VendorGuid;171 efi_guid_t VendorGuid;
151 static efi_guid_t smbios3 = SMBIOS3_TABLE_GUID;152 static efi_guid_t smbios = SMBIOS_TABLE_GUID;153 static efi_guid_t acpi2 = EFI_ACPI_TABLE_GUID;154 static efi_guid_t acpi1 = ACPI_10_TABLE_GUID;1747 dboot_same_guids(efi_guid_t *g1, efi_guid_t *g2) in dboot_same_guids()1774 efi_guid_t VendorGuid; in process_efi32()1810 efi_guid_t VendorGuid; in process_efi64()
596 } efi_guid_t; typedef598 static efi_guid_t efi_guids[] = {