Symbol: kvmppc_core_dequeue_dec
arch/powerpc/kvm/book3s.c
241
void kvmppc_core_dequeue_dec(struct kvm_vcpu *vcpu)
arch/powerpc/kvm/booke.c
344
void kvmppc_core_dequeue_dec(struct kvm_vcpu *vcpu)