MSR_IA32_SYSENTER_CS
wrmsrq(MSR_IA32_SYSENTER_CS, thread->sysenter_cs);
wrmsrq(MSR_IA32_SYSENTER_CS, tss->x86_tss.ss1);
wrmsrq_safe(MSR_IA32_SYSENTER_CS, (u64)__KERNEL_CS);
wrmsrq_safe(MSR_IA32_SYSENTER_CS, (u64)GDT_ENTRY_INVALID_SEG);
ops->get_msr(ctxt, MSR_IA32_SYSENTER_CS, &msr_data);
ops->get_msr(ctxt, MSR_IA32_SYSENTER_CS, &msr_data);
MSR_IA32_SYSENTER_CS,
case MSR_IA32_SYSENTER_CS:
case MSR_IA32_SYSENTER_CS:
svm_disable_intercept_for_msr(vcpu, MSR_IA32_SYSENTER_CS, MSR_TYPE_RW);
case MSR_IA32_SYSENTER_CS:
case MSR_IA32_SYSENTER_CS:
vmx_disable_intercept_for_msr(vcpu, MSR_IA32_SYSENTER_CS, MSR_TYPE_RW);
rdmsr(MSR_IA32_SYSENTER_CS, low32, high32);
MSR_IA32_SYSENTER_CS, MSR_IA32_SYSENTER_ESP, MSR_IA32_SYSENTER_EIP,
case MSR_IA32_SYSENTER_CS:
vmwrite(HOST_IA32_SYSENTER_CS, rdmsr(MSR_IA32_SYSENTER_CS));
MSR_TEST(MSR_IA32_SYSENTER_CS, 0x1234, 0, NONE),