kvmppc_core_queue_debug  247 arch/powerpc/include/asm/kvm_ppc.h void kvmppc_core_queue_debug(struct kvm_vcpu *vcpu);
kvmppc_core_queue_debug  855 arch/powerpc/kvm/booke.c 			kvmppc_core_queue_debug(vcpu);