yes. @Baolu, can you add a fix?another problem is that intel_iommu_enforce_cache_coherency()This is such a gap, intel driver should not permit that.
doesn't update existing entries. It only sets a domain flag to affect
future mappings. so it means the 2nd idev is also broken.