Searched refs:base_ipi_virq (Results 1 – 1 of 1) sorted by relevance
1001 static int base_ipi_virq; variable1022 base_ipi_virq = irq_domain_alloc_irqs(gicv5_global_data.ipi_domain, in gicv5_smp_init()1024 if (WARN(base_ipi_virq <= 0, "IPI IRQ allocation was not successful")) in gicv5_smp_init()1027 set_smp_ipi_range_percpu(base_ipi_virq, GICV5_IPIS_PER_CPU, nr_cpu_ids); in gicv5_smp_init()