BOOKE_IRQPRIO_SPE_FP_ROUND
kvmppc_booke_queue_irqprio(vcpu, BOOKE_IRQPRIO_SPE_FP_ROUND);
case BOOKE_IRQPRIO_SPE_FP_ROUND:
sregs->u.e.ivor_high[2] = vcpu->arch.ivor[BOOKE_IRQPRIO_SPE_FP_ROUND];
vcpu->arch.ivor[BOOKE_IRQPRIO_SPE_FP_ROUND] =
vcpu->arch.ivor[BOOKE_IRQPRIO_SPE_FP_ROUND] = spr_val;
*spr_val = vcpu->arch.ivor[BOOKE_IRQPRIO_SPE_FP_ROUND];
{BOOKE_IRQPRIO_SPE_FP_ROUND, "SPE_FP_ROUND"},