ICPT_PROGI
if (vcpu->arch.sie_block->icptcode == ICPT_PROGI) {
case ICPT_PROGI:
scb_s->icptcode = ICPT_PROGI;