Symbol: ti_sci_set_irq