kvmppc_core_dequeue_debug  246 arch/powerpc/include/asm/kvm_ppc.h void kvmppc_core_dequeue_debug(struct kvm_vcpu *vcpu);
kvmppc_core_dequeue_debug  259 arch/powerpc/kvm/booke_emulate.c 			kvmppc_core_dequeue_debug(vcpu);