Searched refs:arm_gicr_base_addrs (Results 1 – 6 of 6) sorted by relevance
72 arm_gicr_base_addrs[0] = FCONF_GET_PROPERTY(hw_config, gicv3_config, in fvp_gic_driver_pre_init()85 arm_gicr_base_addrs[0] = PLAT_ARM_GICR_BASE; in fvp_gic_driver_pre_init()90 gic_set_gicr_frames(arm_gicr_base_addrs); in fvp_gic_driver_pre_init()
36 uintptr_t arm_gicr_base_addrs[2] = { variable
606 gic_set_gicr_frames(arm_gicr_base_addrs); in bl31_plat_arch_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()
355 extern uintptr_t arm_gicr_base_addrs[];