On Thu, Aug 3, 2023 at 6:14 PM Michael Shavit <mshavit at google.com> wrote: > > The iommu core doesn't guarantee that pasid domains will be detached > before the device is released. I'm not certain whether this is possible or not. Is this change really necessary?