MSR_TSC
case MSR_TSC:
wrmsr(MSR_TSC, TSC_TARGET_WRVAL);
uint64_t tsc = rdmsr(MSR_TSC);
svm_msr_rd_ok(svm_sc->msr_bitmap, MSR_TSC);
guest_msr_ro(vmx, vcpuid, MSR_TSC);
case MSR_TSC:
case MSR_TSC:
MSR_TSC,
case MSR_TSC:
case MSR_TSC: