Searched refs:axg_gic_data (Results 1 – 1 of 1) sorted by relevance
153 static const gicv2_driver_data_t axg_gic_data = { variable164 gicv2_driver_init(&axg_gic_data); in bl31_platform_setup()