/* This function flushes the DTEs for all devices in domain  */
static void iommu_flush_domain_devices(struct protection_domain *domain)
/* This function flushes the DTEs for all devices in domain  */
static void iommu_flush_domain_devices(struct protection_domain *domain)
{
	struct iommu_dev_data *dev_data;
	unsigned long flags;
	spin_lock_irqsave(&domain->lock, flags);
	list_for_each_entry(dev_data, &domain->dev_list, list)
		iommu_flush_device(dev_data->dev);
	spin_unlock_irqrestore(&domain->lock, flags);
}