Not receiving interrupts from FPGA to HPS


I have upgraded kernel from 3.10 to 4.14 and I am having some troubles with getting the interrupts from the FPGA.

I can see, when I do “cat /proc/interrupts” my kernel modules are not getting the interrupts from GIC as they used to from the older kernel but is now receiving from gpio-dwapb (See image 1 and 2).

I tried to add the registers in the hps2fpga bridge entry in the device tree but that did not work. the link to my device tree is this;

And this is the c code of one of my kernel modules which receives interrupts from the fpga.

I would be grateful if someone could tell me where the mistake is

Kind Regards,