Searched refs:get_efi_config_table (Results 1 – 5 of 5) sorted by relevance
19 fdt = get_efi_config_table(DEVICE_TREE_GUID); in get_boot_hartid_from_fdt()
296 rt_prop_table = get_efi_config_table(EFI_RT_PROPERTIES_TABLE_GUID); in get_supported_rt_services()
386 fdt = get_efi_config_table(DEVICE_TREE_GUID); in get_fdt()
325 void *get_efi_config_table(efi_guid_t guid) in get_efi_config_table() function
221 void *get_efi_config_table(efi_guid_t guid);