tree 7bad2dac396fef6cca7f72132078a30e912b2589
parent 276dbf997043cbf38f0087624e0f9c51742c8885
author David Woodhouse <David.Woodhouse@intel.com> 1239049801 -0700
committer David Woodhouse <David.Woodhouse@intel.com> 1239049801 -0700

intel-iommu: Fix oops in device_to_iommu() when devices not found.

It's possible for a device in the drhd->devices[] array to be NULL if
it wasn't found at boot time, which means we have to check for that
case.

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