Searched refs:hv_deadline_tsc (Results 1 – 2 of 2) sorted by relevance
280 u64 hv_deadline_tsc; member
4780 vmx->hv_deadline_tsc = -1; in vmx_vcpu_reset() 7110 } else if (vmx->hv_deadline_tsc != -1) { in vmx_update_hv_timer() 7112 if (vmx->hv_deadline_tsc > tscl) in vmx_update_hv_timer() 7114 delta_tsc = (u32)((vmx->hv_deadline_tsc - tscl) >> in vmx_update_hv_timer() 8085 vmx->hv_deadline_tsc = tscl + delta_tsc; in vmx_set_hv_timer() 8092 to_vmx(vcpu)->hv_deadline_tsc = -1; in vmx_cancel_hv_timer()