xref: /minix3/minix/lib/liblwip/dist/src/netif/ppp/fsm.c (revision 5d5fbe79c1b60734f34c69330aec5496644e8651)
1*5d5fbe79SDavid van Moolenbroek /*
2*5d5fbe79SDavid van Moolenbroek  * fsm.c - {Link, IP} Control Protocol Finite State Machine.
3*5d5fbe79SDavid van Moolenbroek  *
4*5d5fbe79SDavid van Moolenbroek  * Copyright (c) 1984-2000 Carnegie Mellon University. All rights reserved.
5*5d5fbe79SDavid van Moolenbroek  *
6*5d5fbe79SDavid van Moolenbroek  * Redistribution and use in source and binary forms, with or without
7*5d5fbe79SDavid van Moolenbroek  * modification, are permitted provided that the following conditions
8*5d5fbe79SDavid van Moolenbroek  * are met:
9*5d5fbe79SDavid van Moolenbroek  *
10*5d5fbe79SDavid van Moolenbroek  * 1. Redistributions of source code must retain the above copyright
11*5d5fbe79SDavid van Moolenbroek  *    notice, this list of conditions and the following disclaimer.
12*5d5fbe79SDavid van Moolenbroek  *
13*5d5fbe79SDavid van Moolenbroek  * 2. Redistributions in binary form must reproduce the above copyright
14*5d5fbe79SDavid van Moolenbroek  *    notice, this list of conditions and the following disclaimer in
15*5d5fbe79SDavid van Moolenbroek  *    the documentation and/or other materials provided with the
16*5d5fbe79SDavid van Moolenbroek  *    distribution.
17*5d5fbe79SDavid van Moolenbroek  *
18*5d5fbe79SDavid van Moolenbroek  * 3. The name "Carnegie Mellon University" must not be used to
19*5d5fbe79SDavid van Moolenbroek  *    endorse or promote products derived from this software without
20*5d5fbe79SDavid van Moolenbroek  *    prior written permission. For permission or any legal
21*5d5fbe79SDavid van Moolenbroek  *    details, please contact
22*5d5fbe79SDavid van Moolenbroek  *      Office of Technology Transfer
23*5d5fbe79SDavid van Moolenbroek  *      Carnegie Mellon University
24*5d5fbe79SDavid van Moolenbroek  *      5000 Forbes Avenue
25*5d5fbe79SDavid van Moolenbroek  *      Pittsburgh, PA  15213-3890
26*5d5fbe79SDavid van Moolenbroek  *      (412) 268-4387, fax: (412) 268-7395
27*5d5fbe79SDavid van Moolenbroek  *      tech-transfer@andrew.cmu.edu
28*5d5fbe79SDavid van Moolenbroek  *
29*5d5fbe79SDavid van Moolenbroek  * 4. Redistributions of any form whatsoever must retain the following
30*5d5fbe79SDavid van Moolenbroek  *    acknowledgment:
31*5d5fbe79SDavid van Moolenbroek  *    "This product includes software developed by Computing Services
32*5d5fbe79SDavid van Moolenbroek  *     at Carnegie Mellon University (http://www.cmu.edu/computing/)."
33*5d5fbe79SDavid van Moolenbroek  *
34*5d5fbe79SDavid van Moolenbroek  * CARNEGIE MELLON UNIVERSITY DISCLAIMS ALL WARRANTIES WITH REGARD TO
35*5d5fbe79SDavid van Moolenbroek  * THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
36*5d5fbe79SDavid van Moolenbroek  * AND FITNESS, IN NO EVENT SHALL CARNEGIE MELLON UNIVERSITY BE LIABLE
37*5d5fbe79SDavid van Moolenbroek  * FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
38*5d5fbe79SDavid van Moolenbroek  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN
39*5d5fbe79SDavid van Moolenbroek  * AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING
40*5d5fbe79SDavid van Moolenbroek  * OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
41*5d5fbe79SDavid van Moolenbroek  */
42*5d5fbe79SDavid van Moolenbroek 
43*5d5fbe79SDavid van Moolenbroek #include "netif/ppp/ppp_opts.h"
44*5d5fbe79SDavid van Moolenbroek #if PPP_SUPPORT /* don't build if not configured for use in lwipopts.h */
45*5d5fbe79SDavid van Moolenbroek 
46*5d5fbe79SDavid van Moolenbroek /*
47*5d5fbe79SDavid van Moolenbroek  * @todo:
48*5d5fbe79SDavid van Moolenbroek  * Randomize fsm id on link/init.
49*5d5fbe79SDavid van Moolenbroek  * Deal with variable outgoing MTU.
50*5d5fbe79SDavid van Moolenbroek  */
51*5d5fbe79SDavid van Moolenbroek 
52*5d5fbe79SDavid van Moolenbroek #if 0 /* UNUSED */
53*5d5fbe79SDavid van Moolenbroek #include <stdio.h>
54*5d5fbe79SDavid van Moolenbroek #include <string.h>
55*5d5fbe79SDavid van Moolenbroek #include <sys/types.h>
56*5d5fbe79SDavid van Moolenbroek #endif /* UNUSED */
57*5d5fbe79SDavid van Moolenbroek 
58*5d5fbe79SDavid van Moolenbroek #include "netif/ppp/ppp_impl.h"
59*5d5fbe79SDavid van Moolenbroek 
60*5d5fbe79SDavid van Moolenbroek #include "netif/ppp/fsm.h"
61*5d5fbe79SDavid van Moolenbroek 
62*5d5fbe79SDavid van Moolenbroek static void fsm_timeout (void *);
63*5d5fbe79SDavid van Moolenbroek static void fsm_rconfreq(fsm *f, u_char id, u_char *inp, int len);
64*5d5fbe79SDavid van Moolenbroek static void fsm_rconfack(fsm *f, int id, u_char *inp, int len);
65*5d5fbe79SDavid van Moolenbroek static void fsm_rconfnakrej(fsm *f, int code, int id, u_char *inp, int len);
66*5d5fbe79SDavid van Moolenbroek static void fsm_rtermreq(fsm *f, int id, u_char *p, int len);
67*5d5fbe79SDavid van Moolenbroek static void fsm_rtermack(fsm *f);
68*5d5fbe79SDavid van Moolenbroek static void fsm_rcoderej(fsm *f, u_char *inp, int len);
69*5d5fbe79SDavid van Moolenbroek static void fsm_sconfreq(fsm *f, int retransmit);
70*5d5fbe79SDavid van Moolenbroek 
71*5d5fbe79SDavid van Moolenbroek #define PROTO_NAME(f)	((f)->callbacks->proto_name)
72*5d5fbe79SDavid van Moolenbroek 
73*5d5fbe79SDavid van Moolenbroek /*
74*5d5fbe79SDavid van Moolenbroek  * fsm_init - Initialize fsm.
75*5d5fbe79SDavid van Moolenbroek  *
76*5d5fbe79SDavid van Moolenbroek  * Initialize fsm state.
77*5d5fbe79SDavid van Moolenbroek  */
fsm_init(fsm * f)78*5d5fbe79SDavid van Moolenbroek void fsm_init(fsm *f) {
79*5d5fbe79SDavid van Moolenbroek     ppp_pcb *pcb = f->pcb;
80*5d5fbe79SDavid van Moolenbroek     f->state = PPP_FSM_INITIAL;
81*5d5fbe79SDavid van Moolenbroek     f->flags = 0;
82*5d5fbe79SDavid van Moolenbroek     f->id = 0;				/* XXX Start with random id? */
83*5d5fbe79SDavid van Moolenbroek     f->maxnakloops = pcb->settings.fsm_max_nak_loops;
84*5d5fbe79SDavid van Moolenbroek     f->term_reason_len = 0;
85*5d5fbe79SDavid van Moolenbroek }
86*5d5fbe79SDavid van Moolenbroek 
87*5d5fbe79SDavid van Moolenbroek 
88*5d5fbe79SDavid van Moolenbroek /*
89*5d5fbe79SDavid van Moolenbroek  * fsm_lowerup - The lower layer is up.
90*5d5fbe79SDavid van Moolenbroek  */
fsm_lowerup(fsm * f)91*5d5fbe79SDavid van Moolenbroek void fsm_lowerup(fsm *f) {
92*5d5fbe79SDavid van Moolenbroek     switch( f->state ){
93*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_INITIAL:
94*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_CLOSED;
95*5d5fbe79SDavid van Moolenbroek 	break;
96*5d5fbe79SDavid van Moolenbroek 
97*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STARTING:
98*5d5fbe79SDavid van Moolenbroek 	if( f->flags & OPT_SILENT )
99*5d5fbe79SDavid van Moolenbroek 	    f->state = PPP_FSM_STOPPED;
100*5d5fbe79SDavid van Moolenbroek 	else {
101*5d5fbe79SDavid van Moolenbroek 	    /* Send an initial configure-request */
102*5d5fbe79SDavid van Moolenbroek 	    fsm_sconfreq(f, 0);
103*5d5fbe79SDavid van Moolenbroek 	    f->state = PPP_FSM_REQSENT;
104*5d5fbe79SDavid van Moolenbroek 	}
105*5d5fbe79SDavid van Moolenbroek 	break;
106*5d5fbe79SDavid van Moolenbroek 
107*5d5fbe79SDavid van Moolenbroek     default:
108*5d5fbe79SDavid van Moolenbroek 	FSMDEBUG(("%s: Up event in state %d!", PROTO_NAME(f), f->state));
109*5d5fbe79SDavid van Moolenbroek 	/* no break */
110*5d5fbe79SDavid van Moolenbroek     }
111*5d5fbe79SDavid van Moolenbroek }
112*5d5fbe79SDavid van Moolenbroek 
113*5d5fbe79SDavid van Moolenbroek 
114*5d5fbe79SDavid van Moolenbroek /*
115*5d5fbe79SDavid van Moolenbroek  * fsm_lowerdown - The lower layer is down.
116*5d5fbe79SDavid van Moolenbroek  *
117*5d5fbe79SDavid van Moolenbroek  * Cancel all timeouts and inform upper layers.
118*5d5fbe79SDavid van Moolenbroek  */
fsm_lowerdown(fsm * f)119*5d5fbe79SDavid van Moolenbroek void fsm_lowerdown(fsm *f) {
120*5d5fbe79SDavid van Moolenbroek     switch( f->state ){
121*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_CLOSED:
122*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_INITIAL;
123*5d5fbe79SDavid van Moolenbroek 	break;
124*5d5fbe79SDavid van Moolenbroek 
125*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STOPPED:
126*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_STARTING;
127*5d5fbe79SDavid van Moolenbroek 	if( f->callbacks->starting )
128*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->starting)(f);
129*5d5fbe79SDavid van Moolenbroek 	break;
130*5d5fbe79SDavid van Moolenbroek 
131*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_CLOSING:
132*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_INITIAL;
133*5d5fbe79SDavid van Moolenbroek 	UNTIMEOUT(fsm_timeout, f);	/* Cancel timeout */
134*5d5fbe79SDavid van Moolenbroek 	break;
135*5d5fbe79SDavid van Moolenbroek 
136*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STOPPING:
137*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_REQSENT:
138*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKRCVD:
139*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKSENT:
140*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_STARTING;
141*5d5fbe79SDavid van Moolenbroek 	UNTIMEOUT(fsm_timeout, f);	/* Cancel timeout */
142*5d5fbe79SDavid van Moolenbroek 	break;
143*5d5fbe79SDavid van Moolenbroek 
144*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_OPENED:
145*5d5fbe79SDavid van Moolenbroek 	if( f->callbacks->down )
146*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->down)(f);
147*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_STARTING;
148*5d5fbe79SDavid van Moolenbroek 	break;
149*5d5fbe79SDavid van Moolenbroek 
150*5d5fbe79SDavid van Moolenbroek     default:
151*5d5fbe79SDavid van Moolenbroek 	FSMDEBUG(("%s: Down event in state %d!", PROTO_NAME(f), f->state));
152*5d5fbe79SDavid van Moolenbroek 	/* no break */
153*5d5fbe79SDavid van Moolenbroek     }
154*5d5fbe79SDavid van Moolenbroek }
155*5d5fbe79SDavid van Moolenbroek 
156*5d5fbe79SDavid van Moolenbroek 
157*5d5fbe79SDavid van Moolenbroek /*
158*5d5fbe79SDavid van Moolenbroek  * fsm_open - Link is allowed to come up.
159*5d5fbe79SDavid van Moolenbroek  */
fsm_open(fsm * f)160*5d5fbe79SDavid van Moolenbroek void fsm_open(fsm *f) {
161*5d5fbe79SDavid van Moolenbroek     switch( f->state ){
162*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_INITIAL:
163*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_STARTING;
164*5d5fbe79SDavid van Moolenbroek 	if( f->callbacks->starting )
165*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->starting)(f);
166*5d5fbe79SDavid van Moolenbroek 	break;
167*5d5fbe79SDavid van Moolenbroek 
168*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_CLOSED:
169*5d5fbe79SDavid van Moolenbroek 	if( f->flags & OPT_SILENT )
170*5d5fbe79SDavid van Moolenbroek 	    f->state = PPP_FSM_STOPPED;
171*5d5fbe79SDavid van Moolenbroek 	else {
172*5d5fbe79SDavid van Moolenbroek 	    /* Send an initial configure-request */
173*5d5fbe79SDavid van Moolenbroek 	    fsm_sconfreq(f, 0);
174*5d5fbe79SDavid van Moolenbroek 	    f->state = PPP_FSM_REQSENT;
175*5d5fbe79SDavid van Moolenbroek 	}
176*5d5fbe79SDavid van Moolenbroek 	break;
177*5d5fbe79SDavid van Moolenbroek 
178*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_CLOSING:
179*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_STOPPING;
180*5d5fbe79SDavid van Moolenbroek 	/* fall through */
181*5d5fbe79SDavid van Moolenbroek 	/* no break */
182*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STOPPED:
183*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_OPENED:
184*5d5fbe79SDavid van Moolenbroek 	if( f->flags & OPT_RESTART ){
185*5d5fbe79SDavid van Moolenbroek 	    fsm_lowerdown(f);
186*5d5fbe79SDavid van Moolenbroek 	    fsm_lowerup(f);
187*5d5fbe79SDavid van Moolenbroek 	}
188*5d5fbe79SDavid van Moolenbroek 	break;
189*5d5fbe79SDavid van Moolenbroek     default:
190*5d5fbe79SDavid van Moolenbroek 	break;
191*5d5fbe79SDavid van Moolenbroek     }
192*5d5fbe79SDavid van Moolenbroek }
193*5d5fbe79SDavid van Moolenbroek 
194*5d5fbe79SDavid van Moolenbroek /*
195*5d5fbe79SDavid van Moolenbroek  * terminate_layer - Start process of shutting down the FSM
196*5d5fbe79SDavid van Moolenbroek  *
197*5d5fbe79SDavid van Moolenbroek  * Cancel any timeout running, notify upper layers we're done, and
198*5d5fbe79SDavid van Moolenbroek  * send a terminate-request message as configured.
199*5d5fbe79SDavid van Moolenbroek  */
terminate_layer(fsm * f,int nextstate)200*5d5fbe79SDavid van Moolenbroek static void terminate_layer(fsm *f, int nextstate) {
201*5d5fbe79SDavid van Moolenbroek     ppp_pcb *pcb = f->pcb;
202*5d5fbe79SDavid van Moolenbroek 
203*5d5fbe79SDavid van Moolenbroek     if( f->state != PPP_FSM_OPENED )
204*5d5fbe79SDavid van Moolenbroek 	UNTIMEOUT(fsm_timeout, f);	/* Cancel timeout */
205*5d5fbe79SDavid van Moolenbroek     else if( f->callbacks->down )
206*5d5fbe79SDavid van Moolenbroek 	(*f->callbacks->down)(f);	/* Inform upper layers we're down */
207*5d5fbe79SDavid van Moolenbroek 
208*5d5fbe79SDavid van Moolenbroek     /* Init restart counter and send Terminate-Request */
209*5d5fbe79SDavid van Moolenbroek     f->retransmits = pcb->settings.fsm_max_term_transmits;
210*5d5fbe79SDavid van Moolenbroek     fsm_sdata(f, TERMREQ, f->reqid = ++f->id,
211*5d5fbe79SDavid van Moolenbroek 	      (const u_char *) f->term_reason, f->term_reason_len);
212*5d5fbe79SDavid van Moolenbroek 
213*5d5fbe79SDavid van Moolenbroek     if (f->retransmits == 0) {
214*5d5fbe79SDavid van Moolenbroek 	/*
215*5d5fbe79SDavid van Moolenbroek 	 * User asked for no terminate requests at all; just close it.
216*5d5fbe79SDavid van Moolenbroek 	 * We've already fired off one Terminate-Request just to be nice
217*5d5fbe79SDavid van Moolenbroek 	 * to the peer, but we're not going to wait for a reply.
218*5d5fbe79SDavid van Moolenbroek 	 */
219*5d5fbe79SDavid van Moolenbroek 	f->state = nextstate == PPP_FSM_CLOSING ? PPP_FSM_CLOSED : PPP_FSM_STOPPED;
220*5d5fbe79SDavid van Moolenbroek 	if( f->callbacks->finished )
221*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->finished)(f);
222*5d5fbe79SDavid van Moolenbroek 	return;
223*5d5fbe79SDavid van Moolenbroek     }
224*5d5fbe79SDavid van Moolenbroek 
225*5d5fbe79SDavid van Moolenbroek     TIMEOUT(fsm_timeout, f, pcb->settings.fsm_timeout_time);
226*5d5fbe79SDavid van Moolenbroek     --f->retransmits;
227*5d5fbe79SDavid van Moolenbroek 
228*5d5fbe79SDavid van Moolenbroek     f->state = nextstate;
229*5d5fbe79SDavid van Moolenbroek }
230*5d5fbe79SDavid van Moolenbroek 
231*5d5fbe79SDavid van Moolenbroek /*
232*5d5fbe79SDavid van Moolenbroek  * fsm_close - Start closing connection.
233*5d5fbe79SDavid van Moolenbroek  *
234*5d5fbe79SDavid van Moolenbroek  * Cancel timeouts and either initiate close or possibly go directly to
235*5d5fbe79SDavid van Moolenbroek  * the PPP_FSM_CLOSED state.
236*5d5fbe79SDavid van Moolenbroek  */
fsm_close(fsm * f,const char * reason)237*5d5fbe79SDavid van Moolenbroek void fsm_close(fsm *f, const char *reason) {
238*5d5fbe79SDavid van Moolenbroek     f->term_reason = reason;
239*5d5fbe79SDavid van Moolenbroek     f->term_reason_len = (reason == NULL? 0: LWIP_MIN(strlen(reason), 0xFF) );
240*5d5fbe79SDavid van Moolenbroek     switch( f->state ){
241*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STARTING:
242*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_INITIAL;
243*5d5fbe79SDavid van Moolenbroek 	break;
244*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STOPPED:
245*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_CLOSED;
246*5d5fbe79SDavid van Moolenbroek 	break;
247*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STOPPING:
248*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_CLOSING;
249*5d5fbe79SDavid van Moolenbroek 	break;
250*5d5fbe79SDavid van Moolenbroek 
251*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_REQSENT:
252*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKRCVD:
253*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKSENT:
254*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_OPENED:
255*5d5fbe79SDavid van Moolenbroek 	terminate_layer(f, PPP_FSM_CLOSING);
256*5d5fbe79SDavid van Moolenbroek 	break;
257*5d5fbe79SDavid van Moolenbroek     default:
258*5d5fbe79SDavid van Moolenbroek 	break;
259*5d5fbe79SDavid van Moolenbroek     }
260*5d5fbe79SDavid van Moolenbroek }
261*5d5fbe79SDavid van Moolenbroek 
262*5d5fbe79SDavid van Moolenbroek 
263*5d5fbe79SDavid van Moolenbroek /*
264*5d5fbe79SDavid van Moolenbroek  * fsm_timeout - Timeout expired.
265*5d5fbe79SDavid van Moolenbroek  */
fsm_timeout(void * arg)266*5d5fbe79SDavid van Moolenbroek static void fsm_timeout(void *arg) {
267*5d5fbe79SDavid van Moolenbroek     fsm *f = (fsm *) arg;
268*5d5fbe79SDavid van Moolenbroek     ppp_pcb *pcb = f->pcb;
269*5d5fbe79SDavid van Moolenbroek 
270*5d5fbe79SDavid van Moolenbroek     switch (f->state) {
271*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_CLOSING:
272*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STOPPING:
273*5d5fbe79SDavid van Moolenbroek 	if( f->retransmits <= 0 ){
274*5d5fbe79SDavid van Moolenbroek 	    /*
275*5d5fbe79SDavid van Moolenbroek 	     * We've waited for an ack long enough.  Peer probably heard us.
276*5d5fbe79SDavid van Moolenbroek 	     */
277*5d5fbe79SDavid van Moolenbroek 	    f->state = (f->state == PPP_FSM_CLOSING)? PPP_FSM_CLOSED: PPP_FSM_STOPPED;
278*5d5fbe79SDavid van Moolenbroek 	    if( f->callbacks->finished )
279*5d5fbe79SDavid van Moolenbroek 		(*f->callbacks->finished)(f);
280*5d5fbe79SDavid van Moolenbroek 	} else {
281*5d5fbe79SDavid van Moolenbroek 	    /* Send Terminate-Request */
282*5d5fbe79SDavid van Moolenbroek 	    fsm_sdata(f, TERMREQ, f->reqid = ++f->id,
283*5d5fbe79SDavid van Moolenbroek 		      (const u_char *) f->term_reason, f->term_reason_len);
284*5d5fbe79SDavid van Moolenbroek 	    TIMEOUT(fsm_timeout, f, pcb->settings.fsm_timeout_time);
285*5d5fbe79SDavid van Moolenbroek 	    --f->retransmits;
286*5d5fbe79SDavid van Moolenbroek 	}
287*5d5fbe79SDavid van Moolenbroek 	break;
288*5d5fbe79SDavid van Moolenbroek 
289*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_REQSENT:
290*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKRCVD:
291*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKSENT:
292*5d5fbe79SDavid van Moolenbroek 	if (f->retransmits <= 0) {
293*5d5fbe79SDavid van Moolenbroek 	    ppp_warn("%s: timeout sending Config-Requests", PROTO_NAME(f));
294*5d5fbe79SDavid van Moolenbroek 	    f->state = PPP_FSM_STOPPED;
295*5d5fbe79SDavid van Moolenbroek 	    if( (f->flags & OPT_PASSIVE) == 0 && f->callbacks->finished )
296*5d5fbe79SDavid van Moolenbroek 		(*f->callbacks->finished)(f);
297*5d5fbe79SDavid van Moolenbroek 
298*5d5fbe79SDavid van Moolenbroek 	} else {
299*5d5fbe79SDavid van Moolenbroek 	    /* Retransmit the configure-request */
300*5d5fbe79SDavid van Moolenbroek 	    if (f->callbacks->retransmit)
301*5d5fbe79SDavid van Moolenbroek 		(*f->callbacks->retransmit)(f);
302*5d5fbe79SDavid van Moolenbroek 	    fsm_sconfreq(f, 1);		/* Re-send Configure-Request */
303*5d5fbe79SDavid van Moolenbroek 	    if( f->state == PPP_FSM_ACKRCVD )
304*5d5fbe79SDavid van Moolenbroek 		f->state = PPP_FSM_REQSENT;
305*5d5fbe79SDavid van Moolenbroek 	}
306*5d5fbe79SDavid van Moolenbroek 	break;
307*5d5fbe79SDavid van Moolenbroek 
308*5d5fbe79SDavid van Moolenbroek     default:
309*5d5fbe79SDavid van Moolenbroek 	FSMDEBUG(("%s: Timeout event in state %d!", PROTO_NAME(f), f->state));
310*5d5fbe79SDavid van Moolenbroek 	/* no break */
311*5d5fbe79SDavid van Moolenbroek     }
312*5d5fbe79SDavid van Moolenbroek }
313*5d5fbe79SDavid van Moolenbroek 
314*5d5fbe79SDavid van Moolenbroek 
315*5d5fbe79SDavid van Moolenbroek /*
316*5d5fbe79SDavid van Moolenbroek  * fsm_input - Input packet.
317*5d5fbe79SDavid van Moolenbroek  */
fsm_input(fsm * f,u_char * inpacket,int l)318*5d5fbe79SDavid van Moolenbroek void fsm_input(fsm *f, u_char *inpacket, int l) {
319*5d5fbe79SDavid van Moolenbroek     u_char *inp;
320*5d5fbe79SDavid van Moolenbroek     u_char code, id;
321*5d5fbe79SDavid van Moolenbroek     int len;
322*5d5fbe79SDavid van Moolenbroek 
323*5d5fbe79SDavid van Moolenbroek     /*
324*5d5fbe79SDavid van Moolenbroek      * Parse header (code, id and length).
325*5d5fbe79SDavid van Moolenbroek      * If packet too short, drop it.
326*5d5fbe79SDavid van Moolenbroek      */
327*5d5fbe79SDavid van Moolenbroek     inp = inpacket;
328*5d5fbe79SDavid van Moolenbroek     if (l < HEADERLEN) {
329*5d5fbe79SDavid van Moolenbroek 	FSMDEBUG(("fsm_input(%x): Rcvd short header.", f->protocol));
330*5d5fbe79SDavid van Moolenbroek 	return;
331*5d5fbe79SDavid van Moolenbroek     }
332*5d5fbe79SDavid van Moolenbroek     GETCHAR(code, inp);
333*5d5fbe79SDavid van Moolenbroek     GETCHAR(id, inp);
334*5d5fbe79SDavid van Moolenbroek     GETSHORT(len, inp);
335*5d5fbe79SDavid van Moolenbroek     if (len < HEADERLEN) {
336*5d5fbe79SDavid van Moolenbroek 	FSMDEBUG(("fsm_input(%x): Rcvd illegal length.", f->protocol));
337*5d5fbe79SDavid van Moolenbroek 	return;
338*5d5fbe79SDavid van Moolenbroek     }
339*5d5fbe79SDavid van Moolenbroek     if (len > l) {
340*5d5fbe79SDavid van Moolenbroek 	FSMDEBUG(("fsm_input(%x): Rcvd short packet.", f->protocol));
341*5d5fbe79SDavid van Moolenbroek 	return;
342*5d5fbe79SDavid van Moolenbroek     }
343*5d5fbe79SDavid van Moolenbroek     len -= HEADERLEN;		/* subtract header length */
344*5d5fbe79SDavid van Moolenbroek 
345*5d5fbe79SDavid van Moolenbroek     if( f->state == PPP_FSM_INITIAL || f->state == PPP_FSM_STARTING ){
346*5d5fbe79SDavid van Moolenbroek 	FSMDEBUG(("fsm_input(%x): Rcvd packet in state %d.",
347*5d5fbe79SDavid van Moolenbroek 		  f->protocol, f->state));
348*5d5fbe79SDavid van Moolenbroek 	return;
349*5d5fbe79SDavid van Moolenbroek     }
350*5d5fbe79SDavid van Moolenbroek 
351*5d5fbe79SDavid van Moolenbroek     /*
352*5d5fbe79SDavid van Moolenbroek      * Action depends on code.
353*5d5fbe79SDavid van Moolenbroek      */
354*5d5fbe79SDavid van Moolenbroek     switch (code) {
355*5d5fbe79SDavid van Moolenbroek     case CONFREQ:
356*5d5fbe79SDavid van Moolenbroek 	fsm_rconfreq(f, id, inp, len);
357*5d5fbe79SDavid van Moolenbroek 	break;
358*5d5fbe79SDavid van Moolenbroek 
359*5d5fbe79SDavid van Moolenbroek     case CONFACK:
360*5d5fbe79SDavid van Moolenbroek 	fsm_rconfack(f, id, inp, len);
361*5d5fbe79SDavid van Moolenbroek 	break;
362*5d5fbe79SDavid van Moolenbroek 
363*5d5fbe79SDavid van Moolenbroek     case CONFNAK:
364*5d5fbe79SDavid van Moolenbroek     case CONFREJ:
365*5d5fbe79SDavid van Moolenbroek 	fsm_rconfnakrej(f, code, id, inp, len);
366*5d5fbe79SDavid van Moolenbroek 	break;
367*5d5fbe79SDavid van Moolenbroek 
368*5d5fbe79SDavid van Moolenbroek     case TERMREQ:
369*5d5fbe79SDavid van Moolenbroek 	fsm_rtermreq(f, id, inp, len);
370*5d5fbe79SDavid van Moolenbroek 	break;
371*5d5fbe79SDavid van Moolenbroek 
372*5d5fbe79SDavid van Moolenbroek     case TERMACK:
373*5d5fbe79SDavid van Moolenbroek 	fsm_rtermack(f);
374*5d5fbe79SDavid van Moolenbroek 	break;
375*5d5fbe79SDavid van Moolenbroek 
376*5d5fbe79SDavid van Moolenbroek     case CODEREJ:
377*5d5fbe79SDavid van Moolenbroek 	fsm_rcoderej(f, inp, len);
378*5d5fbe79SDavid van Moolenbroek 	break;
379*5d5fbe79SDavid van Moolenbroek 
380*5d5fbe79SDavid van Moolenbroek     default:
381*5d5fbe79SDavid van Moolenbroek 	if( !f->callbacks->extcode
382*5d5fbe79SDavid van Moolenbroek 	   || !(*f->callbacks->extcode)(f, code, id, inp, len) )
383*5d5fbe79SDavid van Moolenbroek 	    fsm_sdata(f, CODEREJ, ++f->id, inpacket, len + HEADERLEN);
384*5d5fbe79SDavid van Moolenbroek 	break;
385*5d5fbe79SDavid van Moolenbroek     }
386*5d5fbe79SDavid van Moolenbroek }
387*5d5fbe79SDavid van Moolenbroek 
388*5d5fbe79SDavid van Moolenbroek 
389*5d5fbe79SDavid van Moolenbroek /*
390*5d5fbe79SDavid van Moolenbroek  * fsm_rconfreq - Receive Configure-Request.
391*5d5fbe79SDavid van Moolenbroek  */
fsm_rconfreq(fsm * f,u_char id,u_char * inp,int len)392*5d5fbe79SDavid van Moolenbroek static void fsm_rconfreq(fsm *f, u_char id, u_char *inp, int len) {
393*5d5fbe79SDavid van Moolenbroek     int code, reject_if_disagree;
394*5d5fbe79SDavid van Moolenbroek 
395*5d5fbe79SDavid van Moolenbroek     switch( f->state ){
396*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_CLOSED:
397*5d5fbe79SDavid van Moolenbroek 	/* Go away, we're closed */
398*5d5fbe79SDavid van Moolenbroek 	fsm_sdata(f, TERMACK, id, NULL, 0);
399*5d5fbe79SDavid van Moolenbroek 	return;
400*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_CLOSING:
401*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STOPPING:
402*5d5fbe79SDavid van Moolenbroek 	return;
403*5d5fbe79SDavid van Moolenbroek 
404*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_OPENED:
405*5d5fbe79SDavid van Moolenbroek 	/* Go down and restart negotiation */
406*5d5fbe79SDavid van Moolenbroek 	if( f->callbacks->down )
407*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->down)(f);	/* Inform upper layers */
408*5d5fbe79SDavid van Moolenbroek 	fsm_sconfreq(f, 0);		/* Send initial Configure-Request */
409*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_REQSENT;
410*5d5fbe79SDavid van Moolenbroek 	break;
411*5d5fbe79SDavid van Moolenbroek 
412*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STOPPED:
413*5d5fbe79SDavid van Moolenbroek 	/* Negotiation started by our peer */
414*5d5fbe79SDavid van Moolenbroek 	fsm_sconfreq(f, 0);		/* Send initial Configure-Request */
415*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_REQSENT;
416*5d5fbe79SDavid van Moolenbroek 	break;
417*5d5fbe79SDavid van Moolenbroek     default:
418*5d5fbe79SDavid van Moolenbroek 	break;
419*5d5fbe79SDavid van Moolenbroek     }
420*5d5fbe79SDavid van Moolenbroek 
421*5d5fbe79SDavid van Moolenbroek     /*
422*5d5fbe79SDavid van Moolenbroek      * Pass the requested configuration options
423*5d5fbe79SDavid van Moolenbroek      * to protocol-specific code for checking.
424*5d5fbe79SDavid van Moolenbroek      */
425*5d5fbe79SDavid van Moolenbroek     if (f->callbacks->reqci){		/* Check CI */
426*5d5fbe79SDavid van Moolenbroek 	reject_if_disagree = (f->nakloops >= f->maxnakloops);
427*5d5fbe79SDavid van Moolenbroek 	code = (*f->callbacks->reqci)(f, inp, &len, reject_if_disagree);
428*5d5fbe79SDavid van Moolenbroek     } else if (len)
429*5d5fbe79SDavid van Moolenbroek 	code = CONFREJ;			/* Reject all CI */
430*5d5fbe79SDavid van Moolenbroek     else
431*5d5fbe79SDavid van Moolenbroek 	code = CONFACK;
432*5d5fbe79SDavid van Moolenbroek 
433*5d5fbe79SDavid van Moolenbroek     /* send the Ack, Nak or Rej to the peer */
434*5d5fbe79SDavid van Moolenbroek     fsm_sdata(f, code, id, inp, len);
435*5d5fbe79SDavid van Moolenbroek 
436*5d5fbe79SDavid van Moolenbroek     if (code == CONFACK) {
437*5d5fbe79SDavid van Moolenbroek 	if (f->state == PPP_FSM_ACKRCVD) {
438*5d5fbe79SDavid van Moolenbroek 	    UNTIMEOUT(fsm_timeout, f);	/* Cancel timeout */
439*5d5fbe79SDavid van Moolenbroek 	    f->state = PPP_FSM_OPENED;
440*5d5fbe79SDavid van Moolenbroek 	    if (f->callbacks->up)
441*5d5fbe79SDavid van Moolenbroek 		(*f->callbacks->up)(f);	/* Inform upper layers */
442*5d5fbe79SDavid van Moolenbroek 	} else
443*5d5fbe79SDavid van Moolenbroek 	    f->state = PPP_FSM_ACKSENT;
444*5d5fbe79SDavid van Moolenbroek 	f->nakloops = 0;
445*5d5fbe79SDavid van Moolenbroek 
446*5d5fbe79SDavid van Moolenbroek     } else {
447*5d5fbe79SDavid van Moolenbroek 	/* we sent CONFACK or CONFREJ */
448*5d5fbe79SDavid van Moolenbroek 	if (f->state != PPP_FSM_ACKRCVD)
449*5d5fbe79SDavid van Moolenbroek 	    f->state = PPP_FSM_REQSENT;
450*5d5fbe79SDavid van Moolenbroek 	if( code == CONFNAK )
451*5d5fbe79SDavid van Moolenbroek 	    ++f->nakloops;
452*5d5fbe79SDavid van Moolenbroek     }
453*5d5fbe79SDavid van Moolenbroek }
454*5d5fbe79SDavid van Moolenbroek 
455*5d5fbe79SDavid van Moolenbroek 
456*5d5fbe79SDavid van Moolenbroek /*
457*5d5fbe79SDavid van Moolenbroek  * fsm_rconfack - Receive Configure-Ack.
458*5d5fbe79SDavid van Moolenbroek  */
fsm_rconfack(fsm * f,int id,u_char * inp,int len)459*5d5fbe79SDavid van Moolenbroek static void fsm_rconfack(fsm *f, int id, u_char *inp, int len) {
460*5d5fbe79SDavid van Moolenbroek     ppp_pcb *pcb = f->pcb;
461*5d5fbe79SDavid van Moolenbroek 
462*5d5fbe79SDavid van Moolenbroek     if (id != f->reqid || f->seen_ack)		/* Expected id? */
463*5d5fbe79SDavid van Moolenbroek 	return;					/* Nope, toss... */
464*5d5fbe79SDavid van Moolenbroek     if( !(f->callbacks->ackci? (*f->callbacks->ackci)(f, inp, len):
465*5d5fbe79SDavid van Moolenbroek 	  (len == 0)) ){
466*5d5fbe79SDavid van Moolenbroek 	/* Ack is bad - ignore it */
467*5d5fbe79SDavid van Moolenbroek 	ppp_error("Received bad configure-ack: %P", inp, len);
468*5d5fbe79SDavid van Moolenbroek 	return;
469*5d5fbe79SDavid van Moolenbroek     }
470*5d5fbe79SDavid van Moolenbroek     f->seen_ack = 1;
471*5d5fbe79SDavid van Moolenbroek     f->rnakloops = 0;
472*5d5fbe79SDavid van Moolenbroek 
473*5d5fbe79SDavid van Moolenbroek     switch (f->state) {
474*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_CLOSED:
475*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STOPPED:
476*5d5fbe79SDavid van Moolenbroek 	fsm_sdata(f, TERMACK, id, NULL, 0);
477*5d5fbe79SDavid van Moolenbroek 	break;
478*5d5fbe79SDavid van Moolenbroek 
479*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_REQSENT:
480*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_ACKRCVD;
481*5d5fbe79SDavid van Moolenbroek 	f->retransmits = pcb->settings.fsm_max_conf_req_transmits;
482*5d5fbe79SDavid van Moolenbroek 	break;
483*5d5fbe79SDavid van Moolenbroek 
484*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKRCVD:
485*5d5fbe79SDavid van Moolenbroek 	/* Huh? an extra valid Ack? oh well... */
486*5d5fbe79SDavid van Moolenbroek 	UNTIMEOUT(fsm_timeout, f);	/* Cancel timeout */
487*5d5fbe79SDavid van Moolenbroek 	fsm_sconfreq(f, 0);
488*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_REQSENT;
489*5d5fbe79SDavid van Moolenbroek 	break;
490*5d5fbe79SDavid van Moolenbroek 
491*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKSENT:
492*5d5fbe79SDavid van Moolenbroek 	UNTIMEOUT(fsm_timeout, f);	/* Cancel timeout */
493*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_OPENED;
494*5d5fbe79SDavid van Moolenbroek 	f->retransmits = pcb->settings.fsm_max_conf_req_transmits;
495*5d5fbe79SDavid van Moolenbroek 	if (f->callbacks->up)
496*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->up)(f);	/* Inform upper layers */
497*5d5fbe79SDavid van Moolenbroek 	break;
498*5d5fbe79SDavid van Moolenbroek 
499*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_OPENED:
500*5d5fbe79SDavid van Moolenbroek 	/* Go down and restart negotiation */
501*5d5fbe79SDavid van Moolenbroek 	if (f->callbacks->down)
502*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->down)(f);	/* Inform upper layers */
503*5d5fbe79SDavid van Moolenbroek 	fsm_sconfreq(f, 0);		/* Send initial Configure-Request */
504*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_REQSENT;
505*5d5fbe79SDavid van Moolenbroek 	break;
506*5d5fbe79SDavid van Moolenbroek     default:
507*5d5fbe79SDavid van Moolenbroek 	break;
508*5d5fbe79SDavid van Moolenbroek     }
509*5d5fbe79SDavid van Moolenbroek }
510*5d5fbe79SDavid van Moolenbroek 
511*5d5fbe79SDavid van Moolenbroek 
512*5d5fbe79SDavid van Moolenbroek /*
513*5d5fbe79SDavid van Moolenbroek  * fsm_rconfnakrej - Receive Configure-Nak or Configure-Reject.
514*5d5fbe79SDavid van Moolenbroek  */
fsm_rconfnakrej(fsm * f,int code,int id,u_char * inp,int len)515*5d5fbe79SDavid van Moolenbroek static void fsm_rconfnakrej(fsm *f, int code, int id, u_char *inp, int len) {
516*5d5fbe79SDavid van Moolenbroek     int ret;
517*5d5fbe79SDavid van Moolenbroek     int treat_as_reject;
518*5d5fbe79SDavid van Moolenbroek 
519*5d5fbe79SDavid van Moolenbroek     if (id != f->reqid || f->seen_ack)	/* Expected id? */
520*5d5fbe79SDavid van Moolenbroek 	return;				/* Nope, toss... */
521*5d5fbe79SDavid van Moolenbroek 
522*5d5fbe79SDavid van Moolenbroek     if (code == CONFNAK) {
523*5d5fbe79SDavid van Moolenbroek 	++f->rnakloops;
524*5d5fbe79SDavid van Moolenbroek 	treat_as_reject = (f->rnakloops >= f->maxnakloops);
525*5d5fbe79SDavid van Moolenbroek 	if (f->callbacks->nakci == NULL
526*5d5fbe79SDavid van Moolenbroek 	    || !(ret = f->callbacks->nakci(f, inp, len, treat_as_reject))) {
527*5d5fbe79SDavid van Moolenbroek 	    ppp_error("Received bad configure-nak: %P", inp, len);
528*5d5fbe79SDavid van Moolenbroek 	    return;
529*5d5fbe79SDavid van Moolenbroek 	}
530*5d5fbe79SDavid van Moolenbroek     } else {
531*5d5fbe79SDavid van Moolenbroek 	f->rnakloops = 0;
532*5d5fbe79SDavid van Moolenbroek 	if (f->callbacks->rejci == NULL
533*5d5fbe79SDavid van Moolenbroek 	    || !(ret = f->callbacks->rejci(f, inp, len))) {
534*5d5fbe79SDavid van Moolenbroek 	    ppp_error("Received bad configure-rej: %P", inp, len);
535*5d5fbe79SDavid van Moolenbroek 	    return;
536*5d5fbe79SDavid van Moolenbroek 	}
537*5d5fbe79SDavid van Moolenbroek     }
538*5d5fbe79SDavid van Moolenbroek 
539*5d5fbe79SDavid van Moolenbroek     f->seen_ack = 1;
540*5d5fbe79SDavid van Moolenbroek 
541*5d5fbe79SDavid van Moolenbroek     switch (f->state) {
542*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_CLOSED:
543*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STOPPED:
544*5d5fbe79SDavid van Moolenbroek 	fsm_sdata(f, TERMACK, id, NULL, 0);
545*5d5fbe79SDavid van Moolenbroek 	break;
546*5d5fbe79SDavid van Moolenbroek 
547*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_REQSENT:
548*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKSENT:
549*5d5fbe79SDavid van Moolenbroek 	/* They didn't agree to what we wanted - try another request */
550*5d5fbe79SDavid van Moolenbroek 	UNTIMEOUT(fsm_timeout, f);	/* Cancel timeout */
551*5d5fbe79SDavid van Moolenbroek 	if (ret < 0)
552*5d5fbe79SDavid van Moolenbroek 	    f->state = PPP_FSM_STOPPED;		/* kludge for stopping CCP */
553*5d5fbe79SDavid van Moolenbroek 	else
554*5d5fbe79SDavid van Moolenbroek 	    fsm_sconfreq(f, 0);		/* Send Configure-Request */
555*5d5fbe79SDavid van Moolenbroek 	break;
556*5d5fbe79SDavid van Moolenbroek 
557*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKRCVD:
558*5d5fbe79SDavid van Moolenbroek 	/* Got a Nak/reject when we had already had an Ack?? oh well... */
559*5d5fbe79SDavid van Moolenbroek 	UNTIMEOUT(fsm_timeout, f);	/* Cancel timeout */
560*5d5fbe79SDavid van Moolenbroek 	fsm_sconfreq(f, 0);
561*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_REQSENT;
562*5d5fbe79SDavid van Moolenbroek 	break;
563*5d5fbe79SDavid van Moolenbroek 
564*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_OPENED:
565*5d5fbe79SDavid van Moolenbroek 	/* Go down and restart negotiation */
566*5d5fbe79SDavid van Moolenbroek 	if (f->callbacks->down)
567*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->down)(f);	/* Inform upper layers */
568*5d5fbe79SDavid van Moolenbroek 	fsm_sconfreq(f, 0);		/* Send initial Configure-Request */
569*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_REQSENT;
570*5d5fbe79SDavid van Moolenbroek 	break;
571*5d5fbe79SDavid van Moolenbroek     default:
572*5d5fbe79SDavid van Moolenbroek 	break;
573*5d5fbe79SDavid van Moolenbroek     }
574*5d5fbe79SDavid van Moolenbroek }
575*5d5fbe79SDavid van Moolenbroek 
576*5d5fbe79SDavid van Moolenbroek 
577*5d5fbe79SDavid van Moolenbroek /*
578*5d5fbe79SDavid van Moolenbroek  * fsm_rtermreq - Receive Terminate-Req.
579*5d5fbe79SDavid van Moolenbroek  */
fsm_rtermreq(fsm * f,int id,u_char * p,int len)580*5d5fbe79SDavid van Moolenbroek static void fsm_rtermreq(fsm *f, int id, u_char *p, int len) {
581*5d5fbe79SDavid van Moolenbroek     ppp_pcb *pcb = f->pcb;
582*5d5fbe79SDavid van Moolenbroek 
583*5d5fbe79SDavid van Moolenbroek     switch (f->state) {
584*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKRCVD:
585*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKSENT:
586*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_REQSENT;		/* Start over but keep trying */
587*5d5fbe79SDavid van Moolenbroek 	break;
588*5d5fbe79SDavid van Moolenbroek 
589*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_OPENED:
590*5d5fbe79SDavid van Moolenbroek 	if (len > 0) {
591*5d5fbe79SDavid van Moolenbroek 	    ppp_info("%s terminated by peer (%0.*v)", PROTO_NAME(f), len, p);
592*5d5fbe79SDavid van Moolenbroek 	} else
593*5d5fbe79SDavid van Moolenbroek 	    ppp_info("%s terminated by peer", PROTO_NAME(f));
594*5d5fbe79SDavid van Moolenbroek 	f->retransmits = 0;
595*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_STOPPING;
596*5d5fbe79SDavid van Moolenbroek 	if (f->callbacks->down)
597*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->down)(f);	/* Inform upper layers */
598*5d5fbe79SDavid van Moolenbroek 	TIMEOUT(fsm_timeout, f, pcb->settings.fsm_timeout_time);
599*5d5fbe79SDavid van Moolenbroek 	break;
600*5d5fbe79SDavid van Moolenbroek     default:
601*5d5fbe79SDavid van Moolenbroek 	break;
602*5d5fbe79SDavid van Moolenbroek     }
603*5d5fbe79SDavid van Moolenbroek 
604*5d5fbe79SDavid van Moolenbroek     fsm_sdata(f, TERMACK, id, NULL, 0);
605*5d5fbe79SDavid van Moolenbroek }
606*5d5fbe79SDavid van Moolenbroek 
607*5d5fbe79SDavid van Moolenbroek 
608*5d5fbe79SDavid van Moolenbroek /*
609*5d5fbe79SDavid van Moolenbroek  * fsm_rtermack - Receive Terminate-Ack.
610*5d5fbe79SDavid van Moolenbroek  */
fsm_rtermack(fsm * f)611*5d5fbe79SDavid van Moolenbroek static void fsm_rtermack(fsm *f) {
612*5d5fbe79SDavid van Moolenbroek     switch (f->state) {
613*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_CLOSING:
614*5d5fbe79SDavid van Moolenbroek 	UNTIMEOUT(fsm_timeout, f);
615*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_CLOSED;
616*5d5fbe79SDavid van Moolenbroek 	if( f->callbacks->finished )
617*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->finished)(f);
618*5d5fbe79SDavid van Moolenbroek 	break;
619*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STOPPING:
620*5d5fbe79SDavid van Moolenbroek 	UNTIMEOUT(fsm_timeout, f);
621*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_STOPPED;
622*5d5fbe79SDavid van Moolenbroek 	if( f->callbacks->finished )
623*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->finished)(f);
624*5d5fbe79SDavid van Moolenbroek 	break;
625*5d5fbe79SDavid van Moolenbroek 
626*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKRCVD:
627*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_REQSENT;
628*5d5fbe79SDavid van Moolenbroek 	break;
629*5d5fbe79SDavid van Moolenbroek 
630*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_OPENED:
631*5d5fbe79SDavid van Moolenbroek 	if (f->callbacks->down)
632*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->down)(f);	/* Inform upper layers */
633*5d5fbe79SDavid van Moolenbroek 	fsm_sconfreq(f, 0);
634*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_REQSENT;
635*5d5fbe79SDavid van Moolenbroek 	break;
636*5d5fbe79SDavid van Moolenbroek     default:
637*5d5fbe79SDavid van Moolenbroek 	break;
638*5d5fbe79SDavid van Moolenbroek     }
639*5d5fbe79SDavid van Moolenbroek }
640*5d5fbe79SDavid van Moolenbroek 
641*5d5fbe79SDavid van Moolenbroek 
642*5d5fbe79SDavid van Moolenbroek /*
643*5d5fbe79SDavid van Moolenbroek  * fsm_rcoderej - Receive an Code-Reject.
644*5d5fbe79SDavid van Moolenbroek  */
fsm_rcoderej(fsm * f,u_char * inp,int len)645*5d5fbe79SDavid van Moolenbroek static void fsm_rcoderej(fsm *f, u_char *inp, int len) {
646*5d5fbe79SDavid van Moolenbroek     u_char code, id;
647*5d5fbe79SDavid van Moolenbroek 
648*5d5fbe79SDavid van Moolenbroek     if (len < HEADERLEN) {
649*5d5fbe79SDavid van Moolenbroek 	FSMDEBUG(("fsm_rcoderej: Rcvd short Code-Reject packet!"));
650*5d5fbe79SDavid van Moolenbroek 	return;
651*5d5fbe79SDavid van Moolenbroek     }
652*5d5fbe79SDavid van Moolenbroek     GETCHAR(code, inp);
653*5d5fbe79SDavid van Moolenbroek     GETCHAR(id, inp);
654*5d5fbe79SDavid van Moolenbroek     ppp_warn("%s: Rcvd Code-Reject for code %d, id %d", PROTO_NAME(f), code, id);
655*5d5fbe79SDavid van Moolenbroek 
656*5d5fbe79SDavid van Moolenbroek     if( f->state == PPP_FSM_ACKRCVD )
657*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_REQSENT;
658*5d5fbe79SDavid van Moolenbroek }
659*5d5fbe79SDavid van Moolenbroek 
660*5d5fbe79SDavid van Moolenbroek 
661*5d5fbe79SDavid van Moolenbroek /*
662*5d5fbe79SDavid van Moolenbroek  * fsm_protreject - Peer doesn't speak this protocol.
663*5d5fbe79SDavid van Moolenbroek  *
664*5d5fbe79SDavid van Moolenbroek  * Treat this as a catastrophic error (RXJ-).
665*5d5fbe79SDavid van Moolenbroek  */
fsm_protreject(fsm * f)666*5d5fbe79SDavid van Moolenbroek void fsm_protreject(fsm *f) {
667*5d5fbe79SDavid van Moolenbroek     switch( f->state ){
668*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_CLOSING:
669*5d5fbe79SDavid van Moolenbroek 	UNTIMEOUT(fsm_timeout, f);	/* Cancel timeout */
670*5d5fbe79SDavid van Moolenbroek 	/* fall through */
671*5d5fbe79SDavid van Moolenbroek 	/* no break */
672*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_CLOSED:
673*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_CLOSED;
674*5d5fbe79SDavid van Moolenbroek 	if( f->callbacks->finished )
675*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->finished)(f);
676*5d5fbe79SDavid van Moolenbroek 	break;
677*5d5fbe79SDavid van Moolenbroek 
678*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STOPPING:
679*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_REQSENT:
680*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKRCVD:
681*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_ACKSENT:
682*5d5fbe79SDavid van Moolenbroek 	UNTIMEOUT(fsm_timeout, f);	/* Cancel timeout */
683*5d5fbe79SDavid van Moolenbroek 	/* fall through */
684*5d5fbe79SDavid van Moolenbroek 	/* no break */
685*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_STOPPED:
686*5d5fbe79SDavid van Moolenbroek 	f->state = PPP_FSM_STOPPED;
687*5d5fbe79SDavid van Moolenbroek 	if( f->callbacks->finished )
688*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->finished)(f);
689*5d5fbe79SDavid van Moolenbroek 	break;
690*5d5fbe79SDavid van Moolenbroek 
691*5d5fbe79SDavid van Moolenbroek     case PPP_FSM_OPENED:
692*5d5fbe79SDavid van Moolenbroek 	terminate_layer(f, PPP_FSM_STOPPING);
693*5d5fbe79SDavid van Moolenbroek 	break;
694*5d5fbe79SDavid van Moolenbroek 
695*5d5fbe79SDavid van Moolenbroek     default:
696*5d5fbe79SDavid van Moolenbroek 	FSMDEBUG(("%s: Protocol-reject event in state %d!",
697*5d5fbe79SDavid van Moolenbroek 		  PROTO_NAME(f), f->state));
698*5d5fbe79SDavid van Moolenbroek 	/* no break */
699*5d5fbe79SDavid van Moolenbroek     }
700*5d5fbe79SDavid van Moolenbroek }
701*5d5fbe79SDavid van Moolenbroek 
702*5d5fbe79SDavid van Moolenbroek 
703*5d5fbe79SDavid van Moolenbroek /*
704*5d5fbe79SDavid van Moolenbroek  * fsm_sconfreq - Send a Configure-Request.
705*5d5fbe79SDavid van Moolenbroek  */
fsm_sconfreq(fsm * f,int retransmit)706*5d5fbe79SDavid van Moolenbroek static void fsm_sconfreq(fsm *f, int retransmit) {
707*5d5fbe79SDavid van Moolenbroek     ppp_pcb *pcb = f->pcb;
708*5d5fbe79SDavid van Moolenbroek     struct pbuf *p;
709*5d5fbe79SDavid van Moolenbroek     u_char *outp;
710*5d5fbe79SDavid van Moolenbroek     int cilen;
711*5d5fbe79SDavid van Moolenbroek 
712*5d5fbe79SDavid van Moolenbroek     if( f->state != PPP_FSM_REQSENT && f->state != PPP_FSM_ACKRCVD && f->state != PPP_FSM_ACKSENT ){
713*5d5fbe79SDavid van Moolenbroek 	/* Not currently negotiating - reset options */
714*5d5fbe79SDavid van Moolenbroek 	if( f->callbacks->resetci )
715*5d5fbe79SDavid van Moolenbroek 	    (*f->callbacks->resetci)(f);
716*5d5fbe79SDavid van Moolenbroek 	f->nakloops = 0;
717*5d5fbe79SDavid van Moolenbroek 	f->rnakloops = 0;
718*5d5fbe79SDavid van Moolenbroek     }
719*5d5fbe79SDavid van Moolenbroek 
720*5d5fbe79SDavid van Moolenbroek     if( !retransmit ){
721*5d5fbe79SDavid van Moolenbroek 	/* New request - reset retransmission counter, use new ID */
722*5d5fbe79SDavid van Moolenbroek 	f->retransmits = pcb->settings.fsm_max_conf_req_transmits;
723*5d5fbe79SDavid van Moolenbroek 	f->reqid = ++f->id;
724*5d5fbe79SDavid van Moolenbroek     }
725*5d5fbe79SDavid van Moolenbroek 
726*5d5fbe79SDavid van Moolenbroek     f->seen_ack = 0;
727*5d5fbe79SDavid van Moolenbroek 
728*5d5fbe79SDavid van Moolenbroek     /*
729*5d5fbe79SDavid van Moolenbroek      * Make up the request packet
730*5d5fbe79SDavid van Moolenbroek      */
731*5d5fbe79SDavid van Moolenbroek     if( f->callbacks->cilen && f->callbacks->addci ){
732*5d5fbe79SDavid van Moolenbroek 	cilen = (*f->callbacks->cilen)(f);
733*5d5fbe79SDavid van Moolenbroek 	if( cilen > pcb->peer_mru - HEADERLEN )
734*5d5fbe79SDavid van Moolenbroek 	    cilen = pcb->peer_mru - HEADERLEN;
735*5d5fbe79SDavid van Moolenbroek     } else
736*5d5fbe79SDavid van Moolenbroek 	cilen = 0;
737*5d5fbe79SDavid van Moolenbroek 
738*5d5fbe79SDavid van Moolenbroek     p = pbuf_alloc(PBUF_RAW, (u16_t)(cilen + HEADERLEN + PPP_HDRLEN), PPP_CTRL_PBUF_TYPE);
739*5d5fbe79SDavid van Moolenbroek     if(NULL == p)
740*5d5fbe79SDavid van Moolenbroek         return;
741*5d5fbe79SDavid van Moolenbroek     if(p->tot_len != p->len) {
742*5d5fbe79SDavid van Moolenbroek         pbuf_free(p);
743*5d5fbe79SDavid van Moolenbroek         return;
744*5d5fbe79SDavid van Moolenbroek     }
745*5d5fbe79SDavid van Moolenbroek 
746*5d5fbe79SDavid van Moolenbroek     /* send the request to our peer */
747*5d5fbe79SDavid van Moolenbroek     outp = (u_char*)p->payload;
748*5d5fbe79SDavid van Moolenbroek     MAKEHEADER(outp, f->protocol);
749*5d5fbe79SDavid van Moolenbroek     PUTCHAR(CONFREQ, outp);
750*5d5fbe79SDavid van Moolenbroek     PUTCHAR(f->reqid, outp);
751*5d5fbe79SDavid van Moolenbroek     PUTSHORT(cilen + HEADERLEN, outp);
752*5d5fbe79SDavid van Moolenbroek     if (cilen != 0) {
753*5d5fbe79SDavid van Moolenbroek 	(*f->callbacks->addci)(f, outp, &cilen);
754*5d5fbe79SDavid van Moolenbroek 	LWIP_ASSERT("cilen == p->len - HEADERLEN - PPP_HDRLEN", cilen == p->len - HEADERLEN - PPP_HDRLEN);
755*5d5fbe79SDavid van Moolenbroek     }
756*5d5fbe79SDavid van Moolenbroek 
757*5d5fbe79SDavid van Moolenbroek     ppp_write(pcb, p);
758*5d5fbe79SDavid van Moolenbroek 
759*5d5fbe79SDavid van Moolenbroek     /* start the retransmit timer */
760*5d5fbe79SDavid van Moolenbroek     --f->retransmits;
761*5d5fbe79SDavid van Moolenbroek     TIMEOUT(fsm_timeout, f, pcb->settings.fsm_timeout_time);
762*5d5fbe79SDavid van Moolenbroek }
763*5d5fbe79SDavid van Moolenbroek 
764*5d5fbe79SDavid van Moolenbroek 
765*5d5fbe79SDavid van Moolenbroek /*
766*5d5fbe79SDavid van Moolenbroek  * fsm_sdata - Send some data.
767*5d5fbe79SDavid van Moolenbroek  *
768*5d5fbe79SDavid van Moolenbroek  * Used for all packets sent to our peer by this module.
769*5d5fbe79SDavid van Moolenbroek  */
fsm_sdata(fsm * f,u_char code,u_char id,const u_char * data,int datalen)770*5d5fbe79SDavid van Moolenbroek void fsm_sdata(fsm *f, u_char code, u_char id, const u_char *data, int datalen) {
771*5d5fbe79SDavid van Moolenbroek     ppp_pcb *pcb = f->pcb;
772*5d5fbe79SDavid van Moolenbroek     struct pbuf *p;
773*5d5fbe79SDavid van Moolenbroek     u_char *outp;
774*5d5fbe79SDavid van Moolenbroek     int outlen;
775*5d5fbe79SDavid van Moolenbroek 
776*5d5fbe79SDavid van Moolenbroek     /* Adjust length to be smaller than MTU */
777*5d5fbe79SDavid van Moolenbroek     if (datalen > pcb->peer_mru - HEADERLEN)
778*5d5fbe79SDavid van Moolenbroek 	datalen = pcb->peer_mru - HEADERLEN;
779*5d5fbe79SDavid van Moolenbroek     outlen = datalen + HEADERLEN;
780*5d5fbe79SDavid van Moolenbroek 
781*5d5fbe79SDavid van Moolenbroek     p = pbuf_alloc(PBUF_RAW, (u16_t)(outlen + PPP_HDRLEN), PPP_CTRL_PBUF_TYPE);
782*5d5fbe79SDavid van Moolenbroek     if(NULL == p)
783*5d5fbe79SDavid van Moolenbroek         return;
784*5d5fbe79SDavid van Moolenbroek     if(p->tot_len != p->len) {
785*5d5fbe79SDavid van Moolenbroek         pbuf_free(p);
786*5d5fbe79SDavid van Moolenbroek         return;
787*5d5fbe79SDavid van Moolenbroek     }
788*5d5fbe79SDavid van Moolenbroek 
789*5d5fbe79SDavid van Moolenbroek     outp = (u_char*)p->payload;
790*5d5fbe79SDavid van Moolenbroek     if (datalen) /* && data != outp + PPP_HDRLEN + HEADERLEN)  -- was only for fsm_sconfreq() */
791*5d5fbe79SDavid van Moolenbroek 	MEMCPY(outp + PPP_HDRLEN + HEADERLEN, data, datalen);
792*5d5fbe79SDavid van Moolenbroek     MAKEHEADER(outp, f->protocol);
793*5d5fbe79SDavid van Moolenbroek     PUTCHAR(code, outp);
794*5d5fbe79SDavid van Moolenbroek     PUTCHAR(id, outp);
795*5d5fbe79SDavid van Moolenbroek     PUTSHORT(outlen, outp);
796*5d5fbe79SDavid van Moolenbroek     ppp_write(pcb, p);
797*5d5fbe79SDavid van Moolenbroek }
798*5d5fbe79SDavid van Moolenbroek 
799*5d5fbe79SDavid van Moolenbroek #endif /* PPP_SUPPORT */
800