Searched refs:gic_set_gicr_frames (Results 1 – 15 of 15) sorted by relevance
48 gic_set_gicr_frames(arm_gicr_base_addrs); in bl31_platform_setup()
65 gic_set_gicr_frames(arm_gicr_base_addrs); in bl31_platform_setup()
79 gic_set_gicr_frames(gicr_base_addrs); in bl31_platform_setup()
97 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
173 gic_set_gicr_frames(n1sdp_multichip_gicr_frames); in bl31_platform_setup()
183 gic_set_gicr_frames( in bl31_platform_setup()
167 gic_set_gicr_frames(gicr_base_addrs); in bl31_platform_setup()
232 gic_set_gicr_frames(arm_gicr_base_addrs); in tc_bl31_common_platform_setup()
223 gic_set_gicr_frames( in bl31_platform_setup()
219 gic_set_gicr_frames(gicr_base_addrs); in sp_min_platform_setup()
263 gic_set_gicr_frames(gicr_base_addrs); in bl31_platform_setup()
374 void gic_set_gicr_frames(const uintptr_t *plat_gicr_frames);
536 gic_set_gicr_frames(arm_gicr_base_addrs); in bl31_platform_setup()
1421 ``gic_set_gicr_frames()``.