Searched refs:kvm_timer_vcpu_reset (Results 1 – 3 of 3) sorted by relevance
99 void kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu);
264 kvm_timer_vcpu_reset(vcpu); in kvm_reset_vcpu()
938 void kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu) in kvm_timer_vcpu_reset() function