Searched refs:kvm_timer_vcpu_terminate (Results 1 – 3 of 3) sorted by relevance
72 void kvm_timer_vcpu_terminate(struct kvm_vcpu *vcpu);
792 void kvm_timer_vcpu_terminate(struct kvm_vcpu *vcpu) in kvm_timer_vcpu_terminate() function
322 kvm_timer_vcpu_terminate(vcpu); in kvm_arch_vcpu_free()