5 Apr
2022
5 Apr
'22
4:17 p.m.
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@arm.com
v2: Get "!domain" condition right
Applied now. Thanks.
Takashi