Symbol: MSR_SYSENTER_EIP
sys/dev/nvmm/x86/nvmm_x86_svm.c
2435
svm_vcpu_msr_allow(cpudata->msrbm, MSR_SYSENTER_EIP, true, true);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3113
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_SYSENTER_EIP, true, true);