Searched refs:arm_gicr_base_addrs (Results 1 – 5 of 5) sorted by relevance
79 arm_gicr_base_addrs[0] = FCONF_GET_PROPERTY(hw_config, gicv3_config, in fvp_gic_driver_pre_init()92 arm_gicr_base_addrs[0] = PLAT_ARM_GICR_BASE; in fvp_gic_driver_pre_init()97 gic_set_gicr_frames(arm_gicr_base_addrs); in fvp_gic_driver_pre_init()
65 gic_set_gicr_frames(arm_gicr_base_addrs); in bl31_platform_setup()
188 gic_set_gicr_frames(arm_gicr_base_addrs); in tc_bl31_common_platform_setup()
34 uintptr_t arm_gicr_base_addrs[2] = { variable540 gic_set_gicr_frames(arm_gicr_base_addrs); in bl31_platform_setup()
365 extern uintptr_t arm_gicr_base_addrs[];