Symbol: vmcs_guest_rip
sys/amd64/vmm/intel/vmx.c
1264
VMX_CTR1(vcpu, "Resume execution at %#lx", vmcs_guest_rip());
sys/amd64/vmm/intel/vmx.c
3079
KASSERT(vmcs_guest_rip() == rip, ("%s: vmcs guest rip mismatch "
sys/amd64/vmm/intel/vmx.c
3080
"%#lx/%#lx", __func__, vmcs_guest_rip(), rip));
sys/amd64/vmm/intel/vmx.c
3204
vmexit->rip = rip = vmcs_guest_rip();