Symbol: MSR_SYSENTER_CS
sys/dev/nvmm/x86/nvmm_x86_svm.c
2433
svm_vcpu_msr_allow(cpudata->msrbm, MSR_SYSENTER_CS, true, true);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3111
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_SYSENTER_CS, true, true);