Searched refs:rpi4_gic_data (Results 1 – 1 of 1) sorted by relevance
33 static const gicv2_driver_data_t rpi4_gic_data = { variable203 gicv2_driver_init(&rpi4_gic_data); in bl31_platform_setup()