EFI_RT_PROPERTIES_TABLE_GUID
{EFI_RT_PROPERTIES_TABLE_GUID, &rt_prop, "RTPROP" },
rt_prop_table = get_efi_config_table(EFI_RT_PROPERTIES_TABLE_GUID);