Searched refs:base_ipi (Results 1 – 2 of 2) sorted by relevance
256 int base_ipi, mux_irq; in bcm2836_arm_irqchip_smp_init() local271 base_ipi = __irq_domain_alloc_irqs(ipi_domain, -1, BITS_PER_MBOX, 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()
424 int base_ipi; in armada_xp_ipi_init() local433 base_ipi = __irq_domain_alloc_irqs(ipi_domain, -1, IPI_DOORBELL_END, in armada_xp_ipi_init()435 if (WARN_ON(!base_ipi)) in armada_xp_ipi_init()438 set_smp_ipi_range(base_ipi, IPI_DOORBELL_END); in armada_xp_ipi_init()
