Symbol: VMCS_GUEST_RSP
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1657
fakecr0 = vmx_vmread(VMCS_GUEST_RSP);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1725
gpr = vmx_vmread(VMCS_GUEST_RSP);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1770
cpudata->gcr8 = vmx_vmread(VMCS_GUEST_RSP);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1779
vmx_vmwrite(VMCS_GUEST_RSP, cpudata->gcr8);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2784
vmx_vmwrite(VMCS_GUEST_RSP, state->gprs[NVMM_X64_GPR_RSP]);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2940
state->gprs[NVMM_X64_GPR_RSP] = vmx_vmread(VMCS_GUEST_RSP);