Searched refs:get_efi_config_table (Results 1 – 9 of 9) sorted by relevance
170 get_efi_config_table(EFI_TCG2_FINAL_EVENTS_TABLE_GUID); in efi_retrieve_eventlog()185 get_efi_config_table(EFI_CC_FINAL_EVENTS_TABLE_GUID); in efi_retrieve_eventlog()
24 fdt = get_efi_config_table(DEVICE_TREE_GUID); in get_boot_hartid_from_fdt()
94 prev_seed = get_efi_config_table(rng_table_guid); in efi_random_get_seed()
106 rt_prop_table = get_efi_config_table(EFI_RT_PROPERTIES_TABLE_GUID); in get_supported_rt_services()
18 unaccepted_table = get_efi_config_table(unaccepted_table_guid); in allocate_unaccepted_bitmap()
368 fdt = get_efi_config_table(DEVICE_TREE_GUID); in get_fdt()
490 void *get_efi_config_table(efi_guid_t guid) in get_efi_config_table() function
961 efi_dxe_table = get_efi_config_table(EFI_DXE_SERVICES_TABLE_GUID); in efi_stub_entry()
1047 void *get_efi_config_table(efi_guid_t guid);