Symbol: MSR_SYSENTER_ESP
sys/dev/nvmm/x86/nvmm_x86_svm.c
2434
svm_vcpu_msr_allow(cpudata->msrbm, MSR_SYSENTER_ESP, true, true);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3112
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_SYSENTER_ESP, true, true);