[PATCH 2/6] iommu/of: Use device_iommu_mapped()