nr_vlpis          136 drivers/irqchip/irq-gic-v3-its.c 	int			nr_vlpis;
nr_vlpis         1327 drivers/irqchip/irq-gic-v3-its.c 		its_dev->event_map.nr_vlpis++;
nr_vlpis         1387 drivers/irqchip/irq-gic-v3-its.c 	if (!--its_dev->event_map.nr_vlpis) {