tree 74d6f163faed41487f224d2ac9c2449db6aa66a3
parent 5a8f40e8c8801a9805bbe60d140ed2b0b3b91d18
author David Woodhouse <David.Woodhouse@intel.com> 1394398357 -0700
committer David Woodhouse <David.Woodhouse@intel.com> 1395670011 +0000

iommu/vt-d: Simplify iommu check in domain_remove_one_dev_info()

Now we store the iommu in the device_domain_info, we don't need to do a
lookup.

Signed-off-by: David Woodhouse <David.Woodhouse@intel.com>