DOMAIN_BUS_TI_SCI_INTA_MSI
DOMAIN_BUS_TI_SCI_INTA_MSI);
irq_domain_update_bus_token(domain, DOMAIN_BUS_TI_SCI_INTA_MSI);