Searched refs:get_efi_config_table (Results 1 – 4 of 4) sorted by relevance
68 void *get_efi_config_table(efi_system_table_t *sys_table, efi_guid_t guid);
143 final_events_table = get_efi_config_table(sys_table_arg, in efi_retrieve_tpm2_eventlog()
368 fdt = get_efi_config_table(sys_table, DEVICE_TREE_GUID); in get_fdt()
927 static void *get_efi_config_table##bits(efi_system_table_t *_sys_table, \949 void *get_efi_config_table(efi_system_table_t *sys_table, efi_guid_t guid) in get_efi_config_table() function
