Symbol: synic_set_irq