ITS_MAX_VPEID_BITS  123 drivers/irqchip/irq-gic-v3-its.c #define ITS_MAX_VPEID		(1 << (ITS_MAX_VPEID_BITS))
ITS_MAX_VPEID_BITS 1979 drivers/irqchip/irq-gic-v3-its.c 							    ITS_MAX_VPEID_BITS);