On Tue, 05 Apr 2022 15:27:54 +0200, Robin Murphy wrote: > > iommu_get_domain_for_dev() is already perfectly happy to return NULL > if the given device has no IOMMU. Drop the unnecessary check in favour > of just handling that condition appropriately. > > Signed-off-by: Robin Murphy <robin.murphy@xxxxxxx> > --- > > v2: Get "!domain" condition right Applied now. Thanks. Takashi
