Searched refs:arm_gicr_base_addrs (Results 1 – 6 of 6) 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()
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()
34 uintptr_t arm_gicr_base_addrs[2] = { variable536 gic_set_gicr_frames(arm_gicr_base_addrs); in bl31_platform_setup()
232 gic_set_gicr_frames(arm_gicr_base_addrs); in tc_bl31_common_platform_setup()
357 extern uintptr_t arm_gicr_base_addrs[];