Symbol: kvmppc_core_dequeue_external
arch/powerpc/include/asm/kvm_ppc.h
147
extern void kvmppc_core_dequeue_external(struct kvm_vcpu *vcpu);
arch/powerpc/kvm/mpic.c
278
kvmppc_core_dequeue_external(dst->vcpu);
arch/powerpc/kvm/powerpc.c
1868
kvmppc_core_dequeue_external(vcpu);