Symbol: MSR_SYSENTER_CS
sys/arch/amd64/amd64/vmm_machdep.c
1615
svm_setmsrbrw(vcpu, MSR_SYSENTER_CS);
sys/arch/amd64/amd64/vmm_machdep.c
2501
vmx_setmsrbrw(vcpu, MSR_SYSENTER_CS);
sys/arch/i386/i386/machdep.c
1514
wrmsr(MSR_SYSENTER_CS, 0);