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 <[email protected]> --- 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
