1caf43b02SWarner Losh /*- 251369649SPedro F. Giffuni * SPDX-License-Identifier: BSD-3-Clause 351369649SPedro F. Giffuni * 482cd038dSYoshinobu Inoue * Copyright (C) 1995, 1996, 1997, and 1998 WIDE Project. 582cd038dSYoshinobu Inoue * All rights reserved. 682cd038dSYoshinobu Inoue * 782cd038dSYoshinobu Inoue * Redistribution and use in source and binary forms, with or without 882cd038dSYoshinobu Inoue * modification, are permitted provided that the following conditions 982cd038dSYoshinobu Inoue * are met: 1082cd038dSYoshinobu Inoue * 1. Redistributions of source code must retain the above copyright 1182cd038dSYoshinobu Inoue * notice, this list of conditions and the following disclaimer. 1282cd038dSYoshinobu Inoue * 2. Redistributions in binary form must reproduce the above copyright 1382cd038dSYoshinobu Inoue * notice, this list of conditions and the following disclaimer in the 1482cd038dSYoshinobu Inoue * documentation and/or other materials provided with the distribution. 1582cd038dSYoshinobu Inoue * 3. Neither the name of the project nor the names of its contributors 1682cd038dSYoshinobu Inoue * may be used to endorse or promote products derived from this software 1782cd038dSYoshinobu Inoue * without specific prior written permission. 1882cd038dSYoshinobu Inoue * 1982cd038dSYoshinobu Inoue * THIS SOFTWARE IS PROVIDED BY THE PROJECT AND CONTRIBUTORS ``AS IS'' AND 2082cd038dSYoshinobu Inoue * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 2182cd038dSYoshinobu Inoue * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 2282cd038dSYoshinobu Inoue * ARE DISCLAIMED. IN NO EVENT SHALL THE PROJECT OR CONTRIBUTORS BE LIABLE 2382cd038dSYoshinobu Inoue * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 2482cd038dSYoshinobu Inoue * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 2582cd038dSYoshinobu Inoue * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 2682cd038dSYoshinobu Inoue * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 2782cd038dSYoshinobu Inoue * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 2882cd038dSYoshinobu Inoue * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 2982cd038dSYoshinobu Inoue * SUCH DAMAGE. 30b48287a3SDavid E. O'Brien * 31b48287a3SDavid E. O'Brien * $KAME: frag6.c,v 1.33 2002/01/07 11:34:48 kjc Exp $ 3282cd038dSYoshinobu Inoue */ 3382cd038dSYoshinobu Inoue 34b48287a3SDavid E. O'Brien #include <sys/cdefs.h> 35b48287a3SDavid E. O'Brien __FBSDID("$FreeBSD$"); 36b48287a3SDavid E. O'Brien 37aaa46574SAdrian Chadd #include "opt_rss.h" 38aaa46574SAdrian Chadd 3982cd038dSYoshinobu Inoue #include <sys/param.h> 4082cd038dSYoshinobu Inoue #include <sys/systm.h> 4180d7a853SJonathan T. Looney #include <sys/hash.h> 4282cd038dSYoshinobu Inoue #include <sys/malloc.h> 4382cd038dSYoshinobu Inoue #include <sys/mbuf.h> 4482cd038dSYoshinobu Inoue #include <sys/domain.h> 45ea8d1492SAlexander V. Chernikov #include <sys/eventhandler.h> 4682cd038dSYoshinobu Inoue #include <sys/protosw.h> 4782cd038dSYoshinobu Inoue #include <sys/socket.h> 4882cd038dSYoshinobu Inoue #include <sys/errno.h> 4982cd038dSYoshinobu Inoue #include <sys/time.h> 5082cd038dSYoshinobu Inoue #include <sys/kernel.h> 5182cd038dSYoshinobu Inoue #include <sys/syslog.h> 5282cd038dSYoshinobu Inoue 5380d7a853SJonathan T. Looney #include <machine/atomic.h> 5480d7a853SJonathan T. Looney 5582cd038dSYoshinobu Inoue #include <net/if.h> 5676039bc8SGleb Smirnoff #include <net/if_var.h> 57aaa46574SAdrian Chadd #include <net/netisr.h> 5882cd038dSYoshinobu Inoue #include <net/route.h> 59eddfbb76SRobert Watson #include <net/vnet.h> 6082cd038dSYoshinobu Inoue 6182cd038dSYoshinobu Inoue #include <netinet/in.h> 6282cd038dSYoshinobu Inoue #include <netinet/in_var.h> 63686cdd19SJun-ichiro itojun Hagino #include <netinet/ip6.h> 6482cd038dSYoshinobu Inoue #include <netinet6/ip6_var.h> 65686cdd19SJun-ichiro itojun Hagino #include <netinet/icmp6.h> 6659dfcba4SHajimu UMEMOTO #include <netinet/in_systm.h> /* for ECN definitions */ 6759dfcba4SHajimu UMEMOTO #include <netinet/ip.h> /* for ECN definitions */ 6882cd038dSYoshinobu Inoue 694b908c8bSRobert Watson #include <security/mac/mac_framework.h> 704b908c8bSRobert Watson 7131e8f7e5SHajimu UMEMOTO /* 7280d7a853SJonathan T. Looney * Reassembly headers are stored in hash buckets. 7331e8f7e5SHajimu UMEMOTO */ 7480d7a853SJonathan T. Looney #define IP6REASS_NHASH_LOG2 6 7580d7a853SJonathan T. Looney #define IP6REASS_NHASH (1 << IP6REASS_NHASH_LOG2) 7680d7a853SJonathan T. Looney #define IP6REASS_HMASK (IP6REASS_NHASH - 1) 7780d7a853SJonathan T. Looney 7880d7a853SJonathan T. Looney static void frag6_enq(struct ip6asfrag *, struct ip6asfrag *, 7980d7a853SJonathan T. Looney uint32_t bucket __unused); 8080d7a853SJonathan T. Looney static void frag6_deq(struct ip6asfrag *, uint32_t bucket __unused); 8180d7a853SJonathan T. Looney static void frag6_insque_head(struct ip6q *, struct ip6q *, 821e9f3b73SJonathan T. Looney uint32_t bucket); 831e9f3b73SJonathan T. Looney static void frag6_remque(struct ip6q *, uint32_t bucket); 8480d7a853SJonathan T. Looney static void frag6_freef(struct ip6q *, uint32_t bucket); 8580d7a853SJonathan T. Looney 8680d7a853SJonathan T. Looney struct ip6qbucket { 8780d7a853SJonathan T. Looney struct ip6q ip6q; 8880d7a853SJonathan T. Looney struct mtx lock; 891e9f3b73SJonathan T. Looney int count; 9080d7a853SJonathan T. Looney }; 9180d7a853SJonathan T. Looney 9280d7a853SJonathan T. Looney VNET_DEFINE_STATIC(volatile u_int, frag6_nfragpackets); 932adfd64fSJonathan T. Looney volatile u_int frag6_nfrags = 0; 9480d7a853SJonathan T. Looney VNET_DEFINE_STATIC(struct ip6qbucket, ip6q[IP6REASS_NHASH]); 9580d7a853SJonathan T. Looney VNET_DEFINE_STATIC(uint32_t, ip6q_hashseed); 96eddfbb76SRobert Watson 971e77c105SRobert Watson #define V_frag6_nfragpackets VNET(frag6_nfragpackets) 981e77c105SRobert Watson #define V_ip6q VNET(ip6q) 9980d7a853SJonathan T. Looney #define V_ip6q_hashseed VNET(ip6q_hashseed) 10082cd038dSYoshinobu Inoue 10180d7a853SJonathan T. Looney #define IP6Q_LOCK(i) mtx_lock(&V_ip6q[(i)].lock) 10280d7a853SJonathan T. Looney #define IP6Q_TRYLOCK(i) mtx_trylock(&V_ip6q[(i)].lock) 10380d7a853SJonathan T. Looney #define IP6Q_LOCK_ASSERT(i) mtx_assert(&V_ip6q[(i)].lock, MA_OWNED) 10480d7a853SJonathan T. Looney #define IP6Q_UNLOCK(i) mtx_unlock(&V_ip6q[(i)].lock) 10580d7a853SJonathan T. Looney #define IP6Q_HEAD(i) (&V_ip6q[(i)].ip6q) 1069888c401SHajimu UMEMOTO 107959b7375SPoul-Henning Kamp static MALLOC_DEFINE(M_FTABLE, "fragment", "fragment reassembly header"); 108686cdd19SJun-ichiro itojun Hagino 10982cd038dSYoshinobu Inoue /* 11082cd038dSYoshinobu Inoue * Initialise reassembly queue and fragment identifier. 11182cd038dSYoshinobu Inoue */ 1121e9f3b73SJonathan T. Looney void 1131e9f3b73SJonathan T. Looney frag6_set_bucketsize() 1141e9f3b73SJonathan T. Looney { 1151e9f3b73SJonathan T. Looney int i; 1161e9f3b73SJonathan T. Looney 1171e9f3b73SJonathan T. Looney if ((i = V_ip6_maxfragpackets) > 0) 1181e9f3b73SJonathan T. Looney V_ip6_maxfragbucketsize = imax(i / (IP6REASS_NHASH / 2), 1); 1191e9f3b73SJonathan T. Looney } 1201e9f3b73SJonathan T. Looney 1214f590175SPaul Saab static void 1224f590175SPaul Saab frag6_change(void *tag) 1234f590175SPaul Saab { 1242adfd64fSJonathan T. Looney VNET_ITERATOR_DECL(vnet_iter); 1254f590175SPaul Saab 1262adfd64fSJonathan T. Looney ip6_maxfrags = nmbclusters / 4; 1272adfd64fSJonathan T. Looney VNET_LIST_RLOCK_NOSLEEP(); 1282adfd64fSJonathan T. Looney VNET_FOREACH(vnet_iter) { 1292adfd64fSJonathan T. Looney CURVNET_SET(vnet_iter); 130603724d3SBjoern A. Zeeb V_ip6_maxfragpackets = nmbclusters / 4; 1311e9f3b73SJonathan T. Looney frag6_set_bucketsize(); 1322adfd64fSJonathan T. Looney CURVNET_RESTORE(); 1332adfd64fSJonathan T. Looney } 1342adfd64fSJonathan T. Looney VNET_LIST_RUNLOCK_NOSLEEP(); 1354f590175SPaul Saab } 1364f590175SPaul Saab 13782cd038dSYoshinobu Inoue void 1381272577eSXin LI frag6_init(void) 13982cd038dSYoshinobu Inoue { 14080d7a853SJonathan T. Looney struct ip6q *q6; 14180d7a853SJonathan T. Looney int i; 14282cd038dSYoshinobu Inoue 143603724d3SBjoern A. Zeeb V_ip6_maxfragpackets = nmbclusters / 4; 1441e9f3b73SJonathan T. Looney frag6_set_bucketsize(); 14580d7a853SJonathan T. Looney for (i = 0; i < IP6REASS_NHASH; i++) { 14680d7a853SJonathan T. Looney q6 = IP6Q_HEAD(i); 14780d7a853SJonathan T. Looney q6->ip6q_next = q6->ip6q_prev = q6; 14880d7a853SJonathan T. Looney mtx_init(&V_ip6q[i].lock, "ip6qlock", NULL, MTX_DEF); 1491e9f3b73SJonathan T. Looney V_ip6q[i].count = 0; 15080d7a853SJonathan T. Looney } 15180d7a853SJonathan T. Looney V_ip6q_hashseed = arc4random(); 15203c99d76SJonathan T. Looney V_ip6_maxfragsperpacket = 64; 1531ed81b73SMarko Zec if (!IS_DEFAULT_VNET(curvnet)) 1541ed81b73SMarko Zec return; 15596c2b042SJesper Skriver 1562adfd64fSJonathan T. Looney ip6_maxfrags = nmbclusters / 4; 1571ed81b73SMarko Zec EVENTHANDLER_REGISTER(nmbclusters_change, 1581ed81b73SMarko Zec frag6_change, NULL, EVENTHANDLER_PRI_ANY); 15982cd038dSYoshinobu Inoue } 16082cd038dSYoshinobu Inoue 16182cd038dSYoshinobu Inoue /* 162686cdd19SJun-ichiro itojun Hagino * In RFC2460, fragment and reassembly rule do not agree with each other, 163686cdd19SJun-ichiro itojun Hagino * in terms of next header field handling in fragment header. 164686cdd19SJun-ichiro itojun Hagino * While the sender will use the same value for all of the fragmented packets, 165686cdd19SJun-ichiro itojun Hagino * receiver is suggested not to check the consistency. 166686cdd19SJun-ichiro itojun Hagino * 167686cdd19SJun-ichiro itojun Hagino * fragment rule (p20): 168686cdd19SJun-ichiro itojun Hagino * (2) A Fragment header containing: 169686cdd19SJun-ichiro itojun Hagino * The Next Header value that identifies the first header of 170686cdd19SJun-ichiro itojun Hagino * the Fragmentable Part of the original packet. 171686cdd19SJun-ichiro itojun Hagino * -> next header field is same for all fragments 172686cdd19SJun-ichiro itojun Hagino * 173686cdd19SJun-ichiro itojun Hagino * reassembly rule (p21): 174686cdd19SJun-ichiro itojun Hagino * The Next Header field of the last header of the Unfragmentable 175686cdd19SJun-ichiro itojun Hagino * Part is obtained from the Next Header field of the first 176686cdd19SJun-ichiro itojun Hagino * fragment's Fragment header. 177686cdd19SJun-ichiro itojun Hagino * -> should grab it from the first fragment only 178686cdd19SJun-ichiro itojun Hagino * 179686cdd19SJun-ichiro itojun Hagino * The following note also contradicts with fragment rule - no one is going to 180686cdd19SJun-ichiro itojun Hagino * send different fragment with different next header field. 181686cdd19SJun-ichiro itojun Hagino * 182686cdd19SJun-ichiro itojun Hagino * additional note (p22): 183686cdd19SJun-ichiro itojun Hagino * The Next Header values in the Fragment headers of different 184686cdd19SJun-ichiro itojun Hagino * fragments of the same original packet may differ. Only the value 185686cdd19SJun-ichiro itojun Hagino * from the Offset zero fragment packet is used for reassembly. 186686cdd19SJun-ichiro itojun Hagino * -> should grab it from the first fragment only 187686cdd19SJun-ichiro itojun Hagino * 188686cdd19SJun-ichiro itojun Hagino * There is no explicit reason given in the RFC. Historical reason maybe? 189686cdd19SJun-ichiro itojun Hagino */ 190686cdd19SJun-ichiro itojun Hagino /* 19182cd038dSYoshinobu Inoue * Fragment input 19282cd038dSYoshinobu Inoue */ 19382cd038dSYoshinobu Inoue int 1941272577eSXin LI frag6_input(struct mbuf **mp, int *offp, int proto) 19582cd038dSYoshinobu Inoue { 19682cd038dSYoshinobu Inoue struct mbuf *m = *mp, *t; 19782cd038dSYoshinobu Inoue struct ip6_hdr *ip6; 19882cd038dSYoshinobu Inoue struct ip6_frag *ip6f; 19980d7a853SJonathan T. Looney struct ip6q *head, *q6; 200686cdd19SJun-ichiro itojun Hagino struct ip6asfrag *af6, *ip6af, *af6dwn; 2012a5aafceSHajimu UMEMOTO struct in6_ifaddr *ia; 20282cd038dSYoshinobu Inoue int offset = *offp, nxt, i, next; 20382cd038dSYoshinobu Inoue int first_frag = 0; 204686cdd19SJun-ichiro itojun Hagino int fragoff, frgpartlen; /* must be larger than u_int16_t */ 20580d7a853SJonathan T. Looney uint32_t hash, hashkey[sizeof(struct in6_addr) * 2 + 1], *hashkeyp; 20682cd038dSYoshinobu Inoue struct ifnet *dstifp; 20759dfcba4SHajimu UMEMOTO u_int8_t ecn, ecn0; 208aaa46574SAdrian Chadd #ifdef RSS 209aaa46574SAdrian Chadd struct m_tag *mtag; 210aaa46574SAdrian Chadd struct ip6_direct_ctx *ip6dc; 211aaa46574SAdrian Chadd #endif 212aaa46574SAdrian Chadd 2131d54aa3bSBjoern A. Zeeb #if 0 2141d54aa3bSBjoern A. Zeeb char ip6buf[INET6_ADDRSTRLEN]; 2151d54aa3bSBjoern A. Zeeb #endif 21682cd038dSYoshinobu Inoue 21782cd038dSYoshinobu Inoue ip6 = mtod(m, struct ip6_hdr *); 218686cdd19SJun-ichiro itojun Hagino #ifndef PULLDOWN_TEST 219686cdd19SJun-ichiro itojun Hagino IP6_EXTHDR_CHECK(m, offset, sizeof(struct ip6_frag), IPPROTO_DONE); 22082cd038dSYoshinobu Inoue ip6f = (struct ip6_frag *)((caddr_t)ip6 + offset); 221686cdd19SJun-ichiro itojun Hagino #else 222686cdd19SJun-ichiro itojun Hagino IP6_EXTHDR_GET(ip6f, struct ip6_frag *, m, offset, sizeof(*ip6f)); 223686cdd19SJun-ichiro itojun Hagino if (ip6f == NULL) 22440e39bbbSHajimu UMEMOTO return (IPPROTO_DONE); 225686cdd19SJun-ichiro itojun Hagino #endif 22682cd038dSYoshinobu Inoue 22782cd038dSYoshinobu Inoue dstifp = NULL; 22882cd038dSYoshinobu Inoue /* find the destination interface of the packet. */ 2293e88eb90SAndrey V. Elsukov ia = in6ifa_ifwithaddr(&ip6->ip6_dst, 0 /* XXX */); 2303e88eb90SAndrey V. Elsukov if (ia != NULL) { 2312a5aafceSHajimu UMEMOTO dstifp = ia->ia_ifp; 2328c0fec80SRobert Watson ifa_free(&ia->ia_ifa); 2338c0fec80SRobert Watson } 23482cd038dSYoshinobu Inoue /* jumbo payload can't contain a fragment header */ 23582cd038dSYoshinobu Inoue if (ip6->ip6_plen == 0) { 23682cd038dSYoshinobu Inoue icmp6_error(m, ICMP6_PARAM_PROB, ICMP6_PARAMPROB_HEADER, offset); 23782cd038dSYoshinobu Inoue in6_ifstat_inc(dstifp, ifs6_reass_fail); 23882cd038dSYoshinobu Inoue return IPPROTO_DONE; 23982cd038dSYoshinobu Inoue } 24082cd038dSYoshinobu Inoue 24182cd038dSYoshinobu Inoue /* 24282cd038dSYoshinobu Inoue * check whether fragment packet's fragment length is 24382cd038dSYoshinobu Inoue * multiple of 8 octets. 24482cd038dSYoshinobu Inoue * sizeof(struct ip6_frag) == 8 24582cd038dSYoshinobu Inoue * sizeof(struct ip6_hdr) = 40 24682cd038dSYoshinobu Inoue */ 24782cd038dSYoshinobu Inoue if ((ip6f->ip6f_offlg & IP6F_MORE_FRAG) && 24882cd038dSYoshinobu Inoue (((ntohs(ip6->ip6_plen) - offset) & 0x7) != 0)) { 24906cd0a3fSHajimu UMEMOTO icmp6_error(m, ICMP6_PARAM_PROB, ICMP6_PARAMPROB_HEADER, 250686cdd19SJun-ichiro itojun Hagino offsetof(struct ip6_hdr, ip6_plen)); 25182cd038dSYoshinobu Inoue in6_ifstat_inc(dstifp, ifs6_reass_fail); 25282cd038dSYoshinobu Inoue return IPPROTO_DONE; 25382cd038dSYoshinobu Inoue } 25482cd038dSYoshinobu Inoue 2559cb8d207SAndrey V. Elsukov IP6STAT_INC(ip6s_fragments); 25682cd038dSYoshinobu Inoue in6_ifstat_inc(dstifp, ifs6_reass_reqd); 25782cd038dSYoshinobu Inoue 258686cdd19SJun-ichiro itojun Hagino /* offset now points to data portion */ 25982cd038dSYoshinobu Inoue offset += sizeof(struct ip6_frag); 26082cd038dSYoshinobu Inoue 2614018ea9aSBjoern A. Zeeb /* 262fd291ae3SBjoern A. Zeeb * RFC 6946: Handle "atomic" fragments (offset and m bit set to 0) 263fd291ae3SBjoern A. Zeeb * upfront, unrelated to any reassembly. Just skip the fragment header. 2644018ea9aSBjoern A. Zeeb */ 2654018ea9aSBjoern A. Zeeb if ((ip6f->ip6f_offlg & ~IP6F_RESERVED_MASK) == 0) { 2664018ea9aSBjoern A. Zeeb /* XXX-BZ we want dedicated counters for this. */ 2679cb8d207SAndrey V. Elsukov IP6STAT_INC(ip6s_reassembled); 2684018ea9aSBjoern A. Zeeb in6_ifstat_inc(dstifp, ifs6_reass_ok); 2694018ea9aSBjoern A. Zeeb *offp = offset; 270a4061289SAndrey V. Elsukov m->m_flags |= M_FRAGMENTED; 2714018ea9aSBjoern A. Zeeb return (ip6f->ip6f_nxt); 2724018ea9aSBjoern A. Zeeb } 2734018ea9aSBjoern A. Zeeb 27480d7a853SJonathan T. Looney hashkeyp = hashkey; 27580d7a853SJonathan T. Looney memcpy(hashkeyp, &ip6->ip6_src, sizeof(struct in6_addr)); 27680d7a853SJonathan T. Looney hashkeyp += sizeof(struct in6_addr) / sizeof(*hashkeyp); 27780d7a853SJonathan T. Looney memcpy(hashkeyp, &ip6->ip6_dst, sizeof(struct in6_addr)); 27880d7a853SJonathan T. Looney hashkeyp += sizeof(struct in6_addr) / sizeof(*hashkeyp); 27980d7a853SJonathan T. Looney *hashkeyp = ip6f->ip6f_ident; 28080d7a853SJonathan T. Looney hash = jenkins_hash32(hashkey, nitems(hashkey), V_ip6q_hashseed); 28180d7a853SJonathan T. Looney hash &= IP6REASS_HMASK; 28280d7a853SJonathan T. Looney head = IP6Q_HEAD(hash); 28380d7a853SJonathan T. Looney IP6Q_LOCK(hash); 2849888c401SHajimu UMEMOTO 2859888c401SHajimu UMEMOTO /* 2869888c401SHajimu UMEMOTO * Enforce upper bound on number of fragments. 2879888c401SHajimu UMEMOTO * If maxfrag is 0, never accept fragments. 2889888c401SHajimu UMEMOTO * If maxfrag is -1, accept all fragments without limitation. 2899888c401SHajimu UMEMOTO */ 2902adfd64fSJonathan T. Looney if (ip6_maxfrags < 0) 2919888c401SHajimu UMEMOTO ; 2922adfd64fSJonathan T. Looney else if (atomic_load_int(&frag6_nfrags) >= (u_int)ip6_maxfrags) 2939888c401SHajimu UMEMOTO goto dropfrag; 29433841545SHajimu UMEMOTO 29580d7a853SJonathan T. Looney for (q6 = head->ip6q_next; q6 != head; q6 = q6->ip6q_next) 29682cd038dSYoshinobu Inoue if (ip6f->ip6f_ident == q6->ip6q_ident && 29782cd038dSYoshinobu Inoue IN6_ARE_ADDR_EQUAL(&ip6->ip6_src, &q6->ip6q_src) && 2984b908c8bSRobert Watson IN6_ARE_ADDR_EQUAL(&ip6->ip6_dst, &q6->ip6q_dst) 2994b908c8bSRobert Watson #ifdef MAC 3004b908c8bSRobert Watson && mac_ip6q_match(m, q6) 3014b908c8bSRobert Watson #endif 3024b908c8bSRobert Watson ) 30382cd038dSYoshinobu Inoue break; 30482cd038dSYoshinobu Inoue 30580d7a853SJonathan T. Looney if (q6 == head) { 30682cd038dSYoshinobu Inoue /* 30782cd038dSYoshinobu Inoue * the first fragment to arrive, create a reassembly queue. 30882cd038dSYoshinobu Inoue */ 30982cd038dSYoshinobu Inoue first_frag = 1; 31082cd038dSYoshinobu Inoue 31182cd038dSYoshinobu Inoue /* 31282cd038dSYoshinobu Inoue * Enforce upper bound on number of fragmented packets 31382cd038dSYoshinobu Inoue * for which we attempt reassembly; 3149888c401SHajimu UMEMOTO * If maxfragpackets is 0, never accept fragments. 3159888c401SHajimu UMEMOTO * If maxfragpackets is -1, accept all fragments without 3169888c401SHajimu UMEMOTO * limitation. 31782cd038dSYoshinobu Inoue */ 318603724d3SBjoern A. Zeeb if (V_ip6_maxfragpackets < 0) 31933841545SHajimu UMEMOTO ; 3201e9f3b73SJonathan T. Looney else if (V_ip6q[hash].count >= V_ip6_maxfragbucketsize || 3211e9f3b73SJonathan T. Looney atomic_load_int(&V_frag6_nfragpackets) >= 32280d7a853SJonathan T. Looney (u_int)V_ip6_maxfragpackets) 32333841545SHajimu UMEMOTO goto dropfrag; 32480d7a853SJonathan T. Looney atomic_add_int(&V_frag6_nfragpackets, 1); 32582cd038dSYoshinobu Inoue q6 = (struct ip6q *)malloc(sizeof(struct ip6q), M_FTABLE, 3268c0dd0e4SHajimu UMEMOTO M_NOWAIT); 32782cd038dSYoshinobu Inoue if (q6 == NULL) 32882cd038dSYoshinobu Inoue goto dropfrag; 329686cdd19SJun-ichiro itojun Hagino bzero(q6, sizeof(*q6)); 3304b908c8bSRobert Watson #ifdef MAC 3314b908c8bSRobert Watson if (mac_ip6q_init(q6, M_NOWAIT) != 0) { 3324b908c8bSRobert Watson free(q6, M_FTABLE); 3334b908c8bSRobert Watson goto dropfrag; 3344b908c8bSRobert Watson } 3354b908c8bSRobert Watson mac_ip6q_create(m, q6); 3364b908c8bSRobert Watson #endif 33780d7a853SJonathan T. Looney frag6_insque_head(q6, head, hash); 33882cd038dSYoshinobu Inoue 339686cdd19SJun-ichiro itojun Hagino /* ip6q_nxt will be filled afterwards, from 1st fragment */ 34082cd038dSYoshinobu Inoue q6->ip6q_down = q6->ip6q_up = (struct ip6asfrag *)q6; 341686cdd19SJun-ichiro itojun Hagino #ifdef notyet 342686cdd19SJun-ichiro itojun Hagino q6->ip6q_nxtp = (u_char *)nxtp; 343686cdd19SJun-ichiro itojun Hagino #endif 34482cd038dSYoshinobu Inoue q6->ip6q_ident = ip6f->ip6f_ident; 34582cd038dSYoshinobu Inoue q6->ip6q_ttl = IPV6_FRAGTTL; 34682cd038dSYoshinobu Inoue q6->ip6q_src = ip6->ip6_src; 34782cd038dSYoshinobu Inoue q6->ip6q_dst = ip6->ip6_dst; 3485e9510e3SJINMEI Tatuya q6->ip6q_ecn = 3495e9510e3SJINMEI Tatuya (ntohl(ip6->ip6_flow) >> 20) & IPTOS_ECN_MASK; 35082cd038dSYoshinobu Inoue q6->ip6q_unfrglen = -1; /* The 1st fragment has not arrived. */ 3519888c401SHajimu UMEMOTO 3529888c401SHajimu UMEMOTO q6->ip6q_nfrag = 0; 35382cd038dSYoshinobu Inoue } 35482cd038dSYoshinobu Inoue 35582cd038dSYoshinobu Inoue /* 35682cd038dSYoshinobu Inoue * If it's the 1st fragment, record the length of the 35782cd038dSYoshinobu Inoue * unfragmentable part and the next header of the fragment header. 35882cd038dSYoshinobu Inoue */ 35982cd038dSYoshinobu Inoue fragoff = ntohs(ip6f->ip6f_offlg & IP6F_OFF_MASK); 36082cd038dSYoshinobu Inoue if (fragoff == 0) { 36106cd0a3fSHajimu UMEMOTO q6->ip6q_unfrglen = offset - sizeof(struct ip6_hdr) - 36206cd0a3fSHajimu UMEMOTO sizeof(struct ip6_frag); 36382cd038dSYoshinobu Inoue q6->ip6q_nxt = ip6f->ip6f_nxt; 36482cd038dSYoshinobu Inoue } 36582cd038dSYoshinobu Inoue 36682cd038dSYoshinobu Inoue /* 36782cd038dSYoshinobu Inoue * Check that the reassembled packet would not exceed 65535 bytes 36882cd038dSYoshinobu Inoue * in size. 36982cd038dSYoshinobu Inoue * If it would exceed, discard the fragment and return an ICMP error. 37082cd038dSYoshinobu Inoue */ 37182cd038dSYoshinobu Inoue frgpartlen = sizeof(struct ip6_hdr) + ntohs(ip6->ip6_plen) - offset; 37282cd038dSYoshinobu Inoue if (q6->ip6q_unfrglen >= 0) { 37382cd038dSYoshinobu Inoue /* The 1st fragment has already arrived. */ 37482cd038dSYoshinobu Inoue if (q6->ip6q_unfrglen + fragoff + frgpartlen > IPV6_MAXPACKET) { 37582cd038dSYoshinobu Inoue icmp6_error(m, ICMP6_PARAM_PROB, ICMP6_PARAMPROB_HEADER, 376686cdd19SJun-ichiro itojun Hagino offset - sizeof(struct ip6_frag) + 377686cdd19SJun-ichiro itojun Hagino offsetof(struct ip6_frag, ip6f_offlg)); 37880d7a853SJonathan T. Looney IP6Q_UNLOCK(hash); 37982cd038dSYoshinobu Inoue return (IPPROTO_DONE); 38082cd038dSYoshinobu Inoue } 38106cd0a3fSHajimu UMEMOTO } else if (fragoff + frgpartlen > IPV6_MAXPACKET) { 38282cd038dSYoshinobu Inoue icmp6_error(m, ICMP6_PARAM_PROB, ICMP6_PARAMPROB_HEADER, 383686cdd19SJun-ichiro itojun Hagino offset - sizeof(struct ip6_frag) + 384686cdd19SJun-ichiro itojun Hagino offsetof(struct ip6_frag, ip6f_offlg)); 38580d7a853SJonathan T. Looney IP6Q_UNLOCK(hash); 38682cd038dSYoshinobu Inoue return (IPPROTO_DONE); 38782cd038dSYoshinobu Inoue } 38882cd038dSYoshinobu Inoue /* 38982cd038dSYoshinobu Inoue * If it's the first fragment, do the above check for each 39082cd038dSYoshinobu Inoue * fragment already stored in the reassembly queue. 39182cd038dSYoshinobu Inoue */ 39282cd038dSYoshinobu Inoue if (fragoff == 0) { 39382cd038dSYoshinobu Inoue for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6; 39482cd038dSYoshinobu Inoue af6 = af6dwn) { 39582cd038dSYoshinobu Inoue af6dwn = af6->ip6af_down; 39682cd038dSYoshinobu Inoue 39782cd038dSYoshinobu Inoue if (q6->ip6q_unfrglen + af6->ip6af_off + af6->ip6af_frglen > 39882cd038dSYoshinobu Inoue IPV6_MAXPACKET) { 39982cd038dSYoshinobu Inoue struct mbuf *merr = IP6_REASS_MBUF(af6); 40082cd038dSYoshinobu Inoue struct ip6_hdr *ip6err; 40182cd038dSYoshinobu Inoue int erroff = af6->ip6af_offset; 40282cd038dSYoshinobu Inoue 40382cd038dSYoshinobu Inoue /* dequeue the fragment. */ 40480d7a853SJonathan T. Looney frag6_deq(af6, hash); 405686cdd19SJun-ichiro itojun Hagino free(af6, M_FTABLE); 40682cd038dSYoshinobu Inoue 40782cd038dSYoshinobu Inoue /* adjust pointer. */ 40882cd038dSYoshinobu Inoue ip6err = mtod(merr, struct ip6_hdr *); 40982cd038dSYoshinobu Inoue 41082cd038dSYoshinobu Inoue /* 41182cd038dSYoshinobu Inoue * Restore source and destination addresses 41282cd038dSYoshinobu Inoue * in the erroneous IPv6 header. 41382cd038dSYoshinobu Inoue */ 41482cd038dSYoshinobu Inoue ip6err->ip6_src = q6->ip6q_src; 41582cd038dSYoshinobu Inoue ip6err->ip6_dst = q6->ip6q_dst; 41682cd038dSYoshinobu Inoue 41782cd038dSYoshinobu Inoue icmp6_error(merr, ICMP6_PARAM_PROB, 41882cd038dSYoshinobu Inoue ICMP6_PARAMPROB_HEADER, 419686cdd19SJun-ichiro itojun Hagino erroff - sizeof(struct ip6_frag) + 420686cdd19SJun-ichiro itojun Hagino offsetof(struct ip6_frag, ip6f_offlg)); 42182cd038dSYoshinobu Inoue } 42282cd038dSYoshinobu Inoue } 42382cd038dSYoshinobu Inoue } 42482cd038dSYoshinobu Inoue 425686cdd19SJun-ichiro itojun Hagino ip6af = (struct ip6asfrag *)malloc(sizeof(struct ip6asfrag), M_FTABLE, 4268c0dd0e4SHajimu UMEMOTO M_NOWAIT); 427686cdd19SJun-ichiro itojun Hagino if (ip6af == NULL) 428686cdd19SJun-ichiro itojun Hagino goto dropfrag; 429686cdd19SJun-ichiro itojun Hagino bzero(ip6af, sizeof(*ip6af)); 43082cd038dSYoshinobu Inoue ip6af->ip6af_mff = ip6f->ip6f_offlg & IP6F_MORE_FRAG; 43182cd038dSYoshinobu Inoue ip6af->ip6af_off = fragoff; 43282cd038dSYoshinobu Inoue ip6af->ip6af_frglen = frgpartlen; 43382cd038dSYoshinobu Inoue ip6af->ip6af_offset = offset; 43482cd038dSYoshinobu Inoue IP6_REASS_MBUF(ip6af) = m; 43582cd038dSYoshinobu Inoue 43682cd038dSYoshinobu Inoue if (first_frag) { 43782cd038dSYoshinobu Inoue af6 = (struct ip6asfrag *)q6; 43882cd038dSYoshinobu Inoue goto insert; 43982cd038dSYoshinobu Inoue } 44082cd038dSYoshinobu Inoue 44182cd038dSYoshinobu Inoue /* 44259dfcba4SHajimu UMEMOTO * Handle ECN by comparing this segment with the first one; 44359dfcba4SHajimu UMEMOTO * if CE is set, do not lose CE. 44459dfcba4SHajimu UMEMOTO * drop if CE and not-ECT are mixed for the same packet. 44559dfcba4SHajimu UMEMOTO */ 44659dfcba4SHajimu UMEMOTO ecn = (ntohl(ip6->ip6_flow) >> 20) & IPTOS_ECN_MASK; 4475e9510e3SJINMEI Tatuya ecn0 = q6->ip6q_ecn; 44859dfcba4SHajimu UMEMOTO if (ecn == IPTOS_ECN_CE) { 44959dfcba4SHajimu UMEMOTO if (ecn0 == IPTOS_ECN_NOTECT) { 45059dfcba4SHajimu UMEMOTO free(ip6af, M_FTABLE); 45159dfcba4SHajimu UMEMOTO goto dropfrag; 45259dfcba4SHajimu UMEMOTO } 45359dfcba4SHajimu UMEMOTO if (ecn0 != IPTOS_ECN_CE) 4545e9510e3SJINMEI Tatuya q6->ip6q_ecn = IPTOS_ECN_CE; 45559dfcba4SHajimu UMEMOTO } 45659dfcba4SHajimu UMEMOTO if (ecn == IPTOS_ECN_NOTECT && ecn0 != IPTOS_ECN_NOTECT) { 45759dfcba4SHajimu UMEMOTO free(ip6af, M_FTABLE); 45859dfcba4SHajimu UMEMOTO goto dropfrag; 45959dfcba4SHajimu UMEMOTO } 46059dfcba4SHajimu UMEMOTO 46159dfcba4SHajimu UMEMOTO /* 46282cd038dSYoshinobu Inoue * Find a segment which begins after this one does. 46382cd038dSYoshinobu Inoue */ 46482cd038dSYoshinobu Inoue for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6; 46582cd038dSYoshinobu Inoue af6 = af6->ip6af_down) 46682cd038dSYoshinobu Inoue if (af6->ip6af_off > ip6af->ip6af_off) 46782cd038dSYoshinobu Inoue break; 46882cd038dSYoshinobu Inoue 469686cdd19SJun-ichiro itojun Hagino #if 0 470686cdd19SJun-ichiro itojun Hagino /* 471686cdd19SJun-ichiro itojun Hagino * If there is a preceding segment, it may provide some of 472686cdd19SJun-ichiro itojun Hagino * our data already. If so, drop the data from the incoming 473686cdd19SJun-ichiro itojun Hagino * segment. If it provides all of our data, drop us. 474686cdd19SJun-ichiro itojun Hagino */ 475686cdd19SJun-ichiro itojun Hagino if (af6->ip6af_up != (struct ip6asfrag *)q6) { 476686cdd19SJun-ichiro itojun Hagino i = af6->ip6af_up->ip6af_off + af6->ip6af_up->ip6af_frglen 477686cdd19SJun-ichiro itojun Hagino - ip6af->ip6af_off; 478686cdd19SJun-ichiro itojun Hagino if (i > 0) { 479686cdd19SJun-ichiro itojun Hagino if (i >= ip6af->ip6af_frglen) 480686cdd19SJun-ichiro itojun Hagino goto dropfrag; 481686cdd19SJun-ichiro itojun Hagino m_adj(IP6_REASS_MBUF(ip6af), i); 482686cdd19SJun-ichiro itojun Hagino ip6af->ip6af_off += i; 483686cdd19SJun-ichiro itojun Hagino ip6af->ip6af_frglen -= i; 484686cdd19SJun-ichiro itojun Hagino } 485686cdd19SJun-ichiro itojun Hagino } 486686cdd19SJun-ichiro itojun Hagino 487686cdd19SJun-ichiro itojun Hagino /* 488686cdd19SJun-ichiro itojun Hagino * While we overlap succeeding segments trim them or, 489686cdd19SJun-ichiro itojun Hagino * if they are completely covered, dequeue them. 490686cdd19SJun-ichiro itojun Hagino */ 491686cdd19SJun-ichiro itojun Hagino while (af6 != (struct ip6asfrag *)q6 && 492686cdd19SJun-ichiro itojun Hagino ip6af->ip6af_off + ip6af->ip6af_frglen > af6->ip6af_off) { 493686cdd19SJun-ichiro itojun Hagino i = (ip6af->ip6af_off + ip6af->ip6af_frglen) - af6->ip6af_off; 494686cdd19SJun-ichiro itojun Hagino if (i < af6->ip6af_frglen) { 495686cdd19SJun-ichiro itojun Hagino af6->ip6af_frglen -= i; 496686cdd19SJun-ichiro itojun Hagino af6->ip6af_off += i; 497686cdd19SJun-ichiro itojun Hagino m_adj(IP6_REASS_MBUF(af6), i); 498686cdd19SJun-ichiro itojun Hagino break; 499686cdd19SJun-ichiro itojun Hagino } 500686cdd19SJun-ichiro itojun Hagino af6 = af6->ip6af_down; 501686cdd19SJun-ichiro itojun Hagino m_freem(IP6_REASS_MBUF(af6->ip6af_up)); 50280d7a853SJonathan T. Looney frag6_deq(af6->ip6af_up, hash); 503686cdd19SJun-ichiro itojun Hagino } 504686cdd19SJun-ichiro itojun Hagino #else 50582cd038dSYoshinobu Inoue /* 50682cd038dSYoshinobu Inoue * If the incoming framgent overlaps some existing fragments in 50782cd038dSYoshinobu Inoue * the reassembly queue, drop it, since it is dangerous to override 50882cd038dSYoshinobu Inoue * existing fragments from a security point of view. 5099888c401SHajimu UMEMOTO * We don't know which fragment is the bad guy - here we trust 5109888c401SHajimu UMEMOTO * fragment that came in earlier, with no real reason. 5115e9510e3SJINMEI Tatuya * 5125e9510e3SJINMEI Tatuya * Note: due to changes after disabling this part, mbuf passed to 5135e9510e3SJINMEI Tatuya * m_adj() below now does not meet the requirement. 51482cd038dSYoshinobu Inoue */ 51582cd038dSYoshinobu Inoue if (af6->ip6af_up != (struct ip6asfrag *)q6) { 51682cd038dSYoshinobu Inoue i = af6->ip6af_up->ip6af_off + af6->ip6af_up->ip6af_frglen 51782cd038dSYoshinobu Inoue - ip6af->ip6af_off; 51882cd038dSYoshinobu Inoue if (i > 0) { 5192bf76779SMunechika SUMIKAWA #if 0 /* suppress the noisy log */ 52082cd038dSYoshinobu Inoue log(LOG_ERR, "%d bytes of a fragment from %s " 52182cd038dSYoshinobu Inoue "overlaps the previous fragment\n", 5221d54aa3bSBjoern A. Zeeb i, ip6_sprintf(ip6buf, &q6->ip6q_src)); 5232bf76779SMunechika SUMIKAWA #endif 5242bf76779SMunechika SUMIKAWA free(ip6af, M_FTABLE); 52582cd038dSYoshinobu Inoue goto dropfrag; 52682cd038dSYoshinobu Inoue } 52782cd038dSYoshinobu Inoue } 52882cd038dSYoshinobu Inoue if (af6 != (struct ip6asfrag *)q6) { 52982cd038dSYoshinobu Inoue i = (ip6af->ip6af_off + ip6af->ip6af_frglen) - af6->ip6af_off; 53082cd038dSYoshinobu Inoue if (i > 0) { 5312bf76779SMunechika SUMIKAWA #if 0 /* suppress the noisy log */ 53282cd038dSYoshinobu Inoue log(LOG_ERR, "%d bytes of a fragment from %s " 53382cd038dSYoshinobu Inoue "overlaps the succeeding fragment", 5341d54aa3bSBjoern A. Zeeb i, ip6_sprintf(ip6buf, &q6->ip6q_src)); 5352bf76779SMunechika SUMIKAWA #endif 5362bf76779SMunechika SUMIKAWA free(ip6af, M_FTABLE); 53782cd038dSYoshinobu Inoue goto dropfrag; 53882cd038dSYoshinobu Inoue } 53982cd038dSYoshinobu Inoue } 540686cdd19SJun-ichiro itojun Hagino #endif 54182cd038dSYoshinobu Inoue 54282cd038dSYoshinobu Inoue insert: 5434b908c8bSRobert Watson #ifdef MAC 5444b908c8bSRobert Watson if (!first_frag) 5454b908c8bSRobert Watson mac_ip6q_update(m, q6); 5464b908c8bSRobert Watson #endif 54782cd038dSYoshinobu Inoue 54882cd038dSYoshinobu Inoue /* 54982cd038dSYoshinobu Inoue * Stick new segment in its place; 55082cd038dSYoshinobu Inoue * check for complete reassembly. 55103c99d76SJonathan T. Looney * If not complete, check fragment limit. 55282cd038dSYoshinobu Inoue * Move to front of packet queue, as we are 55382cd038dSYoshinobu Inoue * the most recently active fragmented packet. 55482cd038dSYoshinobu Inoue */ 55580d7a853SJonathan T. Looney frag6_enq(ip6af, af6->ip6af_up, hash); 5562adfd64fSJonathan T. Looney atomic_add_int(&frag6_nfrags, 1); 5579888c401SHajimu UMEMOTO q6->ip6q_nfrag++; 558686cdd19SJun-ichiro itojun Hagino #if 0 /* xxx */ 55980d7a853SJonathan T. Looney if (q6 != head->ip6q_next) { 56080d7a853SJonathan T. Looney frag6_remque(q6, hash); 56180d7a853SJonathan T. Looney frag6_insque_head(q6, head, hash); 562686cdd19SJun-ichiro itojun Hagino } 563686cdd19SJun-ichiro itojun Hagino #endif 56482cd038dSYoshinobu Inoue next = 0; 56582cd038dSYoshinobu Inoue for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6; 56682cd038dSYoshinobu Inoue af6 = af6->ip6af_down) { 56782cd038dSYoshinobu Inoue if (af6->ip6af_off != next) { 56803c99d76SJonathan T. Looney if (q6->ip6q_nfrag > V_ip6_maxfragsperpacket) { 56903c99d76SJonathan T. Looney IP6STAT_INC(ip6s_fragdropped); 57003c99d76SJonathan T. Looney frag6_freef(q6, hash); 57103c99d76SJonathan T. Looney } 57280d7a853SJonathan T. Looney IP6Q_UNLOCK(hash); 57382cd038dSYoshinobu Inoue return IPPROTO_DONE; 57482cd038dSYoshinobu Inoue } 57582cd038dSYoshinobu Inoue next += af6->ip6af_frglen; 57682cd038dSYoshinobu Inoue } 57782cd038dSYoshinobu Inoue if (af6->ip6af_up->ip6af_mff) { 57803c99d76SJonathan T. Looney if (q6->ip6q_nfrag > V_ip6_maxfragsperpacket) { 57903c99d76SJonathan T. Looney IP6STAT_INC(ip6s_fragdropped); 58003c99d76SJonathan T. Looney frag6_freef(q6, hash); 58103c99d76SJonathan T. Looney } 58280d7a853SJonathan T. Looney IP6Q_UNLOCK(hash); 58382cd038dSYoshinobu Inoue return IPPROTO_DONE; 58482cd038dSYoshinobu Inoue } 58582cd038dSYoshinobu Inoue 58682cd038dSYoshinobu Inoue /* 58782cd038dSYoshinobu Inoue * Reassembly is complete; concatenate fragments. 58882cd038dSYoshinobu Inoue */ 58982cd038dSYoshinobu Inoue ip6af = q6->ip6q_down; 59082cd038dSYoshinobu Inoue t = m = IP6_REASS_MBUF(ip6af); 59182cd038dSYoshinobu Inoue af6 = ip6af->ip6af_down; 59280d7a853SJonathan T. Looney frag6_deq(ip6af, hash); 59382cd038dSYoshinobu Inoue while (af6 != (struct ip6asfrag *)q6) { 5949907aba3SAndrey V. Elsukov m->m_pkthdr.csum_flags &= 5959907aba3SAndrey V. Elsukov IP6_REASS_MBUF(af6)->m_pkthdr.csum_flags; 5969907aba3SAndrey V. Elsukov m->m_pkthdr.csum_data += 5979907aba3SAndrey V. Elsukov IP6_REASS_MBUF(af6)->m_pkthdr.csum_data; 5989907aba3SAndrey V. Elsukov 599686cdd19SJun-ichiro itojun Hagino af6dwn = af6->ip6af_down; 60080d7a853SJonathan T. Looney frag6_deq(af6, hash); 60182cd038dSYoshinobu Inoue while (t->m_next) 60282cd038dSYoshinobu Inoue t = t->m_next; 603ba99cc0bSAlexander V. Chernikov m_adj(IP6_REASS_MBUF(af6), af6->ip6af_offset); 60409b0b8c0SNavdeep Parhar m_demote_pkthdr(IP6_REASS_MBUF(af6)); 605ba99cc0bSAlexander V. Chernikov m_cat(t, IP6_REASS_MBUF(af6)); 606686cdd19SJun-ichiro itojun Hagino free(af6, M_FTABLE); 607686cdd19SJun-ichiro itojun Hagino af6 = af6dwn; 60882cd038dSYoshinobu Inoue } 60982cd038dSYoshinobu Inoue 6109907aba3SAndrey V. Elsukov while (m->m_pkthdr.csum_data & 0xffff0000) 6119907aba3SAndrey V. Elsukov m->m_pkthdr.csum_data = (m->m_pkthdr.csum_data & 0xffff) + 6129907aba3SAndrey V. Elsukov (m->m_pkthdr.csum_data >> 16); 6139907aba3SAndrey V. Elsukov 61482cd038dSYoshinobu Inoue /* adjust offset to point where the original next header starts */ 61582cd038dSYoshinobu Inoue offset = ip6af->ip6af_offset - sizeof(struct ip6_frag); 616686cdd19SJun-ichiro itojun Hagino free(ip6af, M_FTABLE); 617686cdd19SJun-ichiro itojun Hagino ip6 = mtod(m, struct ip6_hdr *); 61882cd038dSYoshinobu Inoue ip6->ip6_plen = htons((u_short)next + offset - sizeof(struct ip6_hdr)); 6195e9510e3SJINMEI Tatuya if (q6->ip6q_ecn == IPTOS_ECN_CE) 6205e9510e3SJINMEI Tatuya ip6->ip6_flow |= htonl(IPTOS_ECN_CE << 20); 62182cd038dSYoshinobu Inoue nxt = q6->ip6q_nxt; 622686cdd19SJun-ichiro itojun Hagino #ifdef notyet 623686cdd19SJun-ichiro itojun Hagino *q6->ip6q_nxtp = (u_char)(nxt & 0xff); 624686cdd19SJun-ichiro itojun Hagino #endif 62582cd038dSYoshinobu Inoue 6260b438b0fSGleb Smirnoff if (ip6_deletefraghdr(m, offset, M_NOWAIT) != 0) { 62780d7a853SJonathan T. Looney frag6_remque(q6, hash); 6282adfd64fSJonathan T. Looney atomic_subtract_int(&frag6_nfrags, q6->ip6q_nfrag); 6294b908c8bSRobert Watson #ifdef MAC 6304b908c8bSRobert Watson mac_ip6q_destroy(q6); 6314b908c8bSRobert Watson #endif 632686cdd19SJun-ichiro itojun Hagino free(q6, M_FTABLE); 63380d7a853SJonathan T. Looney atomic_subtract_int(&V_frag6_nfragpackets, 1); 6340b438b0fSGleb Smirnoff 635686cdd19SJun-ichiro itojun Hagino goto dropfrag; 63682cd038dSYoshinobu Inoue } 63782cd038dSYoshinobu Inoue 63882cd038dSYoshinobu Inoue /* 63982cd038dSYoshinobu Inoue * Store NXT to the original. 64082cd038dSYoshinobu Inoue */ 64168e0e5a6SAndrey V. Elsukov m_copyback(m, ip6_get_prevhdr(m, offset), sizeof(uint8_t), 64268e0e5a6SAndrey V. Elsukov (caddr_t)&nxt); 64382cd038dSYoshinobu Inoue 64480d7a853SJonathan T. Looney frag6_remque(q6, hash); 6452adfd64fSJonathan T. Looney atomic_subtract_int(&frag6_nfrags, q6->ip6q_nfrag); 6464b908c8bSRobert Watson #ifdef MAC 6474b908c8bSRobert Watson mac_ip6q_reassemble(q6, m); 6484b908c8bSRobert Watson mac_ip6q_destroy(q6); 6494b908c8bSRobert Watson #endif 65082cd038dSYoshinobu Inoue free(q6, M_FTABLE); 65180d7a853SJonathan T. Looney atomic_subtract_int(&V_frag6_nfragpackets, 1); 65282cd038dSYoshinobu Inoue 65382cd038dSYoshinobu Inoue if (m->m_flags & M_PKTHDR) { /* Isn't it always true? */ 65482cd038dSYoshinobu Inoue int plen = 0; 65582cd038dSYoshinobu Inoue for (t = m; t; t = t->m_next) 65682cd038dSYoshinobu Inoue plen += t->m_len; 65782cd038dSYoshinobu Inoue m->m_pkthdr.len = plen; 65882cd038dSYoshinobu Inoue } 65982cd038dSYoshinobu Inoue 660aaa46574SAdrian Chadd #ifdef RSS 661aaa46574SAdrian Chadd mtag = m_tag_alloc(MTAG_ABI_IPV6, IPV6_TAG_DIRECT, sizeof(*ip6dc), 662aaa46574SAdrian Chadd M_NOWAIT); 663aaa46574SAdrian Chadd if (mtag == NULL) 664aaa46574SAdrian Chadd goto dropfrag; 665aaa46574SAdrian Chadd 666aaa46574SAdrian Chadd ip6dc = (struct ip6_direct_ctx *)(mtag + 1); 667aaa46574SAdrian Chadd ip6dc->ip6dc_nxt = nxt; 668aaa46574SAdrian Chadd ip6dc->ip6dc_off = offset; 669aaa46574SAdrian Chadd 670aaa46574SAdrian Chadd m_tag_prepend(m, mtag); 671aaa46574SAdrian Chadd #endif 672aaa46574SAdrian Chadd 67380d7a853SJonathan T. Looney IP6Q_UNLOCK(hash); 6749cb8d207SAndrey V. Elsukov IP6STAT_INC(ip6s_reassembled); 67582cd038dSYoshinobu Inoue in6_ifstat_inc(dstifp, ifs6_reass_ok); 67682cd038dSYoshinobu Inoue 677aaa46574SAdrian Chadd #ifdef RSS 678aaa46574SAdrian Chadd /* 679aaa46574SAdrian Chadd * Queue/dispatch for reprocessing. 680aaa46574SAdrian Chadd */ 681aaa46574SAdrian Chadd netisr_dispatch(NETISR_IPV6_DIRECT, m); 682aaa46574SAdrian Chadd return IPPROTO_DONE; 683aaa46574SAdrian Chadd #endif 684aaa46574SAdrian Chadd 68582cd038dSYoshinobu Inoue /* 68682cd038dSYoshinobu Inoue * Tell launch routine the next header 68782cd038dSYoshinobu Inoue */ 68882cd038dSYoshinobu Inoue 68982cd038dSYoshinobu Inoue *mp = m; 69082cd038dSYoshinobu Inoue *offp = offset; 69182cd038dSYoshinobu Inoue 69282cd038dSYoshinobu Inoue return nxt; 69382cd038dSYoshinobu Inoue 69482cd038dSYoshinobu Inoue dropfrag: 69580d7a853SJonathan T. Looney IP6Q_UNLOCK(hash); 69682cd038dSYoshinobu Inoue in6_ifstat_inc(dstifp, ifs6_reass_fail); 6979cb8d207SAndrey V. Elsukov IP6STAT_INC(ip6s_fragdropped); 69882cd038dSYoshinobu Inoue m_freem(m); 69982cd038dSYoshinobu Inoue return IPPROTO_DONE; 70082cd038dSYoshinobu Inoue } 70182cd038dSYoshinobu Inoue 70282cd038dSYoshinobu Inoue /* 70382cd038dSYoshinobu Inoue * Free a fragment reassembly header and all 70482cd038dSYoshinobu Inoue * associated datagrams. 70582cd038dSYoshinobu Inoue */ 70680d7a853SJonathan T. Looney static void 70780d7a853SJonathan T. Looney frag6_freef(struct ip6q *q6, uint32_t bucket) 70882cd038dSYoshinobu Inoue { 70982cd038dSYoshinobu Inoue struct ip6asfrag *af6, *down6; 71082cd038dSYoshinobu Inoue 71180d7a853SJonathan T. Looney IP6Q_LOCK_ASSERT(bucket); 7129888c401SHajimu UMEMOTO 71382cd038dSYoshinobu Inoue for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6; 71482cd038dSYoshinobu Inoue af6 = down6) { 71582cd038dSYoshinobu Inoue struct mbuf *m = IP6_REASS_MBUF(af6); 71682cd038dSYoshinobu Inoue 71782cd038dSYoshinobu Inoue down6 = af6->ip6af_down; 71880d7a853SJonathan T. Looney frag6_deq(af6, bucket); 71982cd038dSYoshinobu Inoue 72082cd038dSYoshinobu Inoue /* 72182cd038dSYoshinobu Inoue * Return ICMP time exceeded error for the 1st fragment. 72282cd038dSYoshinobu Inoue * Just free other fragments. 72382cd038dSYoshinobu Inoue */ 72482cd038dSYoshinobu Inoue if (af6->ip6af_off == 0) { 72582cd038dSYoshinobu Inoue struct ip6_hdr *ip6; 72682cd038dSYoshinobu Inoue 72782cd038dSYoshinobu Inoue /* adjust pointer */ 72882cd038dSYoshinobu Inoue ip6 = mtod(m, struct ip6_hdr *); 72982cd038dSYoshinobu Inoue 73006cd0a3fSHajimu UMEMOTO /* restore source and destination addresses */ 73182cd038dSYoshinobu Inoue ip6->ip6_src = q6->ip6q_src; 73282cd038dSYoshinobu Inoue ip6->ip6_dst = q6->ip6q_dst; 73382cd038dSYoshinobu Inoue 73482cd038dSYoshinobu Inoue icmp6_error(m, ICMP6_TIME_EXCEEDED, 73582cd038dSYoshinobu Inoue ICMP6_TIME_EXCEED_REASSEMBLY, 0); 736686cdd19SJun-ichiro itojun Hagino } else 73782cd038dSYoshinobu Inoue m_freem(m); 738686cdd19SJun-ichiro itojun Hagino free(af6, M_FTABLE); 73982cd038dSYoshinobu Inoue } 74080d7a853SJonathan T. Looney frag6_remque(q6, bucket); 7412adfd64fSJonathan T. Looney atomic_subtract_int(&frag6_nfrags, q6->ip6q_nfrag); 7424b908c8bSRobert Watson #ifdef MAC 7434b908c8bSRobert Watson mac_ip6q_destroy(q6); 7444b908c8bSRobert Watson #endif 74582cd038dSYoshinobu Inoue free(q6, M_FTABLE); 74680d7a853SJonathan T. Looney atomic_subtract_int(&V_frag6_nfragpackets, 1); 74782cd038dSYoshinobu Inoue } 74882cd038dSYoshinobu Inoue 74982cd038dSYoshinobu Inoue /* 75082cd038dSYoshinobu Inoue * Put an ip fragment on a reassembly chain. 75182cd038dSYoshinobu Inoue * Like insque, but pointers in middle of structure. 75282cd038dSYoshinobu Inoue */ 75380d7a853SJonathan T. Looney static void 75480d7a853SJonathan T. Looney frag6_enq(struct ip6asfrag *af6, struct ip6asfrag *up6, 75580d7a853SJonathan T. Looney uint32_t bucket __unused) 75682cd038dSYoshinobu Inoue { 7579888c401SHajimu UMEMOTO 75880d7a853SJonathan T. Looney IP6Q_LOCK_ASSERT(bucket); 7599888c401SHajimu UMEMOTO 76082cd038dSYoshinobu Inoue af6->ip6af_up = up6; 76182cd038dSYoshinobu Inoue af6->ip6af_down = up6->ip6af_down; 76282cd038dSYoshinobu Inoue up6->ip6af_down->ip6af_up = af6; 76382cd038dSYoshinobu Inoue up6->ip6af_down = af6; 76482cd038dSYoshinobu Inoue } 76582cd038dSYoshinobu Inoue 76682cd038dSYoshinobu Inoue /* 76782cd038dSYoshinobu Inoue * To frag6_enq as remque is to insque. 76882cd038dSYoshinobu Inoue */ 76980d7a853SJonathan T. Looney static void 77080d7a853SJonathan T. Looney frag6_deq(struct ip6asfrag *af6, uint32_t bucket __unused) 77182cd038dSYoshinobu Inoue { 7729888c401SHajimu UMEMOTO 77380d7a853SJonathan T. Looney IP6Q_LOCK_ASSERT(bucket); 7749888c401SHajimu UMEMOTO 77582cd038dSYoshinobu Inoue af6->ip6af_up->ip6af_down = af6->ip6af_down; 77682cd038dSYoshinobu Inoue af6->ip6af_down->ip6af_up = af6->ip6af_up; 77782cd038dSYoshinobu Inoue } 77882cd038dSYoshinobu Inoue 77980d7a853SJonathan T. Looney static void 7801e9f3b73SJonathan T. Looney frag6_insque_head(struct ip6q *new, struct ip6q *old, uint32_t bucket) 78182cd038dSYoshinobu Inoue { 7829888c401SHajimu UMEMOTO 78380d7a853SJonathan T. Looney IP6Q_LOCK_ASSERT(bucket); 78480d7a853SJonathan T. Looney KASSERT(IP6Q_HEAD(bucket) == old, 78580d7a853SJonathan T. Looney ("%s: attempt to insert at head of wrong bucket" 78680d7a853SJonathan T. Looney " (bucket=%u, old=%p)", __func__, bucket, old)); 7879888c401SHajimu UMEMOTO 78882cd038dSYoshinobu Inoue new->ip6q_prev = old; 78982cd038dSYoshinobu Inoue new->ip6q_next = old->ip6q_next; 79082cd038dSYoshinobu Inoue old->ip6q_next->ip6q_prev= new; 79182cd038dSYoshinobu Inoue old->ip6q_next = new; 7921e9f3b73SJonathan T. Looney V_ip6q[bucket].count++; 79382cd038dSYoshinobu Inoue } 79482cd038dSYoshinobu Inoue 79580d7a853SJonathan T. Looney static void 7961e9f3b73SJonathan T. Looney frag6_remque(struct ip6q *p6, uint32_t bucket) 79782cd038dSYoshinobu Inoue { 7989888c401SHajimu UMEMOTO 79980d7a853SJonathan T. Looney IP6Q_LOCK_ASSERT(bucket); 8009888c401SHajimu UMEMOTO 80182cd038dSYoshinobu Inoue p6->ip6q_prev->ip6q_next = p6->ip6q_next; 80282cd038dSYoshinobu Inoue p6->ip6q_next->ip6q_prev = p6->ip6q_prev; 8031e9f3b73SJonathan T. Looney V_ip6q[bucket].count--; 80482cd038dSYoshinobu Inoue } 80582cd038dSYoshinobu Inoue 80682cd038dSYoshinobu Inoue /* 80733841545SHajimu UMEMOTO * IPv6 reassembling timer processing; 80882cd038dSYoshinobu Inoue * if a timer expires on a reassembly 80982cd038dSYoshinobu Inoue * queue, discard it. 81082cd038dSYoshinobu Inoue */ 81182cd038dSYoshinobu Inoue void 8121272577eSXin LI frag6_slowtimo(void) 81382cd038dSYoshinobu Inoue { 8148b615593SMarko Zec VNET_ITERATOR_DECL(vnet_iter); 81580d7a853SJonathan T. Looney struct ip6q *head, *q6; 81680d7a853SJonathan T. Looney int i; 81782cd038dSYoshinobu Inoue 8185ee847d3SRobert Watson VNET_LIST_RLOCK_NOSLEEP(); 8198b615593SMarko Zec VNET_FOREACH(vnet_iter) { 8208b615593SMarko Zec CURVNET_SET(vnet_iter); 82180d7a853SJonathan T. Looney for (i = 0; i < IP6REASS_NHASH; i++) { 82280d7a853SJonathan T. Looney IP6Q_LOCK(i); 82380d7a853SJonathan T. Looney head = IP6Q_HEAD(i); 82480d7a853SJonathan T. Looney q6 = head->ip6q_next; 8251e9f3b73SJonathan T. Looney if (q6 == NULL) { 8261e9f3b73SJonathan T. Looney /* 8271e9f3b73SJonathan T. Looney * XXXJTL: This should never happen. This 8281e9f3b73SJonathan T. Looney * should turn into an assertion. 8291e9f3b73SJonathan T. Looney */ 8301e9f3b73SJonathan T. Looney IP6Q_UNLOCK(i); 8311e9f3b73SJonathan T. Looney continue; 8321e9f3b73SJonathan T. Looney } 83380d7a853SJonathan T. Looney while (q6 != head) { 83482cd038dSYoshinobu Inoue --q6->ip6q_ttl; 83582cd038dSYoshinobu Inoue q6 = q6->ip6q_next; 83682cd038dSYoshinobu Inoue if (q6->ip6q_prev->ip6q_ttl == 0) { 8379cb8d207SAndrey V. Elsukov IP6STAT_INC(ip6s_fragtimeout); 83882cd038dSYoshinobu Inoue /* XXX in6_ifstat_inc(ifp, ifs6_reass_fail) */ 83980d7a853SJonathan T. Looney frag6_freef(q6->ip6q_prev, i); 84082cd038dSYoshinobu Inoue } 84182cd038dSYoshinobu Inoue } 84282cd038dSYoshinobu Inoue /* 84382cd038dSYoshinobu Inoue * If we are over the maximum number of fragments 84482cd038dSYoshinobu Inoue * (due to the limit being lowered), drain off 84582cd038dSYoshinobu Inoue * enough to get down to the new limit. 8461e9f3b73SJonathan T. Looney * Note that we drain all reassembly queues if 8471e9f3b73SJonathan T. Looney * maxfragpackets is 0 (fragmentation is disabled), 8481e9f3b73SJonathan T. Looney * and don't enforce a limit when maxfragpackets 8491e9f3b73SJonathan T. Looney * is negative. 85082cd038dSYoshinobu Inoue */ 8511e9f3b73SJonathan T. Looney while ((V_ip6_maxfragpackets == 0 || 8521e9f3b73SJonathan T. Looney (V_ip6_maxfragpackets > 0 && 8531e9f3b73SJonathan T. Looney V_ip6q[i].count > V_ip6_maxfragbucketsize)) && 85480d7a853SJonathan T. Looney head->ip6q_prev != head) { 8559cb8d207SAndrey V. Elsukov IP6STAT_INC(ip6s_fragoverflow); 85682cd038dSYoshinobu Inoue /* XXX in6_ifstat_inc(ifp, ifs6_reass_fail) */ 85780d7a853SJonathan T. Looney frag6_freef(head->ip6q_prev, i); 85880d7a853SJonathan T. Looney } 85980d7a853SJonathan T. Looney IP6Q_UNLOCK(i); 86082cd038dSYoshinobu Inoue } 8611e9f3b73SJonathan T. Looney /* 8621e9f3b73SJonathan T. Looney * If we are still over the maximum number of fragmented 8631e9f3b73SJonathan T. Looney * packets, drain off enough to get down to the new limit. 8641e9f3b73SJonathan T. Looney */ 8651e9f3b73SJonathan T. Looney i = 0; 8661e9f3b73SJonathan T. Looney while (V_ip6_maxfragpackets >= 0 && 8671e9f3b73SJonathan T. Looney atomic_load_int(&V_frag6_nfragpackets) > 8681e9f3b73SJonathan T. Looney (u_int)V_ip6_maxfragpackets) { 8691e9f3b73SJonathan T. Looney IP6Q_LOCK(i); 8701e9f3b73SJonathan T. Looney head = IP6Q_HEAD(i); 8711e9f3b73SJonathan T. Looney if (head->ip6q_prev != head) { 8721e9f3b73SJonathan T. Looney IP6STAT_INC(ip6s_fragoverflow); 8731e9f3b73SJonathan T. Looney /* XXX in6_ifstat_inc(ifp, ifs6_reass_fail) */ 8741e9f3b73SJonathan T. Looney frag6_freef(head->ip6q_prev, i); 8751e9f3b73SJonathan T. Looney } 8761e9f3b73SJonathan T. Looney IP6Q_UNLOCK(i); 8771e9f3b73SJonathan T. Looney i = (i + 1) % IP6REASS_NHASH; 8781e9f3b73SJonathan T. Looney } 8798b615593SMarko Zec CURVNET_RESTORE(); 8808b615593SMarko Zec } 8815ee847d3SRobert Watson VNET_LIST_RUNLOCK_NOSLEEP(); 88282cd038dSYoshinobu Inoue } 88382cd038dSYoshinobu Inoue 88482cd038dSYoshinobu Inoue /* 88582cd038dSYoshinobu Inoue * Drain off all datagram fragments. 88682cd038dSYoshinobu Inoue */ 88782cd038dSYoshinobu Inoue void 8881272577eSXin LI frag6_drain(void) 88982cd038dSYoshinobu Inoue { 8908b615593SMarko Zec VNET_ITERATOR_DECL(vnet_iter); 89180d7a853SJonathan T. Looney struct ip6q *head; 89280d7a853SJonathan T. Looney int i; 8939888c401SHajimu UMEMOTO 8945ee847d3SRobert Watson VNET_LIST_RLOCK_NOSLEEP(); 8958b615593SMarko Zec VNET_FOREACH(vnet_iter) { 8968b615593SMarko Zec CURVNET_SET(vnet_iter); 89780d7a853SJonathan T. Looney for (i = 0; i < IP6REASS_NHASH; i++) { 89880d7a853SJonathan T. Looney if (IP6Q_TRYLOCK(i) == 0) 89980d7a853SJonathan T. Looney continue; 90080d7a853SJonathan T. Looney head = IP6Q_HEAD(i); 90180d7a853SJonathan T. Looney while (head->ip6q_next != head) { 9029cb8d207SAndrey V. Elsukov IP6STAT_INC(ip6s_fragdropped); 90382cd038dSYoshinobu Inoue /* XXX in6_ifstat_inc(ifp, ifs6_reass_fail) */ 90480d7a853SJonathan T. Looney frag6_freef(head->ip6q_next, i); 90580d7a853SJonathan T. Looney } 90680d7a853SJonathan T. Looney IP6Q_UNLOCK(i); 90782cd038dSYoshinobu Inoue } 9088b615593SMarko Zec CURVNET_RESTORE(); 9098b615593SMarko Zec } 9105ee847d3SRobert Watson VNET_LIST_RUNLOCK_NOSLEEP(); 91182cd038dSYoshinobu Inoue } 912e5ee7060SGleb Smirnoff 913e5ee7060SGleb Smirnoff int 914e5ee7060SGleb Smirnoff ip6_deletefraghdr(struct mbuf *m, int offset, int wait) 915e5ee7060SGleb Smirnoff { 916e5ee7060SGleb Smirnoff struct ip6_hdr *ip6 = mtod(m, struct ip6_hdr *); 917e5ee7060SGleb Smirnoff struct mbuf *t; 918e5ee7060SGleb Smirnoff 919e5ee7060SGleb Smirnoff /* Delete frag6 header. */ 920e5ee7060SGleb Smirnoff if (m->m_len >= offset + sizeof(struct ip6_frag)) { 921e5ee7060SGleb Smirnoff /* This is the only possible case with !PULLDOWN_TEST. */ 922e5ee7060SGleb Smirnoff bcopy(ip6, (char *)ip6 + sizeof(struct ip6_frag), 923e5ee7060SGleb Smirnoff offset); 924e5ee7060SGleb Smirnoff m->m_data += sizeof(struct ip6_frag); 925e5ee7060SGleb Smirnoff m->m_len -= sizeof(struct ip6_frag); 926e5ee7060SGleb Smirnoff } else { 927e5ee7060SGleb Smirnoff /* This comes with no copy if the boundary is on cluster. */ 928e5ee7060SGleb Smirnoff if ((t = m_split(m, offset, wait)) == NULL) 929e5ee7060SGleb Smirnoff return (ENOMEM); 930e5ee7060SGleb Smirnoff m_adj(t, sizeof(struct ip6_frag)); 931e5ee7060SGleb Smirnoff m_cat(m, t); 932e5ee7060SGleb Smirnoff } 933e5ee7060SGleb Smirnoff 934a4061289SAndrey V. Elsukov m->m_flags |= M_FRAGMENTED; 935e5ee7060SGleb Smirnoff return (0); 936e5ee7060SGleb Smirnoff } 937