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