BOOK3S_INTERRUPT_PROGRAM
(\intno == BOOK3S_INTERRUPT_PROGRAM) || \
kvmppc_inject_interrupt(vcpu, BOOK3S_INTERRUPT_PROGRAM, srr1_flags);
vec = BOOK3S_INTERRUPT_PROGRAM;
case BOOK3S_INTERRUPT_PROGRAM:
if (exit_nr == BOOK3S_INTERRUPT_PROGRAM)
case BOOK3S_INTERRUPT_PROGRAM: