vsatp=0, hgatp=sv39x4, pmlen=7: Ignore the check for gva63:57 bits, but gva=gpa must be valid, so gva[56:41]=0 is enough
vsatp=0, hgatp=sv39x4, pmlen=16: Ignore the check for gva63:48 bits, but gva=gpa must be valid, and gva has no restrictions
that is right