msi_domain_free_irqs_range_locked
void msi_domain_free_irqs_range_locked(struct device *dev, unsigned int domid,
msi_domain_free_irqs_range_locked(dev, domid, first, last);
msi_domain_free_irqs_range_locked(dev, domid, 0,
msi_domain_free_irqs_range_locked(dev, MSI_DEFAULT_DOMAIN, desc->msi_index,