Symbol: ti_sci_inta_irq_domain