kvmppc_core_queue_external  142 arch/powerpc/include/asm/kvm_ppc.h extern void kvmppc_core_queue_external(struct kvm_vcpu *vcpu,
kvmppc_core_queue_external 1850 arch/powerpc/kvm/powerpc.c 	kvmppc_core_queue_external(vcpu, irq);