Searched refs:hw_config_info (Results 1 – 1 of 1) sorted by relevance
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()