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