guest_pc
error = guest_vaddr2paddr(vcpu, guest_pc(vmexit), &gpa);
vm_set_register(vcpu, GDB_PC_REGNAME, guest_pc(vmexit));
vcpuid, guest_pc(vmexit));
guest_pc(vmexit));