/* Removes a device from a protection domain (with devtable_lock held)  */
static void detach_device(struct device *dev)
/* Removes a device from a protection domain (with devtable_lock held)  */
static void detach_device(struct device *dev)
{
	unsigned long flags;
	write_lock_irqsave(&amd_iommu_devtable_lock, flags);
	__detach_device(dev);
	write_unlock_irqrestore(&amd_iommu_devtable_lock, flags);
}