kvmppc_core_dequeue_external 274 arch/powerpc/kvm/book3s.c void kvmppc_core_dequeue_external(struct kvm_vcpu *vcpu) kvmppc_core_dequeue_external 332 arch/powerpc/kvm/booke.c void kvmppc_core_dequeue_external(struct kvm_vcpu *vcpu)