efi_guid_t
static efi_guid_t efi_guids[] = {
efi_guid_t VendorGuid;
efi_guid_t VendorGuid;
static efi_guid_t smbios3 = SMBIOS3_TABLE_GUID;
static efi_guid_t smbios = SMBIOS_TABLE_GUID;
static efi_guid_t acpi2 = EFI_ACPI_TABLE_GUID;
static efi_guid_t acpi1 = ACPI_10_TABLE_GUID;
dboot_same_guids(efi_guid_t *g1, efi_guid_t *g2)
efi_guid_t VendorGuid;
efi_guid_t VendorGuid;