kvmppc_core_queue_dec  140 arch/powerpc/include/asm/kvm_ppc.h extern void kvmppc_core_queue_dec(struct kvm_vcpu *vcpu);
kvmppc_core_queue_dec  231 arch/powerpc/kvm/book3s.c EXPORT_SYMBOL_GPL(kvmppc_core_queue_dec);
kvmppc_core_queue_dec  813 arch/powerpc/kvm/book3s.c 	kvmppc_core_queue_dec(vcpu);
kvmppc_core_queue_dec 2450 arch/powerpc/kvm/book3s_hv.c 		kvmppc_core_queue_dec(vcpu);
kvmppc_core_queue_dec  652 arch/powerpc/kvm/booke.c 		kvmppc_core_queue_dec(vcpu);