kvmppc_core_queue_dec 227 arch/powerpc/kvm/book3s.c void kvmppc_core_queue_dec(struct kvm_vcpu *vcpu) kvmppc_core_queue_dec 306 arch/powerpc/kvm/booke.c void kvmppc_core_queue_dec(struct kvm_vcpu *vcpu)