Searched refs:gicv2_driver_init (Results 1 – 9 of 9) sorted by relevance
25 gicv2_driver_init(&arm_gic_data); in plat_mt_gic_driver_init()
47 gicv2_driver_init(&rockchip_gic_data); in plat_rockchip_gic_driver_init()
47 gicv2_driver_init(&arm_gic_data); in plat_arm_gic_driver_init()
170 void gicv2_driver_init(const gicv2_driver_data_t *plat_driver_data);
162 gicv2_driver_init(&hikey960_gic_data); in bl31_platform_setup()
715 gicv2_driver_init(&hikey960_gic_data); in bl1_plat_set_ep_info()
173 gicv2_driver_init(&hikey_gic_data); in bl31_platform_setup()
155 gicv2_driver_init(&plat_gicv2_driver_data); in bl31_platform_setup()
138 void gicv2_driver_init(const gicv2_driver_data_t *plat_driver_data) in gicv2_driver_init() function