Symbol: ITS_MAX_VPEID_BITS
drivers/irqchip/irq-gic-v3-its.c
148
#define ITS_MAX_VPEID (1 << (ITS_MAX_VPEID_BITS))
drivers/irqchip/irq-gic-v3-its.c
2715
ITS_MAX_VPEID_BITS);