kvmppc_core_dequeue_debug - Linux

Symbol: kvmppc_core_dequeue_debug

arch/powerpc/include/asm/kvm_ppc.h

void kvmppc_core_dequeue_debug(struct kvm_vcpu *vcpu);

arch/powerpc/kvm/booke_emulate.c

kvmppc_core_dequeue_debug(vcpu);