VMCS_GUEST_RIP
return (VMCS_GUEST_RIP);
vmcs_write(VMCS_GUEST_RIP, vmexit->rip);
vmcs_write(VMCS_GUEST_RIP, rip);
ASSERT3U(vmcs_read(VMCS_GUEST_RIP), ==, rip);
vmexit->rip = rip = vmcs_read(VMCS_GUEST_RIP);