Searched refs:GIC_MAINTENANCE_PPI (Results 1 – 1 of 1) sorted by relevance
37 #define GIC_MAINTENANCE_PPI 25 macro602 arm_gic_ppi_index(i, GIC_MAINTENANCE_PPI)); in xlnx_zynqmp_realize()