Symbol: fsl_mc_msi_domain_alloc_irqs