[unix-history] / usr / src / contrib / isode / vt / states5.c

/* states5.c - VTPM: FSM sector 5 states */

#ifndef	lint
static char *rcsid = "$Header: /f/osi/vt/RCS/states5.c,v 7.1 91/02/22 09:48:20 mrose Interim $";
#endif

/* 
 * $Header: /f/osi/vt/RCS/states5.c,v 7.1 91/02/22 09:48:20 mrose Interim $
 *
 *
 * $Log:	states5.c,v $
 * Revision 7.1  91/02/22  09:48:20  mrose
 * Interim 6.8
 * 
 * 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 */
	}
}
Commit	Line	Data
9319b3c3 C	1	/* states5.c - VTPM: FSM sector 5 states */
	2
	3	#ifndef lint
	4	static char *rcsid = "$Header: /f/osi/vt/RCS/states5.c,v 7.1 91/02/22 09:48:20 mrose Interim $";
	5	#endif
	6
	7	/*
	8	* $Header: /f/osi/vt/RCS/states5.c,v 7.1 91/02/22 09:48:20 mrose Interim $
	9	*
	10	*
	11	* $Log: states5.c,v $
	12	* Revision 7.1 91/02/22 09:48:20 mrose
	13	* Interim 6.8
	14	*
	15	* Revision 7.0 89/11/23 22:31:47 mrose
	16	* Release 6.0
	17	*
	18	*/
	19
	20	/*
	21	* NOTICE
	22	*
	23	* Acquisition, use, and distribution of this module and related
	24	* materials are subject to the restrictions of a license agreement.
	25	* Consult the Preface in the User's Manual for the full terms of
	26	* this agreement.
	27	*
	28	*/
	29
	30
	31	#include "vtpm.h"
	32
	33	#define undefined(s1, e1) \
	34	adios (NULLCP, \
	35	"undefined state/event: sector is 5, state is %s, event is %d", \
	36	s1, e1)
	37
	38	int
	39	s5_400B(event, pe) /* sector 5, state 400B */
	40	int event;
	41	PE pe;
	42	{
	43	switch (event) {
	44	case DLQ:
	45	return(a5_35(pe));
	46	case NDQ_ntr:
	47	return(a5_3(pe));
	48	case NDQ_tr:
	49	return(a5_2(pe));
	50	case UDQ:
	51	return(a5_34(pe));
	52	case HDQ:
	53	return(a5_106(pe));
	54	case VDATreq_h:
	55	return(a5_11(pe));
	56	case VDATreq_u:
	57	return(a5_28(pe));
	58	case RLQ:
	59	return(a5_38(pe));
	60	case BKQ:
	61	return(a5_32(pe));
	62	case VDATreq_n:
	63	return(a5_1(pe));
	64	case VDELreq:
65	return(a5_9(pe));
66	case VRELreq:
67	return(a5_17(pe));
68	case VBRKreq:
69	return(a5_5(pe));
70	default:
71	undefined ("400B", event); /* NOTREACHED */
72	}
73	}
74
75	/* ARGSUSED */
76	int
77	s5_402B(event, pe)
78	int event;
79	PE pe;
80	{
81	undefined ("402B", event); /* NOTREACHED */
82	}
83
84	/* ARGSUSED */
85	int
86	s5_420B(event, pe)
87	int event;
88	PE pe;
89	{
90	undefined ("420B", event); /* NOTREACHED */
91	}
92
93	/* ARGSUSED */
94	int
95	s5_422B(event, pe) /* sector 5, state 422B */
96	int event;
97	PE pe;
98	{
99	undefined ("422B", event); /* NOTREACHED */
100	}
101
102	/* ARGSUSED */
103	int
104	s5_40N(event, pe)
105	int event;
106	PE pe;
107	{
108	undefined ("40N", event); /* NOTREACHED */
109	}
110
111	/* ARGSUSED */
112	int
113	s5_40T(event, pe)
114	int event;
115	PE pe;
116	{
117	undefined ("40T", event); /* NOTREACHED */
118	}
119
120	/* ARGSUSED */
121	int
122	s5_42T(event, pe)
123	int event;
124	PE pe;
125	{
126	undefined ("42T", event); /* NOTREACHED */
127	}
128
129	/* ARGSUSED */
130	int
131	s5_42N(event, pe)
132	int event;
133	PE pe;
134	{
135	undefined ("42N", event); /* NOTREACHED */
136	}
137
138
139	s5_61(event, pe)
140	int event;
141	PE pe;
142	{
143	switch (event) {
144	case BKR:
145	return(a5_31(pe));
146	default:
147	undefined ("61", event); /* NOTREACHED */
148	}
149	}
150	int
151	s5_62(event, pe)
152	int event;
153	PE pe;
154	{
155	switch (event) {
156	case VBRKrsp:
157	return(a5_6(pe));
158	default:
159	undefined ("62", event); /* NOTREACHED */
160	}
161	}