Searched refs:hv_deadline_tsc (Results 1 – 1 of 1) sorted by relevance
1030 u64 hv_deadline_tsc; member6588 vmx->hv_deadline_tsc = -1; in vmx_vcpu_setup()10640 if (vmx->hv_deadline_tsc != -1) { in vmx_update_hv_timer()10642 if (vmx->hv_deadline_tsc > tscl) in vmx_update_hv_timer()10644 delta_tsc = (u32)((vmx->hv_deadline_tsc - tscl) >> in vmx_update_hv_timer()13541 vmx->hv_deadline_tsc = tscl + delta_tsc; in vmx_set_hv_timer()13547 to_vmx(vcpu)->hv_deadline_tsc = -1; in vmx_cancel_hv_timer()