trace_detach_device_from_domain 1680 drivers/iommu/iommu.c 	trace_detach_device_from_domain(dev);
trace_detach_device_from_domain 2430 drivers/iommu/iommu.c 		trace_detach_device_from_domain(dev);