Symbol: MSR_PSTATEDEF
sys/arch/amd64/amd64/tsc.c
126
def = rdmsr(MSR_PSTATEDEF(0));
sys/arch/amd64/amd64/vmm_machdep.c
1652
svm_setmsrbr(vcpu, MSR_PSTATEDEF(0));