Searched refs:delta_tsc (Results 1 – 1 of 1) sorted by relevance
8368 u64 tscl, guest_tscl, delta_tsc, lapic_timer_advance_cycles; in vmx_set_hv_timer() local8374 delta_tsc = max(guest_deadline_tsc, guest_tscl) - guest_tscl; in vmx_set_hv_timer()8378 if (delta_tsc > lapic_timer_advance_cycles) in vmx_set_hv_timer()8379 delta_tsc -= lapic_timer_advance_cycles; in vmx_set_hv_timer()8381 delta_tsc = 0; in vmx_set_hv_timer()8385 delta_tsc && u64_shl_div_u64(delta_tsc, in vmx_set_hv_timer()8387 vcpu->arch.l1_tsc_scaling_ratio, &delta_tsc)) in vmx_set_hv_timer()8396 if ((delta_tsc >> cpu_preemption_timer_multi) > preemption_timer_max_value) in vmx_set_hv_timer()8399 vmx->hv_deadline_tsc = tscl + delta_tsc; in vmx_set_hv_timer()8400 *expired = !delta_tsc; in vmx_set_hv_timer()[all …]