SMBIOS_TABLE_GUID
if (!efi_guidcmp(guid, SMBIOS_TABLE_GUID))
{SMBIOS_TABLE_GUID, &efi.smbios, "SMBIOS" },
ep = get_efi_config_table(SMBIOS_TABLE_GUID);