Searched refs:gic_set_gicr_frames (Results 1 – 14 of 14) sorted by relevance
64 gic_set_gicr_frames(gicr_base_addrs); in bl31_plat_arch_setup()
90 gic_set_gicr_frames(arm_gicr_base_addrs); in fvp_gic_driver_pre_init()
94 void gic_set_gicr_frames(const uintptr_t *plat_gicr_frames) in gic_set_gicr_frames() function
134 gic_set_gicr_frames(n1sdp_multichip_gicr_frames); in bl31_plat_arch_setup()
162 gic_set_gicr_frames(rdn2mc_multichip_gicr_frames); in bl31_plat_arch_setup()
154 gic_set_gicr_frames(gicr_base_addrs); in bl31_plat_arch_setup()
132 gic_set_gicr_frames(gicr_base_addrs); in bl31_platform_setup()
246 gic_set_gicr_frames(arm_gicr_base_addrs); in bl31_plat_arch_setup()
212 gic_set_gicr_frames(arm_gicr_base_addrs); in sp_min_platform_setup()
182 gic_set_gicr_frames(rdv3mc_multichip_gicr_frames); in bl31_plat_arch_setup()
307 gic_set_gicr_frames(gicr_base_addrs); in bl31_plat_arch_setup()
372 void gic_set_gicr_frames(const uintptr_t *plat_gicr_frames);
606 gic_set_gicr_frames(arm_gicr_base_addrs); in bl31_plat_arch_setup()
1450 ``gic_set_gicr_frames()``.