Symbol: kvmppc_core_vcpu_put
arch/powerpc/kvm/book3s.c
796
void kvmppc_core_vcpu_put(struct kvm_vcpu *vcpu)
arch/powerpc/kvm/booke.c
2180
void kvmppc_core_vcpu_put(struct kvm_vcpu *vcpu)