vpe_base_irq       91 drivers/irqchip/irq-gic-v4.c 	int vpe_base_irq, i;
vpe_base_irq      109 drivers/irqchip/irq-gic-v4.c 	vpe_base_irq = __irq_domain_alloc_irqs(vm->domain, -1, vm->nr_vpes,
vpe_base_irq      112 drivers/irqchip/irq-gic-v4.c 	if (vpe_base_irq <= 0)
vpe_base_irq      116 drivers/irqchip/irq-gic-v4.c 		vm->vpes[i]->irq = vpe_base_irq + i;