ECD_ETOKENF      3012 arch/s390/kvm/kvm-s390.c 		vcpu->arch.sie_block->ecd |= ECD_ETOKENF;
ECD_ETOKENF       548 arch/s390/kvm/vsie.c 		scb_s->ecd |= scb_o->ecd & ECD_ETOKENF;
ECD_ETOKENF       802 arch/s390/kvm/vsie.c 	    (scb_s->ecd & ECD_ETOKENF)) {