MSR_IA32_SYSENTER_ESP
wrmsrq(MSR_IA32_SYSENTER_ESP, (unsigned long)(cpu_entry_stack(cpu) + 1));
wrmsrq_safe(MSR_IA32_SYSENTER_ESP,
wrmsrq_safe(MSR_IA32_SYSENTER_ESP, 0ULL);
ops->get_msr(ctxt, MSR_IA32_SYSENTER_ESP, &msr_data);
MSR_IA32_SYSENTER_ESP,
case MSR_IA32_SYSENTER_ESP:
case MSR_IA32_SYSENTER_ESP:
svm_set_intercept_for_msr(vcpu, MSR_IA32_SYSENTER_ESP, MSR_TYPE_RW,
case MSR_IA32_SYSENTER_ESP:
case MSR_IA32_SYSENTER_ESP:
vmx_disable_intercept_for_msr(vcpu, MSR_IA32_SYSENTER_ESP, MSR_TYPE_RW);
case MSR_IA32_SYSENTER_ESP:
MSR_IA32_SYSENTER_CS, MSR_IA32_SYSENTER_ESP, MSR_IA32_SYSENTER_EIP,
case MSR_IA32_SYSENTER_ESP:
vmwrite(HOST_IA32_SYSENTER_ESP, rdmsr(MSR_IA32_SYSENTER_ESP));
MSR_TEST(MSR_IA32_SYSENTER_ESP, canonical_val, 0, NONE),
case MSR_IA32_SYSENTER_ESP: