Searched refs:VMCS_GUEST_RIP (Results 1 – 3 of 3) sorted by relevance
70 return (VMCS_GUEST_RIP); in vmcs_field_encoding()
223 #define VMCS_GUEST_RIP 0x0000681E macro
2609 vmcs_write(VMCS_GUEST_RIP, vmexit->rip); in vmx_exit_process()2794 vmcs_write(VMCS_GUEST_RIP, rip); in vmx_run()2800 ASSERT3U(vmcs_read(VMCS_GUEST_RIP), ==, rip); in vmx_run()2940 vmexit->rip = rip = vmcs_read(VMCS_GUEST_RIP); in vmx_run()