Searched refs:get_efi_config_table (Results 1 – 7 of 7) sorted by relevance
104 rt_prop_table = get_efi_config_table(EFI_RT_PROPERTIES_TABLE_GUID); in get_supported_rt_services()260 prop_tbl = get_efi_config_table(EFI_PROPERTIES_TABLE_GUID); in efi_pe_entry()
34 fdt = get_efi_config_table(DEVICE_TREE_GUID); in get_boot_hartid_from_fdt()
86 prev_seed = get_efi_config_table(LINUX_EFI_RANDOM_SEED_TABLE_GUID); in efi_random_get_seed()
131 final_events_table = get_efi_config_table(LINUX_EFI_TPM_FINAL_LOG_GUID); in efi_retrieve_tpm2_eventlog()
349 fdt = get_efi_config_table(DEVICE_TREE_GUID); in get_fdt()
506 void *get_efi_config_table(efi_guid_t guid) in get_efi_config_table() function
773 void *get_efi_config_table(efi_guid_t guid);