ERROR: "__ipipe_dispatch_irq" [drivers/gpio/gpio-zynq.ko] undefined!

Greg Gallagher greg at
Wed Jul 15 22:55:05 CEST 2020

On Wed, Jul 15, 2020 at 4:29 PM Josh Karch via Xenomai
<xenomai at> wrote:
> This is a separate issue that goes along with the issues with gpio-xilinx.  The gpio-zynq driver is a stock driver with the standard I-Pipe patch, however I am receiving an error that __ipipe_dispatch_irq is undefined.
To confirm the gpio-zynq driver, you are building in tree and you get
the error when you load it?

Thanks to Greg, I was able to confirm that core.c has this function.
> However, In core.c, I noticed that EXPORT_SYMBOL_GPL was not applied to __ipipe_dispatch_irq.  Modifying core.c to include this function enabled the module to load, however my system still locks up on an ISR when the GPIO triggers an IRQ, so the GPIO interrupt handler is still not working on the gpio-xilinx made by Xilinx.
I don't think this function should be exported, something else may be going on.


> Best,
> Josh Karch

More information about the Xenomai mailing list