Searched refs:hw_config_info (Results 1 – 2 of 2) sorted by relevance
54 const struct dyn_cfg_dtb_info_t *hw_config_info; in bl31_plat_arch_setup() local56 hw_config_info = FCONF_GET_PROPERTY(dyn_cfg, dtb, HW_CONFIG_ID); in bl31_plat_arch_setup()57 assert(hw_config_info != NULL); in bl31_plat_arch_setup()59 fconf_populate("HW_CONFIG", hw_config_info->config_addr); in bl31_plat_arch_setup()
75 const struct dyn_cfg_dtb_info_t *hw_config_info; in bl31_plat_arch_setup() local77 hw_config_info = FCONF_GET_PROPERTY(dyn_cfg, dtb, HW_CONFIG_ID); in bl31_plat_arch_setup()78 assert(hw_config_info != NULL); in bl31_plat_arch_setup()80 fconf_populate("HW_CONFIG", hw_config_info->config_addr); in bl31_plat_arch_setup()
Completed in 5 milliseconds