Searched refs:guest_deadline_tsc (Results 1 – 1 of 1) sorted by relevance
8364 int vmx_set_hv_timer(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc, in vmx_set_hv_timer() argument8374 delta_tsc = max(guest_deadline_tsc, guest_tscl) - guest_tscl; in vmx_set_hv_timer()