Symbol: MSR_TSC
sys/arch/amd64/amd64/vmm_machdep.c
1656
svm_setmsrbr(vcpu, MSR_TSC);
sys/arch/amd64/amd64/vmm_machdep.c
2522
vmx_setmsrbr(vcpu, MSR_TSC);
sys/arch/amd64/amd64/vmm_machdep.c
8439
case MSR_TSC: return "TSC";