Symbol: kvmppc_core_queue_debug
arch/powerpc/include/asm/kvm_ppc.h
244
void kvmppc_core_queue_debug(struct kvm_vcpu *vcpu);
arch/powerpc/kvm/booke.c
883
kvmppc_core_queue_debug(vcpu);