} st;
 
        u64 l1_tsc_offset;
-       u64 tsc_offset;
+       u64 tsc_offset; /* current tsc offset */
        u64 last_guest_tsc;
        u64 last_host_tsc;
        u64 tsc_offset_adjustment;
        u32 virtual_tsc_khz;
        s64 ia32_tsc_adjust_msr;
        u64 msr_ia32_power_ctl;
-       u64 tsc_scaling_ratio;
+       u64 l1_tsc_scaling_ratio;
+       u64 tsc_scaling_ratio; /* current scaling ratio */
 
        atomic_t nmi_queued;  /* unprocessed asynchronous NMIs */
        unsigned nmi_pending; /* NMI queued after currently running handler */
 
                delta_tsc = 0;
 
        /* Convert to host delta tsc if tsc scaling is enabled */
-       if (vcpu->arch.tsc_scaling_ratio != kvm_default_tsc_scaling_ratio &&
+       if (vcpu->arch.l1_tsc_scaling_ratio != kvm_default_tsc_scaling_ratio &&
            delta_tsc && u64_shl_div_u64(delta_tsc,
                                kvm_tsc_scaling_ratio_frac_bits,
-                               vcpu->arch.tsc_scaling_ratio, &delta_tsc))
+                               vcpu->arch.l1_tsc_scaling_ratio, &delta_tsc))
                return -ERANGE;
 
        /*
 
 
        /* Guest TSC same frequency as host TSC? */
        if (!scale) {
+               vcpu->arch.l1_tsc_scaling_ratio = kvm_default_tsc_scaling_ratio;
                vcpu->arch.tsc_scaling_ratio = kvm_default_tsc_scaling_ratio;
                return 0;
        }
                return -1;
        }
 
-       vcpu->arch.tsc_scaling_ratio = ratio;
+       vcpu->arch.l1_tsc_scaling_ratio = vcpu->arch.tsc_scaling_ratio = ratio;
        return 0;
 }
 
        /* tsc_khz can be zero if TSC calibration fails */
        if (user_tsc_khz == 0) {
                /* set tsc_scaling_ratio to a safe value */
+               vcpu->arch.l1_tsc_scaling_ratio = kvm_default_tsc_scaling_ratio;
                vcpu->arch.tsc_scaling_ratio = kvm_default_tsc_scaling_ratio;
                return -1;
        }
 
 static inline void adjust_tsc_offset_host(struct kvm_vcpu *vcpu, s64 adjustment)
 {
-       if (vcpu->arch.tsc_scaling_ratio != kvm_default_tsc_scaling_ratio)
+       if (vcpu->arch.l1_tsc_scaling_ratio != kvm_default_tsc_scaling_ratio)
                WARN_ON(adjustment < 0);
        adjustment = kvm_scale_tsc(vcpu, (u64) adjustment);
        adjust_tsc_offset_guest(vcpu, adjustment);