AMD_IOMMU_VA_BITS
error = init_pte(pt, pa, AMD_IOMMU_VA_BITS(va, level), dmareq);
*next_idxp = AMD_IOMMU_VA_BITS(va, level);
index = AMD_IOMMU_VA_BITS(pageva, level);