Symbol: msi_domain_free_irqs_range