Searched refs:delta_tsc (Results 1 – 1 of 1) sorted by relevance
10633 u32 delta_tsc; in vmx_update_hv_timer() local10644 delta_tsc = (u32)((vmx->hv_deadline_tsc - tscl) >> in vmx_update_hv_timer()10647 delta_tsc = 0; in vmx_update_hv_timer()10649 vmx_arm_hv_timer(vmx, delta_tsc); in vmx_update_hv_timer()13508 u64 tscl, guest_tscl, delta_tsc, lapic_timer_advance_cycles; in vmx_set_hv_timer() local13516 delta_tsc = max(guest_deadline_tsc, guest_tscl) - guest_tscl; in vmx_set_hv_timer()13519 if (delta_tsc > lapic_timer_advance_cycles) in vmx_set_hv_timer()13520 delta_tsc -= lapic_timer_advance_cycles; in vmx_set_hv_timer()13522 delta_tsc = 0; in vmx_set_hv_timer()13526 u64_shl_div_u64(delta_tsc, in vmx_set_hv_timer()[all …]
