Searched refs:VMCS_GUEST_RSP (Results 1 – 1 of 1) sorted by relevance
498 #define VMCS_GUEST_RSP 0x0000681C macro1621 fakecr0 = vmx_vmread(VMCS_GUEST_RSP); in vmx_inkernel_handle_cr0()1689 gpr = vmx_vmread(VMCS_GUEST_RSP); in vmx_inkernel_handle_cr4()1734 cpudata->gcr8 = vmx_vmread(VMCS_GUEST_RSP); in vmx_inkernel_handle_cr8()1743 vmx_vmwrite(VMCS_GUEST_RSP, cpudata->gcr8); in vmx_inkernel_handle_cr8()2623 vmx_vmwrite(VMCS_GUEST_RSP, state->gprs[NVMM_X64_GPR_RSP]); in vmx_vcpu_setstate()2788 state->gprs[NVMM_X64_GPR_RSP] = vmx_vmread(VMCS_GUEST_RSP); in vmx_vcpu_getstate()