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