Symbol: kvmppc_booke_vcpu_put
arch/powerpc/kvm/booke.h
86
void kvmppc_booke_vcpu_put(struct kvm_vcpu *vcpu);
arch/powerpc/kvm/e500.c
314
kvmppc_booke_vcpu_put(vcpu);
arch/powerpc/kvm/e500mc.c
173
kvmppc_booke_vcpu_put(vcpu);