Searched refs:base_ipi (Results 1 – 2 of 2) sorted by relevance
259 int base_ipi, mux_irq; in bcm2836_arm_irqchip_smp_init() local274 base_ipi = irq_domain_alloc_irqs(ipi_domain, BITS_PER_MBOX, NUMA_NO_NODE, NULL); in bcm2836_arm_irqchip_smp_init()275 if (WARN_ON(!base_ipi)) in bcm2836_arm_irqchip_smp_init()278 set_smp_ipi_range(base_ipi, BITS_PER_MBOX); in bcm2836_arm_irqchip_smp_init()
495 int base_ipi; in mpic_ipi_init() local503 base_ipi = irq_domain_alloc_irqs(mpic->ipi_domain, IPI_DOORBELL_NR, NUMA_NO_NODE, NULL); in mpic_ipi_init()504 if (WARN_ON(!base_ipi)) in mpic_ipi_init()507 set_smp_ipi_range(base_ipi, IPI_DOORBELL_NR); in mpic_ipi_init()