[PATCH] ipipe: export symbol of __ipipe_dispatch_irq

Fino Meng fino.meng at linux.intel.com
Mon Dec 7 14:04:18 CET 2020


some drivers referenced __ipipe_dispatch_irq may compile as kernel
module, which need __ipipe_dispatch_irq exported otherwise build will
fail.

Signed-off-by: Fino Meng <fino.meng at linux.intel.com>
---
 kernel/ipipe/core.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel/ipipe/core.c b/kernel/ipipe/core.c
index 60f74291f22a..99a88e4d620e 100644
--- a/kernel/ipipe/core.c
+++ b/kernel/ipipe/core.c
@@ -1573,6 +1573,7 @@ void __ipipe_dispatch_irq(unsigned int irq, int flags) /* hw interrupts off */
 sync:
 	__ipipe_sync_pipeline(ipipe_head_domain);
 }
+EXPORT_SYMBOL_GPL(__ipipe_dispatch_irq);
 
 void ipipe_raise_irq(unsigned int irq)
 {
-- 
2.20.1




More information about the Xenomai mailing list