hv_deadline_tsc  4161 arch/x86/kvm/vmx/vmx.c 	vmx->hv_deadline_tsc = -1;
hv_deadline_tsc  4267 arch/x86/kvm/vmx/vmx.c 	vmx->hv_deadline_tsc = -1;
hv_deadline_tsc  6456 arch/x86/kvm/vmx/vmx.c 	} else if (vmx->hv_deadline_tsc != -1) {
hv_deadline_tsc  6458 arch/x86/kvm/vmx/vmx.c 		if (vmx->hv_deadline_tsc > tscl)
hv_deadline_tsc  6460 arch/x86/kvm/vmx/vmx.c 			delta_tsc = (u32)((vmx->hv_deadline_tsc - tscl) >>
hv_deadline_tsc  7240 arch/x86/kvm/vmx/vmx.c 	vmx->hv_deadline_tsc = tscl + delta_tsc;
hv_deadline_tsc  7247 arch/x86/kvm/vmx/vmx.c 	to_vmx(vcpu)->hv_deadline_tsc = -1;
hv_deadline_tsc   269 arch/x86/kvm/vmx/vmx.h 	u64 hv_deadline_tsc;