Searched refs:base_ipi (Results 1 – 2 of 2) sorted by relevance
259 int base_ipi, mux_irq; in bcm2836_arm_irqchip_smp_init() local 274 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()
814 int base_ipi; in aic_init_smp() local 816 base_ipi = ipi_mux_create(AIC_NR_SWIPI, aic_ipi_send_single); in aic_init_smp() 817 if (WARN_ON(base_ipi <= 0)) in aic_init_smp() 820 set_smp_ipi_range(base_ipi, AIC_NR_SWIPI); in aic_init_smp()