Searched refs:guest_deadline_tsc (Results 1 – 2 of 2) sorted by relevance
115 int vmx_set_hv_timer(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc,
1790 int (*set_hv_timer)(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc,