I'm writting a driver for a synthesized device in an FPGA. The device has several IRQs and have requested them …