Home | History | Annotate | Line # | Download | only in netinet6
frag6.c revision 1.13
      1 /*	$NetBSD: frag6.c,v 1.13 2001/02/22 05:04:42 itojun Exp $	*/
      2 /*	$KAME: frag6.c,v 1.30 2001/02/22 04:52:36 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 
    223 		/*
    224 		 * Enforce upper bound on number of fragmented packets
    225 		 * for which we attempt reassembly;
    226 		 * If maxfrag is 0, never accept fragments.
    227 		 * If maxfrag is -1, accept all fragments without limitation.
    228 		 */
    229 		if (ip6_maxfragpackets < 0)
    230 			;
    231 		else if (frag6_nfragpackets >= (u_int)ip6_maxfragpackets)
    232 			goto dropfrag;
    233 		frag6_nfragpackets++;
    234 		q6 = (struct ip6q *)malloc(sizeof(struct ip6q), M_FTABLE,
    235 			M_DONTWAIT);
    236 		if (q6 == NULL)
    237 			goto dropfrag;
    238 		bzero(q6, sizeof(*q6));
    239 
    240 		frag6_insque(q6, &ip6q);
    241 
    242 		/* ip6q_nxt will be filled afterwards, from 1st fragment */
    243 		q6->ip6q_down	= q6->ip6q_up = (struct ip6asfrag *)q6;
    244 #ifdef notyet
    245 		q6->ip6q_nxtp	= (u_char *)nxtp;
    246 #endif
    247 		q6->ip6q_ident	= ip6f->ip6f_ident;
    248 		q6->ip6q_arrive = 0; /* Is it used anywhere? */
    249 		q6->ip6q_ttl 	= IPV6_FRAGTTL;
    250 		q6->ip6q_src	= ip6->ip6_src;
    251 		q6->ip6q_dst	= ip6->ip6_dst;
    252 		q6->ip6q_unfrglen = -1;	/* The 1st fragment has not arrived. */
    253 	}
    254 
    255 	/*
    256 	 * If it's the 1st fragment, record the length of the
    257 	 * unfragmentable part and the next header of the fragment header.
    258 	 */
    259 	fragoff = ntohs(ip6f->ip6f_offlg & IP6F_OFF_MASK);
    260 	if (fragoff == 0) {
    261 		q6->ip6q_unfrglen = offset - sizeof(struct ip6_hdr)
    262 			- sizeof(struct ip6_frag);
    263 		q6->ip6q_nxt = ip6f->ip6f_nxt;
    264 	}
    265 
    266 	/*
    267 	 * Check that the reassembled packet would not exceed 65535 bytes
    268 	 * in size.
    269 	 * If it would exceed, discard the fragment and return an ICMP error.
    270 	 */
    271 	frgpartlen = sizeof(struct ip6_hdr) + ntohs(ip6->ip6_plen) - offset;
    272 	if (q6->ip6q_unfrglen >= 0) {
    273 		/* The 1st fragment has already arrived. */
    274 		if (q6->ip6q_unfrglen + fragoff + frgpartlen > IPV6_MAXPACKET) {
    275 			icmp6_error(m, ICMP6_PARAM_PROB, ICMP6_PARAMPROB_HEADER,
    276 				    offset - sizeof(struct ip6_frag) +
    277 					offsetof(struct ip6_frag, ip6f_offlg));
    278 			frag6_doing_reass = 0;
    279 			return(IPPROTO_DONE);
    280 		}
    281 	}
    282 	else if (fragoff + frgpartlen > IPV6_MAXPACKET) {
    283 		icmp6_error(m, ICMP6_PARAM_PROB, ICMP6_PARAMPROB_HEADER,
    284 			    offset - sizeof(struct ip6_frag) +
    285 				offsetof(struct ip6_frag, ip6f_offlg));
    286 		frag6_doing_reass = 0;
    287 		return(IPPROTO_DONE);
    288 	}
    289 	/*
    290 	 * If it's the first fragment, do the above check for each
    291 	 * fragment already stored in the reassembly queue.
    292 	 */
    293 	if (fragoff == 0) {
    294 		for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6;
    295 		     af6 = af6dwn) {
    296 			af6dwn = af6->ip6af_down;
    297 
    298 			if (q6->ip6q_unfrglen + af6->ip6af_off + af6->ip6af_frglen >
    299 			    IPV6_MAXPACKET) {
    300 				struct mbuf *merr = IP6_REASS_MBUF(af6);
    301 				struct ip6_hdr *ip6err;
    302 				int erroff = af6->ip6af_offset;
    303 
    304 				/* dequeue the fragment. */
    305 				frag6_deq(af6);
    306 				free(af6, M_FTABLE);
    307 
    308 				/* adjust pointer. */
    309 				ip6err = mtod(merr, struct ip6_hdr *);
    310 
    311 				/*
    312 				 * Restore source and destination addresses
    313 				 * in the erroneous IPv6 header.
    314 				 */
    315 				ip6err->ip6_src = q6->ip6q_src;
    316 				ip6err->ip6_dst = q6->ip6q_dst;
    317 
    318 				icmp6_error(merr, ICMP6_PARAM_PROB,
    319 					    ICMP6_PARAMPROB_HEADER,
    320 					    erroff - sizeof(struct ip6_frag) +
    321 						offsetof(struct ip6_frag, ip6f_offlg));
    322 			}
    323 		}
    324 	}
    325 
    326 	ip6af = (struct ip6asfrag *)malloc(sizeof(struct ip6asfrag), M_FTABLE,
    327 	    M_DONTWAIT);
    328 	if (ip6af == NULL)
    329 		goto dropfrag;
    330 	bzero(ip6af, sizeof(*ip6af));
    331 	ip6af->ip6af_head = ip6->ip6_flow;
    332 	ip6af->ip6af_len = ip6->ip6_plen;
    333 	ip6af->ip6af_nxt = ip6->ip6_nxt;
    334 	ip6af->ip6af_hlim = ip6->ip6_hlim;
    335 	ip6af->ip6af_mff = ip6f->ip6f_offlg & IP6F_MORE_FRAG;
    336 	ip6af->ip6af_off = fragoff;
    337 	ip6af->ip6af_frglen = frgpartlen;
    338 	ip6af->ip6af_offset = offset;
    339 	IP6_REASS_MBUF(ip6af) = m;
    340 
    341 	if (first_frag) {
    342 		af6 = (struct ip6asfrag *)q6;
    343 		goto insert;
    344 	}
    345 
    346 	/*
    347 	 * Find a segment which begins after this one does.
    348 	 */
    349 	for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6;
    350 	     af6 = af6->ip6af_down)
    351 		if (af6->ip6af_off > ip6af->ip6af_off)
    352 			break;
    353 
    354 #if 0
    355 	/*
    356 	 * If there is a preceding segment, it may provide some of
    357 	 * our data already.  If so, drop the data from the incoming
    358 	 * segment.  If it provides all of our data, drop us.
    359 	 */
    360 	if (af6->ip6af_up != (struct ip6asfrag *)q6) {
    361 		i = af6->ip6af_up->ip6af_off + af6->ip6af_up->ip6af_frglen
    362 			- ip6af->ip6af_off;
    363 		if (i > 0) {
    364 			if (i >= ip6af->ip6af_frglen)
    365 				goto dropfrag;
    366 			m_adj(IP6_REASS_MBUF(ip6af), i);
    367 			ip6af->ip6af_off += i;
    368 			ip6af->ip6af_frglen -= i;
    369 		}
    370 	}
    371 
    372 	/*
    373 	 * While we overlap succeeding segments trim them or,
    374 	 * if they are completely covered, dequeue them.
    375 	 */
    376 	while (af6 != (struct ip6asfrag *)q6 &&
    377 	       ip6af->ip6af_off + ip6af->ip6af_frglen > af6->ip6af_off) {
    378 		i = (ip6af->ip6af_off + ip6af->ip6af_frglen) - af6->ip6af_off;
    379 		if (i < af6->ip6af_frglen) {
    380 			af6->ip6af_frglen -= i;
    381 			af6->ip6af_off += i;
    382 			m_adj(IP6_REASS_MBUF(af6), i);
    383 			break;
    384 		}
    385 		af6 = af6->ip6af_down;
    386 		m_freem(IP6_REASS_MBUF(af6->ip6af_up));
    387 		frag6_deq(af6->ip6af_up);
    388 	}
    389 #else
    390 	/*
    391 	 * If the incoming framgent overlaps some existing fragments in
    392 	 * the reassembly queue, drop it, since it is dangerous to override
    393 	 * existing fragments from a security point of view.
    394 	 */
    395 	if (af6->ip6af_up != (struct ip6asfrag *)q6) {
    396 		i = af6->ip6af_up->ip6af_off + af6->ip6af_up->ip6af_frglen
    397 			- ip6af->ip6af_off;
    398 		if (i > 0) {
    399 			log(LOG_ERR, "%d bytes of a fragment from %s "
    400 			    "overlaps the previous fragment\n",
    401 			    i, ip6_sprintf(&q6->ip6q_src));
    402 			goto dropfrag;
    403 		}
    404 	}
    405 	if (af6 != (struct ip6asfrag *)q6) {
    406 		i = (ip6af->ip6af_off + ip6af->ip6af_frglen) - af6->ip6af_off;
    407 		if (i > 0) {
    408 			log(LOG_ERR, "%d bytes of a fragment from %s "
    409 			    "overlaps the succeeding fragment",
    410 			    i, ip6_sprintf(&q6->ip6q_src));
    411 			goto dropfrag;
    412 		}
    413 	}
    414 #endif
    415 
    416 insert:
    417 
    418 	/*
    419 	 * Stick new segment in its place;
    420 	 * check for complete reassembly.
    421 	 * Move to front of packet queue, as we are
    422 	 * the most recently active fragmented packet.
    423 	 */
    424 	frag6_enq(ip6af, af6->ip6af_up);
    425 #if 0 /* xxx */
    426 	if (q6 != ip6q.ip6q_next) {
    427 		frag6_remque(q6);
    428 		frag6_insque(q6, &ip6q);
    429 	}
    430 #endif
    431 	next = 0;
    432 	for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6;
    433 	     af6 = af6->ip6af_down) {
    434 		if (af6->ip6af_off != next) {
    435 			frag6_doing_reass = 0;
    436 			return IPPROTO_DONE;
    437 		}
    438 		next += af6->ip6af_frglen;
    439 	}
    440 	if (af6->ip6af_up->ip6af_mff) {
    441 		frag6_doing_reass = 0;
    442 		return IPPROTO_DONE;
    443 	}
    444 
    445 	/*
    446 	 * Reassembly is complete; concatenate fragments.
    447 	 */
    448 	ip6af = q6->ip6q_down;
    449 	t = m = IP6_REASS_MBUF(ip6af);
    450 	af6 = ip6af->ip6af_down;
    451 	frag6_deq(ip6af);
    452 	while (af6 != (struct ip6asfrag *)q6) {
    453 		af6dwn = af6->ip6af_down;
    454 		frag6_deq(af6);
    455 		while (t->m_next)
    456 			t = t->m_next;
    457 		t->m_next = IP6_REASS_MBUF(af6);
    458 		m_adj(t->m_next, af6->ip6af_offset);
    459 		free(af6, M_FTABLE);
    460 		af6 = af6dwn;
    461 	}
    462 
    463 	/* adjust offset to point where the original next header starts */
    464 	offset = ip6af->ip6af_offset - sizeof(struct ip6_frag);
    465 	free(ip6af, M_FTABLE);
    466 	ip6 = mtod(m, struct ip6_hdr *);
    467 	ip6->ip6_plen = htons((u_short)next + offset - sizeof(struct ip6_hdr));
    468 	ip6->ip6_src = q6->ip6q_src;
    469 	ip6->ip6_dst = q6->ip6q_dst;
    470 	nxt = q6->ip6q_nxt;
    471 #ifdef notyet
    472 	*q6->ip6q_nxtp = (u_char)(nxt & 0xff);
    473 #endif
    474 
    475 	/*
    476 	 * Delete frag6 header with as a few cost as possible.
    477 	 */
    478 	if (offset < m->m_len) {
    479 		ovbcopy((caddr_t)ip6, (caddr_t)ip6 + sizeof(struct ip6_frag),
    480 			offset);
    481 		m->m_data += sizeof(struct ip6_frag);
    482 		m->m_len -= sizeof(struct ip6_frag);
    483 	} else {
    484 		/* this comes with no copy if the boundary is on cluster */
    485 		if ((t = m_split(m, offset, M_DONTWAIT)) == NULL) {
    486 			frag6_remque(q6);
    487 			free(q6, M_FTABLE);
    488 			frag6_nfragpackets--;
    489 			goto dropfrag;
    490 		}
    491 		m_adj(t, sizeof(struct ip6_frag));
    492 		m_cat(m, t);
    493 	}
    494 
    495 	/*
    496 	 * Store NXT to the original.
    497 	 */
    498 	{
    499 		char *prvnxtp = ip6_get_prevhdr(m, offset); /* XXX */
    500 		*prvnxtp = nxt;
    501 	}
    502 
    503 	frag6_remque(q6);
    504 	free(q6, M_FTABLE);
    505 	frag6_nfragpackets--;
    506 
    507 	if (m->m_flags & M_PKTHDR) { /* Isn't it always true? */
    508 		int plen = 0;
    509 		for (t = m; t; t = t->m_next)
    510 			plen += t->m_len;
    511 		m->m_pkthdr.len = plen;
    512 	}
    513 
    514 	ip6stat.ip6s_reassembled++;
    515 	in6_ifstat_inc(dstifp, ifs6_reass_ok);
    516 
    517 	/*
    518 	 * Tell launch routine the next header
    519 	 */
    520 
    521 	*mp = m;
    522 	*offp = offset;
    523 
    524 	frag6_doing_reass = 0;
    525 	return nxt;
    526 
    527  dropfrag:
    528 	in6_ifstat_inc(dstifp, ifs6_reass_fail);
    529 	ip6stat.ip6s_fragdropped++;
    530 	m_freem(m);
    531 	frag6_doing_reass = 0;
    532 	return IPPROTO_DONE;
    533 }
    534 
    535 /*
    536  * Free a fragment reassembly header and all
    537  * associated datagrams.
    538  */
    539 void
    540 frag6_freef(q6)
    541 	struct ip6q *q6;
    542 {
    543 	struct ip6asfrag *af6, *down6;
    544 
    545 	for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6;
    546 	     af6 = down6) {
    547 		struct mbuf *m = IP6_REASS_MBUF(af6);
    548 
    549 		down6 = af6->ip6af_down;
    550 		frag6_deq(af6);
    551 
    552 		/*
    553 		 * Return ICMP time exceeded error for the 1st fragment.
    554 		 * Just free other fragments.
    555 		 */
    556 		if (af6->ip6af_off == 0) {
    557 			struct ip6_hdr *ip6;
    558 
    559 			/* adjust pointer */
    560 			ip6 = mtod(m, struct ip6_hdr *);
    561 
    562 			/* restoure source and destination addresses */
    563 			ip6->ip6_src = q6->ip6q_src;
    564 			ip6->ip6_dst = q6->ip6q_dst;
    565 
    566 			icmp6_error(m, ICMP6_TIME_EXCEEDED,
    567 				    ICMP6_TIME_EXCEED_REASSEMBLY, 0);
    568 		} else
    569 			m_freem(m);
    570 		free(af6, M_FTABLE);
    571 	}
    572 	frag6_remque(q6);
    573 	free(q6, M_FTABLE);
    574 	frag6_nfragpackets--;
    575 }
    576 
    577 /*
    578  * Put an ip fragment on a reassembly chain.
    579  * Like insque, but pointers in middle of structure.
    580  */
    581 void
    582 frag6_enq(af6, up6)
    583 	struct ip6asfrag *af6, *up6;
    584 {
    585 	af6->ip6af_up = up6;
    586 	af6->ip6af_down = up6->ip6af_down;
    587 	up6->ip6af_down->ip6af_up = af6;
    588 	up6->ip6af_down = af6;
    589 }
    590 
    591 /*
    592  * To frag6_enq as remque is to insque.
    593  */
    594 void
    595 frag6_deq(af6)
    596 	struct ip6asfrag *af6;
    597 {
    598 	af6->ip6af_up->ip6af_down = af6->ip6af_down;
    599 	af6->ip6af_down->ip6af_up = af6->ip6af_up;
    600 }
    601 
    602 void
    603 frag6_insque(new, old)
    604 	struct ip6q *new, *old;
    605 {
    606 	new->ip6q_prev = old;
    607 	new->ip6q_next = old->ip6q_next;
    608 	old->ip6q_next->ip6q_prev= new;
    609 	old->ip6q_next = new;
    610 }
    611 
    612 void
    613 frag6_remque(p6)
    614 	struct ip6q *p6;
    615 {
    616 	p6->ip6q_prev->ip6q_next = p6->ip6q_next;
    617 	p6->ip6q_next->ip6q_prev = p6->ip6q_prev;
    618 }
    619 
    620 /*
    621  * IPv6 reassembling timer processing;
    622  * if a timer expires on a reassembly
    623  * queue, discard it.
    624  */
    625 void
    626 frag6_slowtimo()
    627 {
    628 	struct ip6q *q6;
    629 	int s = splsoftnet();
    630 #if 0
    631 	extern struct	route_in6 ip6_forward_rt;
    632 #endif
    633 
    634 	frag6_doing_reass = 1;
    635 	q6 = ip6q.ip6q_next;
    636 	if (q6)
    637 		while (q6 != &ip6q) {
    638 			--q6->ip6q_ttl;
    639 			q6 = q6->ip6q_next;
    640 			if (q6->ip6q_prev->ip6q_ttl == 0) {
    641 				ip6stat.ip6s_fragtimeout++;
    642 				/* XXX in6_ifstat_inc(ifp, ifs6_reass_fail) */
    643 				frag6_freef(q6->ip6q_prev);
    644 			}
    645 		}
    646 	/*
    647 	 * If we are over the maximum number of fragments
    648 	 * (due to the limit being lowered), drain off
    649 	 * enough to get down to the new limit.
    650 	 */
    651 	while (frag6_nfragpackets > (u_int)ip6_maxfragpackets &&
    652 	    ip6q.ip6q_prev) {
    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