Symbol: kvmppc_core_queue_external
arch/powerpc/include/asm/kvm_ppc.h
145
extern void kvmppc_core_queue_external(struct kvm_vcpu *vcpu,
arch/powerpc/kvm/powerpc.c
1872
kvmppc_core_queue_external(vcpu, irq);