Symbol: VMCS_GUEST_IA32_RIP
sys/arch/amd64/amd64/vmm_machdep.c
1324
if (vmwrite(VMCS_GUEST_IA32_RIP, gprs[VCPU_REGS_RIP]))
sys/arch/amd64/amd64/vmm_machdep.c
3687
if (vmwrite(VMCS_GUEST_IA32_RIP, vcpu->vc_gueststate.vg_rip)) {
sys/arch/amd64/amd64/vmm_machdep.c
4199
if (vmread(VMCS_GUEST_IA32_RIP, rip) == 0) {
sys/arch/amd64/amd64/vmm_machdep.c
4756
if (vmwrite(VMCS_GUEST_IA32_RIP,
sys/arch/amd64/amd64/vmm_machdep.c
8045
vmx_dump_vmcs_field(VMCS_GUEST_IA32_RIP, "G. RIP");