get_efi_config_table
rt_prop_table = get_efi_config_table(EFI_RT_PROPERTIES_TABLE_GUID);
void *get_efi_config_table(efi_guid_t guid);
fdt = get_efi_config_table(DEVICE_TREE_GUID);
prev_seed = get_efi_config_table(rng_table_guid);
fdt = get_efi_config_table(DEVICE_TREE_GUID);
get_efi_config_table(EFI_TCG2_FINAL_EVENTS_TABLE_GUID);
get_efi_config_table(EFI_CC_FINAL_EVENTS_TABLE_GUID);
unaccepted_table = get_efi_config_table(unaccepted_table_guid);
ep = get_efi_config_table(SMBIOS_TABLE_GUID);
efi_dxe_table = get_efi_config_table(EFI_DXE_SERVICES_TABLE_GUID);