Return to states1.c CVS log

Up to [CSRG BSD Unix] / 43BSDReno / contrib / isode-beta / vt

Annotation of 43BSDReno/contrib/isode-beta/vt/states1.c, revision 1.1

1.1     ! root        1: /* states1.c - VTPM: FSM sector 1 states */
        !             2: 
        !             3: #ifndef        lint
        !             4: static char *rcsid = "$Header: /f/osi/vt/RCS/states1.c,v 7.0 89/11/23 22:31:46 mrose Rel $";
        !             5: #endif
        !             6: 
        !             7: /* 
        !             8:  * $Header: /f/osi/vt/RCS/states1.c,v 7.0 89/11/23 22:31:46 mrose Rel $
        !             9:  *
        !            10:  *
        !            11:  * $Log:       states1.c,v $
        !            12:  * Revision 7.0  89/11/23  22:31:46  mrose
        !            13:  * Release 6.0
        !            14:  * 
        !            15:  */
        !            16: 
        !            17: /*
        !            18:  *                               NOTICE
        !            19:  *
        !            20:  *    Acquisition, use, and distribution of this module and related
        !            21:  *    materials are subject to the restrictions of a license agreement.
        !            22:  *    Consult the Preface in the User's Manual for the full terms of
        !            23:  *    this agreement.
        !            24:  *
        !            25:  */
        !            26: 
        !            27: 
        !            28: #include "vtpm.h"
        !            29: 
        !            30: #define        undefined(s1,e1) \
        !            31:        adios (NULLCP, \
        !            32:              "undefined state/event: sector is 1, state is %s, event is %d", \
        !            33:               s1, e1)
        !            34: 
        !            35: int
        !            36: s1_01(event, pe)                       /* sector 1, state 01   */
        !            37:        int     event;
        !            38:        PE      pe;
        !            39: {
        !            40:        switch (event) {
        !            41:        case ASQ:
        !            42:                return(a1_17(pe));
        !            43:        case VASSreq:
        !            44:                return(a1_2(pe));
        !            45:        case APQ:
        !            46:                return(a1_107(pe));
        !            47:        case AUQ:
        !            48:                return(a1_107(pe));
        !            49:        case PAB:
        !            50:                return(a1_107(pe));
        !            51:        case VTAB:
        !            52:                return(a1_107(pe));
        !            53:        case VUABreq:
        !            54:                return(a1_107(pe));
        !            55:        default:
        !            56:                undefined ("01", event); /* NOTREACHED */
        !            57:        }
        !            58: }
        !            59: 
        !            60: int
        !            61: s1_02B(event, pe)
        !            62:        int     event;
        !            63:        PE      pe;
        !            64: {
        !            65:        switch (event) {
        !            66:        case ASR:
        !            67:                return(a1_15(pe));
        !            68:        case APQ:
        !            69:                a1_100(pe);
        !            70:                return(OK); /*  NOTREACHED      */
        !            71:        case AUQ:
        !            72:                a1_101(pe);
        !            73:                return(OK);     /* NOTREACHED   */
        !            74:        case PAB:
        !            75:                a1_100(pe);
        !            76:                return(OK); /*  NOTREACHED      */
        !            77:        case VTAB:
        !            78:                a1_103(pe);
        !            79:                return(OK);     /* NOTREACHED */
        !            80:        case VUABreq:
        !            81:                a1_102(pe);
        !            82:                return(OK);     /* NOTREACHED */
        !            83:        default:
        !            84:                undefined ("02B", event); /* NOTREACHED */
        !            85:        }
        !            86: }
        !            87: 
        !            88: int
        !            89: s1_02S(event, pe)
        !            90:        int     event;
        !            91:        PE      pe;
        !            92: {
        !            93:        switch (event) {
        !            94:        case ASR:
        !            95:                return(a1_16(pe));
        !            96:        case APQ:
        !            97:                a1_100(pe);
        !            98:                return(OK); /*  NOTREACHED      */
        !            99:        case AUQ:
        !           100:                a1_101(pe);
        !           101:                return(OK);     /* NOTREACHED   */
        !           102:        case PAB:
        !           103:                a1_100(pe);
        !           104:                return(OK); /*  NOTREACHED      */
        !           105:        case VTAB:
        !           106:                a1_103(pe);
        !           107:                return(OK);     /* NOTREACHED */
        !           108:        case VUABreq:
        !           109:                a1_102(pe);
        !           110:                return(OK);     /* NOTREACHED */
        !           111:        default:
        !           112:                undefined ("02S", event); /* NOTREACHED */
        !           113:        }
        !           114: }
        !           115: 
        !           116: int
        !           117: s1_03B(event, pe)
        !           118:        int     event;
        !           119:        PE      pe;
        !           120: {
        !           121:        switch (event) {
        !           122:        case VASSrsp:
        !           123:                return(a1_3(pe));
        !           124:        case APQ:
        !           125:                a1_100(pe);
        !           126:                return(OK); /*  NOTREACHED      */
        !           127:        case AUQ:
        !           128:                a1_101(pe);
        !           129:                return(OK);     /* NOTREACHED   */
        !           130:        case PAB:
        !           131:                a1_100(pe);
        !           132:                return(OK); /*  NOTREACHED      */
        !           133:        case VTAB:
        !           134:                a1_103(pe);
        !           135:                return(OK); /* NOTREACHED */
        !           136:        case VUABreq:
        !           137:                a1_102(pe);
        !           138:                return(OK);     /* NOTREACHED */
        !           139:        default:
        !           140:                undefined ("03B", event); /* NOTREACHED */
        !           141:        }
        !           142: }
        !           143: 
        !           144: int
        !           145: s1_03S(event, pe)
        !           146:        int     event;
        !           147:        PE      pe;
        !           148: {
        !           149:        switch (event) {
        !           150:        case VASSrsp:
        !           151:                return(a1_4(pe));
        !           152:        case APQ:
        !           153:                a1_100(pe);
        !           154:                return(OK); /*  NOTREACHED      */
        !           155:        case AUQ:
        !           156:                a1_101(pe);
        !           157:                return(OK);     /* NOTREACHED   */
        !           158:        case PAB:
        !           159:                a1_100(pe);
        !           160:                return(OK); /*  NOTREACHED      */
        !           161:        case VTAB:
        !           162:                a1_103(pe);
        !           163:                return(OK); /* NOTREACHED */
        !           164:        case VUABreq:
        !           165:                a1_102(pe);
        !           166:                return(OK);     /* NOTREACHED */
        !           167:        default:
        !           168:                undefined ("03S", event); /* NOTREACHED */
        !           169:        }
        !           170: }
        !           171: 
        !           172: int
        !           173: s1_10B(event, pe)
        !           174:        int     event;
        !           175:        PE      pe;
        !           176: {
        !           177:        switch (event) {
        !           178:        case GTQ:
        !           179:                return(a1_107(pe));
        !           180:        case RLQ:
        !           181:                return(a1_25(pe));
        !           182:        case RTQ:
        !           183:                return(a1_5(pe));
        !           184:        case VRELreq:
        !           185:                return(a1_7(pe));
        !           186:        case SNQ:
        !           187:                return(a1_29(pe));
        !           188:        case SPQ:
        !           189:                return(a1_30(pe));
        !           190:        case VSNEGreq:
        !           191:                return(a1_11(pe));
        !           192:        case VSWPreq:
        !           193:                return(a1_13(pe));
        !           194:        case APQ:
        !           195:                a1_100(pe);
        !           196:                return(OK); /*  NOTREACHED      */
        !           197:        case AUQ:
        !           198:                a1_101(pe);
        !           199:                return(OK);     /* NOTREACHED   */
        !           200:        case PAB:
        !           201:                a1_100(pe);
        !           202:                return(OK); /*  NOTREACHED      */
        !           203:        case VTAB:
        !           204:                a1_103(pe);
        !           205:                return(OK); /* NOTREACHED */
        !           206:        case VUABreq:
        !           207:                a1_102(pe);
        !           208:                return(OK);     /* NOTREACHED */
        !           209:        default:
        !           210:                undefined ("10B", event); /* NOTREACHED */
        !           211:        }
        !           212: }
        !           213: 
        !           214: int
        !           215: s1_10N(event, pe)
        !           216:        int     event;
        !           217:        PE      pe;
        !           218: {
        !           219:        switch (event) {
        !           220:        case GTQ:
        !           221:                return(a1_19(pe));
        !           222:        case RLQ:
        !           223:                return(a1_26(pe));
        !           224:        case SNQ:
        !           225:                return(a1_28(pe));
        !           226:        case SPQ:
        !           227:                return(a1_30(pe));
        !           228:        case VRQTreq:
        !           229:                return(a1_10(pe));
        !           230:        case APQ:
        !           231:                a1_100(pe);
        !           232:                return(OK); /*  NOTREACHED      */
        !           233:        case AUQ:
        !           234:                a1_101(pe);
        !           235:                return(OK);     /* NOTREACHED   */
        !           236:        case PAB:
        !           237:                a1_100(pe);
        !           238:                return(OK); /*  NOTREACHED      */
        !           239:        case VTAB:
        !           240:                a1_103(pe);
        !           241:                return(OK); /* NOTREACHED */
        !           242:        case VUABreq:
        !           243:                a1_102(pe);
        !           244:                return(OK);     /* NOTREACHED */
        !           245:        default:
        !           246:                undefined ("10N", event); /* NOTREACHED */
        !           247:        }
        !           248: }
        !           249: 
        !           250: int
        !           251: s1_10T(event, pe)
        !           252:        int     event;
        !           253:        PE      pe;
        !           254: {
        !           255:        switch (event) {
        !           256:        case RTQ:
        !           257:                return(a1_27(pe));
        !           258:        case VGVTreq:
        !           259:                return(a1_6(pe));
        !           260:        case VRELreq:
        !           261:                return(a1_8(pe));
        !           262:        case VRQTreq:
        !           263:                return(a1_19(pe));
        !           264:        case VSNEGreq:
        !           265:                return(a1_12(pe));
        !           266:        case VSWPreq:
        !           267:                return(a1_14(pe));
        !           268:        case APQ:
        !           269:                a1_100(pe);
        !           270:                return(OK); /*  NOTREACHED      */
        !           271:        case AUQ:
        !           272:                a1_101(pe);
        !           273:                return(OK);     /* NOTREACHED   */
        !           274:        case PAB:
        !           275:                a1_100(pe);
        !           276:                return(OK); /*  NOTREACHED      */
        !           277:        case VTAB:
        !           278:                a1_103(pe);
        !           279:                return(OK); /* NOTREACHED */
        !           280:        case VUABreq:
        !           281:                a1_102(pe);
        !           282:                return(OK);     /* NOTREACHED */
        !           283:        default:
        !           284:                undefined ("10T", event); /* NOTREACHED */
        !           285:        }
        !           286: }
        !           287: 
        !           288: int
        !           289: s1_50B(event, pe)
        !           290:        int     event;
        !           291:        PE      pe;
        !           292: {
        !           293:        switch (event) {
        !           294:        case DLQ:
        !           295:                return(a1_21(pe));
        !           296:        case GTQ:
        !           297:                return(a1_7(pe));
        !           298:        case NDQ_ntr:
        !           299:                return(a1_0(pe));
        !           300:        case NDQ_tr:
        !           301:                return(a1_1(pe));
        !           302:        case RLQ:
        !           303:                return(a1_22(pe));
        !           304:        case SNQ:
        !           305:                return(a1_23(pe));
        !           306:        case SPQ:
        !           307:                return(a1_24(pe));
        !           308:        case UDQ:
        !           309:                return(a1_18(pe));
        !           310:        case APQ:
        !           311:                a1_100(pe);
        !           312:                return(OK); /*  NOTREACHED      */
        !           313:        case AUQ:
        !           314:                a1_101(pe);
        !           315:                return(OK);     /* NOTREACHED   */
        !           316:        case PAB:
        !           317:                a1_100(pe);
        !           318:                return(OK); /*  NOTREACHED      */
        !           319:        case VTAB:
        !           320:                a1_103(pe);
        !           321:                return(OK); /* NOTREACHED */
        !           322:        case VUABreq:
        !           323:                a1_102(pe);
        !           324:                return(OK);     /* NOTREACHED */
        !           325:        default:
        !           326:                undefined ("50B", event); /* NOTREACHED */
        !           327:        }
        !           328: }
        !           329: 
        !           330: 
        !           331: int
        !           332: s1_51Q(event, pe)
        !           333:        int     event;
        !           334:        PE      pe;
        !           335: {
        !           336:        switch (event) {
        !           337:        case DLQ:
        !           338:                return(a1_21(pe));
        !           339:        case NDQ_ntr:
        !           340:                return(a1_0(pe));
        !           341:        case NDQ_tr:
        !           342:                return(a1_1(pe));
        !           343:        case RLR:
        !           344:                return(a1_20(pe));
        !           345:        case RTQ:
        !           346:                return(a1_107(pe));
        !           347:        case APQ:
        !           348:                a1_100(pe);
        !           349:                return(OK); /*  NOTREACHED      */
        !           350:        case AUQ:
        !           351:                a1_101(pe);
        !           352:                return(OK);     /* NOTREACHED   */
        !           353:        case PAB:
        !           354:                a1_100(pe);
        !           355:                return(OK); /*  NOTREACHED      */
        !           356:        case VTAB:
        !           357:                a1_103(pe);
        !           358:                return(OK); /* NOTREACHED */
        !           359:        case VUABreq:
        !           360:                a1_102(pe);
        !           361:                return(OK);     /* NOTREACHED */
        !           362:        default:
        !           363:                undefined ("51Q", event); /* NOTREACHED */
        !           364:        }
        !           365: }
        !           366: 
        !           367: int
        !           368: s1_51R(event, pe)
        !           369:        int     event;
        !           370:        PE      pe;
        !           371: {
        !           372:        switch (event) {
        !           373:        case VRELrsp:
        !           374:                return(a1_9(pe));
        !           375:        case APQ:
        !           376:                a1_100(pe);
        !           377:                return(OK); /*  NOTREACHED      */
        !           378:        case AUQ:
        !           379:                a1_101(pe);
        !           380:                return(OK);     /* NOTREACHED   */
        !           381:        case PAB:
        !           382:                a1_100(pe);
        !           383:                return(OK); /*  NOTREACHED      */
        !           384:        case VTAB:
        !           385:                a1_103(pe);
        !           386:                return(OK); /* NOTREACHED */
        !           387:        case VUABreq:
        !           388:                a1_102(pe);
        !           389:                return(OK);     /* NOTREACHED */
        !           390:        default:
        !           391:                undefined ("51R", event); /* NOTREACHED */
        !           392:        }
        !           393: }
        !           394: 
        !           395: int
        !           396: s1_51N(event, pe)
        !           397:        int     event;
        !           398:        PE      pe;
        !           399: {
        !           400:        switch (event) {
        !           401:        case VRELrsp:
        !           402:                return(a1_9(pe));
        !           403:        case APQ:
        !           404:                a1_100(pe);
        !           405:                return(OK); /*  NOTREACHED      */
        !           406:        case AUQ:
        !           407:                a1_101(pe);
        !           408:                return(OK);     /* NOTREACHED   */
        !           409:        case PAB:
        !           410:                a1_100(pe);
        !           411:                return(OK); /*  NOTREACHED      */
        !           412:        case VTAB:
        !           413:                a1_103(pe);
        !           414:                return(OK); /* NOTREACHED */
        !           415:        case VUABreq:
        !           416:                a1_102(pe);
        !           417:                return(OK);     /* NOTREACHED */
        !           418:        default:
        !           419:                undefined ("51N", event); /* NOTREACHED */
        !           420:        }
        !           421: }
        !           422: 
        !           423: int
        !           424: s1_51T(event, pe)
        !           425:        int     event;
        !           426:        PE      pe;
        !           427: {
        !           428:        switch (event) {
        !           429:        case RLR:
        !           430:                return(a1_20(pe));
        !           431:        case RTQ:
        !           432:                return(a1_0(pe));
        !           433:        case UDQ:
        !           434:                return(a1_18(pe));
        !           435:        case APQ:
        !           436:                a1_100(pe);
        !           437:                return(OK); /*  NOTREACHED      */
        !           438:        case AUQ:
        !           439:                a1_101(pe);
        !           440:                return(OK);     /* NOTREACHED   */
        !           441:        case PAB:
        !           442:                a1_100(pe);
        !           443:                return(OK); /*  NOTREACHED      */
        !           444:        case VTAB:
        !           445:                a1_103(pe);
        !           446:                return(OK); /* NOTREACHED */
        !           447:        case VUABreq:
        !           448:                a1_102(pe);
        !           449:                return(OK);     /* NOTREACHED */
        !           450:        default:
        !           451:                undefined ("51T", event); /* NOTREACHED */
        !           452:        }
        !           453: }

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.