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 2745f9f192dSJonathan T. Looney /* Get fragment length and discard 0-byte fragments. */ 2755f9f192dSJonathan T. Looney frgpartlen = sizeof(struct ip6_hdr) + ntohs(ip6->ip6_plen) - offset; 2765f9f192dSJonathan T. Looney if (frgpartlen == 0) { 2775f9f192dSJonathan T. Looney icmp6_error(m, ICMP6_PARAM_PROB, ICMP6_PARAMPROB_HEADER, 2785f9f192dSJonathan T. Looney offsetof(struct ip6_hdr, ip6_plen)); 2795f9f192dSJonathan T. Looney in6_ifstat_inc(dstifp, ifs6_reass_fail); 2805f9f192dSJonathan T. Looney IP6STAT_INC(ip6s_fragdropped); 2815f9f192dSJonathan T. Looney return IPPROTO_DONE; 2825f9f192dSJonathan T. Looney } 2835f9f192dSJonathan T. Looney 28480d7a853SJonathan T. Looney hashkeyp = hashkey; 28580d7a853SJonathan T. Looney memcpy(hashkeyp, &ip6->ip6_src, sizeof(struct in6_addr)); 28680d7a853SJonathan T. Looney hashkeyp += sizeof(struct in6_addr) / sizeof(*hashkeyp); 28780d7a853SJonathan T. Looney memcpy(hashkeyp, &ip6->ip6_dst, sizeof(struct in6_addr)); 28880d7a853SJonathan T. Looney hashkeyp += sizeof(struct in6_addr) / sizeof(*hashkeyp); 28980d7a853SJonathan T. Looney *hashkeyp = ip6f->ip6f_ident; 29080d7a853SJonathan T. Looney hash = jenkins_hash32(hashkey, nitems(hashkey), V_ip6q_hashseed); 29180d7a853SJonathan T. Looney hash &= IP6REASS_HMASK; 29280d7a853SJonathan T. Looney head = IP6Q_HEAD(hash); 29380d7a853SJonathan T. Looney IP6Q_LOCK(hash); 2949888c401SHajimu UMEMOTO 2959888c401SHajimu UMEMOTO /* 2969888c401SHajimu UMEMOTO * Enforce upper bound on number of fragments. 2979888c401SHajimu UMEMOTO * If maxfrag is 0, never accept fragments. 2989888c401SHajimu UMEMOTO * If maxfrag is -1, accept all fragments without limitation. 2999888c401SHajimu UMEMOTO */ 3002adfd64fSJonathan T. Looney if (ip6_maxfrags < 0) 3019888c401SHajimu UMEMOTO ; 3022adfd64fSJonathan T. Looney else if (atomic_load_int(&frag6_nfrags) >= (u_int)ip6_maxfrags) 3039888c401SHajimu UMEMOTO goto dropfrag; 30433841545SHajimu UMEMOTO 30580d7a853SJonathan T. Looney for (q6 = head->ip6q_next; q6 != head; q6 = q6->ip6q_next) 30682cd038dSYoshinobu Inoue if (ip6f->ip6f_ident == q6->ip6q_ident && 30782cd038dSYoshinobu Inoue IN6_ARE_ADDR_EQUAL(&ip6->ip6_src, &q6->ip6q_src) && 3084b908c8bSRobert Watson IN6_ARE_ADDR_EQUAL(&ip6->ip6_dst, &q6->ip6q_dst) 3094b908c8bSRobert Watson #ifdef MAC 3104b908c8bSRobert Watson && mac_ip6q_match(m, q6) 3114b908c8bSRobert Watson #endif 3124b908c8bSRobert Watson ) 31382cd038dSYoshinobu Inoue break; 31482cd038dSYoshinobu Inoue 31580d7a853SJonathan T. Looney if (q6 == head) { 31682cd038dSYoshinobu Inoue /* 31782cd038dSYoshinobu Inoue * the first fragment to arrive, create a reassembly queue. 31882cd038dSYoshinobu Inoue */ 31982cd038dSYoshinobu Inoue first_frag = 1; 32082cd038dSYoshinobu Inoue 32182cd038dSYoshinobu Inoue /* 32282cd038dSYoshinobu Inoue * Enforce upper bound on number of fragmented packets 32382cd038dSYoshinobu Inoue * for which we attempt reassembly; 3249888c401SHajimu UMEMOTO * If maxfragpackets is 0, never accept fragments. 3259888c401SHajimu UMEMOTO * If maxfragpackets is -1, accept all fragments without 3269888c401SHajimu UMEMOTO * limitation. 32782cd038dSYoshinobu Inoue */ 328603724d3SBjoern A. Zeeb if (V_ip6_maxfragpackets < 0) 32933841545SHajimu UMEMOTO ; 3301e9f3b73SJonathan T. Looney else if (V_ip6q[hash].count >= V_ip6_maxfragbucketsize || 3311e9f3b73SJonathan T. Looney atomic_load_int(&V_frag6_nfragpackets) >= 33280d7a853SJonathan T. Looney (u_int)V_ip6_maxfragpackets) 33333841545SHajimu UMEMOTO goto dropfrag; 33480d7a853SJonathan T. Looney atomic_add_int(&V_frag6_nfragpackets, 1); 33582cd038dSYoshinobu Inoue q6 = (struct ip6q *)malloc(sizeof(struct ip6q), M_FTABLE, 3368c0dd0e4SHajimu UMEMOTO M_NOWAIT); 33782cd038dSYoshinobu Inoue if (q6 == NULL) 33882cd038dSYoshinobu Inoue goto dropfrag; 339686cdd19SJun-ichiro itojun Hagino bzero(q6, sizeof(*q6)); 3404b908c8bSRobert Watson #ifdef MAC 3414b908c8bSRobert Watson if (mac_ip6q_init(q6, M_NOWAIT) != 0) { 3424b908c8bSRobert Watson free(q6, M_FTABLE); 3434b908c8bSRobert Watson goto dropfrag; 3444b908c8bSRobert Watson } 3454b908c8bSRobert Watson mac_ip6q_create(m, q6); 3464b908c8bSRobert Watson #endif 34780d7a853SJonathan T. Looney frag6_insque_head(q6, head, hash); 34882cd038dSYoshinobu Inoue 349686cdd19SJun-ichiro itojun Hagino /* ip6q_nxt will be filled afterwards, from 1st fragment */ 35082cd038dSYoshinobu Inoue q6->ip6q_down = q6->ip6q_up = (struct ip6asfrag *)q6; 351686cdd19SJun-ichiro itojun Hagino #ifdef notyet 352686cdd19SJun-ichiro itojun Hagino q6->ip6q_nxtp = (u_char *)nxtp; 353686cdd19SJun-ichiro itojun Hagino #endif 35482cd038dSYoshinobu Inoue q6->ip6q_ident = ip6f->ip6f_ident; 35582cd038dSYoshinobu Inoue q6->ip6q_ttl = IPV6_FRAGTTL; 35682cd038dSYoshinobu Inoue q6->ip6q_src = ip6->ip6_src; 35782cd038dSYoshinobu Inoue q6->ip6q_dst = ip6->ip6_dst; 3585e9510e3SJINMEI Tatuya q6->ip6q_ecn = 3595e9510e3SJINMEI Tatuya (ntohl(ip6->ip6_flow) >> 20) & IPTOS_ECN_MASK; 36082cd038dSYoshinobu Inoue q6->ip6q_unfrglen = -1; /* The 1st fragment has not arrived. */ 3619888c401SHajimu UMEMOTO 3629888c401SHajimu UMEMOTO q6->ip6q_nfrag = 0; 36382cd038dSYoshinobu Inoue } 36482cd038dSYoshinobu Inoue 36582cd038dSYoshinobu Inoue /* 36682cd038dSYoshinobu Inoue * If it's the 1st fragment, record the length of the 36782cd038dSYoshinobu Inoue * unfragmentable part and the next header of the fragment header. 36882cd038dSYoshinobu Inoue */ 36982cd038dSYoshinobu Inoue fragoff = ntohs(ip6f->ip6f_offlg & IP6F_OFF_MASK); 37082cd038dSYoshinobu Inoue if (fragoff == 0) { 37106cd0a3fSHajimu UMEMOTO q6->ip6q_unfrglen = offset - sizeof(struct ip6_hdr) - 37206cd0a3fSHajimu UMEMOTO sizeof(struct ip6_frag); 37382cd038dSYoshinobu Inoue q6->ip6q_nxt = ip6f->ip6f_nxt; 37482cd038dSYoshinobu Inoue } 37582cd038dSYoshinobu Inoue 37682cd038dSYoshinobu Inoue /* 37782cd038dSYoshinobu Inoue * Check that the reassembled packet would not exceed 65535 bytes 37882cd038dSYoshinobu Inoue * in size. 37982cd038dSYoshinobu Inoue * If it would exceed, discard the fragment and return an ICMP error. 38082cd038dSYoshinobu Inoue */ 38182cd038dSYoshinobu Inoue if (q6->ip6q_unfrglen >= 0) { 38282cd038dSYoshinobu Inoue /* The 1st fragment has already arrived. */ 38382cd038dSYoshinobu Inoue if (q6->ip6q_unfrglen + fragoff + frgpartlen > IPV6_MAXPACKET) { 38482cd038dSYoshinobu Inoue icmp6_error(m, ICMP6_PARAM_PROB, ICMP6_PARAMPROB_HEADER, 385686cdd19SJun-ichiro itojun Hagino offset - sizeof(struct ip6_frag) + 386686cdd19SJun-ichiro itojun Hagino offsetof(struct ip6_frag, ip6f_offlg)); 38780d7a853SJonathan T. Looney IP6Q_UNLOCK(hash); 38882cd038dSYoshinobu Inoue return (IPPROTO_DONE); 38982cd038dSYoshinobu Inoue } 39006cd0a3fSHajimu UMEMOTO } else if (fragoff + frgpartlen > IPV6_MAXPACKET) { 39182cd038dSYoshinobu Inoue icmp6_error(m, ICMP6_PARAM_PROB, ICMP6_PARAMPROB_HEADER, 392686cdd19SJun-ichiro itojun Hagino offset - sizeof(struct ip6_frag) + 393686cdd19SJun-ichiro itojun Hagino offsetof(struct ip6_frag, ip6f_offlg)); 39480d7a853SJonathan T. Looney IP6Q_UNLOCK(hash); 39582cd038dSYoshinobu Inoue return (IPPROTO_DONE); 39682cd038dSYoshinobu Inoue } 39782cd038dSYoshinobu Inoue /* 39882cd038dSYoshinobu Inoue * If it's the first fragment, do the above check for each 39982cd038dSYoshinobu Inoue * fragment already stored in the reassembly queue. 40082cd038dSYoshinobu Inoue */ 40182cd038dSYoshinobu Inoue if (fragoff == 0) { 40282cd038dSYoshinobu Inoue for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6; 40382cd038dSYoshinobu Inoue af6 = af6dwn) { 40482cd038dSYoshinobu Inoue af6dwn = af6->ip6af_down; 40582cd038dSYoshinobu Inoue 40682cd038dSYoshinobu Inoue if (q6->ip6q_unfrglen + af6->ip6af_off + af6->ip6af_frglen > 40782cd038dSYoshinobu Inoue IPV6_MAXPACKET) { 40882cd038dSYoshinobu Inoue struct mbuf *merr = IP6_REASS_MBUF(af6); 40982cd038dSYoshinobu Inoue struct ip6_hdr *ip6err; 41082cd038dSYoshinobu Inoue int erroff = af6->ip6af_offset; 41182cd038dSYoshinobu Inoue 41282cd038dSYoshinobu Inoue /* dequeue the fragment. */ 41380d7a853SJonathan T. Looney frag6_deq(af6, hash); 414686cdd19SJun-ichiro itojun Hagino free(af6, M_FTABLE); 41582cd038dSYoshinobu Inoue 41682cd038dSYoshinobu Inoue /* adjust pointer. */ 41782cd038dSYoshinobu Inoue ip6err = mtod(merr, struct ip6_hdr *); 41882cd038dSYoshinobu Inoue 41982cd038dSYoshinobu Inoue /* 42082cd038dSYoshinobu Inoue * Restore source and destination addresses 42182cd038dSYoshinobu Inoue * in the erroneous IPv6 header. 42282cd038dSYoshinobu Inoue */ 42382cd038dSYoshinobu Inoue ip6err->ip6_src = q6->ip6q_src; 42482cd038dSYoshinobu Inoue ip6err->ip6_dst = q6->ip6q_dst; 42582cd038dSYoshinobu Inoue 42682cd038dSYoshinobu Inoue icmp6_error(merr, ICMP6_PARAM_PROB, 42782cd038dSYoshinobu Inoue ICMP6_PARAMPROB_HEADER, 428686cdd19SJun-ichiro itojun Hagino erroff - sizeof(struct ip6_frag) + 429686cdd19SJun-ichiro itojun Hagino offsetof(struct ip6_frag, ip6f_offlg)); 43082cd038dSYoshinobu Inoue } 43182cd038dSYoshinobu Inoue } 43282cd038dSYoshinobu Inoue } 43382cd038dSYoshinobu Inoue 434686cdd19SJun-ichiro itojun Hagino ip6af = (struct ip6asfrag *)malloc(sizeof(struct ip6asfrag), M_FTABLE, 4358c0dd0e4SHajimu UMEMOTO M_NOWAIT); 436686cdd19SJun-ichiro itojun Hagino if (ip6af == NULL) 437686cdd19SJun-ichiro itojun Hagino goto dropfrag; 438686cdd19SJun-ichiro itojun Hagino bzero(ip6af, sizeof(*ip6af)); 43982cd038dSYoshinobu Inoue ip6af->ip6af_mff = ip6f->ip6f_offlg & IP6F_MORE_FRAG; 44082cd038dSYoshinobu Inoue ip6af->ip6af_off = fragoff; 44182cd038dSYoshinobu Inoue ip6af->ip6af_frglen = frgpartlen; 44282cd038dSYoshinobu Inoue ip6af->ip6af_offset = offset; 44382cd038dSYoshinobu Inoue IP6_REASS_MBUF(ip6af) = m; 44482cd038dSYoshinobu Inoue 44582cd038dSYoshinobu Inoue if (first_frag) { 44682cd038dSYoshinobu Inoue af6 = (struct ip6asfrag *)q6; 44782cd038dSYoshinobu Inoue goto insert; 44882cd038dSYoshinobu Inoue } 44982cd038dSYoshinobu Inoue 45082cd038dSYoshinobu Inoue /* 45159dfcba4SHajimu UMEMOTO * Handle ECN by comparing this segment with the first one; 45259dfcba4SHajimu UMEMOTO * if CE is set, do not lose CE. 45359dfcba4SHajimu UMEMOTO * drop if CE and not-ECT are mixed for the same packet. 45459dfcba4SHajimu UMEMOTO */ 45559dfcba4SHajimu UMEMOTO ecn = (ntohl(ip6->ip6_flow) >> 20) & IPTOS_ECN_MASK; 4565e9510e3SJINMEI Tatuya ecn0 = q6->ip6q_ecn; 45759dfcba4SHajimu UMEMOTO if (ecn == IPTOS_ECN_CE) { 45859dfcba4SHajimu UMEMOTO if (ecn0 == IPTOS_ECN_NOTECT) { 45959dfcba4SHajimu UMEMOTO free(ip6af, M_FTABLE); 46059dfcba4SHajimu UMEMOTO goto dropfrag; 46159dfcba4SHajimu UMEMOTO } 46259dfcba4SHajimu UMEMOTO if (ecn0 != IPTOS_ECN_CE) 4635e9510e3SJINMEI Tatuya q6->ip6q_ecn = IPTOS_ECN_CE; 46459dfcba4SHajimu UMEMOTO } 46559dfcba4SHajimu UMEMOTO if (ecn == IPTOS_ECN_NOTECT && ecn0 != IPTOS_ECN_NOTECT) { 46659dfcba4SHajimu UMEMOTO free(ip6af, M_FTABLE); 46759dfcba4SHajimu UMEMOTO goto dropfrag; 46859dfcba4SHajimu UMEMOTO } 46959dfcba4SHajimu UMEMOTO 47059dfcba4SHajimu UMEMOTO /* 47182cd038dSYoshinobu Inoue * Find a segment which begins after this one does. 47282cd038dSYoshinobu Inoue */ 47382cd038dSYoshinobu Inoue for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6; 47482cd038dSYoshinobu Inoue af6 = af6->ip6af_down) 47582cd038dSYoshinobu Inoue if (af6->ip6af_off > ip6af->ip6af_off) 47682cd038dSYoshinobu Inoue break; 47782cd038dSYoshinobu Inoue 478686cdd19SJun-ichiro itojun Hagino #if 0 479686cdd19SJun-ichiro itojun Hagino /* 480686cdd19SJun-ichiro itojun Hagino * If there is a preceding segment, it may provide some of 481686cdd19SJun-ichiro itojun Hagino * our data already. If so, drop the data from the incoming 482686cdd19SJun-ichiro itojun Hagino * segment. If it provides all of our data, drop us. 483686cdd19SJun-ichiro itojun Hagino */ 484686cdd19SJun-ichiro itojun Hagino if (af6->ip6af_up != (struct ip6asfrag *)q6) { 485686cdd19SJun-ichiro itojun Hagino i = af6->ip6af_up->ip6af_off + af6->ip6af_up->ip6af_frglen 486686cdd19SJun-ichiro itojun Hagino - ip6af->ip6af_off; 487686cdd19SJun-ichiro itojun Hagino if (i > 0) { 488686cdd19SJun-ichiro itojun Hagino if (i >= ip6af->ip6af_frglen) 489686cdd19SJun-ichiro itojun Hagino goto dropfrag; 490686cdd19SJun-ichiro itojun Hagino m_adj(IP6_REASS_MBUF(ip6af), i); 491686cdd19SJun-ichiro itojun Hagino ip6af->ip6af_off += i; 492686cdd19SJun-ichiro itojun Hagino ip6af->ip6af_frglen -= i; 493686cdd19SJun-ichiro itojun Hagino } 494686cdd19SJun-ichiro itojun Hagino } 495686cdd19SJun-ichiro itojun Hagino 496686cdd19SJun-ichiro itojun Hagino /* 497686cdd19SJun-ichiro itojun Hagino * While we overlap succeeding segments trim them or, 498686cdd19SJun-ichiro itojun Hagino * if they are completely covered, dequeue them. 499686cdd19SJun-ichiro itojun Hagino */ 500686cdd19SJun-ichiro itojun Hagino while (af6 != (struct ip6asfrag *)q6 && 501686cdd19SJun-ichiro itojun Hagino ip6af->ip6af_off + ip6af->ip6af_frglen > af6->ip6af_off) { 502686cdd19SJun-ichiro itojun Hagino i = (ip6af->ip6af_off + ip6af->ip6af_frglen) - af6->ip6af_off; 503686cdd19SJun-ichiro itojun Hagino if (i < af6->ip6af_frglen) { 504686cdd19SJun-ichiro itojun Hagino af6->ip6af_frglen -= i; 505686cdd19SJun-ichiro itojun Hagino af6->ip6af_off += i; 506686cdd19SJun-ichiro itojun Hagino m_adj(IP6_REASS_MBUF(af6), i); 507686cdd19SJun-ichiro itojun Hagino break; 508686cdd19SJun-ichiro itojun Hagino } 509686cdd19SJun-ichiro itojun Hagino af6 = af6->ip6af_down; 510686cdd19SJun-ichiro itojun Hagino m_freem(IP6_REASS_MBUF(af6->ip6af_up)); 51180d7a853SJonathan T. Looney frag6_deq(af6->ip6af_up, hash); 512686cdd19SJun-ichiro itojun Hagino } 513686cdd19SJun-ichiro itojun Hagino #else 51482cd038dSYoshinobu Inoue /* 51582cd038dSYoshinobu Inoue * If the incoming framgent overlaps some existing fragments in 51682cd038dSYoshinobu Inoue * the reassembly queue, drop it, since it is dangerous to override 51782cd038dSYoshinobu Inoue * existing fragments from a security point of view. 5189888c401SHajimu UMEMOTO * We don't know which fragment is the bad guy - here we trust 5199888c401SHajimu UMEMOTO * fragment that came in earlier, with no real reason. 5205e9510e3SJINMEI Tatuya * 5215e9510e3SJINMEI Tatuya * Note: due to changes after disabling this part, mbuf passed to 5225e9510e3SJINMEI Tatuya * m_adj() below now does not meet the requirement. 52382cd038dSYoshinobu Inoue */ 52482cd038dSYoshinobu Inoue if (af6->ip6af_up != (struct ip6asfrag *)q6) { 52582cd038dSYoshinobu Inoue i = af6->ip6af_up->ip6af_off + af6->ip6af_up->ip6af_frglen 52682cd038dSYoshinobu Inoue - ip6af->ip6af_off; 52782cd038dSYoshinobu Inoue if (i > 0) { 5282bf76779SMunechika SUMIKAWA #if 0 /* suppress the noisy log */ 52982cd038dSYoshinobu Inoue log(LOG_ERR, "%d bytes of a fragment from %s " 53082cd038dSYoshinobu Inoue "overlaps the previous fragment\n", 5311d54aa3bSBjoern A. Zeeb i, ip6_sprintf(ip6buf, &q6->ip6q_src)); 5322bf76779SMunechika SUMIKAWA #endif 5332bf76779SMunechika SUMIKAWA free(ip6af, M_FTABLE); 53482cd038dSYoshinobu Inoue goto dropfrag; 53582cd038dSYoshinobu Inoue } 53682cd038dSYoshinobu Inoue } 53782cd038dSYoshinobu Inoue if (af6 != (struct ip6asfrag *)q6) { 53882cd038dSYoshinobu Inoue i = (ip6af->ip6af_off + ip6af->ip6af_frglen) - af6->ip6af_off; 53982cd038dSYoshinobu Inoue if (i > 0) { 5402bf76779SMunechika SUMIKAWA #if 0 /* suppress the noisy log */ 54182cd038dSYoshinobu Inoue log(LOG_ERR, "%d bytes of a fragment from %s " 54282cd038dSYoshinobu Inoue "overlaps the succeeding fragment", 5431d54aa3bSBjoern A. Zeeb i, ip6_sprintf(ip6buf, &q6->ip6q_src)); 5442bf76779SMunechika SUMIKAWA #endif 5452bf76779SMunechika SUMIKAWA free(ip6af, M_FTABLE); 54682cd038dSYoshinobu Inoue goto dropfrag; 54782cd038dSYoshinobu Inoue } 54882cd038dSYoshinobu Inoue } 549686cdd19SJun-ichiro itojun Hagino #endif 55082cd038dSYoshinobu Inoue 55182cd038dSYoshinobu Inoue insert: 5524b908c8bSRobert Watson #ifdef MAC 5534b908c8bSRobert Watson if (!first_frag) 5544b908c8bSRobert Watson mac_ip6q_update(m, q6); 5554b908c8bSRobert Watson #endif 55682cd038dSYoshinobu Inoue 55782cd038dSYoshinobu Inoue /* 55882cd038dSYoshinobu Inoue * Stick new segment in its place; 55982cd038dSYoshinobu Inoue * check for complete reassembly. 56003c99d76SJonathan T. Looney * If not complete, check fragment limit. 56182cd038dSYoshinobu Inoue * Move to front of packet queue, as we are 56282cd038dSYoshinobu Inoue * the most recently active fragmented packet. 56382cd038dSYoshinobu Inoue */ 56480d7a853SJonathan T. Looney frag6_enq(ip6af, af6->ip6af_up, hash); 5652adfd64fSJonathan T. Looney atomic_add_int(&frag6_nfrags, 1); 5669888c401SHajimu UMEMOTO q6->ip6q_nfrag++; 567686cdd19SJun-ichiro itojun Hagino #if 0 /* xxx */ 56880d7a853SJonathan T. Looney if (q6 != head->ip6q_next) { 56980d7a853SJonathan T. Looney frag6_remque(q6, hash); 57080d7a853SJonathan T. Looney frag6_insque_head(q6, head, hash); 571686cdd19SJun-ichiro itojun Hagino } 572686cdd19SJun-ichiro itojun Hagino #endif 57382cd038dSYoshinobu Inoue next = 0; 57482cd038dSYoshinobu Inoue for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6; 57582cd038dSYoshinobu Inoue af6 = af6->ip6af_down) { 57682cd038dSYoshinobu Inoue if (af6->ip6af_off != next) { 57703c99d76SJonathan T. Looney if (q6->ip6q_nfrag > V_ip6_maxfragsperpacket) { 57803c99d76SJonathan T. Looney IP6STAT_INC(ip6s_fragdropped); 57903c99d76SJonathan T. Looney frag6_freef(q6, hash); 58003c99d76SJonathan T. Looney } 58180d7a853SJonathan T. Looney IP6Q_UNLOCK(hash); 58282cd038dSYoshinobu Inoue return IPPROTO_DONE; 58382cd038dSYoshinobu Inoue } 58482cd038dSYoshinobu Inoue next += af6->ip6af_frglen; 58582cd038dSYoshinobu Inoue } 58682cd038dSYoshinobu Inoue if (af6->ip6af_up->ip6af_mff) { 58703c99d76SJonathan T. Looney if (q6->ip6q_nfrag > V_ip6_maxfragsperpacket) { 58803c99d76SJonathan T. Looney IP6STAT_INC(ip6s_fragdropped); 58903c99d76SJonathan T. Looney frag6_freef(q6, hash); 59003c99d76SJonathan T. Looney } 59180d7a853SJonathan T. Looney IP6Q_UNLOCK(hash); 59282cd038dSYoshinobu Inoue return IPPROTO_DONE; 59382cd038dSYoshinobu Inoue } 59482cd038dSYoshinobu Inoue 59582cd038dSYoshinobu Inoue /* 59682cd038dSYoshinobu Inoue * Reassembly is complete; concatenate fragments. 59782cd038dSYoshinobu Inoue */ 59882cd038dSYoshinobu Inoue ip6af = q6->ip6q_down; 59982cd038dSYoshinobu Inoue t = m = IP6_REASS_MBUF(ip6af); 60082cd038dSYoshinobu Inoue af6 = ip6af->ip6af_down; 60180d7a853SJonathan T. Looney frag6_deq(ip6af, hash); 60282cd038dSYoshinobu Inoue while (af6 != (struct ip6asfrag *)q6) { 6039907aba3SAndrey V. Elsukov m->m_pkthdr.csum_flags &= 6049907aba3SAndrey V. Elsukov IP6_REASS_MBUF(af6)->m_pkthdr.csum_flags; 6059907aba3SAndrey V. Elsukov m->m_pkthdr.csum_data += 6069907aba3SAndrey V. Elsukov IP6_REASS_MBUF(af6)->m_pkthdr.csum_data; 6079907aba3SAndrey V. Elsukov 608686cdd19SJun-ichiro itojun Hagino af6dwn = af6->ip6af_down; 60980d7a853SJonathan T. Looney frag6_deq(af6, hash); 61082cd038dSYoshinobu Inoue while (t->m_next) 61182cd038dSYoshinobu Inoue t = t->m_next; 612ba99cc0bSAlexander V. Chernikov m_adj(IP6_REASS_MBUF(af6), af6->ip6af_offset); 61309b0b8c0SNavdeep Parhar m_demote_pkthdr(IP6_REASS_MBUF(af6)); 614ba99cc0bSAlexander V. Chernikov m_cat(t, IP6_REASS_MBUF(af6)); 615686cdd19SJun-ichiro itojun Hagino free(af6, M_FTABLE); 616686cdd19SJun-ichiro itojun Hagino af6 = af6dwn; 61782cd038dSYoshinobu Inoue } 61882cd038dSYoshinobu Inoue 6199907aba3SAndrey V. Elsukov while (m->m_pkthdr.csum_data & 0xffff0000) 6209907aba3SAndrey V. Elsukov m->m_pkthdr.csum_data = (m->m_pkthdr.csum_data & 0xffff) + 6219907aba3SAndrey V. Elsukov (m->m_pkthdr.csum_data >> 16); 6229907aba3SAndrey V. Elsukov 62382cd038dSYoshinobu Inoue /* adjust offset to point where the original next header starts */ 62482cd038dSYoshinobu Inoue offset = ip6af->ip6af_offset - sizeof(struct ip6_frag); 625686cdd19SJun-ichiro itojun Hagino free(ip6af, M_FTABLE); 626686cdd19SJun-ichiro itojun Hagino ip6 = mtod(m, struct ip6_hdr *); 62782cd038dSYoshinobu Inoue ip6->ip6_plen = htons((u_short)next + offset - sizeof(struct ip6_hdr)); 6285e9510e3SJINMEI Tatuya if (q6->ip6q_ecn == IPTOS_ECN_CE) 6295e9510e3SJINMEI Tatuya ip6->ip6_flow |= htonl(IPTOS_ECN_CE << 20); 63082cd038dSYoshinobu Inoue nxt = q6->ip6q_nxt; 631686cdd19SJun-ichiro itojun Hagino #ifdef notyet 632686cdd19SJun-ichiro itojun Hagino *q6->ip6q_nxtp = (u_char)(nxt & 0xff); 633686cdd19SJun-ichiro itojun Hagino #endif 63482cd038dSYoshinobu Inoue 6350b438b0fSGleb Smirnoff if (ip6_deletefraghdr(m, offset, M_NOWAIT) != 0) { 63680d7a853SJonathan T. Looney frag6_remque(q6, hash); 6372adfd64fSJonathan T. Looney atomic_subtract_int(&frag6_nfrags, q6->ip6q_nfrag); 6384b908c8bSRobert Watson #ifdef MAC 6394b908c8bSRobert Watson mac_ip6q_destroy(q6); 6404b908c8bSRobert Watson #endif 641686cdd19SJun-ichiro itojun Hagino free(q6, M_FTABLE); 64280d7a853SJonathan T. Looney atomic_subtract_int(&V_frag6_nfragpackets, 1); 6430b438b0fSGleb Smirnoff 644686cdd19SJun-ichiro itojun Hagino goto dropfrag; 64582cd038dSYoshinobu Inoue } 64682cd038dSYoshinobu Inoue 64782cd038dSYoshinobu Inoue /* 64882cd038dSYoshinobu Inoue * Store NXT to the original. 64982cd038dSYoshinobu Inoue */ 65068e0e5a6SAndrey V. Elsukov m_copyback(m, ip6_get_prevhdr(m, offset), sizeof(uint8_t), 65168e0e5a6SAndrey V. Elsukov (caddr_t)&nxt); 65282cd038dSYoshinobu Inoue 65380d7a853SJonathan T. Looney frag6_remque(q6, hash); 6542adfd64fSJonathan T. Looney atomic_subtract_int(&frag6_nfrags, q6->ip6q_nfrag); 6554b908c8bSRobert Watson #ifdef MAC 6564b908c8bSRobert Watson mac_ip6q_reassemble(q6, m); 6574b908c8bSRobert Watson mac_ip6q_destroy(q6); 6584b908c8bSRobert Watson #endif 65982cd038dSYoshinobu Inoue free(q6, M_FTABLE); 66080d7a853SJonathan T. Looney atomic_subtract_int(&V_frag6_nfragpackets, 1); 66182cd038dSYoshinobu Inoue 66282cd038dSYoshinobu Inoue if (m->m_flags & M_PKTHDR) { /* Isn't it always true? */ 66382cd038dSYoshinobu Inoue int plen = 0; 66482cd038dSYoshinobu Inoue for (t = m; t; t = t->m_next) 66582cd038dSYoshinobu Inoue plen += t->m_len; 66682cd038dSYoshinobu Inoue m->m_pkthdr.len = plen; 66782cd038dSYoshinobu Inoue } 66882cd038dSYoshinobu Inoue 669aaa46574SAdrian Chadd #ifdef RSS 670aaa46574SAdrian Chadd mtag = m_tag_alloc(MTAG_ABI_IPV6, IPV6_TAG_DIRECT, sizeof(*ip6dc), 671aaa46574SAdrian Chadd M_NOWAIT); 672aaa46574SAdrian Chadd if (mtag == NULL) 673aaa46574SAdrian Chadd goto dropfrag; 674aaa46574SAdrian Chadd 675aaa46574SAdrian Chadd ip6dc = (struct ip6_direct_ctx *)(mtag + 1); 676aaa46574SAdrian Chadd ip6dc->ip6dc_nxt = nxt; 677aaa46574SAdrian Chadd ip6dc->ip6dc_off = offset; 678aaa46574SAdrian Chadd 679aaa46574SAdrian Chadd m_tag_prepend(m, mtag); 680aaa46574SAdrian Chadd #endif 681aaa46574SAdrian Chadd 68280d7a853SJonathan T. Looney IP6Q_UNLOCK(hash); 6839cb8d207SAndrey V. Elsukov IP6STAT_INC(ip6s_reassembled); 68482cd038dSYoshinobu Inoue in6_ifstat_inc(dstifp, ifs6_reass_ok); 68582cd038dSYoshinobu Inoue 686aaa46574SAdrian Chadd #ifdef RSS 687aaa46574SAdrian Chadd /* 688aaa46574SAdrian Chadd * Queue/dispatch for reprocessing. 689aaa46574SAdrian Chadd */ 690aaa46574SAdrian Chadd netisr_dispatch(NETISR_IPV6_DIRECT, m); 691aaa46574SAdrian Chadd return IPPROTO_DONE; 692aaa46574SAdrian Chadd #endif 693aaa46574SAdrian Chadd 69482cd038dSYoshinobu Inoue /* 69582cd038dSYoshinobu Inoue * Tell launch routine the next header 69682cd038dSYoshinobu Inoue */ 69782cd038dSYoshinobu Inoue 69882cd038dSYoshinobu Inoue *mp = m; 69982cd038dSYoshinobu Inoue *offp = offset; 70082cd038dSYoshinobu Inoue 70182cd038dSYoshinobu Inoue return nxt; 70282cd038dSYoshinobu Inoue 70382cd038dSYoshinobu Inoue dropfrag: 70480d7a853SJonathan T. Looney IP6Q_UNLOCK(hash); 70582cd038dSYoshinobu Inoue in6_ifstat_inc(dstifp, ifs6_reass_fail); 7069cb8d207SAndrey V. Elsukov IP6STAT_INC(ip6s_fragdropped); 70782cd038dSYoshinobu Inoue m_freem(m); 70882cd038dSYoshinobu Inoue return IPPROTO_DONE; 70982cd038dSYoshinobu Inoue } 71082cd038dSYoshinobu Inoue 71182cd038dSYoshinobu Inoue /* 71282cd038dSYoshinobu Inoue * Free a fragment reassembly header and all 71382cd038dSYoshinobu Inoue * associated datagrams. 71482cd038dSYoshinobu Inoue */ 71580d7a853SJonathan T. Looney static void 71680d7a853SJonathan T. Looney frag6_freef(struct ip6q *q6, uint32_t bucket) 71782cd038dSYoshinobu Inoue { 71882cd038dSYoshinobu Inoue struct ip6asfrag *af6, *down6; 71982cd038dSYoshinobu Inoue 72080d7a853SJonathan T. Looney IP6Q_LOCK_ASSERT(bucket); 7219888c401SHajimu UMEMOTO 72282cd038dSYoshinobu Inoue for (af6 = q6->ip6q_down; af6 != (struct ip6asfrag *)q6; 72382cd038dSYoshinobu Inoue af6 = down6) { 72482cd038dSYoshinobu Inoue struct mbuf *m = IP6_REASS_MBUF(af6); 72582cd038dSYoshinobu Inoue 72682cd038dSYoshinobu Inoue down6 = af6->ip6af_down; 72780d7a853SJonathan T. Looney frag6_deq(af6, bucket); 72882cd038dSYoshinobu Inoue 72982cd038dSYoshinobu Inoue /* 73082cd038dSYoshinobu Inoue * Return ICMP time exceeded error for the 1st fragment. 73182cd038dSYoshinobu Inoue * Just free other fragments. 73282cd038dSYoshinobu Inoue */ 73382cd038dSYoshinobu Inoue if (af6->ip6af_off == 0) { 73482cd038dSYoshinobu Inoue struct ip6_hdr *ip6; 73582cd038dSYoshinobu Inoue 73682cd038dSYoshinobu Inoue /* adjust pointer */ 73782cd038dSYoshinobu Inoue ip6 = mtod(m, struct ip6_hdr *); 73882cd038dSYoshinobu Inoue 73906cd0a3fSHajimu UMEMOTO /* restore source and destination addresses */ 74082cd038dSYoshinobu Inoue ip6->ip6_src = q6->ip6q_src; 74182cd038dSYoshinobu Inoue ip6->ip6_dst = q6->ip6q_dst; 74282cd038dSYoshinobu Inoue 74382cd038dSYoshinobu Inoue icmp6_error(m, ICMP6_TIME_EXCEEDED, 74482cd038dSYoshinobu Inoue ICMP6_TIME_EXCEED_REASSEMBLY, 0); 745686cdd19SJun-ichiro itojun Hagino } else 74682cd038dSYoshinobu Inoue m_freem(m); 747686cdd19SJun-ichiro itojun Hagino free(af6, M_FTABLE); 74882cd038dSYoshinobu Inoue } 74980d7a853SJonathan T. Looney frag6_remque(q6, bucket); 7502adfd64fSJonathan T. Looney atomic_subtract_int(&frag6_nfrags, q6->ip6q_nfrag); 7514b908c8bSRobert Watson #ifdef MAC 7524b908c8bSRobert Watson mac_ip6q_destroy(q6); 7534b908c8bSRobert Watson #endif 75482cd038dSYoshinobu Inoue free(q6, M_FTABLE); 75580d7a853SJonathan T. Looney atomic_subtract_int(&V_frag6_nfragpackets, 1); 75682cd038dSYoshinobu Inoue } 75782cd038dSYoshinobu Inoue 75882cd038dSYoshinobu Inoue /* 75982cd038dSYoshinobu Inoue * Put an ip fragment on a reassembly chain. 76082cd038dSYoshinobu Inoue * Like insque, but pointers in middle of structure. 76182cd038dSYoshinobu Inoue */ 76280d7a853SJonathan T. Looney static void 76380d7a853SJonathan T. Looney frag6_enq(struct ip6asfrag *af6, struct ip6asfrag *up6, 76480d7a853SJonathan T. Looney uint32_t bucket __unused) 76582cd038dSYoshinobu Inoue { 7669888c401SHajimu UMEMOTO 76780d7a853SJonathan T. Looney IP6Q_LOCK_ASSERT(bucket); 7689888c401SHajimu UMEMOTO 76982cd038dSYoshinobu Inoue af6->ip6af_up = up6; 77082cd038dSYoshinobu Inoue af6->ip6af_down = up6->ip6af_down; 77182cd038dSYoshinobu Inoue up6->ip6af_down->ip6af_up = af6; 77282cd038dSYoshinobu Inoue up6->ip6af_down = af6; 77382cd038dSYoshinobu Inoue } 77482cd038dSYoshinobu Inoue 77582cd038dSYoshinobu Inoue /* 77682cd038dSYoshinobu Inoue * To frag6_enq as remque is to insque. 77782cd038dSYoshinobu Inoue */ 77880d7a853SJonathan T. Looney static void 77980d7a853SJonathan T. Looney frag6_deq(struct ip6asfrag *af6, uint32_t bucket __unused) 78082cd038dSYoshinobu Inoue { 7819888c401SHajimu UMEMOTO 78280d7a853SJonathan T. Looney IP6Q_LOCK_ASSERT(bucket); 7839888c401SHajimu UMEMOTO 78482cd038dSYoshinobu Inoue af6->ip6af_up->ip6af_down = af6->ip6af_down; 78582cd038dSYoshinobu Inoue af6->ip6af_down->ip6af_up = af6->ip6af_up; 78682cd038dSYoshinobu Inoue } 78782cd038dSYoshinobu Inoue 78880d7a853SJonathan T. Looney static void 7891e9f3b73SJonathan T. Looney frag6_insque_head(struct ip6q *new, struct ip6q *old, uint32_t bucket) 79082cd038dSYoshinobu Inoue { 7919888c401SHajimu UMEMOTO 79280d7a853SJonathan T. Looney IP6Q_LOCK_ASSERT(bucket); 79380d7a853SJonathan T. Looney KASSERT(IP6Q_HEAD(bucket) == old, 79480d7a853SJonathan T. Looney ("%s: attempt to insert at head of wrong bucket" 79580d7a853SJonathan T. Looney " (bucket=%u, old=%p)", __func__, bucket, old)); 7969888c401SHajimu UMEMOTO 79782cd038dSYoshinobu Inoue new->ip6q_prev = old; 79882cd038dSYoshinobu Inoue new->ip6q_next = old->ip6q_next; 79982cd038dSYoshinobu Inoue old->ip6q_next->ip6q_prev= new; 80082cd038dSYoshinobu Inoue old->ip6q_next = new; 8011e9f3b73SJonathan T. Looney V_ip6q[bucket].count++; 80282cd038dSYoshinobu Inoue } 80382cd038dSYoshinobu Inoue 80480d7a853SJonathan T. Looney static void 8051e9f3b73SJonathan T. Looney frag6_remque(struct ip6q *p6, uint32_t bucket) 80682cd038dSYoshinobu Inoue { 8079888c401SHajimu UMEMOTO 80880d7a853SJonathan T. Looney IP6Q_LOCK_ASSERT(bucket); 8099888c401SHajimu UMEMOTO 81082cd038dSYoshinobu Inoue p6->ip6q_prev->ip6q_next = p6->ip6q_next; 81182cd038dSYoshinobu Inoue p6->ip6q_next->ip6q_prev = p6->ip6q_prev; 8121e9f3b73SJonathan T. Looney V_ip6q[bucket].count--; 81382cd038dSYoshinobu Inoue } 81482cd038dSYoshinobu Inoue 81582cd038dSYoshinobu Inoue /* 81633841545SHajimu UMEMOTO * IPv6 reassembling timer processing; 81782cd038dSYoshinobu Inoue * if a timer expires on a reassembly 81882cd038dSYoshinobu Inoue * queue, discard it. 81982cd038dSYoshinobu Inoue */ 82082cd038dSYoshinobu Inoue void 8211272577eSXin LI frag6_slowtimo(void) 82282cd038dSYoshinobu Inoue { 8238b615593SMarko Zec VNET_ITERATOR_DECL(vnet_iter); 82480d7a853SJonathan T. Looney struct ip6q *head, *q6; 82580d7a853SJonathan T. Looney int i; 82682cd038dSYoshinobu Inoue 8275ee847d3SRobert Watson VNET_LIST_RLOCK_NOSLEEP(); 8288b615593SMarko Zec VNET_FOREACH(vnet_iter) { 8298b615593SMarko Zec CURVNET_SET(vnet_iter); 83080d7a853SJonathan T. Looney for (i = 0; i < IP6REASS_NHASH; i++) { 83180d7a853SJonathan T. Looney IP6Q_LOCK(i); 83280d7a853SJonathan T. Looney head = IP6Q_HEAD(i); 83380d7a853SJonathan T. Looney q6 = head->ip6q_next; 8341e9f3b73SJonathan T. Looney if (q6 == NULL) { 8351e9f3b73SJonathan T. Looney /* 8361e9f3b73SJonathan T. Looney * XXXJTL: This should never happen. This 8371e9f3b73SJonathan T. Looney * should turn into an assertion. 8381e9f3b73SJonathan T. Looney */ 8391e9f3b73SJonathan T. Looney IP6Q_UNLOCK(i); 8401e9f3b73SJonathan T. Looney continue; 8411e9f3b73SJonathan T. Looney } 84280d7a853SJonathan T. Looney while (q6 != head) { 84382cd038dSYoshinobu Inoue --q6->ip6q_ttl; 84482cd038dSYoshinobu Inoue q6 = q6->ip6q_next; 84582cd038dSYoshinobu Inoue if (q6->ip6q_prev->ip6q_ttl == 0) { 8469cb8d207SAndrey V. Elsukov IP6STAT_INC(ip6s_fragtimeout); 84782cd038dSYoshinobu Inoue /* XXX in6_ifstat_inc(ifp, ifs6_reass_fail) */ 84880d7a853SJonathan T. Looney frag6_freef(q6->ip6q_prev, i); 84982cd038dSYoshinobu Inoue } 85082cd038dSYoshinobu Inoue } 85182cd038dSYoshinobu Inoue /* 85282cd038dSYoshinobu Inoue * If we are over the maximum number of fragments 85382cd038dSYoshinobu Inoue * (due to the limit being lowered), drain off 85482cd038dSYoshinobu Inoue * enough to get down to the new limit. 8551e9f3b73SJonathan T. Looney * Note that we drain all reassembly queues if 8561e9f3b73SJonathan T. Looney * maxfragpackets is 0 (fragmentation is disabled), 8571e9f3b73SJonathan T. Looney * and don't enforce a limit when maxfragpackets 8581e9f3b73SJonathan T. Looney * is negative. 85982cd038dSYoshinobu Inoue */ 8601e9f3b73SJonathan T. Looney while ((V_ip6_maxfragpackets == 0 || 8611e9f3b73SJonathan T. Looney (V_ip6_maxfragpackets > 0 && 8621e9f3b73SJonathan T. Looney V_ip6q[i].count > V_ip6_maxfragbucketsize)) && 86380d7a853SJonathan T. Looney head->ip6q_prev != head) { 8649cb8d207SAndrey V. Elsukov IP6STAT_INC(ip6s_fragoverflow); 86582cd038dSYoshinobu Inoue /* XXX in6_ifstat_inc(ifp, ifs6_reass_fail) */ 86680d7a853SJonathan T. Looney frag6_freef(head->ip6q_prev, i); 86780d7a853SJonathan T. Looney } 86880d7a853SJonathan T. Looney IP6Q_UNLOCK(i); 86982cd038dSYoshinobu Inoue } 8701e9f3b73SJonathan T. Looney /* 8711e9f3b73SJonathan T. Looney * If we are still over the maximum number of fragmented 8721e9f3b73SJonathan T. Looney * packets, drain off enough to get down to the new limit. 8731e9f3b73SJonathan T. Looney */ 8741e9f3b73SJonathan T. Looney i = 0; 8751e9f3b73SJonathan T. Looney while (V_ip6_maxfragpackets >= 0 && 8761e9f3b73SJonathan T. Looney atomic_load_int(&V_frag6_nfragpackets) > 8771e9f3b73SJonathan T. Looney (u_int)V_ip6_maxfragpackets) { 8781e9f3b73SJonathan T. Looney IP6Q_LOCK(i); 8791e9f3b73SJonathan T. Looney head = IP6Q_HEAD(i); 8801e9f3b73SJonathan T. Looney if (head->ip6q_prev != head) { 8811e9f3b73SJonathan T. Looney IP6STAT_INC(ip6s_fragoverflow); 8821e9f3b73SJonathan T. Looney /* XXX in6_ifstat_inc(ifp, ifs6_reass_fail) */ 8831e9f3b73SJonathan T. Looney frag6_freef(head->ip6q_prev, i); 8841e9f3b73SJonathan T. Looney } 8851e9f3b73SJonathan T. Looney IP6Q_UNLOCK(i); 8861e9f3b73SJonathan T. Looney i = (i + 1) % IP6REASS_NHASH; 8871e9f3b73SJonathan T. Looney } 8888b615593SMarko Zec CURVNET_RESTORE(); 8898b615593SMarko Zec } 8905ee847d3SRobert Watson VNET_LIST_RUNLOCK_NOSLEEP(); 89182cd038dSYoshinobu Inoue } 89282cd038dSYoshinobu Inoue 89382cd038dSYoshinobu Inoue /* 89482cd038dSYoshinobu Inoue * Drain off all datagram fragments. 89582cd038dSYoshinobu Inoue */ 89682cd038dSYoshinobu Inoue void 8971272577eSXin LI frag6_drain(void) 89882cd038dSYoshinobu Inoue { 8998b615593SMarko Zec VNET_ITERATOR_DECL(vnet_iter); 90080d7a853SJonathan T. Looney struct ip6q *head; 90180d7a853SJonathan T. Looney int i; 9029888c401SHajimu UMEMOTO 9035ee847d3SRobert Watson VNET_LIST_RLOCK_NOSLEEP(); 9048b615593SMarko Zec VNET_FOREACH(vnet_iter) { 9058b615593SMarko Zec CURVNET_SET(vnet_iter); 90680d7a853SJonathan T. Looney for (i = 0; i < IP6REASS_NHASH; i++) { 90780d7a853SJonathan T. Looney if (IP6Q_TRYLOCK(i) == 0) 90880d7a853SJonathan T. Looney continue; 90980d7a853SJonathan T. Looney head = IP6Q_HEAD(i); 91080d7a853SJonathan T. Looney while (head->ip6q_next != head) { 9119cb8d207SAndrey V. Elsukov IP6STAT_INC(ip6s_fragdropped); 91282cd038dSYoshinobu Inoue /* XXX in6_ifstat_inc(ifp, ifs6_reass_fail) */ 91380d7a853SJonathan T. Looney frag6_freef(head->ip6q_next, i); 91480d7a853SJonathan T. Looney } 91580d7a853SJonathan T. Looney IP6Q_UNLOCK(i); 91682cd038dSYoshinobu Inoue } 9178b615593SMarko Zec CURVNET_RESTORE(); 9188b615593SMarko Zec } 9195ee847d3SRobert Watson VNET_LIST_RUNLOCK_NOSLEEP(); 92082cd038dSYoshinobu Inoue } 921e5ee7060SGleb Smirnoff 922e5ee7060SGleb Smirnoff int 923e5ee7060SGleb Smirnoff ip6_deletefraghdr(struct mbuf *m, int offset, int wait) 924e5ee7060SGleb Smirnoff { 925e5ee7060SGleb Smirnoff struct ip6_hdr *ip6 = mtod(m, struct ip6_hdr *); 926e5ee7060SGleb Smirnoff struct mbuf *t; 927e5ee7060SGleb Smirnoff 928e5ee7060SGleb Smirnoff /* Delete frag6 header. */ 929e5ee7060SGleb Smirnoff if (m->m_len >= offset + sizeof(struct ip6_frag)) { 930e5ee7060SGleb Smirnoff /* This is the only possible case with !PULLDOWN_TEST. */ 931e5ee7060SGleb Smirnoff bcopy(ip6, (char *)ip6 + sizeof(struct ip6_frag), 932e5ee7060SGleb Smirnoff offset); 933e5ee7060SGleb Smirnoff m->m_data += sizeof(struct ip6_frag); 934e5ee7060SGleb Smirnoff m->m_len -= sizeof(struct ip6_frag); 935e5ee7060SGleb Smirnoff } else { 936e5ee7060SGleb Smirnoff /* This comes with no copy if the boundary is on cluster. */ 937e5ee7060SGleb Smirnoff if ((t = m_split(m, offset, wait)) == NULL) 938e5ee7060SGleb Smirnoff return (ENOMEM); 939e5ee7060SGleb Smirnoff m_adj(t, sizeof(struct ip6_frag)); 940e5ee7060SGleb Smirnoff m_cat(m, t); 941e5ee7060SGleb Smirnoff } 942e5ee7060SGleb Smirnoff 943a4061289SAndrey V. Elsukov m->m_flags |= M_FRAGMENTED; 944e5ee7060SGleb Smirnoff return (0); 945e5ee7060SGleb Smirnoff } 946