amd iommu pte is only 32bits not 64bits.
Additional information: