Searched refs:secondary_config_addr (Results 1 – 5 of 5) sorted by relevance
34 void set_config_info(uintptr_t config_addr, uintptr_t secondary_config_addr, in set_config_info() argument42 dtb_info->secondary_config_addr = secondary_config_addr; in set_config_info()109 uintptr_t secondary_config_addr = ~0UL; in fconf_populate_dtb_registry() local140 secondary_config_addr = (uintptr_t)val64; in fconf_populate_dtb_registry()142 secondary_config_addr); in fconf_populate_dtb_registry()145 set_config_info(config_addr, secondary_config_addr, in fconf_populate_dtb_registry()
26 uintptr_t secondary_config_addr; member34 void set_config_info(uintptr_t config_addr, uintptr_t secondary_config_addr,
138 memcpy((void *)hw_config_info->secondary_config_addr, in bl2_plat_handle_post_image_load()146 flush_dcache_range(hw_config_info->secondary_config_addr, in bl2_plat_handle_post_image_load()163 return hw_config_info->secondary_config_addr; in plat_get_hw_dt_base()
51 assert(hw_config_info->secondary_config_addr != 0UL); in bl31_early_platform_setup2()52 arg2 = hw_config_info->secondary_config_addr; in bl31_early_platform_setup2()
578 (image_info->secondary_config_addr == 0UL) || in spmd_spmc_init()585 image_info->secondary_config_addr, in spmd_spmc_init()590 spmc_ep_info->args.arg0 = image_info->secondary_config_addr; in spmd_spmc_init()