efi_guidcmp
if (efi_guidcmp(&vdp->Guid, &amdsoc) == 0) {
if (efi_guidcmp(&acpi_guid,
else if (efi_guidcmp(&smbios_guid,
else if (efi_guidcmp(&esrt_guid,
if (efi_guidcmp(&acpi_guid, &ct->VendorGuid) == 0)
if (efi_guidcmp(&smbios_guid, &ct->VendorGuid) == 0)
if (efi_guidcmp(&smbios3_guid, &ct->VendorGuid) == 0)
if (efi_guidcmp(&acpi_guid,
if (efi_guidcmp(&fdt_guid,
if (efi_guidcmp(&smbios_guid,
if (efi_guidcmp(&smbios3_guid,
if (efi_guidcmp(&fdt_guid,
if (efi_guidcmp(&fdt_guid,