__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; \