BOOK3S_INTERRUPT_DECREMENTER
(\intno == BOOK3S_INTERRUPT_DECREMENTER) || \
kvmppc_book3s_queue_irqprio(vcpu, BOOK3S_INTERRUPT_DECREMENTER);
kvmppc_book3s_dequeue_irqprio(vcpu, BOOK3S_INTERRUPT_DECREMENTER);
vec = BOOK3S_INTERRUPT_DECREMENTER;
BOOK3S_INTERRUPT_DECREMENTER, 0);
case BOOK3S_INTERRUPT_DECREMENTER: