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;