Some drivers might require to send ipi to other cores. So export it. This will be used later by AXD driver.
Signed-off-by: Qais Yousef qais.yousef@imgtec.com Cc: Thomas Gleixner tglx@linutronix.de Cc: Jason Cooper jason@lakedaemon.net Cc: Marc Zyngier marc.zyngier@arm.com Cc: linux-kernel@vger.kernel.org Cc: linux-mips@linux-mips.org --- drivers/irqchip/irq-mips-gic.c | 1 + 1 file changed, 1 insertion(+)
diff --git a/drivers/irqchip/irq-mips-gic.c b/drivers/irqchip/irq-mips-gic.c index ff4be0515a0d..fc6fd506cd7e 100644 --- a/drivers/irqchip/irq-mips-gic.c +++ b/drivers/irqchip/irq-mips-gic.c @@ -227,6 +227,7 @@ void gic_send_ipi(unsigned int intr) { gic_write(GIC_REG(SHARED, GIC_SH_WEDGE), GIC_SH_WEDGE_SET(intr)); } +EXPORT_SYMBOL(gic_send_ipi);
int gic_get_c0_compare_int(void) {