Hi Ben,
[ 32.857521] iommu_dma_unmap_page+0xc4/0xe8 (P)
Can you resolve this to a source location for me. i.e.
gdb vmlinux
l *(iommu_dma_unmap_page+0xc4)
Also what IOMMU driver is this device using? It looks like it
might not support a 4k IOMMU page size.
