kvm_scale_tsc
u64 kvm_scale_tsc(u64 tsc, u64 ratio);
tsc = kvm_scale_tsc(rdtsc(), vcpu->arch.l1_tsc_scaling_ratio);
kvm_scale_tsc(host_tsc, vcpu->arch.l1_tsc_scaling_ratio);
adjustment = kvm_scale_tsc((u64) adjustment,
tgt_tsc_khz = kvm_scale_tsc(tgt_tsc_khz,
msr_info->data = kvm_scale_tsc(rdtsc(), ratio) + offset;
tsc = kvm_scale_tsc(rdtsc(), vcpu->arch.l1_tsc_scaling_ratio) + offset;