Searched refs:gic_set_gicr_frames (Results 1 – 14 of 14) sorted by relevance
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()
188 gic_set_gicr_frames(arm_gicr_base_addrs); in tc_bl31_common_platform_setup()
222 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()
382 void gic_set_gicr_frames(const uintptr_t *plat_gicr_frames);
540 gic_set_gicr_frames(arm_gicr_base_addrs); in bl31_platform_setup()
1386 ``gic_set_gicr_frames()``.