Searched refs:kvm_timer_vcpu_reset (Results 1 – 4 of 4) sorted by relevance
85 return kvm_timer_vcpu_reset(vcpu); in kvm_reset_vcpu()
72 int kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu);
335 ret = kvm_timer_vcpu_reset(vcpu); in kvm_reset_vcpu()
638 int kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu) in kvm_timer_vcpu_reset() function
