Home | History | Annotate | Line # | Download | only in netinet6
frag6.c revision 1.12
      1 /*	$NetBSD: frag6.c,v 1.12 2001/02/11 05:05:27 itojun Exp $	*/
      2 /*	$KAME: frag6.c,v 1.28 2000/12/12 10:54:06 itojun Exp $	*/
      3 
      4 /*
      5  * Copyright (C) 1995, 1996, 1997, and 1998 WIDE Project.
      6  * All rights reserved.
      7  *
      8  * Redistribution and use in source and binary forms, with or without
      9  * modification, are permitted provided that the following conditions
     10  * are met:
     11  * 1. Redistributions of source code must retain the above copyright
     12  *    notice, this list of conditions and the following disclaimer.
     13  * 2. Redistributions in binary form must reproduce the above copyright
     14  *    notice, this list of conditions and the following disclaimer in the
     15  *    documentation and/or other materials provided with the distribution.
     16  * 3. Neither the name of the project nor the names of its contributors
     17  *    may be used to endorse or promote products derived from this software
     18  *    without specific prior written permission.
     19  *
     20  * THIS SOFTWARE IS PROVIDED BY THE PROJECT AND CONTRIBUTORS ``AS IS'' AND
     21  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     22  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     23  * ARE DISCLAIMED.  IN NO EVENT SHALL THE PROJECT OR CONTRIBUTORS BE LIABLE
     24  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     25  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     26  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     27  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     28  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     29  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     30  * SUCH DAMAGE.
     31  */
     32 
     33 #include <sys/param.h>
     34 #include <sys/systm.h>
     35 #include <sys/malloc.h>
     36 #include <sys/mbuf.h>
     37 #include <sys/domain.h>
     38 #include <sys/protosw.h>
     39 #include <sys/socket.h>
     40 #include <sys/errno.h>
     41 #include <sys/time.h>
     42 #include <sys/kernel.h>
     43 #include <sys/syslog.h>
     44 
     45 #include <net/if.h>
     46 #include <net/route.h>
     47 
     48 #include <netinet/in.h>
     49 #include <netinet/in_var.h>
     50 #include <netinet/ip6.h>
     51 #include <netinet6/in6_pcb.h>
     52 #include <netinet6/ip6_var.h>
     53 #include <netinet/icmp6.h>
     54 
     55 #include <net/net_osdep.h>
     56 
     57 /*
     58  * Define it to get a correct behavior on per-interface statistics.
     59  * You will need to perform an extra routing table lookup, per fragment,
     60  * to do it.  This may, or may not be, a performance hit.
     61  */
     62 #define IN6_IFSTAT_STRICT
     63 
     64 static void frag6_enq __P((struct ip6asfrag *, struct ip6asfrag *));
     65 static void frag6_deq __P((struct ip6asfrag *));
     66 static void frag6_insque __P((struct ip6q *, struct ip6q *));
     67 static void frag6_remque __P((struct ip6q *));
     68 static void frag6_freef __P((struct ip6q *));
     69 
     70 int frag6_doing_reass;
     71 u_int frag6_nfragpackets;
     72 struct	ip6q ip6q;	/* ip6 reassemble queue */
     73 
     74 #ifndef offsetof		/* XXX */
     75 #define	offsetof(type, member)	((size_t)(&((type *)0)->member))
     76 #endif
     77 
     78 /*
     79  * Initialise reassembly queue and fragment identifier.
     80  */
     81 void
     82 frag6_init()
     83 {
     84 	struct timeval tv;
     85 
     86 	/*
     87 	 * in many cases, random() here does NOT return random number
     88 	 * as initialization during bootstrap time occur in fixed order.
     89 	 */
     90 	microtime(&tv);
     91 	ip6_id = random() ^ tv.tv_usec;
     92 	ip6q.ip6q_next = ip6q.ip6q_prev = &ip6q;
     93 }
     94 
     95 /*
     96  * In RFC2460, fragment and reassembly rule do not agree with each other,
     97  * in terms of next header field handling in fragment header.
     98  * While the sender will use the same value for all of the fragmented packets,
     99  * receiver is suggested not to check the consistency.
    100  *
    101  * fragment rule (p20):
    102  *	(2) A Fragment header containing:
    103  *	The Next Header value that identifies the first header of
    104  *	the Fragmentable Part of the original packet.
    105  *		-> next header field is same for all fragments
    106  *
    107  * reassembly rule (p21):
    108  *	The Next Header field of the last header of the Unfragmentable
    109  *	Part is obtained from the Next Header field of the first
    110  *	fragment's Fragment header.
    111  *		-> should grab it from the first fragment only
    112  *
    113  * The following note also contradicts with fragment rule - noone is going to
    114  * send different fragment with different next header field.
    115  *
    116  * additional note (p22):
    117  *	The Next Header values in the Fragment headers of different
    118  *	fragments of the same original packet may differ.  Only the value
    119  *	from the Offset zero fragment packet is used for reassembly.
    120  *		-> should grab it from the first fragment only
    121  *
    122  * There is no explicit reason given in the RFC.  Historical reason maybe?
    123  */
    124 /*
    125  * Fragment input
    126  */
    127 int
    128 frag6_input(mp, offp, proto)
    129 	struct mbuf **mp;
    130 	int *offp, proto;
    131 {
    132 	struct mbuf *m = *mp, *t;
    133 	struct ip6_hdr *ip6;
    134 	struct ip6_frag *ip6f;
    135 	struct ip6q *q6;
    136 	struct ip6asfrag *af6, *ip6af, *af6dwn;
    137 	int offset = *offp, nxt, i, next;
    138 	int first_frag = 0;
    139 	int fragoff, frgpartlen;	/* must be larger than u_int16_t */
    140 	struct ifnet *dstifp;
    141 #ifdef IN6_IFSTAT_STRICT
    142 	static struct route_in6 ro;
    143 	struct sockaddr_in6 *dst;
    144 #endif
    145 
    146 	ip6 = mtod(m, struct ip6_hdr *);
    147 #ifndef PULLDOWN_TEST
    148 	IP6_EXTHDR_CHECK(m, offset, sizeof(struct ip6_frag), IPPROTO_DONE);
    149 	ip6f = (struct ip6_frag *)((caddr_t)ip6 + offset);
    150 #else
    151 	IP6_EXTHDR_GET(ip6f, struct ip6_frag *, m, offset, sizeof(*ip6f));
    152 	if (ip6f == NULL)
    153 		return IPPROTO_DONE;
    154 #endif
    155 
    156 	dstifp = NULL;
    157 #ifdef IN6_IFSTAT_STRICT
    158 	/* find the destination interface of the packet. */
    159 	dst = (struct sockaddr_in6 *)&ro.ro_dst;
    160 	if (ro.ro_rt
    161 	 && ((ro.ro_rt->rt_flags & RTF_UP) == 0
    162 	  || !IN6_ARE_ADDR_EQUAL(&dst->sin6_addr, &ip6->ip6_dst))) {
    163 		RTFREE(ro.ro_rt);
    164 		ro.ro_rt = (struct rtentry *)0;
    165 	}
    166 	if (ro.ro_rt == NULL) {
    167 		bzero(dst, sizeof(*dst));
    168 		dst->sin6_family = AF_INET6;
    169 		dst->sin6_len = sizeof(struct sockaddr_in6);
    170 		dst->sin6_addr = ip6->ip6_dst;
    171 	}
    172 	rtalloc((struct route *)&ro);
    173 	if (ro.ro_rt != NULL && ro.ro_rt->rt_ifa != NULL)
    174 		dstifp = ((struct in6_ifaddr *)ro.ro_rt->rt_ifa)->ia_ifp;
    175 #else
    176 	/* we are violating the spec, this is not the destination interface */
    177 	if ((m->m_flags & M_PKTHDR) != 0)
    178 		dstifp = m->m_pkthdr.rcvif;
    179 #endif
    180 
    181 	/* jumbo payload can't contain a fragment header */
    182 	if (ip6->ip6_plen == 0) {
    183 		icmp6_error(m, ICMP6_PARAM_PROB, ICMP6_PARAMPROB_HEADER, offset);
    184 		in6_ifstat_inc(dstifp, ifs6_reass_fail);
    185 		return IPPROTO_DONE;
    186 	}
    187 
    188 	/*
    189 	 * check whether fragment packet's fragment length is
    190 	 * multiple of 8 octets.
    191 	 * sizeof(struct ip6_frag) == 8
    192 	 * sizeof(struct ip6_hdr) = 40
    193 	 */
    194 	if ((ip6f->ip6f_offlg & IP6F_MORE_FRAG) &&
    195 	    (((ntohs(ip6->ip6_plen) - offset) & 0x7) != 0)) {
    196 		icmp6_error(m, ICMP6_PARAM_PROB,
    197 			    ICMP6_PARAMPROB_HEADER,
    198 			    offsetof(struct ip6_hdr, ip6_plen));
    199 		in6_ifstat_inc(dstifp, ifs6_reass_fail);
    200 		return IPPROTO_DONE;
    201 	}
    202 
    203 	ip6stat.ip6s_fragments++;
    204 	in6_ifstat_inc(dstifp, ifs6_reass_reqd);
    205 
    206 	/* offset now points to data portion */
    207 	offset += sizeof(struct ip6_frag);
    208 
    209 	frag6_doing_reass = 1;
    210 
    211 	for (q6 = ip6q.ip6q_next; q6 != &ip6q; q6 = q6->ip6q_next)
    212 		if (ip6f->ip6f_ident == q6->ip6q_ident &&
    213 		    IN6_ARE_ADDR_EQUAL(&ip6->ip6_src, &q6->ip6q_src) &&
    214 		    IN6_ARE_ADDR_EQUAL(&ip6->ip6_dst, &q6->ip6q_dst))
    215 			break;
    216 
    217 	if (q6 == &ip6q) {
    218 		/*
    219 		 * the first fragment to arrive, create a reassembly queue.
    220 		 */
    221 		first_frag = 1;
    222 		frag6_nfragpackets++;
    223 
    224 		/*
    225 		 * Enforce upper bound on number of fragmented packets
    226 		 * for which we attempt reassembly;
    227 		 * If maxfrag is 0, never accept fragments.
    228 		 * If maxfrag is -1, accept all fragments without limitation.
    229 		 */
    230 		if (frag6_nfragpackets >= (u_int)ip6_maxfragpackets) {
    231 			ip6stat.ip6s_fragoverflow++;
    232 			in6_ifstat_inc(dstifp, ifs6_reass_fail);
    233 			frag6_freef(ip6q.ip6q_prev);
    234 		}
    235 		q6 = (struct ip6q *)malloc(sizeof(struct ip6q), M_FTABLE,
    236 			M_DONTWAIT);
    237 		if (q6 == NULL)
    238 			goto dropfrag;
    239 		bzero(q6, sizeof(*q6));
    240 
    241 		frag6_insque(q6, &ip6q);
    242 
    243 		/* ip6q_nxt will be filled afterwards, from 1st fragment */
    244 		q6->ip6q_down	= q6->ip6q_up = (struct ip6asfrag *)q6;
    245 #ifdef notyet
    246 		q6->ip6q_nxtp	= (u_char *)nxtp;
    247 #endif
    248 		q6->ip6q_ident	= ip6f->ip6f_ident;
    249 		q6->ip6q_arrive = 0; /* Is it used anywhere? */
    250 		q6->ip6q_ttl 	= IPV6_FRAGTTL;
    251 		q6->ip6q_src	= ip6->ip6_src;
    252 		q6->ip6q_dst	= ip6->ip6_dst;
    253 		q6->ip6q_unfrglen = -1;	/* The 1st fragment has not arrived. */
    254 	}
    255 
    256 	/*
    257 	 * If it's the 1st fragment, record the length of the
    258 	 * unfragmentable part and the next header of the fragment header.
    259 	 */
    260 	fragoff = ntohs(ip6f->ip6f_offlg & IP6F_OFF_MASK);
    261 	if (fragoff == 0) {
    262 		q6->ip6q_unfrglen = offset - sizeof(struct ip6_hdr)
    263 			- sizeof(struct ip6_frag);
    264 		q6->ip6q_nxt = ip6f->ip6f_nxt;
    265 	}
    266 
    267 	/*
    268 	 * Check that the reassembled packet would not exceed 65535 bytes
    269 	 * in size.
    270 	 * If it would exceed, discard the fragment and return an ICMP error.
    271 	 */
    272 	frgpartlen = sizeof(struct ip6_hdr) + ntohs(ip6->ip6_plen) - offset;
    273 	if (q6->ip6q_unfrglen >= 0) {
    274 		/* The 1st fragment has already arrived. */
    275 		if (q6->ip6q_unfrglen + fragoff + frgpartlen > IPV6_MAXPACKET) {
    276 			icmp6_error(m, ICMP6_PARAM_PROB, ICMP6_PARAMPROB_HEADER,
    277 				    offset - sizeof(struct ip6_frag) +
    278 					offsetof(struct ip6_frag, ip6f_offlg));
    279 			frag6_doing_reass = 0;
    280 			return(IPPROTO_DONE);
    281 		}
    282 	}
    283 	else if (fragoff + frgpartlen > IPV6_MAXPACKET) {
    284 		icmp6_error(m, ICMP6_PARAM_PROB, ICMP6_PARAMPROB_HEADER,
    285 			    offset - sizeof(struct ip6_frag) +
    286 				offsetof(struct ip6_frag, ip6f_offlg));
    287 		frag6_doing_reass = 0;
    288 		return(IPPROTO_DONE);
    289 	}
    290 	/*
    291 	 * If it's the first fragment, do the above check for each
    292 	 * fragment already stored in the reassembly queue.
    293 	 */
    294 	if (fragoff == 0) {
    295 		for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6;
    296 		     af6 = af6dwn) {
    297 			af6dwn = af6->ip6af_down;
    298 
    299 			if (q6->ip6q_unfrglen + af6->ip6af_off + af6->ip6af_frglen >
    300 			    IPV6_MAXPACKET) {
    301 				struct mbuf *merr = IP6_REASS_MBUF(af6);
    302 				struct ip6_hdr *ip6err;
    303 				int erroff = af6->ip6af_offset;
    304 
    305 				/* dequeue the fragment. */
    306 				frag6_deq(af6);
    307 				free(af6, M_FTABLE);
    308 
    309 				/* adjust pointer. */
    310 				ip6err = mtod(merr, struct ip6_hdr *);
    311 
    312 				/*
    313 				 * Restore source and destination addresses
    314 				 * in the erroneous IPv6 header.
    315 				 */
    316 				ip6err->ip6_src = q6->ip6q_src;
    317 				ip6err->ip6_dst = q6->ip6q_dst;
    318 
    319 				icmp6_error(merr, ICMP6_PARAM_PROB,
    320 					    ICMP6_PARAMPROB_HEADER,
    321 					    erroff - sizeof(struct ip6_frag) +
    322 						offsetof(struct ip6_frag, ip6f_offlg));
    323 			}
    324 		}
    325 	}
    326 
    327 	ip6af = (struct ip6asfrag *)malloc(sizeof(struct ip6asfrag), M_FTABLE,
    328 	    M_DONTWAIT);
    329 	if (ip6af == NULL)
    330 		goto dropfrag;
    331 	bzero(ip6af, sizeof(*ip6af));
    332 	ip6af->ip6af_head = ip6->ip6_flow;
    333 	ip6af->ip6af_len = ip6->ip6_plen;
    334 	ip6af->ip6af_nxt = ip6->ip6_nxt;
    335 	ip6af->ip6af_hlim = ip6->ip6_hlim;
    336 	ip6af->ip6af_mff = ip6f->ip6f_offlg & IP6F_MORE_FRAG;
    337 	ip6af->ip6af_off = fragoff;
    338 	ip6af->ip6af_frglen = frgpartlen;
    339 	ip6af->ip6af_offset = offset;
    340 	IP6_REASS_MBUF(ip6af) = m;
    341 
    342 	if (first_frag) {
    343 		af6 = (struct ip6asfrag *)q6;
    344 		goto insert;
    345 	}
    346 
    347 	/*
    348 	 * Find a segment which begins after this one does.
    349 	 */
    350 	for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6;
    351 	     af6 = af6->ip6af_down)
    352 		if (af6->ip6af_off > ip6af->ip6af_off)
    353 			break;
    354 
    355 #if 0
    356 	/*
    357 	 * If there is a preceding segment, it may provide some of
    358 	 * our data already.  If so, drop the data from the incoming
    359 	 * segment.  If it provides all of our data, drop us.
    360 	 */
    361 	if (af6->ip6af_up != (struct ip6asfrag *)q6) {
    362 		i = af6->ip6af_up->ip6af_off + af6->ip6af_up->ip6af_frglen
    363 			- ip6af->ip6af_off;
    364 		if (i > 0) {
    365 			if (i >= ip6af->ip6af_frglen)
    366 				goto dropfrag;
    367 			m_adj(IP6_REASS_MBUF(ip6af), i);
    368 			ip6af->ip6af_off += i;
    369 			ip6af->ip6af_frglen -= i;
    370 		}
    371 	}
    372 
    373 	/*
    374 	 * While we overlap succeeding segments trim them or,
    375 	 * if they are completely covered, dequeue them.
    376 	 */
    377 	while (af6 != (struct ip6asfrag *)q6 &&
    378 	       ip6af->ip6af_off + ip6af->ip6af_frglen > af6->ip6af_off) {
    379 		i = (ip6af->ip6af_off + ip6af->ip6af_frglen) - af6->ip6af_off;
    380 		if (i < af6->ip6af_frglen) {
    381 			af6->ip6af_frglen -= i;
    382 			af6->ip6af_off += i;
    383 			m_adj(IP6_REASS_MBUF(af6), i);
    384 			break;
    385 		}
    386 		af6 = af6->ip6af_down;
    387 		m_freem(IP6_REASS_MBUF(af6->ip6af_up));
    388 		frag6_deq(af6->ip6af_up);
    389 	}
    390 #else
    391 	/*
    392 	 * If the incoming framgent overlaps some existing fragments in
    393 	 * the reassembly queue, drop it, since it is dangerous to override
    394 	 * existing fragments from a security point of view.
    395 	 */
    396 	if (af6->ip6af_up != (struct ip6asfrag *)q6) {
    397 		i = af6->ip6af_up->ip6af_off + af6->ip6af_up->ip6af_frglen
    398 			- ip6af->ip6af_off;
    399 		if (i > 0) {
    400 			log(LOG_ERR, "%d bytes of a fragment from %s "
    401 			    "overlaps the previous fragment\n",
    402 			    i, ip6_sprintf(&q6->ip6q_src));
    403 			goto dropfrag;
    404 		}
    405 	}
    406 	if (af6 != (struct ip6asfrag *)q6) {
    407 		i = (ip6af->ip6af_off + ip6af->ip6af_frglen) - af6->ip6af_off;
    408 		if (i > 0) {
    409 			log(LOG_ERR, "%d bytes of a fragment from %s "
    410 			    "overlaps the succeeding fragment",
    411 			    i, ip6_sprintf(&q6->ip6q_src));
    412 			goto dropfrag;
    413 		}
    414 	}
    415 #endif
    416 
    417 insert:
    418 
    419 	/*
    420 	 * Stick new segment in its place;
    421 	 * check for complete reassembly.
    422 	 * Move to front of packet queue, as we are
    423 	 * the most recently active fragmented packet.
    424 	 */
    425 	frag6_enq(ip6af, af6->ip6af_up);
    426 #if 0 /* xxx */
    427 	if (q6 != ip6q.ip6q_next) {
    428 		frag6_remque(q6);
    429 		frag6_insque(q6, &ip6q);
    430 	}
    431 #endif
    432 	next = 0;
    433 	for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6;
    434 	     af6 = af6->ip6af_down) {
    435 		if (af6->ip6af_off != next) {
    436 			frag6_doing_reass = 0;
    437 			return IPPROTO_DONE;
    438 		}
    439 		next += af6->ip6af_frglen;
    440 	}
    441 	if (af6->ip6af_up->ip6af_mff) {
    442 		frag6_doing_reass = 0;
    443 		return IPPROTO_DONE;
    444 	}
    445 
    446 	/*
    447 	 * Reassembly is complete; concatenate fragments.
    448 	 */
    449 	ip6af = q6->ip6q_down;
    450 	t = m = IP6_REASS_MBUF(ip6af);
    451 	af6 = ip6af->ip6af_down;
    452 	frag6_deq(ip6af);
    453 	while (af6 != (struct ip6asfrag *)q6) {
    454 		af6dwn = af6->ip6af_down;
    455 		frag6_deq(af6);
    456 		while (t->m_next)
    457 			t = t->m_next;
    458 		t->m_next = IP6_REASS_MBUF(af6);
    459 		m_adj(t->m_next, af6->ip6af_offset);
    460 		free(af6, M_FTABLE);
    461 		af6 = af6dwn;
    462 	}
    463 
    464 	/* adjust offset to point where the original next header starts */
    465 	offset = ip6af->ip6af_offset - sizeof(struct ip6_frag);
    466 	free(ip6af, M_FTABLE);
    467 	ip6 = mtod(m, struct ip6_hdr *);
    468 	ip6->ip6_plen = htons((u_short)next + offset - sizeof(struct ip6_hdr));
    469 	ip6->ip6_src = q6->ip6q_src;
    470 	ip6->ip6_dst = q6->ip6q_dst;
    471 	nxt = q6->ip6q_nxt;
    472 #ifdef notyet
    473 	*q6->ip6q_nxtp = (u_char)(nxt & 0xff);
    474 #endif
    475 
    476 	/*
    477 	 * Delete frag6 header with as a few cost as possible.
    478 	 */
    479 	if (offset < m->m_len) {
    480 		ovbcopy((caddr_t)ip6, (caddr_t)ip6 + sizeof(struct ip6_frag),
    481 			offset);
    482 		m->m_data += sizeof(struct ip6_frag);
    483 		m->m_len -= sizeof(struct ip6_frag);
    484 	} else {
    485 		/* this comes with no copy if the boundary is on cluster */
    486 		if ((t = m_split(m, offset, M_DONTWAIT)) == NULL) {
    487 			frag6_remque(q6);
    488 			free(q6, M_FTABLE);
    489 			frag6_nfragpackets--;
    490 			goto dropfrag;
    491 		}
    492 		m_adj(t, sizeof(struct ip6_frag));
    493 		m_cat(m, t);
    494 	}
    495 
    496 	/*
    497 	 * Store NXT to the original.
    498 	 */
    499 	{
    500 		char *prvnxtp = ip6_get_prevhdr(m, offset); /* XXX */
    501 		*prvnxtp = nxt;
    502 	}
    503 
    504 	frag6_remque(q6);
    505 	free(q6, M_FTABLE);
    506 	frag6_nfragpackets--;
    507 
    508 	if (m->m_flags & M_PKTHDR) { /* Isn't it always true? */
    509 		int plen = 0;
    510 		for (t = m; t; t = t->m_next)
    511 			plen += t->m_len;
    512 		m->m_pkthdr.len = plen;
    513 	}
    514 
    515 	ip6stat.ip6s_reassembled++;
    516 	in6_ifstat_inc(dstifp, ifs6_reass_ok);
    517 
    518 	/*
    519 	 * Tell launch routine the next header
    520 	 */
    521 
    522 	*mp = m;
    523 	*offp = offset;
    524 
    525 	frag6_doing_reass = 0;
    526 	return nxt;
    527 
    528  dropfrag:
    529 	in6_ifstat_inc(dstifp, ifs6_reass_fail);
    530 	ip6stat.ip6s_fragdropped++;
    531 	m_freem(m);
    532 	frag6_doing_reass = 0;
    533 	return IPPROTO_DONE;
    534 }
    535 
    536 /*
    537  * Free a fragment reassembly header and all
    538  * associated datagrams.
    539  */
    540 void
    541 frag6_freef(q6)
    542 	struct ip6q *q6;
    543 {
    544 	struct ip6asfrag *af6, *down6;
    545 
    546 	for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6;
    547 	     af6 = down6) {
    548 		struct mbuf *m = IP6_REASS_MBUF(af6);
    549 
    550 		down6 = af6->ip6af_down;
    551 		frag6_deq(af6);
    552 
    553 		/*
    554 		 * Return ICMP time exceeded error for the 1st fragment.
    555 		 * Just free other fragments.
    556 		 */
    557 		if (af6->ip6af_off == 0) {
    558 			struct ip6_hdr *ip6;
    559 
    560 			/* adjust pointer */
    561 			ip6 = mtod(m, struct ip6_hdr *);
    562 
    563 			/* restoure source and destination addresses */
    564 			ip6->ip6_src = q6->ip6q_src;
    565 			ip6->ip6_dst = q6->ip6q_dst;
    566 
    567 			icmp6_error(m, ICMP6_TIME_EXCEEDED,
    568 				    ICMP6_TIME_EXCEED_REASSEMBLY, 0);
    569 		} else
    570 			m_freem(m);
    571 		free(af6, M_FTABLE);
    572 	}
    573 	frag6_remque(q6);
    574 	free(q6, M_FTABLE);
    575 	frag6_nfragpackets--;
    576 }
    577 
    578 /*
    579  * Put an ip fragment on a reassembly chain.
    580  * Like insque, but pointers in middle of structure.
    581  */
    582 void
    583 frag6_enq(af6, up6)
    584 	struct ip6asfrag *af6, *up6;
    585 {
    586 	af6->ip6af_up = up6;
    587 	af6->ip6af_down = up6->ip6af_down;
    588 	up6->ip6af_down->ip6af_up = af6;
    589 	up6->ip6af_down = af6;
    590 }
    591 
    592 /*
    593  * To frag6_enq as remque is to insque.
    594  */
    595 void
    596 frag6_deq(af6)
    597 	struct ip6asfrag *af6;
    598 {
    599 	af6->ip6af_up->ip6af_down = af6->ip6af_down;
    600 	af6->ip6af_down->ip6af_up = af6->ip6af_up;
    601 }
    602 
    603 void
    604 frag6_insque(new, old)
    605 	struct ip6q *new, *old;
    606 {
    607 	new->ip6q_prev = old;
    608 	new->ip6q_next = old->ip6q_next;
    609 	old->ip6q_next->ip6q_prev= new;
    610 	old->ip6q_next = new;
    611 }
    612 
    613 void
    614 frag6_remque(p6)
    615 	struct ip6q *p6;
    616 {
    617 	p6->ip6q_prev->ip6q_next = p6->ip6q_next;
    618 	p6->ip6q_next->ip6q_prev = p6->ip6q_prev;
    619 }
    620 
    621 /*
    622  * IPv6 reassembling timer processing;
    623  * if a timer expires on a reassembly
    624  * queue, discard it.
    625  */
    626 void
    627 frag6_slowtimo()
    628 {
    629 	struct ip6q *q6;
    630 	int s = splsoftnet();
    631 #if 0
    632 	extern struct	route_in6 ip6_forward_rt;
    633 #endif
    634 
    635 	frag6_doing_reass = 1;
    636 	q6 = ip6q.ip6q_next;
    637 	if (q6)
    638 		while (q6 != &ip6q) {
    639 			--q6->ip6q_ttl;
    640 			q6 = q6->ip6q_next;
    641 			if (q6->ip6q_prev->ip6q_ttl == 0) {
    642 				ip6stat.ip6s_fragtimeout++;
    643 				/* XXX in6_ifstat_inc(ifp, ifs6_reass_fail) */
    644 				frag6_freef(q6->ip6q_prev);
    645 			}
    646 		}
    647 	/*
    648 	 * If we are over the maximum number of fragments
    649 	 * (due to the limit being lowered), drain off
    650 	 * enough to get down to the new limit.
    651 	 */
    652 	while (frag6_nfragpackets > (u_int)ip6_maxfragpackets) {
    653 		ip6stat.ip6s_fragoverflow++;
    654 		/* XXX in6_ifstat_inc(ifp, ifs6_reass_fail) */
    655 		frag6_freef(ip6q.ip6q_prev);
    656 	}
    657 	frag6_doing_reass = 0;
    658 
    659 #if 0
    660 	/*
    661 	 * Routing changes might produce a better route than we last used;
    662 	 * make sure we notice eventually, even if forwarding only for one
    663 	 * destination and the cache is never replaced.
    664 	 */
    665 	if (ip6_forward_rt.ro_rt) {
    666 		RTFREE(ip6_forward_rt.ro_rt);
    667 		ip6_forward_rt.ro_rt = 0;
    668 	}
    669 	if (ipsrcchk_rt.ro_rt) {
    670 		RTFREE(ipsrcchk_rt.ro_rt);
    671 		ipsrcchk_rt.ro_rt = 0;
    672 	}
    673 #endif
    674 
    675 	splx(s);
    676 }
    677 
    678 /*
    679  * Drain off all datagram fragments.
    680  */
    681 void
    682 frag6_drain()
    683 {
    684 	if (frag6_doing_reass)
    685 		return;
    686 	while (ip6q.ip6q_next != &ip6q) {
    687 		ip6stat.ip6s_fragdropped++;
    688 		/* XXX in6_ifstat_inc(ifp, ifs6_reass_fail) */
    689 		frag6_freef(ip6q.ip6q_next);
    690 	}
    691 }
    692