guest_vaddr2paddr
error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);
error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);
error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);
error = guest_vaddr2paddr(vcpu, guest_pc(vmexit), &gpa);