get_efi_config_table  927 drivers/firmware/efi/libstub/efi-stub-helper.c static void *get_efi_config_table##bits(efi_system_table_t *_sys_table,	\
get_efi_config_table  949 drivers/firmware/efi/libstub/efi-stub-helper.c void *get_efi_config_table(efi_system_table_t *sys_table, efi_guid_t guid)
get_efi_config_table   68 drivers/firmware/efi/libstub/efistub.h void *get_efi_config_table(efi_system_table_t *sys_table, efi_guid_t guid);
get_efi_config_table  368 drivers/firmware/efi/libstub/fdt.c 	fdt = get_efi_config_table(sys_table, DEVICE_TREE_GUID);
get_efi_config_table  144 drivers/firmware/efi/libstub/tpm.c 		final_events_table = get_efi_config_table(sys_table_arg,