MSR_HWCR
122, 0, MSR_HWCR, amd64_errata_set4,
if (!ISSET(rdmsr(MSR_HWCR), HWCR_TSCFREQSEL))
svm_setmsrbr(vcpu, MSR_HWCR);