On Tue, 30 May 2023 16:53:14 +0300 Baruch Even <bar...@weka.io> wrote:
> > what kernel driver was being used for the device I/O part? Was it a UIO > > based driver or "vfio-pci"? When using vfio-pci and configuring IOMMU > > mappings, the pages mapped should be pinned by the kernel, I would have > > thought, since the kernel knows they are being used by devices. > > > > /Bruce > > > > This was using igb_uio on an AWS instance with their ena driver. > > Baruch Try VFIO, using igb_uio is effectively and out tree driver and the kernel maintainers are unlikely to give you much support.