BOOKE_IRQPRIO_ALIGNMENT
sregs->u.e.ivor_low[5] = vcpu->arch.ivor[BOOKE_IRQPRIO_ALIGNMENT];
vcpu->arch.ivor[BOOKE_IRQPRIO_ALIGNMENT] = sregs->u.e.ivor_low[5];
kvmppc_booke_queue_irqprio(vcpu, BOOKE_IRQPRIO_ALIGNMENT);
case BOOKE_IRQPRIO_ALIGNMENT:
vcpu->arch.ivor[BOOKE_IRQPRIO_ALIGNMENT] = spr_val;
*spr_val = vcpu->arch.ivor[BOOKE_IRQPRIO_ALIGNMENT];
{BOOKE_IRQPRIO_ALIGNMENT, "ALIGNMENT"}, \