BOOK3S_INTERRUPT_VSX
(\intno == BOOK3S_INTERRUPT_VSX)
kvmppc_inject_interrupt(vcpu, BOOK3S_INTERRUPT_VSX, srr1_flags);
vec = BOOK3S_INTERRUPT_VSX;
case BOOK3S_INTERRUPT_VSX:
case BOOK3S_INTERRUPT_VSX:
exit_nr = BOOK3S_INTERRUPT_VSX;