ECD_ETOKENF
vcpu->arch.sie_block->ecd |= ECD_ETOKENF;
scb_s->ecd |= scb_o->ecd & ECD_ETOKENF;
(scb_s->ecd & ECD_ETOKENF)) {