Lines Matching refs:delta_tsc
7164 u32 delta_tsc;
7173 delta_tsc = (u32)((vmx->hv_deadline_tsc - tscl) >>
7176 delta_tsc = 0;
7178 vmcs_write32(VMX_PREEMPTION_TIMER_VALUE, delta_tsc);
8043 u64 tscl, guest_tscl, delta_tsc, lapic_timer_advance_cycles;
8049 delta_tsc = max(guest_deadline_tsc, guest_tscl) - guest_tscl;
8053 if (delta_tsc > lapic_timer_advance_cycles)
8054 delta_tsc -= lapic_timer_advance_cycles;
8056 delta_tsc = 0;
8060 delta_tsc && u64_shl_div_u64(delta_tsc,
8062 vcpu->arch.l1_tsc_scaling_ratio, &delta_tsc))
8071 if (delta_tsc >> (cpu_preemption_timer_multi + 32))
8074 vmx->hv_deadline_tsc = tscl + delta_tsc;
8075 *expired = !delta_tsc;