AMDVI_PT_MASK
amdvi_free_ptp(PHYS_TO_DMAP(ptp[i] & AMDVI_PT_MASK), level - 1);
#define PTE2PA(x) ((uint64_t)(x) & AMDVI_PT_MASK)