Searched refs:guest_deadline_tsc (Results 1 – 2 of 2) sorted by relevance
1113 int (*set_hv_timer)(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc);
13505 static int vmx_set_hv_timer(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc) in vmx_set_hv_timer() argument13516 delta_tsc = max(guest_deadline_tsc, guest_tscl) - guest_tscl; in vmx_set_hv_timer()
