Searched refs:ppi_index (Results 1 – 1 of 1) sorted by relevance
209 static inline int arm_gic_ppi_index(int cpu_nr, int ppi_index) in arm_gic_ppi_index() argument211 return GIC_NUM_SPI_INTR + cpu_nr * GIC_INTERNAL + ppi_index; in arm_gic_ppi_index()