Home | History | Annotate | Line # | Download | only in netipsec
ipsec_input.c revision 1.7
      1  1.7   thorpej /*	$NetBSD: ipsec_input.c,v 1.7 2004/03/01 23:20:53 thorpej Exp $	*/
      2  1.7   thorpej /*	$FreeBSD: /usr/local/www/cvsroot/FreeBSD/src/sys/netipsec/ipsec_input.c,v 1.2.4.2 2003/03/28 20:32:53 sam Exp $	*/
      3  1.7   thorpej /*	$OpenBSD: ipsec_input.c,v 1.63 2003/02/20 18:35:43 deraadt Exp $	*/
      4  1.7   thorpej 
      5  1.7   thorpej /*
      6  1.7   thorpej  * The authors of this code are John Ioannidis (ji (at) tla.org),
      7  1.7   thorpej  * Angelos D. Keromytis (kermit (at) csd.uch.gr) and
      8  1.7   thorpej  * Niels Provos (provos (at) physnet.uni-hamburg.de).
      9  1.7   thorpej  *
     10  1.7   thorpej  * This code was written by John Ioannidis for BSD/OS in Athens, Greece,
     11  1.7   thorpej  * in November 1995.
     12  1.7   thorpej  *
     13  1.7   thorpej  * Ported to OpenBSD and NetBSD, with additional transforms, in December 1996,
     14  1.7   thorpej  * by Angelos D. Keromytis.
     15  1.7   thorpej  *
     16  1.7   thorpej  * Additional transforms and features in 1997 and 1998 by Angelos D. Keromytis
     17  1.7   thorpej  * and Niels Provos.
     18  1.7   thorpej  *
     19  1.7   thorpej  * Additional features in 1999 by Angelos D. Keromytis.
     20  1.7   thorpej  *
     21  1.7   thorpej  * Copyright (C) 1995, 1996, 1997, 1998, 1999 by John Ioannidis,
     22  1.7   thorpej  * Angelos D. Keromytis and Niels Provos.
     23  1.7   thorpej  * Copyright (c) 2001, Angelos D. Keromytis.
     24  1.7   thorpej  *
     25  1.7   thorpej  * Permission to use, copy, and modify this software with or without fee
     26  1.7   thorpej  * is hereby granted, provided that this entire notice is included in
     27  1.7   thorpej  * all copies of any software which is or includes a copy or
     28  1.7   thorpej  * modification of this software.
     29  1.7   thorpej  * You may use this code under the GNU public license if you so wish. Please
     30  1.7   thorpej  * contribute changes back to the authors under this freer than GPL license
     31  1.7   thorpej  * so that we may further the use of strong encryption without limitations to
     32  1.7   thorpej  * all.
     33  1.7   thorpej  *
     34  1.7   thorpej  * THIS SOFTWARE IS BEING PROVIDED "AS IS", WITHOUT ANY EXPRESS OR
     35  1.7   thorpej  * IMPLIED WARRANTY. IN PARTICULAR, NONE OF THE AUTHORS MAKES ANY
     36  1.7   thorpej  * REPRESENTATION OR WARRANTY OF ANY KIND CONCERNING THE
     37  1.7   thorpej  * MERCHANTABILITY OF THIS SOFTWARE OR ITS FITNESS FOR ANY PARTICULAR
     38  1.7   thorpej  * PURPOSE.
     39  1.7   thorpej  */
     40  1.1  jonathan 
     41  1.1  jonathan #include <sys/cdefs.h>
     42  1.7   thorpej __KERNEL_RCSID(0, "$NetBSD: ipsec_input.c,v 1.7 2004/03/01 23:20:53 thorpej Exp $");
     43  1.1  jonathan 
     44  1.1  jonathan /*
     45  1.1  jonathan  * IPsec input processing.
     46  1.1  jonathan  */
     47  1.1  jonathan 
     48  1.1  jonathan #include "opt_inet.h"
     49  1.4  jonathan #ifdef __FreeBSD__
     50  1.1  jonathan #include "opt_inet6.h"
     51  1.4  jonathan #endif
     52  1.1  jonathan #include "opt_ipsec.h"
     53  1.1  jonathan 
     54  1.1  jonathan #include <sys/param.h>
     55  1.1  jonathan #include <sys/systm.h>
     56  1.1  jonathan #include <sys/malloc.h>
     57  1.1  jonathan #include <sys/mbuf.h>
     58  1.1  jonathan #include <sys/domain.h>
     59  1.1  jonathan #include <sys/protosw.h>
     60  1.1  jonathan #include <sys/socket.h>
     61  1.1  jonathan #include <sys/errno.h>
     62  1.1  jonathan #include <sys/syslog.h>
     63  1.1  jonathan 
     64  1.1  jonathan #include <net/if.h>
     65  1.1  jonathan #include <net/route.h>
     66  1.1  jonathan #include <net/netisr.h>
     67  1.1  jonathan 
     68  1.1  jonathan #include <netinet/in.h>
     69  1.1  jonathan #include <netinet/in_systm.h>
     70  1.1  jonathan #include <netinet/ip.h>
     71  1.1  jonathan #include <netinet/ip_var.h>
     72  1.1  jonathan #include <netinet/in_var.h>
     73  1.1  jonathan 
     74  1.1  jonathan #include <netinet/ip6.h>
     75  1.1  jonathan #ifdef INET6
     76  1.1  jonathan #include <netinet6/ip6_var.h>
     77  1.1  jonathan #endif
     78  1.1  jonathan #include <netinet/in_pcb.h>
     79  1.1  jonathan #ifdef INET6
     80  1.1  jonathan #include <netinet/icmp6.h>
     81  1.1  jonathan #endif
     82  1.1  jonathan 
     83  1.1  jonathan #include <netipsec/ipsec.h>
     84  1.1  jonathan #ifdef INET6
     85  1.1  jonathan #include <netipsec/ipsec6.h>
     86  1.1  jonathan #endif
     87  1.1  jonathan #include <netipsec/ah_var.h>
     88  1.1  jonathan #include <netipsec/esp.h>
     89  1.1  jonathan #include <netipsec/esp_var.h>
     90  1.1  jonathan #include <netipsec/ipcomp_var.h>
     91  1.1  jonathan 
     92  1.6       tls #include <netipsec/key.h>
     93  1.6       tls #include <netipsec/keydb.h>
     94  1.1  jonathan 
     95  1.1  jonathan #include <netipsec/xform.h>
     96  1.1  jonathan #include <netinet6/ip6protosw.h>
     97  1.1  jonathan 
     98  1.1  jonathan #include <netipsec/ipsec_osdep.h>
     99  1.1  jonathan 
    100  1.1  jonathan #include <machine/stdarg.h>
    101  1.1  jonathan 
    102  1.1  jonathan #include <net/net_osdep.h>
    103  1.1  jonathan 
    104  1.1  jonathan #define IPSEC_ISTAT(p,x,y,z) ((p) == IPPROTO_ESP ? (x)++ : \
    105  1.1  jonathan 			    (p) == IPPROTO_AH ? (y)++ : (z)++)
    106  1.1  jonathan 
    107  1.1  jonathan /*
    108  1.1  jonathan  * ipsec_common_input gets called when an IPsec-protected packet
    109  1.1  jonathan  * is received by IPv4 or IPv6.  It's job is to find the right SA
    110  1.1  jonathan  # and call the appropriate transform.  The transform callback
    111  1.1  jonathan  * takes care of further processing (like ingress filtering).
    112  1.1  jonathan  */
    113  1.1  jonathan static int
    114  1.1  jonathan ipsec_common_input(struct mbuf *m, int skip, int protoff, int af, int sproto)
    115  1.1  jonathan {
    116  1.1  jonathan 	union sockaddr_union dst_address;
    117  1.1  jonathan 	struct secasvar *sav;
    118  1.1  jonathan 	u_int32_t spi;
    119  1.1  jonathan 	int s, error;
    120  1.1  jonathan 
    121  1.1  jonathan 	IPSEC_ISTAT(sproto, espstat.esps_input, ahstat.ahs_input,
    122  1.1  jonathan 		ipcompstat.ipcomps_input);
    123  1.1  jonathan 
    124  1.1  jonathan 	IPSEC_ASSERT(m != NULL, ("ipsec_common_input: null packet"));
    125  1.1  jonathan 
    126  1.1  jonathan 	if ((sproto == IPPROTO_ESP && !esp_enable) ||
    127  1.1  jonathan 	    (sproto == IPPROTO_AH && !ah_enable) ||
    128  1.1  jonathan 	    (sproto == IPPROTO_IPCOMP && !ipcomp_enable)) {
    129  1.1  jonathan 		m_freem(m);
    130  1.1  jonathan 		IPSEC_ISTAT(sproto, espstat.esps_pdrops, ahstat.ahs_pdrops,
    131  1.1  jonathan 		    ipcompstat.ipcomps_pdrops);
    132  1.1  jonathan 		return EOPNOTSUPP;
    133  1.1  jonathan 	}
    134  1.1  jonathan 
    135  1.1  jonathan 	if (m->m_pkthdr.len - skip < 2 * sizeof (u_int32_t)) {
    136  1.1  jonathan 		m_freem(m);
    137  1.1  jonathan 		IPSEC_ISTAT(sproto, espstat.esps_hdrops, ahstat.ahs_hdrops,
    138  1.1  jonathan 		    ipcompstat.ipcomps_hdrops);
    139  1.1  jonathan 		DPRINTF(("ipsec_common_input: packet too small\n"));
    140  1.1  jonathan 		return EINVAL;
    141  1.1  jonathan 	}
    142  1.1  jonathan 
    143  1.1  jonathan 	/* Retrieve the SPI from the relevant IPsec header */
    144  1.1  jonathan 	if (sproto == IPPROTO_ESP)
    145  1.1  jonathan 		m_copydata(m, skip, sizeof(u_int32_t), (caddr_t) &spi);
    146  1.1  jonathan 	else if (sproto == IPPROTO_AH)
    147  1.1  jonathan 		m_copydata(m, skip + sizeof(u_int32_t), sizeof(u_int32_t),
    148  1.1  jonathan 		    (caddr_t) &spi);
    149  1.1  jonathan 	else if (sproto == IPPROTO_IPCOMP) {
    150  1.1  jonathan 		u_int16_t cpi;
    151  1.1  jonathan 		m_copydata(m, skip + sizeof(u_int16_t), sizeof(u_int16_t),
    152  1.1  jonathan 		    (caddr_t) &cpi);
    153  1.1  jonathan 		spi = ntohl(htons(cpi));
    154  1.1  jonathan 	}
    155  1.1  jonathan 
    156  1.1  jonathan 	/*
    157  1.1  jonathan 	 * Find the SA and (indirectly) call the appropriate
    158  1.1  jonathan 	 * kernel crypto routine. The resulting mbuf chain is a valid
    159  1.1  jonathan 	 * IP packet ready to go through input processing.
    160  1.1  jonathan 	 */
    161  1.1  jonathan 	bzero(&dst_address, sizeof (dst_address));
    162  1.1  jonathan 	dst_address.sa.sa_family = af;
    163  1.1  jonathan 	switch (af) {
    164  1.1  jonathan #ifdef INET
    165  1.1  jonathan 	case AF_INET:
    166  1.1  jonathan 		dst_address.sin.sin_len = sizeof(struct sockaddr_in);
    167  1.1  jonathan 		m_copydata(m, offsetof(struct ip, ip_dst),
    168  1.1  jonathan 		    sizeof(struct in_addr),
    169  1.1  jonathan 		    (caddr_t) &dst_address.sin.sin_addr);
    170  1.1  jonathan 		break;
    171  1.1  jonathan #endif /* INET */
    172  1.1  jonathan #ifdef INET6
    173  1.1  jonathan 	case AF_INET6:
    174  1.1  jonathan 		dst_address.sin6.sin6_len = sizeof(struct sockaddr_in6);
    175  1.1  jonathan 		m_copydata(m, offsetof(struct ip6_hdr, ip6_dst),
    176  1.1  jonathan 		    sizeof(struct in6_addr),
    177  1.1  jonathan 		    (caddr_t) &dst_address.sin6.sin6_addr);
    178  1.1  jonathan 		break;
    179  1.1  jonathan #endif /* INET6 */
    180  1.1  jonathan 	default:
    181  1.1  jonathan 		DPRINTF(("ipsec_common_input: unsupported protocol "
    182  1.1  jonathan 			"family %u\n", af));
    183  1.1  jonathan 		m_freem(m);
    184  1.1  jonathan 		IPSEC_ISTAT(sproto, espstat.esps_nopf, ahstat.ahs_nopf,
    185  1.1  jonathan 		    ipcompstat.ipcomps_nopf);
    186  1.1  jonathan 		return EPFNOSUPPORT;
    187  1.1  jonathan 	}
    188  1.1  jonathan 
    189  1.1  jonathan 	s = splsoftnet();
    190  1.1  jonathan 
    191  1.1  jonathan 	/* NB: only pass dst since key_allocsa follows RFC2401 */
    192  1.1  jonathan 	sav = KEY_ALLOCSA(&dst_address, sproto, spi);
    193  1.1  jonathan 	if (sav == NULL) {
    194  1.1  jonathan 		DPRINTF(("ipsec_common_input: no key association found for"
    195  1.1  jonathan 			  " SA %s/%08lx/%u\n",
    196  1.1  jonathan 			  ipsec_address(&dst_address),
    197  1.1  jonathan 			  (u_long) ntohl(spi), sproto));
    198  1.1  jonathan 		IPSEC_ISTAT(sproto, espstat.esps_notdb, ahstat.ahs_notdb,
    199  1.1  jonathan 		    ipcompstat.ipcomps_notdb);
    200  1.1  jonathan 		splx(s);
    201  1.1  jonathan 		m_freem(m);
    202  1.1  jonathan 		return ENOENT;
    203  1.1  jonathan 	}
    204  1.1  jonathan 
    205  1.1  jonathan 	if (sav->tdb_xform == NULL) {
    206  1.1  jonathan 		DPRINTF(("ipsec_common_input: attempted to use uninitialized"
    207  1.1  jonathan 			 " SA %s/%08lx/%u\n",
    208  1.1  jonathan 			 ipsec_address(&dst_address),
    209  1.1  jonathan 			 (u_long) ntohl(spi), sproto));
    210  1.1  jonathan 		IPSEC_ISTAT(sproto, espstat.esps_noxform, ahstat.ahs_noxform,
    211  1.1  jonathan 		    ipcompstat.ipcomps_noxform);
    212  1.1  jonathan 		KEY_FREESAV(&sav);
    213  1.1  jonathan 		splx(s);
    214  1.1  jonathan 		m_freem(m);
    215  1.1  jonathan 		return ENXIO;
    216  1.1  jonathan 	}
    217  1.1  jonathan 
    218  1.1  jonathan 	/*
    219  1.1  jonathan 	 * Call appropriate transform and return -- callback takes care of
    220  1.1  jonathan 	 * everything else.
    221  1.1  jonathan 	 */
    222  1.1  jonathan 	error = (*sav->tdb_xform->xf_input)(m, sav, skip, protoff);
    223  1.1  jonathan 	KEY_FREESAV(&sav);
    224  1.1  jonathan 	splx(s);
    225  1.1  jonathan 	return error;
    226  1.1  jonathan }
    227  1.1  jonathan 
    228  1.1  jonathan #ifdef INET
    229  1.1  jonathan /*
    230  1.1  jonathan  * Common input handler for IPv4 AH, ESP, and IPCOMP.
    231  1.1  jonathan  */
    232  1.2  jonathan void
    233  1.1  jonathan ipsec4_common_input(struct mbuf *m, ...)
    234  1.1  jonathan {
    235  1.1  jonathan 	va_list ap;
    236  1.1  jonathan 	int off, nxt;
    237  1.1  jonathan 
    238  1.1  jonathan 	va_start(ap, m);
    239  1.1  jonathan 	off = va_arg(ap, int);
    240  1.1  jonathan 	nxt = va_arg(ap, int);
    241  1.1  jonathan 	va_end(ap);
    242  1.1  jonathan 
    243  1.2  jonathan 	(void) ipsec_common_input(m, off, offsetof(struct ip, ip_p),
    244  1.1  jonathan 				  AF_INET, nxt);
    245  1.1  jonathan }
    246  1.1  jonathan 
    247  1.1  jonathan /*
    248  1.1  jonathan  * IPsec input callback for INET protocols.
    249  1.1  jonathan  * This routine is called as the transform callback.
    250  1.1  jonathan  * Takes care of filtering and other sanity checks on
    251  1.1  jonathan  * the processed packet.
    252  1.1  jonathan  */
    253  1.1  jonathan int
    254  1.1  jonathan ipsec4_common_input_cb(struct mbuf *m, struct secasvar *sav,
    255  1.1  jonathan 			int skip, int protoff, struct m_tag *mt)
    256  1.1  jonathan {
    257  1.1  jonathan 	int prot, af, sproto;
    258  1.1  jonathan 	struct ip *ip;
    259  1.1  jonathan 	struct m_tag *mtag;
    260  1.1  jonathan 	struct tdb_ident *tdbi;
    261  1.1  jonathan 	struct secasindex *saidx;
    262  1.1  jonathan 	int error;
    263  1.1  jonathan 
    264  1.1  jonathan 	IPSEC_SPLASSERT_SOFTNET("ipsec4_common_input_cb");
    265  1.1  jonathan 
    266  1.1  jonathan 	IPSEC_ASSERT(m != NULL, ("ipsec4_common_input_cb: null mbuf"));
    267  1.1  jonathan 	IPSEC_ASSERT(sav != NULL, ("ipsec4_common_input_cb: null SA"));
    268  1.1  jonathan 	IPSEC_ASSERT(sav->sah != NULL, ("ipsec4_common_input_cb: null SAH"));
    269  1.1  jonathan 	saidx = &sav->sah->saidx;
    270  1.1  jonathan 	af = saidx->dst.sa.sa_family;
    271  1.1  jonathan 	IPSEC_ASSERT(af == AF_INET, ("ipsec4_common_input_cb: unexpected af %u",af));
    272  1.1  jonathan 	sproto = saidx->proto;
    273  1.1  jonathan 	IPSEC_ASSERT(sproto == IPPROTO_ESP || sproto == IPPROTO_AH ||
    274  1.1  jonathan 		sproto == IPPROTO_IPCOMP,
    275  1.1  jonathan 		("ipsec4_common_input_cb: unexpected security protocol %u",
    276  1.1  jonathan 		sproto));
    277  1.1  jonathan 
    278  1.1  jonathan 	/* Sanity check */
    279  1.1  jonathan 	if (m == NULL) {
    280  1.1  jonathan 		DPRINTF(("ipsec4_common_input_cb: null mbuf"));
    281  1.1  jonathan 		IPSEC_ISTAT(sproto, espstat.esps_badkcr, ahstat.ahs_badkcr,
    282  1.1  jonathan 		    ipcompstat.ipcomps_badkcr);
    283  1.1  jonathan 		KEY_FREESAV(&sav);
    284  1.1  jonathan 		return EINVAL;
    285  1.1  jonathan 	}
    286  1.1  jonathan 
    287  1.1  jonathan 	if (skip != 0) {
    288  1.1  jonathan 		/* Fix IPv4 header */
    289  1.1  jonathan 		if (m->m_len < skip && (m = m_pullup(m, skip)) == NULL) {
    290  1.1  jonathan 			DPRINTF(("ipsec4_common_input_cb: processing failed "
    291  1.1  jonathan 			    "for SA %s/%08lx\n",
    292  1.1  jonathan 			    ipsec_address(&sav->sah->saidx.dst),
    293  1.1  jonathan 			    (u_long) ntohl(sav->spi)));
    294  1.1  jonathan 			IPSEC_ISTAT(sproto, espstat.esps_hdrops, ahstat.ahs_hdrops,
    295  1.1  jonathan 			    ipcompstat.ipcomps_hdrops);
    296  1.1  jonathan 			error = ENOBUFS;
    297  1.1  jonathan 			goto bad;
    298  1.1  jonathan 		}
    299  1.1  jonathan 
    300  1.1  jonathan 		ip = mtod(m, struct ip *);
    301  1.1  jonathan 		ip->ip_len = htons(m->m_pkthdr.len);
    302  1.3  jonathan #ifdef __FreeBSD__
    303  1.3  jonathan 		/* On FreeBSD, ip_off and ip_len assumed in host endian. */
    304  1.1  jonathan 		ip->ip_off = htons(ip->ip_off);
    305  1.3  jonathan #endif
    306  1.1  jonathan 		ip->ip_sum = 0;
    307  1.1  jonathan 		ip->ip_sum = in_cksum(m, ip->ip_hl << 2);
    308  1.1  jonathan 	} else {
    309  1.1  jonathan 		ip = mtod(m, struct ip *);
    310  1.1  jonathan 	}
    311  1.1  jonathan 	prot = ip->ip_p;
    312  1.1  jonathan 
    313  1.1  jonathan 	/* IP-in-IP encapsulation */
    314  1.1  jonathan 	if (prot == IPPROTO_IPIP) {
    315  1.1  jonathan 		struct ip ipn;
    316  1.1  jonathan 
    317  1.1  jonathan 		/* ipn will now contain the inner IPv4 header */
    318  1.1  jonathan 		m_copydata(m, ip->ip_hl << 2, sizeof(struct ip),
    319  1.1  jonathan 		    (caddr_t) &ipn);
    320  1.1  jonathan 
    321  1.1  jonathan #ifdef notyet
    322  1.1  jonathan 		/* XXX PROXY address isn't recorded in SAH */
    323  1.1  jonathan 		/*
    324  1.1  jonathan 		 * Check that the inner source address is the same as
    325  1.1  jonathan 		 * the proxy address, if available.
    326  1.1  jonathan 		 */
    327  1.1  jonathan 		if ((saidx->proxy.sa.sa_family == AF_INET &&
    328  1.1  jonathan 		    saidx->proxy.sin.sin_addr.s_addr !=
    329  1.1  jonathan 		    INADDR_ANY &&
    330  1.1  jonathan 		    ipn.ip_src.s_addr !=
    331  1.1  jonathan 		    saidx->proxy.sin.sin_addr.s_addr) ||
    332  1.1  jonathan 		    (saidx->proxy.sa.sa_family != AF_INET &&
    333  1.1  jonathan 			saidx->proxy.sa.sa_family != 0)) {
    334  1.1  jonathan 
    335  1.1  jonathan 			DPRINTF(("ipsec4_common_input_cb: inner "
    336  1.1  jonathan 			    "source address %s doesn't correspond to "
    337  1.1  jonathan 			    "expected proxy source %s, SA %s/%08lx\n",
    338  1.1  jonathan 			    inet_ntoa4(ipn.ip_src),
    339  1.1  jonathan 			    ipsp_address(saidx->proxy),
    340  1.1  jonathan 			    ipsp_address(saidx->dst),
    341  1.1  jonathan 			    (u_long) ntohl(sav->spi)));
    342  1.1  jonathan 
    343  1.1  jonathan 			IPSEC_ISTAT(sproto, espstat.esps_pdrops,
    344  1.1  jonathan 			    ahstat.ahs_pdrops,
    345  1.1  jonathan 			    ipcompstat.ipcomps_pdrops);
    346  1.1  jonathan 			error = EACCES;
    347  1.1  jonathan 			goto bad;
    348  1.1  jonathan 		}
    349  1.1  jonathan #endif /*XXX*/
    350  1.1  jonathan 	}
    351  1.1  jonathan #if INET6
    352  1.1  jonathan 	/* IPv6-in-IP encapsulation. */
    353  1.1  jonathan 	if (prot == IPPROTO_IPV6) {
    354  1.1  jonathan 		struct ip6_hdr ip6n;
    355  1.1  jonathan 
    356  1.1  jonathan 		/* ip6n will now contain the inner IPv6 header. */
    357  1.1  jonathan 		m_copydata(m, ip->ip_hl << 2, sizeof(struct ip6_hdr),
    358  1.1  jonathan 		    (caddr_t) &ip6n);
    359  1.1  jonathan 
    360  1.1  jonathan #ifdef notyet
    361  1.1  jonathan 		/*
    362  1.1  jonathan 		 * Check that the inner source address is the same as
    363  1.1  jonathan 		 * the proxy address, if available.
    364  1.1  jonathan 		 */
    365  1.1  jonathan 		if ((saidx->proxy.sa.sa_family == AF_INET6 &&
    366  1.1  jonathan 		    !IN6_IS_ADDR_UNSPECIFIED(&saidx->proxy.sin6.sin6_addr) &&
    367  1.1  jonathan 		    !IN6_ARE_ADDR_EQUAL(&ip6n.ip6_src,
    368  1.1  jonathan 			&saidx->proxy.sin6.sin6_addr)) ||
    369  1.1  jonathan 		    (saidx->proxy.sa.sa_family != AF_INET6 &&
    370  1.1  jonathan 			saidx->proxy.sa.sa_family != 0)) {
    371  1.1  jonathan 
    372  1.1  jonathan 			DPRINTF(("ipsec4_common_input_cb: inner "
    373  1.1  jonathan 			    "source address %s doesn't correspond to "
    374  1.1  jonathan 			    "expected proxy source %s, SA %s/%08lx\n",
    375  1.1  jonathan 			    ip6_sprintf(&ip6n.ip6_src),
    376  1.1  jonathan 			    ipsec_address(&saidx->proxy),
    377  1.1  jonathan 			    ipsec_address(&saidx->dst),
    378  1.1  jonathan 			    (u_long) ntohl(sav->spi)));
    379  1.1  jonathan 
    380  1.1  jonathan 			IPSEC_ISTAT(sproto, espstat.esps_pdrops,
    381  1.1  jonathan 			    ahstat.ahs_pdrops,
    382  1.1  jonathan 			    ipcompstat.ipcomps_pdrops);
    383  1.1  jonathan 			error = EACCES;
    384  1.1  jonathan 			goto bad;
    385  1.1  jonathan 		}
    386  1.1  jonathan #endif /*XXX*/
    387  1.1  jonathan 	}
    388  1.1  jonathan #endif /* INET6 */
    389  1.1  jonathan 
    390  1.1  jonathan 	/*
    391  1.1  jonathan 	 * Record what we've done to the packet (under what SA it was
    392  1.1  jonathan 	 * processed). If we've been passed an mtag, it means the packet
    393  1.1  jonathan 	 * was already processed by an ethernet/crypto combo card and
    394  1.1  jonathan 	 * thus has a tag attached with all the right information, but
    395  1.1  jonathan 	 * with a PACKET_TAG_IPSEC_IN_CRYPTO_DONE as opposed to
    396  1.1  jonathan 	 * PACKET_TAG_IPSEC_IN_DONE type; in that case, just change the type.
    397  1.1  jonathan 	 */
    398  1.1  jonathan 	if (mt == NULL && sproto != IPPROTO_IPCOMP) {
    399  1.1  jonathan 		mtag = m_tag_get(PACKET_TAG_IPSEC_IN_DONE,
    400  1.1  jonathan 		    sizeof(struct tdb_ident), M_NOWAIT);
    401  1.1  jonathan 		if (mtag == NULL) {
    402  1.1  jonathan 			DPRINTF(("ipsec4_common_input_cb: failed to get tag\n"));
    403  1.1  jonathan 			IPSEC_ISTAT(sproto, espstat.esps_hdrops,
    404  1.1  jonathan 			    ahstat.ahs_hdrops, ipcompstat.ipcomps_hdrops);
    405  1.1  jonathan 			error = ENOMEM;
    406  1.1  jonathan 			goto bad;
    407  1.1  jonathan 		}
    408  1.1  jonathan 
    409  1.1  jonathan 		tdbi = (struct tdb_ident *)(mtag + 1);
    410  1.1  jonathan 		bcopy(&saidx->dst, &tdbi->dst, saidx->dst.sa.sa_len);
    411  1.1  jonathan 		tdbi->proto = sproto;
    412  1.1  jonathan 		tdbi->spi = sav->spi;
    413  1.1  jonathan 
    414  1.1  jonathan 		m_tag_prepend(m, mtag);
    415  1.1  jonathan 	} else {
    416  1.1  jonathan 		mt->m_tag_id = PACKET_TAG_IPSEC_IN_DONE;
    417  1.1  jonathan 		/* XXX do we need to mark m_flags??? */
    418  1.1  jonathan 	}
    419  1.1  jonathan 
    420  1.1  jonathan 	key_sa_recordxfer(sav, m);		/* record data transfer */
    421  1.1  jonathan 
    422  1.1  jonathan 	/*
    423  1.1  jonathan 	 * Re-dispatch via software interrupt.
    424  1.1  jonathan 	 */
    425  1.1  jonathan 	if (!IF_HANDOFF(&ipintrq, m, NULL)) {
    426  1.1  jonathan 		IPSEC_ISTAT(sproto, espstat.esps_qfull, ahstat.ahs_qfull,
    427  1.1  jonathan 			    ipcompstat.ipcomps_qfull);
    428  1.1  jonathan 
    429  1.1  jonathan 		DPRINTF(("ipsec4_common_input_cb: queue full; "
    430  1.1  jonathan 			"proto %u packet dropped\n", sproto));
    431  1.1  jonathan 		return ENOBUFS;
    432  1.1  jonathan 	}
    433  1.1  jonathan 	schednetisr(NETISR_IP);
    434  1.1  jonathan 	return 0;
    435  1.1  jonathan bad:
    436  1.1  jonathan 	m_freem(m);
    437  1.1  jonathan 	return error;
    438  1.1  jonathan }
    439  1.1  jonathan #endif /* INET */
    440  1.1  jonathan 
    441  1.1  jonathan #ifdef INET6
    442  1.1  jonathan /* IPv6 AH wrapper. */
    443  1.1  jonathan int
    444  1.1  jonathan ipsec6_common_input(struct mbuf **mp, int *offp, int proto)
    445  1.1  jonathan {
    446  1.1  jonathan 	int l = 0;
    447  1.1  jonathan 	int protoff;
    448  1.1  jonathan 	struct ip6_ext ip6e;
    449  1.1  jonathan 
    450  1.1  jonathan 	if (*offp < sizeof(struct ip6_hdr)) {
    451  1.1  jonathan 		DPRINTF(("ipsec6_common_input: bad offset %u\n", *offp));
    452  1.1  jonathan 		return IPPROTO_DONE;
    453  1.1  jonathan 	} else if (*offp == sizeof(struct ip6_hdr)) {
    454  1.1  jonathan 		protoff = offsetof(struct ip6_hdr, ip6_nxt);
    455  1.1  jonathan 	} else {
    456  1.1  jonathan 		/* Chase down the header chain... */
    457  1.1  jonathan 		protoff = sizeof(struct ip6_hdr);
    458  1.1  jonathan 
    459  1.1  jonathan 		do {
    460  1.1  jonathan 			protoff += l;
    461  1.1  jonathan 			m_copydata(*mp, protoff, sizeof(ip6e),
    462  1.1  jonathan 			    (caddr_t) &ip6e);
    463  1.1  jonathan 
    464  1.1  jonathan 			if (ip6e.ip6e_nxt == IPPROTO_AH)
    465  1.1  jonathan 				l = (ip6e.ip6e_len + 2) << 2;
    466  1.1  jonathan 			else
    467  1.1  jonathan 				l = (ip6e.ip6e_len + 1) << 3;
    468  1.1  jonathan 			IPSEC_ASSERT(l > 0, ("ah6_input: l went zero or negative"));
    469  1.1  jonathan 		} while (protoff + l < *offp);
    470  1.1  jonathan 
    471  1.1  jonathan 		/* Malformed packet check */
    472  1.1  jonathan 		if (protoff + l != *offp) {
    473  1.1  jonathan 			DPRINTF(("ipsec6_common_input: bad packet header chain, "
    474  1.1  jonathan 				"protoff %u, l %u, off %u\n", protoff, l, *offp));
    475  1.1  jonathan 			IPSEC_ISTAT(proto, espstat.esps_hdrops,
    476  1.1  jonathan 				    ahstat.ahs_hdrops,
    477  1.1  jonathan 				    ipcompstat.ipcomps_hdrops);
    478  1.1  jonathan 			m_freem(*mp);
    479  1.1  jonathan 			*mp = NULL;
    480  1.1  jonathan 			return IPPROTO_DONE;
    481  1.1  jonathan 		}
    482  1.1  jonathan 		protoff += offsetof(struct ip6_ext, ip6e_nxt);
    483  1.1  jonathan 	}
    484  1.1  jonathan 	(void) ipsec_common_input(*mp, *offp, protoff, AF_INET6, proto);
    485  1.1  jonathan 	return IPPROTO_DONE;
    486  1.1  jonathan }
    487  1.1  jonathan 
    488  1.1  jonathan void
    489  1.1  jonathan esp6_ctlinput(int cmd, struct sockaddr *sa, void *d)
    490  1.1  jonathan {
    491  1.1  jonathan 	if (sa->sa_family != AF_INET6 ||
    492  1.1  jonathan 	    sa->sa_len != sizeof(struct sockaddr_in6))
    493  1.1  jonathan 		return;
    494  1.1  jonathan 	if ((unsigned)cmd >= PRC_NCMDS)
    495  1.1  jonathan 		return;
    496  1.1  jonathan 
    497  1.1  jonathan 	/* if the parameter is from icmp6, decode it. */
    498  1.1  jonathan 	if (d !=  NULL) {
    499  1.1  jonathan 		struct ip6ctlparam *ip6cp = (struct ip6ctlparam *)d;
    500  1.1  jonathan 		struct mbuf *m = ip6cp->ip6c_m;
    501  1.1  jonathan 		int off = ip6cp->ip6c_off;
    502  1.1  jonathan 
    503  1.1  jonathan 		struct ip6ctlparam ip6cp1;
    504  1.1  jonathan 
    505  1.1  jonathan 		/*
    506  1.1  jonathan 		 * Notify the error to all possible sockets via pfctlinput2.
    507  1.1  jonathan 		 * Since the upper layer information (such as protocol type,
    508  1.1  jonathan 		 * source and destination ports) is embedded in the encrypted
    509  1.1  jonathan 		 * data and might have been cut, we can't directly call
    510  1.1  jonathan 		 * an upper layer ctlinput function. However, the pcbnotify
    511  1.1  jonathan 		 * function will consider source and destination addresses
    512  1.1  jonathan 		 * as well as the flow info value, and may be able to find
    513  1.1  jonathan 		 * some PCB that should be notified.
    514  1.1  jonathan 		 * Although pfctlinput2 will call esp6_ctlinput(), there is
    515  1.1  jonathan 		 * no possibility of an infinite loop of function calls,
    516  1.1  jonathan 		 * because we don't pass the inner IPv6 header.
    517  1.1  jonathan 		 */
    518  1.1  jonathan 		bzero(&ip6cp1, sizeof(ip6cp1));
    519  1.1  jonathan 		ip6cp1.ip6c_src = ip6cp->ip6c_src;
    520  1.1  jonathan 		pfctlinput2(cmd, sa, (void *)&ip6cp1);
    521  1.1  jonathan 
    522  1.1  jonathan 		/*
    523  1.1  jonathan 		 * Then go to special cases that need ESP header information.
    524  1.1  jonathan 		 * XXX: We assume that when ip6 is non NULL,
    525  1.1  jonathan 		 * M and OFF are valid.
    526  1.1  jonathan 		 */
    527  1.1  jonathan 
    528  1.1  jonathan 		if (cmd == PRC_MSGSIZE) {
    529  1.1  jonathan 			struct secasvar *sav;
    530  1.1  jonathan 			u_int32_t spi;
    531  1.1  jonathan 			int valid;
    532  1.1  jonathan 
    533  1.1  jonathan 			/* check header length before using m_copydata */
    534  1.1  jonathan 			if (m->m_pkthdr.len < off + sizeof (struct esp))
    535  1.1  jonathan 				return;
    536  1.1  jonathan 			m_copydata(m, off + offsetof(struct esp, esp_spi),
    537  1.1  jonathan 				sizeof(u_int32_t), (caddr_t) &spi);
    538  1.1  jonathan 			/*
    539  1.1  jonathan 			 * Check to see if we have a valid SA corresponding to
    540  1.1  jonathan 			 * the address in the ICMP message payload.
    541  1.1  jonathan 			 */
    542  1.1  jonathan 			sav = KEY_ALLOCSA((union sockaddr_union *)sa,
    543  1.1  jonathan 					IPPROTO_ESP, spi);
    544  1.1  jonathan 			valid = (sav != NULL);
    545  1.1  jonathan 			if (sav)
    546  1.1  jonathan 				KEY_FREESAV(&sav);
    547  1.1  jonathan 
    548  1.1  jonathan 			/* XXX Further validation? */
    549  1.1  jonathan 
    550  1.1  jonathan 			/*
    551  1.1  jonathan 			 * Depending on whether the SA is "valid" and
    552  1.1  jonathan 			 * routing table size (mtudisc_{hi,lo}wat), we will:
    553  1.1  jonathan 			 * - recalcurate the new MTU and create the
    554  1.1  jonathan 			 *   corresponding routing entry, or
    555  1.1  jonathan 			 * - ignore the MTU change notification.
    556  1.1  jonathan 			 */
    557  1.1  jonathan 			icmp6_mtudisc_update(ip6cp, valid);
    558  1.1  jonathan 		}
    559  1.1  jonathan 	} else {
    560  1.1  jonathan 		/* we normally notify any pcb here */
    561  1.1  jonathan 	}
    562  1.1  jonathan }
    563  1.1  jonathan 
    564  1.1  jonathan extern	struct ip6protosw inet6sw[];
    565  1.1  jonathan extern	u_char ip6_protox[];
    566  1.1  jonathan 
    567  1.1  jonathan /*
    568  1.1  jonathan  * IPsec input callback, called by the transform callback. Takes care of
    569  1.1  jonathan  * filtering and other sanity checks on the processed packet.
    570  1.1  jonathan  */
    571  1.1  jonathan int
    572  1.1  jonathan ipsec6_common_input_cb(struct mbuf *m, struct secasvar *sav, int skip, int protoff,
    573  1.1  jonathan     struct m_tag *mt)
    574  1.1  jonathan {
    575  1.1  jonathan 	int prot, af, sproto;
    576  1.1  jonathan 	struct ip6_hdr *ip6;
    577  1.1  jonathan 	struct m_tag *mtag;
    578  1.1  jonathan 	struct tdb_ident *tdbi;
    579  1.1  jonathan 	struct secasindex *saidx;
    580  1.1  jonathan 	int nxt;
    581  1.1  jonathan 	u_int8_t nxt8;
    582  1.1  jonathan 	int error, nest;
    583  1.1  jonathan 
    584  1.1  jonathan 	IPSEC_ASSERT(m != NULL, ("ipsec6_common_input_cb: null mbuf"));
    585  1.1  jonathan 	IPSEC_ASSERT(sav != NULL, ("ipsec6_common_input_cb: null SA"));
    586  1.1  jonathan 	IPSEC_ASSERT(sav->sah != NULL, ("ipsec6_common_input_cb: null SAH"));
    587  1.1  jonathan 	saidx = &sav->sah->saidx;
    588  1.1  jonathan 	af = saidx->dst.sa.sa_family;
    589  1.1  jonathan 	IPSEC_ASSERT(af == AF_INET6,
    590  1.1  jonathan 		("ipsec6_common_input_cb: unexpected af %u", af));
    591  1.1  jonathan 	sproto = saidx->proto;
    592  1.1  jonathan 	IPSEC_ASSERT(sproto == IPPROTO_ESP || sproto == IPPROTO_AH ||
    593  1.1  jonathan 		sproto == IPPROTO_IPCOMP,
    594  1.1  jonathan 		("ipsec6_common_input_cb: unexpected security protocol %u",
    595  1.1  jonathan 		sproto));
    596  1.1  jonathan 
    597  1.1  jonathan 	/* Sanity check */
    598  1.1  jonathan 	if (m == NULL) {
    599  1.1  jonathan 		DPRINTF(("ipsec4_common_input_cb: null mbuf"));
    600  1.1  jonathan 		IPSEC_ISTAT(sproto, espstat.esps_badkcr, ahstat.ahs_badkcr,
    601  1.1  jonathan 		    ipcompstat.ipcomps_badkcr);
    602  1.1  jonathan 		error = EINVAL;
    603  1.1  jonathan 		goto bad;
    604  1.1  jonathan 	}
    605  1.1  jonathan 
    606  1.1  jonathan 	/* Fix IPv6 header */
    607  1.1  jonathan 	if (m->m_len < sizeof(struct ip6_hdr) &&
    608  1.1  jonathan 	    (m = m_pullup(m, sizeof(struct ip6_hdr))) == NULL) {
    609  1.1  jonathan 
    610  1.1  jonathan 		DPRINTF(("ipsec_common_input_cb: processing failed "
    611  1.1  jonathan 		    "for SA %s/%08lx\n", ipsec_address(&sav->sah->saidx.dst),
    612  1.1  jonathan 		    (u_long) ntohl(sav->spi)));
    613  1.1  jonathan 
    614  1.1  jonathan 		IPSEC_ISTAT(sproto, espstat.esps_hdrops, ahstat.ahs_hdrops,
    615  1.1  jonathan 		    ipcompstat.ipcomps_hdrops);
    616  1.1  jonathan 		error = EACCES;
    617  1.1  jonathan 		goto bad;
    618  1.1  jonathan 	}
    619  1.1  jonathan 
    620  1.1  jonathan 	ip6 = mtod(m, struct ip6_hdr *);
    621  1.1  jonathan 	ip6->ip6_plen = htons(m->m_pkthdr.len - sizeof(struct ip6_hdr));
    622  1.1  jonathan 
    623  1.1  jonathan 	/* Save protocol */
    624  1.1  jonathan 	m_copydata(m, protoff, 1, (unsigned char *) &prot);
    625  1.1  jonathan 
    626  1.1  jonathan #ifdef INET
    627  1.1  jonathan 	/* IP-in-IP encapsulation */
    628  1.1  jonathan 	if (prot == IPPROTO_IPIP) {
    629  1.1  jonathan 		struct ip ipn;
    630  1.1  jonathan 
    631  1.1  jonathan 		/* ipn will now contain the inner IPv4 header */
    632  1.1  jonathan 		m_copydata(m, skip, sizeof(struct ip), (caddr_t) &ipn);
    633  1.1  jonathan 
    634  1.1  jonathan #ifdef notyet
    635  1.1  jonathan 		/*
    636  1.1  jonathan 		 * Check that the inner source address is the same as
    637  1.1  jonathan 		 * the proxy address, if available.
    638  1.1  jonathan 		 */
    639  1.1  jonathan 		if ((saidx->proxy.sa.sa_family == AF_INET &&
    640  1.1  jonathan 		    saidx->proxy.sin.sin_addr.s_addr != INADDR_ANY &&
    641  1.1  jonathan 		    ipn.ip_src.s_addr != saidx->proxy.sin.sin_addr.s_addr) ||
    642  1.1  jonathan 		    (saidx->proxy.sa.sa_family != AF_INET &&
    643  1.1  jonathan 			saidx->proxy.sa.sa_family != 0)) {
    644  1.1  jonathan 
    645  1.1  jonathan 			DPRINTF(("ipsec_common_input_cb: inner "
    646  1.1  jonathan 			    "source address %s doesn't correspond to "
    647  1.1  jonathan 			    "expected proxy source %s, SA %s/%08lx\n",
    648  1.1  jonathan 			    inet_ntoa4(ipn.ip_src),
    649  1.1  jonathan 			    ipsec_address(&saidx->proxy),
    650  1.1  jonathan 			    ipsec_address(&saidx->dst),
    651  1.1  jonathan 			    (u_long) ntohl(sav->spi)));
    652  1.1  jonathan 
    653  1.1  jonathan 			IPSEC_ISTATsproto, (espstat.esps_pdrops,
    654  1.1  jonathan 			    ahstat.ahs_pdrops, ipcompstat.ipcomps_pdrops);
    655  1.1  jonathan 			error = EACCES;
    656  1.1  jonathan 			goto bad;
    657  1.1  jonathan 		}
    658  1.1  jonathan #endif /*XXX*/
    659  1.1  jonathan 	}
    660  1.1  jonathan #endif /* INET */
    661  1.1  jonathan 
    662  1.1  jonathan 	/* IPv6-in-IP encapsulation */
    663  1.1  jonathan 	if (prot == IPPROTO_IPV6) {
    664  1.1  jonathan 		struct ip6_hdr ip6n;
    665  1.1  jonathan 
    666  1.1  jonathan 		/* ip6n will now contain the inner IPv6 header. */
    667  1.1  jonathan 		m_copydata(m, skip, sizeof(struct ip6_hdr),
    668  1.1  jonathan 		    (caddr_t) &ip6n);
    669  1.1  jonathan 
    670  1.1  jonathan #ifdef notyet
    671  1.1  jonathan 		/*
    672  1.1  jonathan 		 * Check that the inner source address is the same as
    673  1.1  jonathan 		 * the proxy address, if available.
    674  1.1  jonathan 		 */
    675  1.1  jonathan 		if ((saidx->proxy.sa.sa_family == AF_INET6 &&
    676  1.1  jonathan 		    !IN6_IS_ADDR_UNSPECIFIED(&saidx->proxy.sin6.sin6_addr) &&
    677  1.1  jonathan 		    !IN6_ARE_ADDR_EQUAL(&ip6n.ip6_src,
    678  1.1  jonathan 			&saidx->proxy.sin6.sin6_addr)) ||
    679  1.1  jonathan 		    (saidx->proxy.sa.sa_family != AF_INET6 &&
    680  1.1  jonathan 			saidx->proxy.sa.sa_family != 0)) {
    681  1.1  jonathan 
    682  1.1  jonathan 			DPRINTF(("ipsec_common_input_cb: inner "
    683  1.1  jonathan 			    "source address %s doesn't correspond to "
    684  1.1  jonathan 			    "expected proxy source %s, SA %s/%08lx\n",
    685  1.1  jonathan 			    ip6_sprintf(&ip6n.ip6_src),
    686  1.1  jonathan 			    ipsec_address(&saidx->proxy),
    687  1.1  jonathan 			    ipsec_address(&saidx->dst),
    688  1.1  jonathan 			    (u_long) ntohl(sav->spi)));
    689  1.1  jonathan 
    690  1.1  jonathan 			IPSEC_ISTAT(sproto, espstat.esps_pdrops,
    691  1.1  jonathan 			    ahstat.ahs_pdrops, ipcompstat.ipcomps_pdrops);
    692  1.1  jonathan 			error = EACCES;
    693  1.1  jonathan 			goto bad;
    694  1.1  jonathan 		}
    695  1.1  jonathan #endif /*XXX*/
    696  1.1  jonathan 	}
    697  1.1  jonathan 
    698  1.1  jonathan 	/*
    699  1.1  jonathan 	 * Record what we've done to the packet (under what SA it was
    700  1.1  jonathan 	 * processed). If we've been passed an mtag, it means the packet
    701  1.1  jonathan 	 * was already processed by an ethernet/crypto combo card and
    702  1.1  jonathan 	 * thus has a tag attached with all the right information, but
    703  1.1  jonathan 	 * with a PACKET_TAG_IPSEC_IN_CRYPTO_DONE as opposed to
    704  1.1  jonathan 	 * PACKET_TAG_IPSEC_IN_DONE type; in that case, just change the type.
    705  1.1  jonathan 	 */
    706  1.1  jonathan 	if (mt == NULL && sproto != IPPROTO_IPCOMP) {
    707  1.1  jonathan 		mtag = m_tag_get(PACKET_TAG_IPSEC_IN_DONE,
    708  1.1  jonathan 		    sizeof(struct tdb_ident), M_NOWAIT);
    709  1.1  jonathan 		if (mtag == NULL) {
    710  1.1  jonathan 			DPRINTF(("ipsec_common_input_cb: failed to "
    711  1.1  jonathan 			    "get tag\n"));
    712  1.1  jonathan 			IPSEC_ISTAT(sproto, espstat.esps_hdrops,
    713  1.1  jonathan 			    ahstat.ahs_hdrops, ipcompstat.ipcomps_hdrops);
    714  1.1  jonathan 			error = ENOMEM;
    715  1.1  jonathan 			goto bad;
    716  1.1  jonathan 		}
    717  1.1  jonathan 
    718  1.1  jonathan 		tdbi = (struct tdb_ident *)(mtag + 1);
    719  1.1  jonathan 		bcopy(&saidx->dst, &tdbi->dst, sizeof(union sockaddr_union));
    720  1.1  jonathan 		tdbi->proto = sproto;
    721  1.1  jonathan 		tdbi->spi = sav->spi;
    722  1.1  jonathan 
    723  1.1  jonathan 		m_tag_prepend(m, mtag);
    724  1.1  jonathan 	} else {
    725  1.1  jonathan 		mt->m_tag_id = PACKET_TAG_IPSEC_IN_DONE;
    726  1.1  jonathan 		/* XXX do we need to mark m_flags??? */
    727  1.1  jonathan 	}
    728  1.1  jonathan 
    729  1.1  jonathan 	key_sa_recordxfer(sav, m);
    730  1.1  jonathan 
    731  1.1  jonathan 	/* Retrieve new protocol */
    732  1.1  jonathan 	m_copydata(m, protoff, sizeof(u_int8_t), (caddr_t) &nxt8);
    733  1.1  jonathan 
    734  1.1  jonathan 	/*
    735  1.1  jonathan 	 * See the end of ip6_input for this logic.
    736  1.1  jonathan 	 * IPPROTO_IPV[46] case will be processed just like other ones
    737  1.1  jonathan 	 */
    738  1.1  jonathan 	nest = 0;
    739  1.1  jonathan 	nxt = nxt8;
    740  1.1  jonathan 	while (nxt != IPPROTO_DONE) {
    741  1.1  jonathan 		if (ip6_hdrnestlimit && (++nest > ip6_hdrnestlimit)) {
    742  1.1  jonathan 			ip6stat.ip6s_toomanyhdr++;
    743  1.1  jonathan 			error = EINVAL;
    744  1.1  jonathan 			goto bad;
    745  1.1  jonathan 		}
    746  1.1  jonathan 
    747  1.1  jonathan 		/*
    748  1.1  jonathan 		 * Protection against faulty packet - there should be
    749  1.1  jonathan 		 * more sanity checks in header chain processing.
    750  1.1  jonathan 		 */
    751  1.1  jonathan 		if (m->m_pkthdr.len < skip) {
    752  1.1  jonathan 			ip6stat.ip6s_tooshort++;
    753  1.1  jonathan 			in6_ifstat_inc(m->m_pkthdr.rcvif, ifs6_in_truncated);
    754  1.1  jonathan 			error = EINVAL;
    755  1.1  jonathan 			goto bad;
    756  1.1  jonathan 		}
    757  1.1  jonathan 		/*
    758  1.1  jonathan 		 * Enforce IPsec policy checking if we are seeing last header.
    759  1.1  jonathan 		 * note that we do not visit this with protocols with pcb layer
    760  1.1  jonathan 		 * code - like udp/tcp/raw ip.
    761  1.1  jonathan 		 */
    762  1.1  jonathan 		if ((inet6sw[ip6_protox[nxt]].pr_flags & PR_LASTHDR) != 0 &&
    763  1.1  jonathan 		    ipsec6_in_reject(m, NULL)) {
    764  1.1  jonathan 			error = EINVAL;
    765  1.1  jonathan 			goto bad;
    766  1.1  jonathan 		}
    767  1.1  jonathan 		nxt = (*inet6sw[ip6_protox[nxt]].pr_input)(&m, &skip, nxt);
    768  1.1  jonathan 	}
    769  1.1  jonathan 	return 0;
    770  1.1  jonathan bad:
    771  1.1  jonathan 	if (m)
    772  1.1  jonathan 		m_freem(m);
    773  1.1  jonathan 	return error;
    774  1.1  jonathan }
    775  1.1  jonathan #endif /* INET6 */
    776