VMCS_GUEST_RIP
return (VMCS_GUEST_RIP);
#define vmcs_guest_rip() vmcs_read(VMCS_GUEST_RIP)
vmcs_write(VMCS_GUEST_RIP, vmexit->rip);
vmcs_write(VMCS_GUEST_RIP, rip);