Searched refs:vmcs_guest_rip (Results 1 – 2 of 2) sorted by relevance
96 #define vmcs_guest_rip() vmcs_read(VMCS_GUEST_RIP) macro
1264 VMX_CTR1(vcpu, "Resume execution at %#lx", vmcs_guest_rip()); in vmx_run_trace()3077 KASSERT(vmcs_guest_rip() == rip, ("%s: vmcs guest rip mismatch " in vmx_run()3078 "%#lx/%#lx", __func__, vmcs_guest_rip(), rip)); in vmx_run()3202 vmexit->rip = rip = vmcs_guest_rip(); in vmx_run()