__ppinum          131 include/linux/irqchip/arm-gic-v3.h 		unsigned int __ppinum = ((r) >> 27) & 0x1f;		\
__ppinum          133 include/linux/irqchip/arm-gic-v3.h 		if (__ppinum == 1 || __ppinum == 2)			\
__ppinum          134 include/linux/irqchip/arm-gic-v3.h 			__nr_ppis +=  __ppinum * 32;			\