Symbol: MSR_TSC
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
1304
if (exit->u.wrmsr.msr == MSR_TSC) {
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2351
svm_vcpu_msr_allow(cpudata->msrbm, MSR_TSC, true, false);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1929
if (exit->u.wrmsr.msr == MSR_TSC) {
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2982
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_TSC, true, false);