Searched refs:gxl_gic_data (Results 1 – 1 of 1) sorted by relevance
163 static const gicv2_driver_data_t gxl_gic_data = { variable174 gicv2_driver_init(&gxl_gic_data); in bl31_platform_setup()