In Linux kernel 4.x, you can no longer call request_irq using the interrupt number listed in Vivado. Apparently this is because Linux now does a virtual mapping of each interrupt.
What is the simplest way to discover the virtual IRQ number, if I know the physical one?
Did you get an answer to your question ?
I'm trying to connect my IRQ handler to the IRQ line 61 from Zynq corresponding to signal IRQF2P.
I didn't succeed.