|
|
Initial revision
/* states5.c - VTPM: FSM sector 5 states */
#ifndef lint
static char *rcsid = "$Header: /var/lib/cvsd/repos/CSRG/43BSDReno/contrib/isode-beta/vt/states5.c,v 1.1 2018/04/24 16:12:56 root Exp $";
#endif
/*
* $Header: /var/lib/cvsd/repos/CSRG/43BSDReno/contrib/isode-beta/vt/states5.c,v 1.1 2018/04/24 16:12:56 root Exp $
*
*
* $Log: states5.c,v $
* Revision 1.1 2018/04/24 16:12:56 root
* Initial revision
*
* Revision 7.0 89/11/23 22:31:47 mrose
* Release 6.0
*
*/
/*
* NOTICE
*
* Acquisition, use, and distribution of this module and related
* materials are subject to the restrictions of a license agreement.
* Consult the Preface in the User's Manual for the full terms of
* this agreement.
*
*/
#include "vtpm.h"
#define undefined(s1, e1) \
adios (NULLCP, \
"undefined state/event: sector is 5, state is %s, event is %d", \
s1, e1)
int
s5_400B(event, pe) /* sector 5, state 400B */
int event;
PE pe;
{
switch (event) {
case DLQ:
return(a5_35(pe));
case NDQ_ntr:
return(a5_3(pe));
case NDQ_tr:
return(a5_2(pe));
case UDQ:
return(a5_34(pe));
case HDQ:
return(a5_106(pe));
case VDATreq_h:
return(a5_11(pe));
case VDATreq_u:
return(a5_28(pe));
case RLQ:
return(a5_38(pe));
case BKQ:
return(a5_32(pe));
case VDATreq_n:
return(a5_1(pe));
case VDELreq:
return(a5_9(pe));
case VRELreq:
return(a5_17(pe));
case VBRKreq:
return(a5_5(pe));
default:
undefined ("400B", event); /* NOTREACHED */
}
}
/* ARGSUSED */
int
s5_402B(event, pe)
int event;
PE pe;
{
undefined ("402B", event); /* NOTREACHED */
}
/* ARGSUSED */
int
s5_420B(event, pe)
int event;
PE pe;
{
undefined ("420B", event); /* NOTREACHED */
}
/* ARGSUSED */
int
s5_422B(event, pe) /* sector 5, state 422B */
int event;
PE pe;
{
undefined ("422B", event); /* NOTREACHED */
}
/* ARGSUSED */
int
s5_40N(event, pe)
int event;
PE pe;
{
undefined ("40N", event); /* NOTREACHED */
}
/* ARGSUSED */
int
s5_40T(event, pe)
int event;
PE pe;
{
undefined ("40T", event); /* NOTREACHED */
}
/* ARGSUSED */
int
s5_42T(event, pe)
int event;
PE pe;
{
undefined ("42T", event); /* NOTREACHED */
}
/* ARGSUSED */
int
s5_42N(event, pe)
int event;
PE pe;
{
undefined ("42N", event); /* NOTREACHED */
}
s5_61(event, pe)
int event;
PE pe;
{
switch (event) {
case BKR:
return(a5_31(pe));
default:
undefined ("61", event); /* NOTREACHED */
}
}
int
s5_62(event, pe)
int event;
PE pe;
{
switch (event) {
case VBRKrsp:
return(a5_6(pe));
default:
undefined ("62", event); /* NOTREACHED */
}
}
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.