On Fri, Jan 26, 2024 at 03:51:42PM -0400, Jason Gunthorpe wrote: > On Tue, Jan 23, 2024 at 06:44:42PM +0000, Diogo Ivo wrote: > > > Yes, this does fix the issue! > > Thanks, just trying to pin down how the fix should be.. > > What kind of kernel are you running, > > Is this 32 bit? > > Is CONFIG_ARM_DMA_USE_IOMMU set? > > Is CONFIG_IOMMU_DMA set? > > I'm guessing yes/yes/no? It is a 64-bit kernel, CONFIG_ARM_DMA_USE_IOMMU=n and CONFIG_IOMMU_DMA=y. Diogo