BOOKE_IRQPRIO_DECREMENTER
sregs->u.e.ivor_low[10] = vcpu->arch.ivor[BOOKE_IRQPRIO_DECREMENTER];
vcpu->arch.ivor[BOOKE_IRQPRIO_DECREMENTER] = sregs->u.e.ivor_low[10];
kvmppc_booke_queue_irqprio(vcpu, BOOKE_IRQPRIO_DECREMENTER);
return test_bit(BOOKE_IRQPRIO_DECREMENTER, &vcpu->arch.pending_exceptions);
clear_bit(BOOKE_IRQPRIO_DECREMENTER, &vcpu->arch.pending_exceptions);
case BOOKE_IRQPRIO_DECREMENTER:
(1 << BOOKE_IRQPRIO_DECREMENTER) | \
vcpu->arch.ivor[BOOKE_IRQPRIO_DECREMENTER] = spr_val;
*spr_val = vcpu->arch.ivor[BOOKE_IRQPRIO_DECREMENTER];
{BOOKE_IRQPRIO_DECREMENTER, "DECREMENTER"}, \