Symbol: ti_sci_manage_irq