__nr_ppis         132 include/linux/irqchip/arm-gic-v3.h 		unsigned int __nr_ppis = 16;				\
__nr_ppis         134 include/linux/irqchip/arm-gic-v3.h 			__nr_ppis +=  __ppinum * 32;			\
__nr_ppis         136 include/linux/irqchip/arm-gic-v3.h 		__nr_ppis;						\