Not receiving interrupts from FPGA to HPS

Hi,

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;
https://0bin.net/paste/8deiVzEvsn8otNyd#wK7Rnp41DDCYwKAqSXG+VBSXF23o+hbTTSrp4oAXtE-

And this is the c code of one of my kernel modules which receives interrupts from the fpga.
https://0bin.net/paste/4zAv89RPh3U85kdI#zugZa4gRytL+il0Gnoi9-GKUkqRx1sgj/kOCR03o9SH

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

Kind Regards,
4_14
3_10