kvmppc_core_dequeue_external  144 arch/powerpc/include/asm/kvm_ppc.h extern void kvmppc_core_dequeue_external(struct kvm_vcpu *vcpu);
kvmppc_core_dequeue_external  279 arch/powerpc/kvm/mpic.c 	kvmppc_core_dequeue_external(dst->vcpu);
kvmppc_core_dequeue_external 1846 arch/powerpc/kvm/powerpc.c 		kvmppc_core_dequeue_external(vcpu);