Symbol: msi_domain_alloc_irqs_range