Searched refs:plat_gicv2_gic_data (Results 1 – 3 of 3) sorted by relevance
93 static const gicv2_driver_data_t plat_gicv2_gic_data = { variable110 gicv2_driver_init(&plat_gicv2_gic_data); in bl31_platform_setup()
100 static const gicv2_driver_data_t plat_gicv2_gic_data = { variable117 gicv2_driver_init(&plat_gicv2_gic_data); in bl31_platform_setup()
174 static const gicv2_driver_data_t plat_gicv2_gic_data = { variable191 gicv2_driver_init(&plat_gicv2_gic_data); in bl31_platform_setup()