x86_gva_to_gpa
return x86_gva_to_gpa(mach, state, gva, gpa, prot);
ret = x86_gva_to_gpa(mach, state, gva, &gpa, &prot);