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);