Symbol: zynq_fpga_set_irq