IRQ sender for my personal IP

Hi, I wrote a personal IP which will send IRQ to HPS(Liunx) in some situation. I'm planning to write the LKM to use that IRQ. But parameter setting confused me a lot. Could you guys ...