BOOK3S_INTERRUPT_EXTERNAL
(\intno == BOOK3S_INTERRUPT_EXTERNAL) || \
kvmppc_book3s_queue_irqprio(vcpu, BOOK3S_INTERRUPT_EXTERNAL);
kvmppc_book3s_dequeue_irqprio(vcpu, BOOK3S_INTERRUPT_EXTERNAL);
vec = BOOK3S_INTERRUPT_EXTERNAL;
case BOOK3S_INTERRUPT_EXTERNAL:
case BOOK3S_INTERRUPT_EXTERNAL:
case BOOK3S_INTERRUPT_EXTERNAL:
BOOK3S_INTERRUPT_EXTERNAL, 0);
inject_interrupt(vcpu, BOOK3S_INTERRUPT_EXTERNAL, 0);
case BOOK3S_INTERRUPT_EXTERNAL:
kvmppc_book3s_dequeue_irqprio(icp->vcpu, BOOK3S_INTERRUPT_EXTERNAL);
BOOK3S_INTERRUPT_EXTERNAL);
kvmppc_book3s_dequeue_irqprio(icp->vcpu, BOOK3S_INTERRUPT_EXTERNAL);
kvmppc_book3s_dequeue_irqprio(icp->vcpu, BOOK3S_INTERRUPT_EXTERNAL);