Searched refs:kvm_timer_vcpu_terminate (Results 1 – 3 of 3) sorted by relevance
70 void kvm_timer_vcpu_terminate(struct kvm_vcpu *vcpu);
1197 void kvm_timer_vcpu_terminate(struct kvm_vcpu *vcpu) in kvm_timer_vcpu_terminate() function
361 kvm_timer_vcpu_terminate(vcpu); in kvm_arch_vcpu_destroy()