Lines Matching refs:delta_tsc
6549 u32 delta_tsc; in vmx_update_hv_timer() local
6558 delta_tsc = (u32)((vmx->hv_deadline_tsc - tscl) >> in vmx_update_hv_timer()
6561 delta_tsc = 0; in vmx_update_hv_timer()
6563 vmcs_write32(VMX_PREEMPTION_TIMER_VALUE, delta_tsc); in vmx_update_hv_timer()
7393 u64 tscl, guest_tscl, delta_tsc, lapic_timer_advance_cycles; in vmx_set_hv_timer() local
7399 delta_tsc = max(guest_deadline_tsc, guest_tscl) - guest_tscl; in vmx_set_hv_timer()
7403 if (delta_tsc > lapic_timer_advance_cycles) in vmx_set_hv_timer()
7404 delta_tsc -= lapic_timer_advance_cycles; in vmx_set_hv_timer()
7406 delta_tsc = 0; in vmx_set_hv_timer()
7410 delta_tsc && u64_shl_div_u64(delta_tsc, in vmx_set_hv_timer()
7412 vcpu->arch.l1_tsc_scaling_ratio, &delta_tsc)) in vmx_set_hv_timer()
7421 if (delta_tsc >> (cpu_preemption_timer_multi + 32)) in vmx_set_hv_timer()
7424 vmx->hv_deadline_tsc = tscl + delta_tsc; in vmx_set_hv_timer()
7425 *expired = !delta_tsc; in vmx_set_hv_timer()