On 24/05/21 17:48, Sean Christopherson wrote:
if (msr_info->host_initiated) { offset = vcpu->arch.l1_tsc_offset; ratio = vcpu->arch.l1_tsc_scaling_ratio; } else { offset = vcpu->arch.tsc_offset; ratio = vcpu->arch.tsc_scaling_ratio; } msr_info->data = kvm_scale_tsc(vcpu, rdtsc(), ratio) + offset;
Looks good, indeed I didn't do this just out of laziness really (and instead got a typo).
Paolo