Symbol: ITS_MAX_VPEID
drivers/irqchip/irq-gic-v3-its.c
2976
if (epp < ITS_MAX_VPEID) {
drivers/irqchip/irq-gic-v3-its.c
2982
nl2 = DIV_ROUND_UP(ITS_MAX_VPEID, epp);
drivers/irqchip/irq-gic-v3-its.c
4554
return ida_alloc_max(&its_vpeid_ida, ITS_MAX_VPEID - 1, GFP_KERNEL);