Searched defs:guest_deadline_tsc (Results 1 – 2 of 2) sorted by relevance
790 static int vt_set_hv_timer(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc, in vt_set_hv_timer()
8050 int vmx_set_hv_timer(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc, in vmx_set_hv_timer()