kvmppc_mpic_disconnect_vcpu  848 arch/powerpc/include/asm/kvm_ppc.h void kvmppc_mpic_disconnect_vcpu(struct openpic *opp, struct kvm_vcpu *vcpu);
kvmppc_mpic_disconnect_vcpu  743 arch/powerpc/kvm/powerpc.c 		kvmppc_mpic_disconnect_vcpu(vcpu->arch.mpic, vcpu);