kvmppc_core_vcpu_put  780 arch/powerpc/kvm/book3s.c void kvmppc_core_vcpu_put(struct kvm_vcpu *vcpu)
kvmppc_core_vcpu_put 2137 arch/powerpc/kvm/booke.c void kvmppc_core_vcpu_put(struct kvm_vcpu *vcpu)