xref: /freebsd/sys/netipsec/ipsec.c (revision 424f1296bd73f2661b556ddfdfb4bcc8f9df898a)
188768458SSam Leffler /*	$FreeBSD$	*/
288768458SSam Leffler /*	$KAME: ipsec.c,v 1.103 2001/05/24 07:14:18 sakane Exp $	*/
388768458SSam Leffler 
4c398230bSWarner Losh /*-
551369649SPedro F. Giffuni  * SPDX-License-Identifier: BSD-3-Clause
651369649SPedro F. Giffuni  *
788768458SSam Leffler  * Copyright (C) 1995, 1996, 1997, and 1998 WIDE Project.
888768458SSam Leffler  * All rights reserved.
988768458SSam Leffler  *
1088768458SSam Leffler  * Redistribution and use in source and binary forms, with or without
1188768458SSam Leffler  * modification, are permitted provided that the following conditions
1288768458SSam Leffler  * are met:
1388768458SSam Leffler  * 1. Redistributions of source code must retain the above copyright
1488768458SSam Leffler  *    notice, this list of conditions and the following disclaimer.
1588768458SSam Leffler  * 2. Redistributions in binary form must reproduce the above copyright
1688768458SSam Leffler  *    notice, this list of conditions and the following disclaimer in the
1788768458SSam Leffler  *    documentation and/or other materials provided with the distribution.
1888768458SSam Leffler  * 3. Neither the name of the project nor the names of its contributors
1988768458SSam Leffler  *    may be used to endorse or promote products derived from this software
2088768458SSam Leffler  *    without specific prior written permission.
2188768458SSam Leffler  *
2288768458SSam Leffler  * THIS SOFTWARE IS PROVIDED BY THE PROJECT AND CONTRIBUTORS ``AS IS'' AND
2388768458SSam Leffler  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
2488768458SSam Leffler  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
2588768458SSam Leffler  * ARE DISCLAIMED.  IN NO EVENT SHALL THE PROJECT OR CONTRIBUTORS BE LIABLE
2688768458SSam Leffler  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
2788768458SSam Leffler  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
2888768458SSam Leffler  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
2988768458SSam Leffler  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
3088768458SSam Leffler  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
3188768458SSam Leffler  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
3288768458SSam Leffler  * SUCH DAMAGE.
3388768458SSam Leffler  */
3488768458SSam Leffler 
3588768458SSam Leffler /*
3688768458SSam Leffler  * IPsec controller part.
3788768458SSam Leffler  */
3888768458SSam Leffler 
3988768458SSam Leffler #include "opt_inet.h"
4088768458SSam Leffler #include "opt_inet6.h"
4188768458SSam Leffler #include "opt_ipsec.h"
4288768458SSam Leffler 
4388768458SSam Leffler #include <sys/param.h>
4488768458SSam Leffler #include <sys/systm.h>
4588768458SSam Leffler #include <sys/malloc.h>
4688768458SSam Leffler #include <sys/mbuf.h>
4788768458SSam Leffler #include <sys/domain.h>
4846ee43b2SRobert Watson #include <sys/priv.h>
4988768458SSam Leffler #include <sys/protosw.h>
5088768458SSam Leffler #include <sys/socket.h>
5188768458SSam Leffler #include <sys/socketvar.h>
5288768458SSam Leffler #include <sys/errno.h>
53ef91a976SAndrey V. Elsukov #include <sys/hhook.h>
5488768458SSam Leffler #include <sys/time.h>
5588768458SSam Leffler #include <sys/kernel.h>
5688768458SSam Leffler #include <sys/syslog.h>
5788768458SSam Leffler #include <sys/sysctl.h>
5888768458SSam Leffler #include <sys/proc.h>
5988768458SSam Leffler 
6088768458SSam Leffler #include <net/if.h>
61ef91a976SAndrey V. Elsukov #include <net/if_enc.h>
6276039bc8SGleb Smirnoff #include <net/if_var.h>
63eddfbb76SRobert Watson #include <net/vnet.h>
6488768458SSam Leffler 
6588768458SSam Leffler #include <netinet/in.h>
6688768458SSam Leffler #include <netinet/in_systm.h>
6788768458SSam Leffler #include <netinet/ip.h>
6888768458SSam Leffler #include <netinet/ip_var.h>
6988768458SSam Leffler #include <netinet/in_var.h>
7088768458SSam Leffler #include <netinet/udp.h>
7188768458SSam Leffler #include <netinet/udp_var.h>
7288768458SSam Leffler #include <netinet/tcp.h>
7388768458SSam Leffler #include <netinet/udp.h>
7488768458SSam Leffler 
7588768458SSam Leffler #include <netinet/ip6.h>
7688768458SSam Leffler #ifdef INET6
7788768458SSam Leffler #include <netinet6/ip6_var.h>
7888768458SSam Leffler #endif
7988768458SSam Leffler #include <netinet/in_pcb.h>
8088768458SSam Leffler #ifdef INET6
8188768458SSam Leffler #include <netinet/icmp6.h>
8288768458SSam Leffler #endif
8388768458SSam Leffler 
842cb64cb2SGeorge V. Neville-Neil #include <sys/types.h>
8588768458SSam Leffler #include <netipsec/ipsec.h>
8688768458SSam Leffler #ifdef INET6
8788768458SSam Leffler #include <netipsec/ipsec6.h>
8888768458SSam Leffler #endif
8988768458SSam Leffler #include <netipsec/ah_var.h>
9088768458SSam Leffler #include <netipsec/esp_var.h>
9188768458SSam Leffler #include <netipsec/ipcomp.h>		/*XXX*/
9288768458SSam Leffler #include <netipsec/ipcomp_var.h>
93fcf59617SAndrey V. Elsukov #include <netipsec/ipsec_support.h>
9488768458SSam Leffler 
9588768458SSam Leffler #include <netipsec/key.h>
9688768458SSam Leffler #include <netipsec/keydb.h>
9788768458SSam Leffler #include <netipsec/key_debug.h>
9888768458SSam Leffler 
9988768458SSam Leffler #include <netipsec/xform.h>
10088768458SSam Leffler 
10188768458SSam Leffler #include <machine/in_cksum.h>
10288768458SSam Leffler 
1037aee3dd1SSam Leffler #include <opencrypto/cryptodev.h>
1047aee3dd1SSam Leffler 
105de47c390SBjoern A. Zeeb /* NB: name changed so netstat doesn't use it. */
106db8c0879SAndrey V. Elsukov VNET_PCPUSTAT_DEFINE(struct ipsecstat, ipsec4stat);
107db8c0879SAndrey V. Elsukov VNET_PCPUSTAT_SYSINIT(ipsec4stat);
108db8c0879SAndrey V. Elsukov 
109db8c0879SAndrey V. Elsukov #ifdef VIMAGE
110db8c0879SAndrey V. Elsukov VNET_PCPUSTAT_SYSUNINIT(ipsec4stat);
111db8c0879SAndrey V. Elsukov #endif /* VIMAGE */
112db8c0879SAndrey V. Elsukov 
113eddfbb76SRobert Watson /* DF bit on encap. 0: clear 1: set 2: copy */
114eddfbb76SRobert Watson VNET_DEFINE(int, ip4_ipsec_dfbit) = 0;
115d9d59bb1SWojciech Macek VNET_DEFINE(int, ip4_ipsec_min_pmtu) = 576;
116eddfbb76SRobert Watson VNET_DEFINE(int, ip4_esp_trans_deflev) = IPSEC_LEVEL_USE;
117eddfbb76SRobert Watson VNET_DEFINE(int, ip4_esp_net_deflev) = IPSEC_LEVEL_USE;
118eddfbb76SRobert Watson VNET_DEFINE(int, ip4_ah_trans_deflev) = IPSEC_LEVEL_USE;
119eddfbb76SRobert Watson VNET_DEFINE(int, ip4_ah_net_deflev) = IPSEC_LEVEL_USE;
120eddfbb76SRobert Watson /* ECN ignore(-1)/forbidden(0)/allowed(1) */
121eddfbb76SRobert Watson VNET_DEFINE(int, ip4_ipsec_ecn) = 0;
122eddfbb76SRobert Watson 
1235f901c92SAndrew Turner VNET_DEFINE_STATIC(int, ip4_filtertunnel) = 0;
124fcf59617SAndrey V. Elsukov #define	V_ip4_filtertunnel VNET(ip4_filtertunnel)
1255f901c92SAndrew Turner VNET_DEFINE_STATIC(int, check_policy_history) = 0;
126fcf59617SAndrey V. Elsukov #define	V_check_policy_history	VNET(check_policy_history)
1275f901c92SAndrew Turner VNET_DEFINE_STATIC(struct secpolicy *, def_policy) = NULL;
12893201211SAndrey V. Elsukov #define	V_def_policy	VNET(def_policy)
129fcf59617SAndrey V. Elsukov static int
130fcf59617SAndrey V. Elsukov sysctl_def_policy(SYSCTL_HANDLER_ARGS)
131fcf59617SAndrey V. Elsukov {
132fcf59617SAndrey V. Elsukov 	int error, value;
133fcf59617SAndrey V. Elsukov 
134fcf59617SAndrey V. Elsukov 	value = V_def_policy->policy;
135fcf59617SAndrey V. Elsukov 	error = sysctl_handle_int(oidp, &value, 0, req);
136fcf59617SAndrey V. Elsukov 	if (error == 0) {
137fcf59617SAndrey V. Elsukov 		if (value != IPSEC_POLICY_DISCARD &&
138fcf59617SAndrey V. Elsukov 		    value != IPSEC_POLICY_NONE)
139fcf59617SAndrey V. Elsukov 			return (EINVAL);
140fcf59617SAndrey V. Elsukov 		V_def_policy->policy = value;
141fcf59617SAndrey V. Elsukov 	}
142fcf59617SAndrey V. Elsukov 	return (error);
143fcf59617SAndrey V. Elsukov }
144fcf59617SAndrey V. Elsukov 
14588768458SSam Leffler /*
14688768458SSam Leffler  * Crypto support requirements:
14788768458SSam Leffler  *
14888768458SSam Leffler  *  1	require hardware support
14988768458SSam Leffler  * -1	require software support
15088768458SSam Leffler  *  0	take anything
15188768458SSam Leffler  */
152eddfbb76SRobert Watson VNET_DEFINE(int, crypto_support) = CRYPTOCAP_F_HARDWARE | CRYPTOCAP_F_SOFTWARE;
15339bbca6fSFabien Thomas 
15439bbca6fSFabien Thomas /*
15539bbca6fSFabien Thomas  * Use asynchronous mode to parallelize crypto jobs:
15639bbca6fSFabien Thomas  *
15739bbca6fSFabien Thomas  *  0 - disabled
15839bbca6fSFabien Thomas  *  1 - enabled
15939bbca6fSFabien Thomas  */
16039bbca6fSFabien Thomas VNET_DEFINE(int, async_crypto) = 0;
16139bbca6fSFabien Thomas 
162fcf59617SAndrey V. Elsukov /*
163fcf59617SAndrey V. Elsukov  * TCP/UDP checksum handling policy for transport mode NAT-T (RFC3948)
164fcf59617SAndrey V. Elsukov  *
165fcf59617SAndrey V. Elsukov  * 0 - auto: incrementally recompute, when checksum delta is known;
166fcf59617SAndrey V. Elsukov  *     if checksum delta isn't known, reset checksum to zero for UDP,
167fcf59617SAndrey V. Elsukov  *     and mark csum_flags as valid for TCP.
168fcf59617SAndrey V. Elsukov  * 1 - fully recompute TCP/UDP checksum.
169fcf59617SAndrey V. Elsukov  */
170fcf59617SAndrey V. Elsukov VNET_DEFINE(int, natt_cksum_policy) = 0;
17188768458SSam Leffler 
17213a6cf24SBjoern A. Zeeb FEATURE(ipsec, "Internet Protocol Security (IPsec)");
17313a6cf24SBjoern A. Zeeb FEATURE(ipsec_natt, "UDP Encapsulation of IPsec ESP Packets ('NAT-T')");
17413a6cf24SBjoern A. Zeeb 
17588768458SSam Leffler SYSCTL_DECL(_net_inet_ipsec);
17688768458SSam Leffler 
17788768458SSam Leffler /* net.inet.ipsec */
178fcf59617SAndrey V. Elsukov SYSCTL_PROC(_net_inet_ipsec, IPSECCTL_DEF_POLICY, def_policy,
1797029da5cSPawel Biernacki     CTLTYPE_INT | CTLFLAG_VNET | CTLFLAG_RW | CTLFLAG_NEEDGIANT,
1807029da5cSPawel Biernacki     0, 0, sysctl_def_policy, "I",
181be6b1304STom Rhodes     "IPsec default policy.");
1826df8a710SGleb Smirnoff SYSCTL_INT(_net_inet_ipsec, IPSECCTL_DEF_ESP_TRANSLEV, esp_trans_deflev,
1836df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip4_esp_trans_deflev), 0,
1848b615593SMarko Zec 	"Default ESP transport mode level");
1856df8a710SGleb Smirnoff SYSCTL_INT(_net_inet_ipsec, IPSECCTL_DEF_ESP_NETLEV, esp_net_deflev,
1866df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip4_esp_net_deflev), 0,
1878b615593SMarko Zec 	"Default ESP tunnel mode level.");
1886df8a710SGleb Smirnoff SYSCTL_INT(_net_inet_ipsec, IPSECCTL_DEF_AH_TRANSLEV, ah_trans_deflev,
1896df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip4_ah_trans_deflev), 0,
1908b615593SMarko Zec 	"AH transfer mode default level.");
1916df8a710SGleb Smirnoff SYSCTL_INT(_net_inet_ipsec, IPSECCTL_DEF_AH_NETLEV, ah_net_deflev,
1926df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip4_ah_net_deflev), 0,
1938b615593SMarko Zec 	"AH tunnel mode default level.");
1946df8a710SGleb Smirnoff SYSCTL_INT(_net_inet_ipsec, IPSECCTL_AH_CLEARTOS, ah_cleartos,
1956df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ah_cleartos), 0,
196fcf59617SAndrey V. Elsukov 	"If set, clear type-of-service field when doing AH computation.");
1976df8a710SGleb Smirnoff SYSCTL_INT(_net_inet_ipsec, IPSECCTL_DFBIT, dfbit,
1986df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip4_ipsec_dfbit), 0,
1998b615593SMarko Zec 	"Do not fragment bit on encap.");
200d9d59bb1SWojciech Macek SYSCTL_INT(_net_inet_ipsec, IPSECCTL_MIN_PMTU, min_pmtu,
201d9d59bb1SWojciech Macek 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip4_ipsec_min_pmtu), 0,
202d9d59bb1SWojciech Macek 	"Lowest acceptable PMTU value.");
2036df8a710SGleb Smirnoff SYSCTL_INT(_net_inet_ipsec, IPSECCTL_ECN, ecn,
2046df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip4_ipsec_ecn), 0,
205be6b1304STom Rhodes 	"Explicit Congestion Notification handling.");
2066df8a710SGleb Smirnoff SYSCTL_INT(_net_inet_ipsec, OID_AUTO, crypto_support,
2076df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(crypto_support), 0,
208be6b1304STom Rhodes 	"Crypto driver selection.");
20939bbca6fSFabien Thomas SYSCTL_INT(_net_inet_ipsec, OID_AUTO, async_crypto,
21039bbca6fSFabien Thomas 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(async_crypto), 0,
21139bbca6fSFabien Thomas 	"Use asynchronous mode to parallelize crypto jobs.");
212fcf59617SAndrey V. Elsukov SYSCTL_INT(_net_inet_ipsec, OID_AUTO, check_policy_history,
213fcf59617SAndrey V. Elsukov 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(check_policy_history), 0,
214fcf59617SAndrey V. Elsukov 	"Use strict check of inbound packets to security policy compliance.");
215fcf59617SAndrey V. Elsukov SYSCTL_INT(_net_inet_ipsec, OID_AUTO, natt_cksum_policy,
216fcf59617SAndrey V. Elsukov 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(natt_cksum_policy), 0,
217fcf59617SAndrey V. Elsukov 	"Method to fix TCP/UDP checksum for transport mode IPsec after NAT.");
218fcf59617SAndrey V. Elsukov SYSCTL_INT(_net_inet_ipsec, OID_AUTO, filtertunnel,
219fcf59617SAndrey V. Elsukov 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip4_filtertunnel), 0,
220fcf59617SAndrey V. Elsukov 	"If set, filter packets from an IPsec tunnel.");
221db8c0879SAndrey V. Elsukov SYSCTL_VNET_PCPUSTAT(_net_inet_ipsec, OID_AUTO, ipsecstats, struct ipsecstat,
222db8c0879SAndrey V. Elsukov     ipsec4stat, "IPsec IPv4 statistics.");
22388768458SSam Leffler 
2246131838bSPawel Jakub Dawidek #ifdef REGRESSION
225dfa9422bSPawel Jakub Dawidek /*
226dfa9422bSPawel Jakub Dawidek  * When set to 1, IPsec will send packets with the same sequence number.
227dfa9422bSPawel Jakub Dawidek  * This allows to verify if the other side has proper replay attacks detection.
228dfa9422bSPawel Jakub Dawidek  */
229eddfbb76SRobert Watson VNET_DEFINE(int, ipsec_replay) = 0;
2306df8a710SGleb Smirnoff SYSCTL_INT(_net_inet_ipsec, OID_AUTO, test_replay,
2316df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ipsec_replay), 0,
232eddfbb76SRobert Watson 	"Emulate replay attack");
233dfa9422bSPawel Jakub Dawidek /*
234dfa9422bSPawel Jakub Dawidek  * When set 1, IPsec will send packets with corrupted HMAC.
235dfa9422bSPawel Jakub Dawidek  * This allows to verify if the other side properly detects modified packets.
236dfa9422bSPawel Jakub Dawidek  */
237eddfbb76SRobert Watson VNET_DEFINE(int, ipsec_integrity) = 0;
2386df8a710SGleb Smirnoff SYSCTL_INT(_net_inet_ipsec, OID_AUTO, test_integrity,
2396df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ipsec_integrity), 0,
240eddfbb76SRobert Watson 	"Emulate man-in-the-middle attack");
2416131838bSPawel Jakub Dawidek #endif
242dfa9422bSPawel Jakub Dawidek 
24388768458SSam Leffler #ifdef INET6
244db8c0879SAndrey V. Elsukov VNET_PCPUSTAT_DEFINE(struct ipsecstat, ipsec6stat);
245db8c0879SAndrey V. Elsukov VNET_PCPUSTAT_SYSINIT(ipsec6stat);
246db8c0879SAndrey V. Elsukov 
247db8c0879SAndrey V. Elsukov #ifdef VIMAGE
248db8c0879SAndrey V. Elsukov VNET_PCPUSTAT_SYSUNINIT(ipsec6stat);
249db8c0879SAndrey V. Elsukov #endif /* VIMAGE */
250db8c0879SAndrey V. Elsukov 
251eddfbb76SRobert Watson VNET_DEFINE(int, ip6_esp_trans_deflev) = IPSEC_LEVEL_USE;
252eddfbb76SRobert Watson VNET_DEFINE(int, ip6_esp_net_deflev) = IPSEC_LEVEL_USE;
253eddfbb76SRobert Watson VNET_DEFINE(int, ip6_ah_trans_deflev) = IPSEC_LEVEL_USE;
254eddfbb76SRobert Watson VNET_DEFINE(int, ip6_ah_net_deflev) = IPSEC_LEVEL_USE;
255eddfbb76SRobert Watson VNET_DEFINE(int, ip6_ipsec_ecn) = 0;	/* ECN ignore(-1)/forbidden(0)/allowed(1) */
25688768458SSam Leffler 
2575f901c92SAndrew Turner VNET_DEFINE_STATIC(int, ip6_filtertunnel) = 0;
258fcf59617SAndrey V. Elsukov #define	V_ip6_filtertunnel	VNET(ip6_filtertunnel)
259fcf59617SAndrey V. Elsukov 
26088768458SSam Leffler SYSCTL_DECL(_net_inet6_ipsec6);
26188768458SSam Leffler 
26288768458SSam Leffler /* net.inet6.ipsec6 */
263fcf59617SAndrey V. Elsukov SYSCTL_PROC(_net_inet6_ipsec6, IPSECCTL_DEF_POLICY, def_policy,
2647029da5cSPawel Biernacki     CTLTYPE_INT | CTLFLAG_VNET | CTLFLAG_RW | CTLFLAG_NEEDGIANT,
2657029da5cSPawel Biernacki     0, 0, sysctl_def_policy, "I",
2668b615593SMarko Zec     "IPsec default policy.");
2676df8a710SGleb Smirnoff SYSCTL_INT(_net_inet6_ipsec6, IPSECCTL_DEF_ESP_TRANSLEV, esp_trans_deflev,
2686df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip6_esp_trans_deflev), 0,
2698b615593SMarko Zec 	"Default ESP transport mode level.");
2706df8a710SGleb Smirnoff SYSCTL_INT(_net_inet6_ipsec6, IPSECCTL_DEF_ESP_NETLEV, esp_net_deflev,
2716df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip6_esp_net_deflev), 0,
2728b615593SMarko Zec 	"Default ESP tunnel mode level.");
2736df8a710SGleb Smirnoff SYSCTL_INT(_net_inet6_ipsec6, IPSECCTL_DEF_AH_TRANSLEV, ah_trans_deflev,
2746df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip6_ah_trans_deflev), 0,
2758b615593SMarko Zec 	"AH transfer mode default level.");
2766df8a710SGleb Smirnoff SYSCTL_INT(_net_inet6_ipsec6, IPSECCTL_DEF_AH_NETLEV, ah_net_deflev,
2776df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip6_ah_net_deflev), 0,
2788b615593SMarko Zec 	"AH tunnel mode default level.");
2796df8a710SGleb Smirnoff SYSCTL_INT(_net_inet6_ipsec6, IPSECCTL_ECN, ecn,
2806df8a710SGleb Smirnoff 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip6_ipsec_ecn), 0,
2813377c961STom Rhodes 	"Explicit Congestion Notification handling.");
282fcf59617SAndrey V. Elsukov SYSCTL_INT(_net_inet6_ipsec6, OID_AUTO, filtertunnel,
283fcf59617SAndrey V. Elsukov 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip6_filtertunnel),  0,
284fcf59617SAndrey V. Elsukov 	"If set, filter packets from an IPsec tunnel.");
285db8c0879SAndrey V. Elsukov SYSCTL_VNET_PCPUSTAT(_net_inet6_ipsec6, IPSECCTL_STATS, ipsecstats,
286db8c0879SAndrey V. Elsukov     struct ipsecstat, ipsec6stat, "IPsec IPv6 statistics.");
28788768458SSam Leffler #endif /* INET6 */
28888768458SSam Leffler 
289fcf59617SAndrey V. Elsukov static int ipsec_in_reject(struct secpolicy *, struct inpcb *,
290fcf59617SAndrey V. Elsukov     const struct mbuf *);
291fcf59617SAndrey V. Elsukov 
292fcf59617SAndrey V. Elsukov #ifdef INET
293fcf59617SAndrey V. Elsukov static void ipsec4_get_ulp(const struct mbuf *, struct secpolicyindex *, int);
294fcf59617SAndrey V. Elsukov static void ipsec4_setspidx_ipaddr(const struct mbuf *,
295fcf59617SAndrey V. Elsukov     struct secpolicyindex *);
296fcf59617SAndrey V. Elsukov #endif
29788768458SSam Leffler #ifdef INET6
298efb10c3cSAndrey V. Elsukov static void ipsec6_get_ulp(const struct mbuf *m, struct secpolicyindex *, int);
299fcf59617SAndrey V. Elsukov static void ipsec6_setspidx_ipaddr(const struct mbuf *,
300fcf59617SAndrey V. Elsukov     struct secpolicyindex *);
30188768458SSam Leffler #endif
3026464079fSSam Leffler 
30388768458SSam Leffler /*
30488768458SSam Leffler  * Return a held reference to the default SP.
30588768458SSam Leffler  */
30688768458SSam Leffler static struct secpolicy *
307fcf59617SAndrey V. Elsukov key_allocsp_default(void)
308fcf59617SAndrey V. Elsukov {
309fcf59617SAndrey V. Elsukov 
310fcf59617SAndrey V. Elsukov 	key_addref(V_def_policy);
311fcf59617SAndrey V. Elsukov 	return (V_def_policy);
312fcf59617SAndrey V. Elsukov }
313fcf59617SAndrey V. Elsukov 
314fcf59617SAndrey V. Elsukov static void
315fcf59617SAndrey V. Elsukov ipsec_invalidate_cache(struct inpcb *inp, u_int dir)
31688768458SSam Leffler {
31788768458SSam Leffler 	struct secpolicy *sp;
31888768458SSam Leffler 
319fcf59617SAndrey V. Elsukov 	INP_WLOCK_ASSERT(inp);
320fcf59617SAndrey V. Elsukov 	if (dir == IPSEC_DIR_OUTBOUND) {
321fcf59617SAndrey V. Elsukov 		if (inp->inp_sp->flags & INP_INBOUND_POLICY)
322fcf59617SAndrey V. Elsukov 			return;
323fcf59617SAndrey V. Elsukov 		sp = inp->inp_sp->sp_in;
324fcf59617SAndrey V. Elsukov 		inp->inp_sp->sp_in = NULL;
325fcf59617SAndrey V. Elsukov 	} else {
326fcf59617SAndrey V. Elsukov 		if (inp->inp_sp->flags & INP_OUTBOUND_POLICY)
327fcf59617SAndrey V. Elsukov 			return;
328fcf59617SAndrey V. Elsukov 		sp = inp->inp_sp->sp_out;
329fcf59617SAndrey V. Elsukov 		inp->inp_sp->sp_out = NULL;
33088768458SSam Leffler 	}
331fcf59617SAndrey V. Elsukov 	if (sp != NULL)
332fcf59617SAndrey V. Elsukov 		key_freesp(&sp); /* release extra reference */
33388768458SSam Leffler }
33488768458SSam Leffler 
335fcf59617SAndrey V. Elsukov static void
336fcf59617SAndrey V. Elsukov ipsec_cachepolicy(struct inpcb *inp, struct secpolicy *sp, u_int dir)
337fcf59617SAndrey V. Elsukov {
338fcf59617SAndrey V. Elsukov 	uint32_t genid;
339fcf59617SAndrey V. Elsukov 	int downgrade;
340fcf59617SAndrey V. Elsukov 
341fcf59617SAndrey V. Elsukov 	INP_LOCK_ASSERT(inp);
342fcf59617SAndrey V. Elsukov 
343fcf59617SAndrey V. Elsukov 	if (dir == IPSEC_DIR_OUTBOUND) {
344fcf59617SAndrey V. Elsukov 		/* Do we have configured PCB policy? */
345fcf59617SAndrey V. Elsukov 		if (inp->inp_sp->flags & INP_OUTBOUND_POLICY)
346fcf59617SAndrey V. Elsukov 			return;
347fcf59617SAndrey V. Elsukov 		/* Another thread has already set cached policy */
348fcf59617SAndrey V. Elsukov 		if (inp->inp_sp->sp_out != NULL)
349fcf59617SAndrey V. Elsukov 			return;
35088768458SSam Leffler 		/*
351fcf59617SAndrey V. Elsukov 		 * Do not cache OUTBOUND policy if PCB isn't connected,
352fcf59617SAndrey V. Elsukov 		 * i.e. foreign address is INADDR_ANY/UNSPECIFIED.
35388768458SSam Leffler 		 */
354fcf59617SAndrey V. Elsukov #ifdef INET
355fcf59617SAndrey V. Elsukov 		if ((inp->inp_vflag & INP_IPV4) != 0 &&
356fcf59617SAndrey V. Elsukov 		    inp->inp_faddr.s_addr == INADDR_ANY)
357fcf59617SAndrey V. Elsukov 			return;
358fcf59617SAndrey V. Elsukov #endif
359fcf59617SAndrey V. Elsukov #ifdef INET6
360fcf59617SAndrey V. Elsukov 		if ((inp->inp_vflag & INP_IPV6) != 0 &&
361fcf59617SAndrey V. Elsukov 		    IN6_IS_ADDR_UNSPECIFIED(&inp->in6p_faddr))
362fcf59617SAndrey V. Elsukov 			return;
363fcf59617SAndrey V. Elsukov #endif
364fcf59617SAndrey V. Elsukov 	} else {
365fcf59617SAndrey V. Elsukov 		/* Do we have configured PCB policy? */
366fcf59617SAndrey V. Elsukov 		if (inp->inp_sp->flags & INP_INBOUND_POLICY)
367fcf59617SAndrey V. Elsukov 			return;
368fcf59617SAndrey V. Elsukov 		/* Another thread has already set cached policy */
369fcf59617SAndrey V. Elsukov 		if (inp->inp_sp->sp_in != NULL)
370fcf59617SAndrey V. Elsukov 			return;
37188768458SSam Leffler 		/*
372fcf59617SAndrey V. Elsukov 		 * Do not cache INBOUND policy for listen socket,
373fcf59617SAndrey V. Elsukov 		 * that is bound to INADDR_ANY/UNSPECIFIED address.
37488768458SSam Leffler 		 */
375fcf59617SAndrey V. Elsukov #ifdef INET
376fcf59617SAndrey V. Elsukov 		if ((inp->inp_vflag & INP_IPV4) != 0 &&
377fcf59617SAndrey V. Elsukov 		    inp->inp_faddr.s_addr == INADDR_ANY)
378fcf59617SAndrey V. Elsukov 			return;
379fcf59617SAndrey V. Elsukov #endif
380fcf59617SAndrey V. Elsukov #ifdef INET6
381fcf59617SAndrey V. Elsukov 		if ((inp->inp_vflag & INP_IPV6) != 0 &&
382fcf59617SAndrey V. Elsukov 		    IN6_IS_ADDR_UNSPECIFIED(&inp->in6p_faddr))
383fcf59617SAndrey V. Elsukov 			return;
384fcf59617SAndrey V. Elsukov #endif
385c1fc5e96SErmal Luçi 	}
386fcf59617SAndrey V. Elsukov 	downgrade = 0;
387fcf59617SAndrey V. Elsukov 	if (!INP_WLOCKED(inp)) {
388fcf59617SAndrey V. Elsukov 		if ((downgrade = INP_TRY_UPGRADE(inp)) == 0)
389fcf59617SAndrey V. Elsukov 			return;
39088768458SSam Leffler 	}
391fcf59617SAndrey V. Elsukov 	if (dir == IPSEC_DIR_OUTBOUND)
392fcf59617SAndrey V. Elsukov 		inp->inp_sp->sp_out = sp;
39388768458SSam Leffler 	else
394fcf59617SAndrey V. Elsukov 		inp->inp_sp->sp_in = sp;
395fcf59617SAndrey V. Elsukov 	/*
396fcf59617SAndrey V. Elsukov 	 * SP is already referenced by the lookup code.
397fcf59617SAndrey V. Elsukov 	 * We take extra reference here to avoid race in the
398fcf59617SAndrey V. Elsukov 	 * ipsec_getpcbpolicy() function - SP will not be freed in the
399fcf59617SAndrey V. Elsukov 	 * time between we take SP pointer from the cache and key_addref()
400fcf59617SAndrey V. Elsukov 	 * call.
401fcf59617SAndrey V. Elsukov 	 */
402fcf59617SAndrey V. Elsukov 	key_addref(sp);
403fcf59617SAndrey V. Elsukov 	genid = key_getspgen();
404fcf59617SAndrey V. Elsukov 	if (genid != inp->inp_sp->genid) {
405fcf59617SAndrey V. Elsukov 		ipsec_invalidate_cache(inp, dir);
406fcf59617SAndrey V. Elsukov 		inp->inp_sp->genid = genid;
40788768458SSam Leffler 	}
408fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_STAMP,
409fcf59617SAndrey V. Elsukov 	    printf("%s: PCB(%p): cached %s SP(%p)\n",
410fcf59617SAndrey V. Elsukov 	    __func__, inp, dir == IPSEC_DIR_OUTBOUND ? "OUTBOUND":
411fcf59617SAndrey V. Elsukov 	    "INBOUND", sp));
412fcf59617SAndrey V. Elsukov 	if (downgrade != 0)
413fcf59617SAndrey V. Elsukov 		INP_DOWNGRADE(inp);
414fcf59617SAndrey V. Elsukov }
415fcf59617SAndrey V. Elsukov 
416fcf59617SAndrey V. Elsukov static struct secpolicy *
417fcf59617SAndrey V. Elsukov ipsec_checkpolicy(struct secpolicy *sp, struct inpcb *inp, int *error)
418fcf59617SAndrey V. Elsukov {
419fcf59617SAndrey V. Elsukov 
420fcf59617SAndrey V. Elsukov 	/* Save found OUTBOUND policy into PCB SP cache. */
421fcf59617SAndrey V. Elsukov 	if (inp != NULL && inp->inp_sp != NULL && inp->inp_sp->sp_out == NULL)
422fcf59617SAndrey V. Elsukov 		ipsec_cachepolicy(inp, sp, IPSEC_DIR_OUTBOUND);
423fcf59617SAndrey V. Elsukov 
42488768458SSam Leffler 	switch (sp->policy) {
42588768458SSam Leffler 	default:
4269ffa9677SSam Leffler 		printf("%s: invalid policy %u\n", __func__, sp->policy);
427de47c390SBjoern A. Zeeb 		/* FALLTHROUGH */
42888768458SSam Leffler 	case IPSEC_POLICY_DISCARD:
429de47c390SBjoern A. Zeeb 		*error = -EINVAL;	/* Packet is discarded by caller. */
430fcf59617SAndrey V. Elsukov 		/* FALLTHROUGH */
43188768458SSam Leffler 	case IPSEC_POLICY_BYPASS:
43288768458SSam Leffler 	case IPSEC_POLICY_NONE:
433fcf59617SAndrey V. Elsukov 		key_freesp(&sp);
434de47c390SBjoern A. Zeeb 		sp = NULL;		/* NB: force NULL result. */
43588768458SSam Leffler 		break;
43688768458SSam Leffler 	case IPSEC_POLICY_IPSEC:
437fcf59617SAndrey V. Elsukov 		/* XXXAE: handle LARVAL SP */
43888768458SSam Leffler 		break;
43988768458SSam Leffler 	}
440fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_DUMP,
441fcf59617SAndrey V. Elsukov 	    printf("%s: get SP(%p), error %d\n", __func__, sp, *error));
442de47c390SBjoern A. Zeeb 	return (sp);
44388768458SSam Leffler }
44488768458SSam Leffler 
445fcf59617SAndrey V. Elsukov static struct secpolicy *
446fcf59617SAndrey V. Elsukov ipsec_getpcbpolicy(struct inpcb *inp, u_int dir)
44788768458SSam Leffler {
448fcf59617SAndrey V. Elsukov 	struct secpolicy *sp;
449fcf59617SAndrey V. Elsukov 	int flags, downgrade;
45088768458SSam Leffler 
451fcf59617SAndrey V. Elsukov 	if (inp == NULL || inp->inp_sp == NULL)
452fcf59617SAndrey V. Elsukov 		return (NULL);
45388768458SSam Leffler 
454fcf59617SAndrey V. Elsukov 	INP_LOCK_ASSERT(inp);
455fcf59617SAndrey V. Elsukov 
456fcf59617SAndrey V. Elsukov 	flags = inp->inp_sp->flags;
457fcf59617SAndrey V. Elsukov 	if (dir == IPSEC_DIR_OUTBOUND) {
458fcf59617SAndrey V. Elsukov 		sp = inp->inp_sp->sp_out;
459fcf59617SAndrey V. Elsukov 		flags &= INP_OUTBOUND_POLICY;
46088768458SSam Leffler 	} else {
461fcf59617SAndrey V. Elsukov 		sp = inp->inp_sp->sp_in;
462fcf59617SAndrey V. Elsukov 		flags &= INP_INBOUND_POLICY;
46388768458SSam Leffler 	}
46488768458SSam Leffler 	/*
465fcf59617SAndrey V. Elsukov 	 * Check flags. If we have PCB SP, just return it.
466fcf59617SAndrey V. Elsukov 	 * Otherwise we need to check that cached SP entry isn't stale.
46788768458SSam Leffler 	 */
468fcf59617SAndrey V. Elsukov 	if (flags == 0) {
469fcf59617SAndrey V. Elsukov 		if (sp == NULL)
470fcf59617SAndrey V. Elsukov 			return (NULL);
471fcf59617SAndrey V. Elsukov 		if (inp->inp_sp->genid != key_getspgen()) {
472fcf59617SAndrey V. Elsukov 			/* Invalidate the cache. */
473fcf59617SAndrey V. Elsukov 			downgrade = 0;
474fcf59617SAndrey V. Elsukov 			if (!INP_WLOCKED(inp)) {
475fcf59617SAndrey V. Elsukov 				if ((downgrade = INP_TRY_UPGRADE(inp)) == 0)
476fcf59617SAndrey V. Elsukov 					return (NULL);
477fcf59617SAndrey V. Elsukov 			}
478fcf59617SAndrey V. Elsukov 			ipsec_invalidate_cache(inp, IPSEC_DIR_OUTBOUND);
479fcf59617SAndrey V. Elsukov 			ipsec_invalidate_cache(inp, IPSEC_DIR_INBOUND);
480fcf59617SAndrey V. Elsukov 			if (downgrade != 0)
481fcf59617SAndrey V. Elsukov 				INP_DOWNGRADE(inp);
482fcf59617SAndrey V. Elsukov 			return (NULL);
483fcf59617SAndrey V. Elsukov 		}
484fcf59617SAndrey V. Elsukov 		KEYDBG(IPSEC_STAMP,
485fcf59617SAndrey V. Elsukov 		    printf("%s: PCB(%p): cache hit SP(%p)\n",
486fcf59617SAndrey V. Elsukov 		    __func__, inp, sp));
487fcf59617SAndrey V. Elsukov 		/* Return referenced cached policy */
488fcf59617SAndrey V. Elsukov 	}
489fcf59617SAndrey V. Elsukov 	key_addref(sp);
490fcf59617SAndrey V. Elsukov 	return (sp);
49188768458SSam Leffler }
49288768458SSam Leffler 
493fcf59617SAndrey V. Elsukov #ifdef INET
49488768458SSam Leffler static void
495efb10c3cSAndrey V. Elsukov ipsec4_get_ulp(const struct mbuf *m, struct secpolicyindex *spidx,
496efb10c3cSAndrey V. Elsukov     int needport)
49788768458SSam Leffler {
498fcf59617SAndrey V. Elsukov 	uint8_t nxt;
49988768458SSam Leffler 	int off;
50088768458SSam Leffler 
501de47c390SBjoern A. Zeeb 	/* Sanity check. */
502fcf59617SAndrey V. Elsukov 	IPSEC_ASSERT(m->m_pkthdr.len >= sizeof(struct ip),
503fcf59617SAndrey V. Elsukov 	    ("packet too short"));
50488768458SSam Leffler 
50587a25418SErmal Luçi 	if (m->m_len >= sizeof (struct ip)) {
506efb10c3cSAndrey V. Elsukov 		const struct ip *ip = mtod(m, const struct ip *);
5078f134647SGleb Smirnoff 		if (ip->ip_off & htons(IP_MF | IP_OFFMASK))
50888768458SSam Leffler 			goto done;
50988768458SSam Leffler 		off = ip->ip_hl << 2;
51088768458SSam Leffler 		nxt = ip->ip_p;
51188768458SSam Leffler 	} else {
51288768458SSam Leffler 		struct ip ih;
51388768458SSam Leffler 
51488768458SSam Leffler 		m_copydata(m, 0, sizeof (struct ip), (caddr_t) &ih);
5158f134647SGleb Smirnoff 		if (ih.ip_off & htons(IP_MF | IP_OFFMASK))
51688768458SSam Leffler 			goto done;
51788768458SSam Leffler 		off = ih.ip_hl << 2;
51888768458SSam Leffler 		nxt = ih.ip_p;
51988768458SSam Leffler 	}
52088768458SSam Leffler 
52188768458SSam Leffler 	while (off < m->m_pkthdr.len) {
52288768458SSam Leffler 		struct ip6_ext ip6e;
52388768458SSam Leffler 		struct tcphdr th;
52488768458SSam Leffler 		struct udphdr uh;
52588768458SSam Leffler 
52688768458SSam Leffler 		switch (nxt) {
52788768458SSam Leffler 		case IPPROTO_TCP:
52888768458SSam Leffler 			spidx->ul_proto = nxt;
52988768458SSam Leffler 			if (!needport)
53088768458SSam Leffler 				goto done_proto;
53188768458SSam Leffler 			if (off + sizeof(struct tcphdr) > m->m_pkthdr.len)
53288768458SSam Leffler 				goto done;
53388768458SSam Leffler 			m_copydata(m, off, sizeof (th), (caddr_t) &th);
53488768458SSam Leffler 			spidx->src.sin.sin_port = th.th_sport;
53588768458SSam Leffler 			spidx->dst.sin.sin_port = th.th_dport;
53688768458SSam Leffler 			return;
53788768458SSam Leffler 		case IPPROTO_UDP:
53888768458SSam Leffler 			spidx->ul_proto = nxt;
53988768458SSam Leffler 			if (!needport)
54088768458SSam Leffler 				goto done_proto;
54188768458SSam Leffler 			if (off + sizeof(struct udphdr) > m->m_pkthdr.len)
54288768458SSam Leffler 				goto done;
54388768458SSam Leffler 			m_copydata(m, off, sizeof (uh), (caddr_t) &uh);
54488768458SSam Leffler 			spidx->src.sin.sin_port = uh.uh_sport;
54588768458SSam Leffler 			spidx->dst.sin.sin_port = uh.uh_dport;
54688768458SSam Leffler 			return;
54788768458SSam Leffler 		case IPPROTO_AH:
548afa3570dSSam Leffler 			if (off + sizeof(ip6e) > m->m_pkthdr.len)
54988768458SSam Leffler 				goto done;
550de47c390SBjoern A. Zeeb 			/* XXX Sigh, this works but is totally bogus. */
55188768458SSam Leffler 			m_copydata(m, off, sizeof(ip6e), (caddr_t) &ip6e);
55288768458SSam Leffler 			off += (ip6e.ip6e_len + 2) << 2;
55388768458SSam Leffler 			nxt = ip6e.ip6e_nxt;
55488768458SSam Leffler 			break;
55588768458SSam Leffler 		case IPPROTO_ICMP:
55688768458SSam Leffler 		default:
557de47c390SBjoern A. Zeeb 			/* XXX Intermediate headers??? */
55888768458SSam Leffler 			spidx->ul_proto = nxt;
55988768458SSam Leffler 			goto done_proto;
56088768458SSam Leffler 		}
56188768458SSam Leffler 	}
56288768458SSam Leffler done:
56388768458SSam Leffler 	spidx->ul_proto = IPSEC_ULPROTO_ANY;
56488768458SSam Leffler done_proto:
56588768458SSam Leffler 	spidx->src.sin.sin_port = IPSEC_PORT_ANY;
56688768458SSam Leffler 	spidx->dst.sin.sin_port = IPSEC_PORT_ANY;
567fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_DUMP,
568fcf59617SAndrey V. Elsukov 	    printf("%s: ", __func__); kdebug_secpolicyindex(spidx, NULL));
56988768458SSam Leffler }
57088768458SSam Leffler 
571fcf59617SAndrey V. Elsukov static void
572efb10c3cSAndrey V. Elsukov ipsec4_setspidx_ipaddr(const struct mbuf *m, struct secpolicyindex *spidx)
57388768458SSam Leffler {
57488768458SSam Leffler 
575fcf59617SAndrey V. Elsukov 	ipsec4_setsockaddrs(m, &spidx->src, &spidx->dst);
57688768458SSam Leffler 	spidx->prefs = sizeof(struct in_addr) << 3;
57788768458SSam Leffler 	spidx->prefd = sizeof(struct in_addr) << 3;
57888768458SSam Leffler }
57988768458SSam Leffler 
580fcf59617SAndrey V. Elsukov static struct secpolicy *
58122bbefb2SAndrey V. Elsukov ipsec4_getpolicy(const struct mbuf *m, struct inpcb *inp, u_int dir,
58222bbefb2SAndrey V. Elsukov     int needport)
583fcf59617SAndrey V. Elsukov {
584fcf59617SAndrey V. Elsukov 	struct secpolicyindex spidx;
585fcf59617SAndrey V. Elsukov 	struct secpolicy *sp;
586fcf59617SAndrey V. Elsukov 
587fcf59617SAndrey V. Elsukov 	sp = ipsec_getpcbpolicy(inp, dir);
588fcf59617SAndrey V. Elsukov 	if (sp == NULL && key_havesp(dir)) {
589fcf59617SAndrey V. Elsukov 		/* Make an index to look for a policy. */
590fcf59617SAndrey V. Elsukov 		ipsec4_setspidx_ipaddr(m, &spidx);
59122bbefb2SAndrey V. Elsukov 		ipsec4_get_ulp(m, &spidx, needport);
592fcf59617SAndrey V. Elsukov 		spidx.dir = dir;
593fcf59617SAndrey V. Elsukov 		sp = key_allocsp(&spidx, dir);
594fcf59617SAndrey V. Elsukov 	}
595fcf59617SAndrey V. Elsukov 	if (sp == NULL)		/* No SP found, use system default. */
596fcf59617SAndrey V. Elsukov 		sp = key_allocsp_default();
597fcf59617SAndrey V. Elsukov 	return (sp);
598fcf59617SAndrey V. Elsukov }
599fcf59617SAndrey V. Elsukov 
600fcf59617SAndrey V. Elsukov /*
601fcf59617SAndrey V. Elsukov  * Check security policy for *OUTBOUND* IPv4 packet.
602fcf59617SAndrey V. Elsukov  */
603fcf59617SAndrey V. Elsukov struct secpolicy *
60422bbefb2SAndrey V. Elsukov ipsec4_checkpolicy(const struct mbuf *m, struct inpcb *inp, int *error,
60522bbefb2SAndrey V. Elsukov     int needport)
606fcf59617SAndrey V. Elsukov {
607fcf59617SAndrey V. Elsukov 	struct secpolicy *sp;
608fcf59617SAndrey V. Elsukov 
609fcf59617SAndrey V. Elsukov 	*error = 0;
61022bbefb2SAndrey V. Elsukov 	sp = ipsec4_getpolicy(m, inp, IPSEC_DIR_OUTBOUND, needport);
611fcf59617SAndrey V. Elsukov 	if (sp != NULL)
612fcf59617SAndrey V. Elsukov 		sp = ipsec_checkpolicy(sp, inp, error);
613fcf59617SAndrey V. Elsukov 	if (sp == NULL) {
614fcf59617SAndrey V. Elsukov 		switch (*error) {
615fcf59617SAndrey V. Elsukov 		case 0: /* No IPsec required: BYPASS or NONE */
616fcf59617SAndrey V. Elsukov 			break;
617fcf59617SAndrey V. Elsukov 		case -EINVAL:
618fcf59617SAndrey V. Elsukov 			IPSECSTAT_INC(ips_out_polvio);
619fcf59617SAndrey V. Elsukov 			break;
620fcf59617SAndrey V. Elsukov 		default:
621fcf59617SAndrey V. Elsukov 			IPSECSTAT_INC(ips_out_inval);
622fcf59617SAndrey V. Elsukov 		}
623fcf59617SAndrey V. Elsukov 	}
624fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_STAMP,
625fcf59617SAndrey V. Elsukov 	    printf("%s: using SP(%p), error %d\n", __func__, sp, *error));
626fcf59617SAndrey V. Elsukov 	if (sp != NULL)
627fcf59617SAndrey V. Elsukov 		KEYDBG(IPSEC_DATA, kdebug_secpolicy(sp));
628fcf59617SAndrey V. Elsukov 	return (sp);
629fcf59617SAndrey V. Elsukov }
630fcf59617SAndrey V. Elsukov 
631fcf59617SAndrey V. Elsukov /*
632fcf59617SAndrey V. Elsukov  * Check IPv4 packet against *INBOUND* security policy.
633fcf59617SAndrey V. Elsukov  * This function is called from tcp_input(), udp_input(),
634fcf59617SAndrey V. Elsukov  * rip_input() and sctp_input().
635fcf59617SAndrey V. Elsukov  */
636fcf59617SAndrey V. Elsukov int
637fcf59617SAndrey V. Elsukov ipsec4_in_reject(const struct mbuf *m, struct inpcb *inp)
638fcf59617SAndrey V. Elsukov {
639fcf59617SAndrey V. Elsukov 	struct secpolicy *sp;
640fcf59617SAndrey V. Elsukov 	int result;
641fcf59617SAndrey V. Elsukov 
64222bbefb2SAndrey V. Elsukov 	sp = ipsec4_getpolicy(m, inp, IPSEC_DIR_INBOUND, 0);
643fcf59617SAndrey V. Elsukov 	result = ipsec_in_reject(sp, inp, m);
644fcf59617SAndrey V. Elsukov 	key_freesp(&sp);
645fcf59617SAndrey V. Elsukov 	if (result != 0)
646fcf59617SAndrey V. Elsukov 		IPSECSTAT_INC(ips_in_polvio);
647fcf59617SAndrey V. Elsukov 	return (result);
648fcf59617SAndrey V. Elsukov }
649fcf59617SAndrey V. Elsukov 
650fcf59617SAndrey V. Elsukov /*
651fcf59617SAndrey V. Elsukov  * IPSEC_CAP() method implementation for IPv4.
652fcf59617SAndrey V. Elsukov  */
653fcf59617SAndrey V. Elsukov int
654fcf59617SAndrey V. Elsukov ipsec4_capability(struct mbuf *m, u_int cap)
655fcf59617SAndrey V. Elsukov {
656fcf59617SAndrey V. Elsukov 
657fcf59617SAndrey V. Elsukov 	switch (cap) {
658fcf59617SAndrey V. Elsukov 	case IPSEC_CAP_BYPASS_FILTER:
659fcf59617SAndrey V. Elsukov 		/*
660fcf59617SAndrey V. Elsukov 		 * Bypass packet filtering for packets previously handled
661fcf59617SAndrey V. Elsukov 		 * by IPsec.
662fcf59617SAndrey V. Elsukov 		 */
663fcf59617SAndrey V. Elsukov 		if (!V_ip4_filtertunnel &&
664fcf59617SAndrey V. Elsukov 		    m_tag_find(m, PACKET_TAG_IPSEC_IN_DONE, NULL) != NULL)
665fcf59617SAndrey V. Elsukov 			return (1);
666fcf59617SAndrey V. Elsukov 		return (0);
667fcf59617SAndrey V. Elsukov 	case IPSEC_CAP_OPERABLE:
668fcf59617SAndrey V. Elsukov 		/* Do we have active security policies? */
669c1bfe8c5SMateusz Guzik 		return (key_havesp_any());
670fcf59617SAndrey V. Elsukov 	};
671fcf59617SAndrey V. Elsukov 	return (EOPNOTSUPP);
672fcf59617SAndrey V. Elsukov }
673fcf59617SAndrey V. Elsukov 
674fcf59617SAndrey V. Elsukov #endif /* INET */
675fcf59617SAndrey V. Elsukov 
67688768458SSam Leffler #ifdef INET6
67788768458SSam Leffler static void
678efb10c3cSAndrey V. Elsukov ipsec6_get_ulp(const struct mbuf *m, struct secpolicyindex *spidx,
679efb10c3cSAndrey V. Elsukov     int needport)
68088768458SSam Leffler {
68188768458SSam Leffler 	struct tcphdr th;
68288768458SSam Leffler 	struct udphdr uh;
6830e3c2be4SBjoern A. Zeeb 	struct icmp6_hdr ih;
684fcf59617SAndrey V. Elsukov 	int off, nxt;
68588768458SSam Leffler 
686fcf59617SAndrey V. Elsukov 	IPSEC_ASSERT(m->m_pkthdr.len >= sizeof(struct ip6_hdr),
687fcf59617SAndrey V. Elsukov 	    ("packet too short"));
68888768458SSam Leffler 
689de47c390SBjoern A. Zeeb 	/* Set default. */
69088768458SSam Leffler 	spidx->ul_proto = IPSEC_ULPROTO_ANY;
691fcf59617SAndrey V. Elsukov 	spidx->src.sin6.sin6_port = IPSEC_PORT_ANY;
692fcf59617SAndrey V. Elsukov 	spidx->dst.sin6.sin6_port = IPSEC_PORT_ANY;
69388768458SSam Leffler 
69488768458SSam Leffler 	nxt = -1;
69588768458SSam Leffler 	off = ip6_lasthdr(m, 0, IPPROTO_IPV6, &nxt);
69688768458SSam Leffler 	if (off < 0 || m->m_pkthdr.len < off)
69788768458SSam Leffler 		return;
69888768458SSam Leffler 
69988768458SSam Leffler 	switch (nxt) {
70088768458SSam Leffler 	case IPPROTO_TCP:
70188768458SSam Leffler 		spidx->ul_proto = nxt;
70288768458SSam Leffler 		if (!needport)
70388768458SSam Leffler 			break;
70488768458SSam Leffler 		if (off + sizeof(struct tcphdr) > m->m_pkthdr.len)
70588768458SSam Leffler 			break;
70688768458SSam Leffler 		m_copydata(m, off, sizeof(th), (caddr_t)&th);
707fcf59617SAndrey V. Elsukov 		spidx->src.sin6.sin6_port = th.th_sport;
708fcf59617SAndrey V. Elsukov 		spidx->dst.sin6.sin6_port = th.th_dport;
70988768458SSam Leffler 		break;
71088768458SSam Leffler 	case IPPROTO_UDP:
71188768458SSam Leffler 		spidx->ul_proto = nxt;
71288768458SSam Leffler 		if (!needport)
71388768458SSam Leffler 			break;
71488768458SSam Leffler 		if (off + sizeof(struct udphdr) > m->m_pkthdr.len)
71588768458SSam Leffler 			break;
71688768458SSam Leffler 		m_copydata(m, off, sizeof(uh), (caddr_t)&uh);
717fcf59617SAndrey V. Elsukov 		spidx->src.sin6.sin6_port = uh.uh_sport;
718fcf59617SAndrey V. Elsukov 		spidx->dst.sin6.sin6_port = uh.uh_dport;
71988768458SSam Leffler 		break;
72088768458SSam Leffler 	case IPPROTO_ICMPV6:
7210e3c2be4SBjoern A. Zeeb 		spidx->ul_proto = nxt;
7220e3c2be4SBjoern A. Zeeb 		if (off + sizeof(struct icmp6_hdr) > m->m_pkthdr.len)
7230e3c2be4SBjoern A. Zeeb 			break;
7240e3c2be4SBjoern A. Zeeb 		m_copydata(m, off, sizeof(ih), (caddr_t)&ih);
725fcf59617SAndrey V. Elsukov 		spidx->src.sin6.sin6_port = htons((uint16_t)ih.icmp6_type);
726fcf59617SAndrey V. Elsukov 		spidx->dst.sin6.sin6_port = htons((uint16_t)ih.icmp6_code);
7270e3c2be4SBjoern A. Zeeb 		break;
72888768458SSam Leffler 	default:
729de47c390SBjoern A. Zeeb 		/* XXX Intermediate headers??? */
73088768458SSam Leffler 		spidx->ul_proto = nxt;
73188768458SSam Leffler 		break;
73288768458SSam Leffler 	}
733fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_DUMP,
734fcf59617SAndrey V. Elsukov 	    printf("%s: ", __func__); kdebug_secpolicyindex(spidx, NULL));
73588768458SSam Leffler }
73688768458SSam Leffler 
737fcf59617SAndrey V. Elsukov static void
738efb10c3cSAndrey V. Elsukov ipsec6_setspidx_ipaddr(const struct mbuf *m, struct secpolicyindex *spidx)
73988768458SSam Leffler {
74088768458SSam Leffler 
741fcf59617SAndrey V. Elsukov 	ipsec6_setsockaddrs(m, &spidx->src, &spidx->dst);
74288768458SSam Leffler 	spidx->prefs = sizeof(struct in6_addr) << 3;
74388768458SSam Leffler 	spidx->prefd = sizeof(struct in6_addr) << 3;
74488768458SSam Leffler }
745fcf59617SAndrey V. Elsukov 
746fcf59617SAndrey V. Elsukov static struct secpolicy *
74722bbefb2SAndrey V. Elsukov ipsec6_getpolicy(const struct mbuf *m, struct inpcb *inp, u_int dir,
74822bbefb2SAndrey V. Elsukov     int needport)
749fcf59617SAndrey V. Elsukov {
750fcf59617SAndrey V. Elsukov 	struct secpolicyindex spidx;
751fcf59617SAndrey V. Elsukov 	struct secpolicy *sp;
752fcf59617SAndrey V. Elsukov 
753fcf59617SAndrey V. Elsukov 	sp = ipsec_getpcbpolicy(inp, dir);
754fcf59617SAndrey V. Elsukov 	if (sp == NULL && key_havesp(dir)) {
755fcf59617SAndrey V. Elsukov 		/* Make an index to look for a policy. */
756fcf59617SAndrey V. Elsukov 		ipsec6_setspidx_ipaddr(m, &spidx);
75722bbefb2SAndrey V. Elsukov 		ipsec6_get_ulp(m, &spidx, needport);
758fcf59617SAndrey V. Elsukov 		spidx.dir = dir;
759fcf59617SAndrey V. Elsukov 		sp = key_allocsp(&spidx, dir);
760fcf59617SAndrey V. Elsukov 	}
761fcf59617SAndrey V. Elsukov 	if (sp == NULL)		/* No SP found, use system default. */
762fcf59617SAndrey V. Elsukov 		sp = key_allocsp_default();
763fcf59617SAndrey V. Elsukov 	return (sp);
764fcf59617SAndrey V. Elsukov }
765fcf59617SAndrey V. Elsukov 
766fcf59617SAndrey V. Elsukov /*
767fcf59617SAndrey V. Elsukov  * Check security policy for *OUTBOUND* IPv6 packet.
768fcf59617SAndrey V. Elsukov  */
769fcf59617SAndrey V. Elsukov struct secpolicy *
77022bbefb2SAndrey V. Elsukov ipsec6_checkpolicy(const struct mbuf *m, struct inpcb *inp, int *error,
77122bbefb2SAndrey V. Elsukov     int needport)
772fcf59617SAndrey V. Elsukov {
773fcf59617SAndrey V. Elsukov 	struct secpolicy *sp;
774fcf59617SAndrey V. Elsukov 
775fcf59617SAndrey V. Elsukov 	*error = 0;
77622bbefb2SAndrey V. Elsukov 	sp = ipsec6_getpolicy(m, inp, IPSEC_DIR_OUTBOUND, needport);
777fcf59617SAndrey V. Elsukov 	if (sp != NULL)
778fcf59617SAndrey V. Elsukov 		sp = ipsec_checkpolicy(sp, inp, error);
779fcf59617SAndrey V. Elsukov 	if (sp == NULL) {
780fcf59617SAndrey V. Elsukov 		switch (*error) {
781fcf59617SAndrey V. Elsukov 		case 0: /* No IPsec required: BYPASS or NONE */
782fcf59617SAndrey V. Elsukov 			break;
783fcf59617SAndrey V. Elsukov 		case -EINVAL:
784fcf59617SAndrey V. Elsukov 			IPSEC6STAT_INC(ips_out_polvio);
785fcf59617SAndrey V. Elsukov 			break;
786fcf59617SAndrey V. Elsukov 		default:
787fcf59617SAndrey V. Elsukov 			IPSEC6STAT_INC(ips_out_inval);
788fcf59617SAndrey V. Elsukov 		}
789fcf59617SAndrey V. Elsukov 	}
790fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_STAMP,
791fcf59617SAndrey V. Elsukov 	    printf("%s: using SP(%p), error %d\n", __func__, sp, *error));
792fcf59617SAndrey V. Elsukov 	if (sp != NULL)
793fcf59617SAndrey V. Elsukov 		KEYDBG(IPSEC_DATA, kdebug_secpolicy(sp));
794fcf59617SAndrey V. Elsukov 	return (sp);
795fcf59617SAndrey V. Elsukov }
796fcf59617SAndrey V. Elsukov 
797fcf59617SAndrey V. Elsukov /*
798fcf59617SAndrey V. Elsukov  * Check IPv6 packet against inbound security policy.
799fcf59617SAndrey V. Elsukov  * This function is called from tcp6_input(), udp6_input(),
800fcf59617SAndrey V. Elsukov  * rip6_input() and sctp_input().
801fcf59617SAndrey V. Elsukov  */
802fcf59617SAndrey V. Elsukov int
803fcf59617SAndrey V. Elsukov ipsec6_in_reject(const struct mbuf *m, struct inpcb *inp)
804fcf59617SAndrey V. Elsukov {
805fcf59617SAndrey V. Elsukov 	struct secpolicy *sp;
806fcf59617SAndrey V. Elsukov 	int result;
807fcf59617SAndrey V. Elsukov 
80822bbefb2SAndrey V. Elsukov 	sp = ipsec6_getpolicy(m, inp, IPSEC_DIR_INBOUND, 0);
809fcf59617SAndrey V. Elsukov 	result = ipsec_in_reject(sp, inp, m);
810fcf59617SAndrey V. Elsukov 	key_freesp(&sp);
811fcf59617SAndrey V. Elsukov 	if (result)
812fcf59617SAndrey V. Elsukov 		IPSEC6STAT_INC(ips_in_polvio);
813fcf59617SAndrey V. Elsukov 	return (result);
814fcf59617SAndrey V. Elsukov }
815fcf59617SAndrey V. Elsukov 
816fcf59617SAndrey V. Elsukov /*
817fcf59617SAndrey V. Elsukov  * IPSEC_CAP() method implementation for IPv6.
818fcf59617SAndrey V. Elsukov  */
819fcf59617SAndrey V. Elsukov int
820fcf59617SAndrey V. Elsukov ipsec6_capability(struct mbuf *m, u_int cap)
821fcf59617SAndrey V. Elsukov {
822fcf59617SAndrey V. Elsukov 
823fcf59617SAndrey V. Elsukov 	switch (cap) {
824fcf59617SAndrey V. Elsukov 	case IPSEC_CAP_BYPASS_FILTER:
825fcf59617SAndrey V. Elsukov 		/*
826fcf59617SAndrey V. Elsukov 		 * Bypass packet filtering for packets previously handled
827fcf59617SAndrey V. Elsukov 		 * by IPsec.
828fcf59617SAndrey V. Elsukov 		 */
829fcf59617SAndrey V. Elsukov 		if (!V_ip6_filtertunnel &&
830fcf59617SAndrey V. Elsukov 		    m_tag_find(m, PACKET_TAG_IPSEC_IN_DONE, NULL) != NULL)
831fcf59617SAndrey V. Elsukov 			return (1);
832fcf59617SAndrey V. Elsukov 		return (0);
833fcf59617SAndrey V. Elsukov 	case IPSEC_CAP_OPERABLE:
834fcf59617SAndrey V. Elsukov 		/* Do we have active security policies? */
835c1bfe8c5SMateusz Guzik 		return (key_havesp_any());
836fcf59617SAndrey V. Elsukov 	};
837fcf59617SAndrey V. Elsukov 	return (EOPNOTSUPP);
838fcf59617SAndrey V. Elsukov }
839fcf59617SAndrey V. Elsukov #endif /* INET6 */
84088768458SSam Leffler 
841ef91a976SAndrey V. Elsukov int
842ef91a976SAndrey V. Elsukov ipsec_run_hhooks(struct ipsec_ctx_data *ctx, int type)
843ef91a976SAndrey V. Elsukov {
844ef91a976SAndrey V. Elsukov 	int idx;
845ef91a976SAndrey V. Elsukov 
846ef91a976SAndrey V. Elsukov 	switch (ctx->af) {
847ef91a976SAndrey V. Elsukov #ifdef INET
848ef91a976SAndrey V. Elsukov 	case AF_INET:
849ef91a976SAndrey V. Elsukov 		idx = HHOOK_IPSEC_INET;
850ef91a976SAndrey V. Elsukov 		break;
851ef91a976SAndrey V. Elsukov #endif
852ef91a976SAndrey V. Elsukov #ifdef INET6
853ef91a976SAndrey V. Elsukov 	case AF_INET6:
854ef91a976SAndrey V. Elsukov 		idx = HHOOK_IPSEC_INET6;
855ef91a976SAndrey V. Elsukov 		break;
856ef91a976SAndrey V. Elsukov #endif
857ef91a976SAndrey V. Elsukov 	default:
858ef91a976SAndrey V. Elsukov 		return (EPFNOSUPPORT);
859ef91a976SAndrey V. Elsukov 	}
860ef91a976SAndrey V. Elsukov 	if (type == HHOOK_TYPE_IPSEC_IN)
861ef91a976SAndrey V. Elsukov 		HHOOKS_RUN_IF(V_ipsec_hhh_in[idx], ctx, NULL);
862ef91a976SAndrey V. Elsukov 	else
863ef91a976SAndrey V. Elsukov 		HHOOKS_RUN_IF(V_ipsec_hhh_out[idx], ctx, NULL);
864ef91a976SAndrey V. Elsukov 	if (*ctx->mp == NULL)
865ef91a976SAndrey V. Elsukov 		return (EACCES);
866ef91a976SAndrey V. Elsukov 	return (0);
867ef91a976SAndrey V. Elsukov }
868ef91a976SAndrey V. Elsukov 
86988768458SSam Leffler /*
870de47c390SBjoern A. Zeeb  * Return current level.
87188768458SSam Leffler  * Either IPSEC_LEVEL_USE or IPSEC_LEVEL_REQUIRE are always returned.
87288768458SSam Leffler  */
87388768458SSam Leffler u_int
874fcf59617SAndrey V. Elsukov ipsec_get_reqlevel(struct secpolicy *sp, u_int idx)
87588768458SSam Leffler {
876fcf59617SAndrey V. Elsukov 	struct ipsecrequest *isr;
87788768458SSam Leffler 	u_int esp_trans_deflev, esp_net_deflev;
87888768458SSam Leffler 	u_int ah_trans_deflev, ah_net_deflev;
879fcf59617SAndrey V. Elsukov 	u_int level = 0;
88088768458SSam Leffler 
881fcf59617SAndrey V. Elsukov 	IPSEC_ASSERT(idx < sp->tcount, ("Wrong IPsec request index %d", idx));
882de47c390SBjoern A. Zeeb /* XXX Note that we have ipseclog() expanded here - code sync issue. */
88388768458SSam Leffler #define IPSEC_CHECK_DEFAULT(lev) \
884fcf59617SAndrey V. Elsukov 	(((lev) != IPSEC_LEVEL_USE && (lev) != IPSEC_LEVEL_REQUIRE &&	\
885fcf59617SAndrey V. Elsukov 	  (lev) != IPSEC_LEVEL_UNIQUE)					\
886fcf59617SAndrey V. Elsukov 		? (V_ipsec_debug  ?					\
887fcf59617SAndrey V. Elsukov 		log(LOG_INFO, "fixed system default level " #lev ":%d->%d\n",\
888fcf59617SAndrey V. Elsukov 		(lev), IPSEC_LEVEL_REQUIRE) : 0),			\
889fcf59617SAndrey V. Elsukov 		(lev) = IPSEC_LEVEL_REQUIRE, (lev) : (lev))
890fcf59617SAndrey V. Elsukov 
891fcf59617SAndrey V. Elsukov 	/*
892fcf59617SAndrey V. Elsukov 	 * IPsec VTI uses unique security policy with fake spidx filled
893fcf59617SAndrey V. Elsukov 	 * with zeroes. Just return IPSEC_LEVEL_REQUIRE instead of doing
894fcf59617SAndrey V. Elsukov 	 * full level lookup for such policies.
895fcf59617SAndrey V. Elsukov 	 */
896fcf59617SAndrey V. Elsukov 	if (sp->state == IPSEC_SPSTATE_IFNET) {
897fcf59617SAndrey V. Elsukov 		IPSEC_ASSERT(sp->req[idx]->level == IPSEC_LEVEL_UNIQUE,
898fcf59617SAndrey V. Elsukov 		    ("Wrong IPsec request level %d", sp->req[idx]->level));
899fcf59617SAndrey V. Elsukov 		return (IPSEC_LEVEL_REQUIRE);
900fcf59617SAndrey V. Elsukov 	}
90188768458SSam Leffler 
902de47c390SBjoern A. Zeeb 	/* Set default level. */
903fcf59617SAndrey V. Elsukov 	switch (sp->spidx.src.sa.sa_family) {
90488768458SSam Leffler #ifdef INET
90588768458SSam Leffler 	case AF_INET:
906603724d3SBjoern A. Zeeb 		esp_trans_deflev = IPSEC_CHECK_DEFAULT(V_ip4_esp_trans_deflev);
907603724d3SBjoern A. Zeeb 		esp_net_deflev = IPSEC_CHECK_DEFAULT(V_ip4_esp_net_deflev);
908603724d3SBjoern A. Zeeb 		ah_trans_deflev = IPSEC_CHECK_DEFAULT(V_ip4_ah_trans_deflev);
909603724d3SBjoern A. Zeeb 		ah_net_deflev = IPSEC_CHECK_DEFAULT(V_ip4_ah_net_deflev);
91088768458SSam Leffler 		break;
91188768458SSam Leffler #endif
91288768458SSam Leffler #ifdef INET6
91388768458SSam Leffler 	case AF_INET6:
914603724d3SBjoern A. Zeeb 		esp_trans_deflev = IPSEC_CHECK_DEFAULT(V_ip6_esp_trans_deflev);
915603724d3SBjoern A. Zeeb 		esp_net_deflev = IPSEC_CHECK_DEFAULT(V_ip6_esp_net_deflev);
916603724d3SBjoern A. Zeeb 		ah_trans_deflev = IPSEC_CHECK_DEFAULT(V_ip6_ah_trans_deflev);
917603724d3SBjoern A. Zeeb 		ah_net_deflev = IPSEC_CHECK_DEFAULT(V_ip6_ah_net_deflev);
91888768458SSam Leffler 		break;
91988768458SSam Leffler #endif /* INET6 */
92088768458SSam Leffler 	default:
9219ffa9677SSam Leffler 		panic("%s: unknown af %u",
922fcf59617SAndrey V. Elsukov 			__func__, sp->spidx.src.sa.sa_family);
92388768458SSam Leffler 	}
92488768458SSam Leffler 
92588768458SSam Leffler #undef IPSEC_CHECK_DEFAULT
92688768458SSam Leffler 
927fcf59617SAndrey V. Elsukov 	isr = sp->req[idx];
928de47c390SBjoern A. Zeeb 	/* Set level. */
92988768458SSam Leffler 	switch (isr->level) {
93088768458SSam Leffler 	case IPSEC_LEVEL_DEFAULT:
93188768458SSam Leffler 		switch (isr->saidx.proto) {
93288768458SSam Leffler 		case IPPROTO_ESP:
93388768458SSam Leffler 			if (isr->saidx.mode == IPSEC_MODE_TUNNEL)
93488768458SSam Leffler 				level = esp_net_deflev;
93588768458SSam Leffler 			else
93688768458SSam Leffler 				level = esp_trans_deflev;
93788768458SSam Leffler 			break;
93888768458SSam Leffler 		case IPPROTO_AH:
93988768458SSam Leffler 			if (isr->saidx.mode == IPSEC_MODE_TUNNEL)
94088768458SSam Leffler 				level = ah_net_deflev;
94188768458SSam Leffler 			else
94288768458SSam Leffler 				level = ah_trans_deflev;
9438381996eSSam Leffler 			break;
94488768458SSam Leffler 		case IPPROTO_IPCOMP:
94588768458SSam Leffler 			/*
946de47c390SBjoern A. Zeeb 			 * We don't really care, as IPcomp document says that
947de47c390SBjoern A. Zeeb 			 * we shouldn't compress small packets.
94888768458SSam Leffler 			 */
94988768458SSam Leffler 			level = IPSEC_LEVEL_USE;
95088768458SSam Leffler 			break;
95188768458SSam Leffler 		default:
9529ffa9677SSam Leffler 			panic("%s: Illegal protocol defined %u\n", __func__,
95388768458SSam Leffler 				isr->saidx.proto);
95488768458SSam Leffler 		}
95588768458SSam Leffler 		break;
95688768458SSam Leffler 
95788768458SSam Leffler 	case IPSEC_LEVEL_USE:
95888768458SSam Leffler 	case IPSEC_LEVEL_REQUIRE:
95988768458SSam Leffler 		level = isr->level;
96088768458SSam Leffler 		break;
96188768458SSam Leffler 	case IPSEC_LEVEL_UNIQUE:
96288768458SSam Leffler 		level = IPSEC_LEVEL_REQUIRE;
96388768458SSam Leffler 		break;
96488768458SSam Leffler 
96588768458SSam Leffler 	default:
9669ffa9677SSam Leffler 		panic("%s: Illegal IPsec level %u\n", __func__, isr->level);
96788768458SSam Leffler 	}
96888768458SSam Leffler 
969de47c390SBjoern A. Zeeb 	return (level);
97088768458SSam Leffler }
97188768458SSam Leffler 
972fcf59617SAndrey V. Elsukov static int
973fcf59617SAndrey V. Elsukov ipsec_check_history(const struct mbuf *m, struct secpolicy *sp, u_int idx)
974fcf59617SAndrey V. Elsukov {
975fcf59617SAndrey V. Elsukov 	struct xform_history *xh;
976fcf59617SAndrey V. Elsukov 	struct m_tag *mtag;
977fcf59617SAndrey V. Elsukov 
978fcf59617SAndrey V. Elsukov 	mtag = NULL;
979fcf59617SAndrey V. Elsukov 	while ((mtag = m_tag_find(__DECONST(struct mbuf *, m),
980fcf59617SAndrey V. Elsukov 	    PACKET_TAG_IPSEC_IN_DONE, mtag)) != NULL) {
981fcf59617SAndrey V. Elsukov 		xh = (struct xform_history *)(mtag + 1);
982fcf59617SAndrey V. Elsukov 		KEYDBG(IPSEC_DATA,
983fcf59617SAndrey V. Elsukov 		    char buf[IPSEC_ADDRSTRLEN];
984fcf59617SAndrey V. Elsukov 		    printf("%s: mode %s proto %u dst %s\n", __func__,
985fcf59617SAndrey V. Elsukov 			kdebug_secasindex_mode(xh->mode), xh->proto,
986fcf59617SAndrey V. Elsukov 			ipsec_address(&xh->dst, buf, sizeof(buf))));
987fcf59617SAndrey V. Elsukov 		if (xh->proto != sp->req[idx]->saidx.proto)
988fcf59617SAndrey V. Elsukov 			continue;
989fcf59617SAndrey V. Elsukov 		/* If SA had IPSEC_MODE_ANY, consider this as match. */
990fcf59617SAndrey V. Elsukov 		if (xh->mode != sp->req[idx]->saidx.mode &&
991fcf59617SAndrey V. Elsukov 		    xh->mode != IPSEC_MODE_ANY)
992fcf59617SAndrey V. Elsukov 			continue;
993fcf59617SAndrey V. Elsukov 		/*
994fcf59617SAndrey V. Elsukov 		 * For transport mode IPsec request doesn't contain
995fcf59617SAndrey V. Elsukov 		 * addresses. We need to use address from spidx.
996fcf59617SAndrey V. Elsukov 		 */
997fcf59617SAndrey V. Elsukov 		if (sp->req[idx]->saidx.mode == IPSEC_MODE_TRANSPORT) {
998fcf59617SAndrey V. Elsukov 			if (key_sockaddrcmp_withmask(&xh->dst.sa,
999fcf59617SAndrey V. Elsukov 			    &sp->spidx.dst.sa, sp->spidx.prefd) != 0)
1000fcf59617SAndrey V. Elsukov 				continue;
1001fcf59617SAndrey V. Elsukov 		} else {
1002fcf59617SAndrey V. Elsukov 			if (key_sockaddrcmp(&xh->dst.sa,
1003fcf59617SAndrey V. Elsukov 			    &sp->req[idx]->saidx.dst.sa, 0) != 0)
1004fcf59617SAndrey V. Elsukov 				continue;
1005fcf59617SAndrey V. Elsukov 		}
1006fcf59617SAndrey V. Elsukov 		return (0); /* matched */
1007fcf59617SAndrey V. Elsukov 	}
1008fcf59617SAndrey V. Elsukov 	return (1);
1009fcf59617SAndrey V. Elsukov }
1010fcf59617SAndrey V. Elsukov 
101188768458SSam Leffler /*
101288768458SSam Leffler  * Check security policy requirements against the actual
101388768458SSam Leffler  * packet contents.  Return one if the packet should be
1014*424f1296SKonstantin Belousov  * rejected as "invalid"; otherwise return zero to have the
101588768458SSam Leffler  * packet treated as "valid".
101688768458SSam Leffler  *
101788768458SSam Leffler  * OUT:
101888768458SSam Leffler  *	0: valid
101988768458SSam Leffler  *	1: invalid
102088768458SSam Leffler  */
1021a9b9f6b6SAndrey V. Elsukov static int
1022fcf59617SAndrey V. Elsukov ipsec_in_reject(struct secpolicy *sp, struct inpcb *inp, const struct mbuf *m)
102388768458SSam Leffler {
1024fcf59617SAndrey V. Elsukov 	int i;
102588768458SSam Leffler 
1026fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_STAMP,
1027fcf59617SAndrey V. Elsukov 	    printf("%s: PCB(%p): using SP(%p)\n", __func__, inp, sp));
1028fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_DATA, kdebug_secpolicy(sp));
1029fcf59617SAndrey V. Elsukov 
1030fcf59617SAndrey V. Elsukov 	if (inp != NULL && inp->inp_sp != NULL && inp->inp_sp->sp_in == NULL)
1031fcf59617SAndrey V. Elsukov 		ipsec_cachepolicy(inp, sp, IPSEC_DIR_INBOUND);
103288768458SSam Leffler 
1033de47c390SBjoern A. Zeeb 	/* Check policy. */
103488768458SSam Leffler 	switch (sp->policy) {
103588768458SSam Leffler 	case IPSEC_POLICY_DISCARD:
1036de47c390SBjoern A. Zeeb 		return (1);
103788768458SSam Leffler 	case IPSEC_POLICY_BYPASS:
103888768458SSam Leffler 	case IPSEC_POLICY_NONE:
1039de47c390SBjoern A. Zeeb 		return (0);
104088768458SSam Leffler 	}
104188768458SSam Leffler 
10429ffa9677SSam Leffler 	IPSEC_ASSERT(sp->policy == IPSEC_POLICY_IPSEC,
10439ffa9677SSam Leffler 		("invalid policy %u", sp->policy));
104488768458SSam Leffler 
1045fcf59617SAndrey V. Elsukov 	/*
1046fcf59617SAndrey V. Elsukov 	 * ipsec[46]_common_input_cb after each transform adds
1047fcf59617SAndrey V. Elsukov 	 * PACKET_TAG_IPSEC_IN_DONE mbuf tag. It contains SPI, proto, mode
1048fcf59617SAndrey V. Elsukov 	 * and destination address from saidx. We can compare info from
1049fcf59617SAndrey V. Elsukov 	 * these tags with requirements in SP.
1050fcf59617SAndrey V. Elsukov 	 */
1051fcf59617SAndrey V. Elsukov 	for (i = 0; i < sp->tcount; i++) {
1052fcf59617SAndrey V. Elsukov 		/*
1053fcf59617SAndrey V. Elsukov 		 * Do not check IPcomp, since IPcomp document
1054fcf59617SAndrey V. Elsukov 		 * says that we shouldn't compress small packets.
1055fcf59617SAndrey V. Elsukov 		 * IPComp policy should always be treated as being
1056fcf59617SAndrey V. Elsukov 		 * in "use" level.
1057fcf59617SAndrey V. Elsukov 		 */
1058fcf59617SAndrey V. Elsukov 		if (sp->req[i]->saidx.proto == IPPROTO_IPCOMP ||
1059fcf59617SAndrey V. Elsukov 		    ipsec_get_reqlevel(sp, i) != IPSEC_LEVEL_REQUIRE)
106088768458SSam Leffler 			continue;
1061fcf59617SAndrey V. Elsukov 		if (V_check_policy_history != 0 &&
1062fcf59617SAndrey V. Elsukov 		    ipsec_check_history(m, sp, i) != 0)
1063fcf59617SAndrey V. Elsukov 			return (1);
1064fcf59617SAndrey V. Elsukov 		else switch (sp->req[i]->saidx.proto) {
106588768458SSam Leffler 		case IPPROTO_ESP:
106688768458SSam Leffler 			if ((m->m_flags & M_DECRYPTED) == 0) {
1067fcf59617SAndrey V. Elsukov 				KEYDBG(IPSEC_DUMP,
10689ffa9677SSam Leffler 				    printf("%s: ESP m_flags:%x\n", __func__,
106988768458SSam Leffler 					    m->m_flags));
1070de47c390SBjoern A. Zeeb 				return (1);
107188768458SSam Leffler 			}
107288768458SSam Leffler 			break;
107388768458SSam Leffler 		case IPPROTO_AH:
107488768458SSam Leffler 			if ((m->m_flags & M_AUTHIPHDR) == 0) {
1075fcf59617SAndrey V. Elsukov 				KEYDBG(IPSEC_DUMP,
10769ffa9677SSam Leffler 				    printf("%s: AH m_flags:%x\n", __func__,
107788768458SSam Leffler 					    m->m_flags));
1078de47c390SBjoern A. Zeeb 				return (1);
107988768458SSam Leffler 			}
108088768458SSam Leffler 			break;
108188768458SSam Leffler 		}
108288768458SSam Leffler 	}
1083de47c390SBjoern A. Zeeb 	return (0);		/* Valid. */
108488768458SSam Leffler }
108588768458SSam Leffler 
1086a91150daSAndrey V. Elsukov /*
1087de47c390SBjoern A. Zeeb  * Compute the byte size to be occupied by IPsec header.
1088de47c390SBjoern A. Zeeb  * In case it is tunnelled, it includes the size of outer IP header.
108988768458SSam Leffler  */
10906b66194bSKornel Duleba size_t
109197aa4a51SBjoern A. Zeeb ipsec_hdrsiz_internal(struct secpolicy *sp)
109288768458SSam Leffler {
10931f8bd75eSBjoern A. Zeeb 	size_t size;
1094fcf59617SAndrey V. Elsukov 	int i;
109588768458SSam Leffler 
1096fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_STAMP, printf("%s: using SP(%p)\n", __func__, sp));
1097fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_DATA, kdebug_secpolicy(sp));
109888768458SSam Leffler 
109988768458SSam Leffler 	switch (sp->policy) {
110088768458SSam Leffler 	case IPSEC_POLICY_DISCARD:
110188768458SSam Leffler 	case IPSEC_POLICY_BYPASS:
110288768458SSam Leffler 	case IPSEC_POLICY_NONE:
1103de47c390SBjoern A. Zeeb 		return (0);
110488768458SSam Leffler 	}
110588768458SSam Leffler 
11069ffa9677SSam Leffler 	IPSEC_ASSERT(sp->policy == IPSEC_POLICY_IPSEC,
11079ffa9677SSam Leffler 		("invalid policy %u", sp->policy));
110888768458SSam Leffler 
1109fcf59617SAndrey V. Elsukov 	/*
1110fcf59617SAndrey V. Elsukov 	 * XXX: for each transform we need to lookup suitable SA
1111fcf59617SAndrey V. Elsukov 	 * and use info from SA to calculate headers size.
1112fcf59617SAndrey V. Elsukov 	 * XXX: for NAT-T we need to cosider UDP header size.
1113fcf59617SAndrey V. Elsukov 	 */
11141f8bd75eSBjoern A. Zeeb 	size = 0;
1115fcf59617SAndrey V. Elsukov 	for (i = 0; i < sp->tcount; i++) {
1116fcf59617SAndrey V. Elsukov 		switch (sp->req[i]->saidx.proto) {
111788768458SSam Leffler 		case IPPROTO_ESP:
1118fcf59617SAndrey V. Elsukov 			size += esp_hdrsiz(NULL);
111988768458SSam Leffler 			break;
112088768458SSam Leffler 		case IPPROTO_AH:
1121fcf59617SAndrey V. Elsukov 			size += ah_hdrsiz(NULL);
112288768458SSam Leffler 			break;
112388768458SSam Leffler 		case IPPROTO_IPCOMP:
1124fcf59617SAndrey V. Elsukov 			size += sizeof(struct ipcomp);
112588768458SSam Leffler 			break;
112688768458SSam Leffler 		}
112788768458SSam Leffler 
1128fcf59617SAndrey V. Elsukov 		if (sp->req[i]->saidx.mode == IPSEC_MODE_TUNNEL) {
1129fcf59617SAndrey V. Elsukov 			switch (sp->req[i]->saidx.dst.sa.sa_family) {
1130fcf59617SAndrey V. Elsukov #ifdef INET
113188768458SSam Leffler 			case AF_INET:
1132fcf59617SAndrey V. Elsukov 				size += sizeof(struct ip);
113388768458SSam Leffler 				break;
1134fcf59617SAndrey V. Elsukov #endif
113588768458SSam Leffler #ifdef INET6
113688768458SSam Leffler 			case AF_INET6:
1137fcf59617SAndrey V. Elsukov 				size += sizeof(struct ip6_hdr);
113888768458SSam Leffler 				break;
113988768458SSam Leffler #endif
114088768458SSam Leffler 			default:
11419ffa9677SSam Leffler 				ipseclog((LOG_ERR, "%s: unknown AF %d in "
11429ffa9677SSam Leffler 				    "IPsec tunnel SA\n", __func__,
1143fcf59617SAndrey V. Elsukov 				    sp->req[i]->saidx.dst.sa.sa_family));
114488768458SSam Leffler 				break;
114588768458SSam Leffler 			}
114688768458SSam Leffler 		}
114788768458SSam Leffler 	}
11481f8bd75eSBjoern A. Zeeb 	return (size);
114988768458SSam Leffler }
115088768458SSam Leffler 
115197aa4a51SBjoern A. Zeeb /*
1152fcf59617SAndrey V. Elsukov  * Compute ESP/AH header size for protocols with PCB, including
1153fcf59617SAndrey V. Elsukov  * outer IP header. Currently only tcp_output() uses it.
115497aa4a51SBjoern A. Zeeb  */
115588768458SSam Leffler size_t
1156fcf59617SAndrey V. Elsukov ipsec_hdrsiz_inpcb(struct inpcb *inp)
115788768458SSam Leffler {
1158fcf59617SAndrey V. Elsukov 	struct secpolicyindex spidx;
115988768458SSam Leffler 	struct secpolicy *sp;
1160fcf59617SAndrey V. Elsukov 	size_t sz;
116188768458SSam Leffler 
1162fcf59617SAndrey V. Elsukov 	sp = ipsec_getpcbpolicy(inp, IPSEC_DIR_OUTBOUND);
1163fcf59617SAndrey V. Elsukov 	if (sp == NULL && key_havesp(IPSEC_DIR_OUTBOUND)) {
1164fcf59617SAndrey V. Elsukov 		ipsec_setspidx_inpcb(inp, &spidx, IPSEC_DIR_OUTBOUND);
1165fcf59617SAndrey V. Elsukov 		sp = key_allocsp(&spidx, IPSEC_DIR_OUTBOUND);
116688768458SSam Leffler 	}
1167fcf59617SAndrey V. Elsukov 	if (sp == NULL)
1168fcf59617SAndrey V. Elsukov 		sp = key_allocsp_default();
1169fcf59617SAndrey V. Elsukov 	sz = ipsec_hdrsiz_internal(sp);
1170fcf59617SAndrey V. Elsukov 	key_freesp(&sp);
1171fcf59617SAndrey V. Elsukov 	return (sz);
117288768458SSam Leffler }
117388768458SSam Leffler 
11748b7f3994SMarcin Wojtas 
11758b7f3994SMarcin Wojtas #define IPSEC_BITMAP_INDEX_MASK(w)	(w - 1)
11768b7f3994SMarcin Wojtas #define IPSEC_REDUNDANT_BIT_SHIFTS	5
11778b7f3994SMarcin Wojtas #define IPSEC_REDUNDANT_BITS		(1 << IPSEC_REDUNDANT_BIT_SHIFTS)
11788b7f3994SMarcin Wojtas #define IPSEC_BITMAP_LOC_MASK		(IPSEC_REDUNDANT_BITS - 1)
11798b7f3994SMarcin Wojtas 
11808b7f3994SMarcin Wojtas /*
11818b7f3994SMarcin Wojtas  * Functions below are responsible for checking and updating bitmap.
11828b7f3994SMarcin Wojtas  * These are used to separate ipsec_chkreplay() and ipsec_updatereplay()
11838b7f3994SMarcin Wojtas  * from window implementation
11848b7f3994SMarcin Wojtas  *
11858b7f3994SMarcin Wojtas  * Based on RFC 6479. Blocks are 32 bits unsigned integers
11868b7f3994SMarcin Wojtas  */
11878b7f3994SMarcin Wojtas 
11888b7f3994SMarcin Wojtas static inline int
11898b7f3994SMarcin Wojtas check_window(const struct secreplay *replay, uint64_t seq)
11908b7f3994SMarcin Wojtas {
11918b7f3994SMarcin Wojtas 	int index, bit_location;
11928b7f3994SMarcin Wojtas 
11930361f165SKristof Provost 	SECREPLAY_ASSERT(replay);
11940361f165SKristof Provost 
11958b7f3994SMarcin Wojtas 	bit_location = seq & IPSEC_BITMAP_LOC_MASK;
11968b7f3994SMarcin Wojtas 	index = (seq >> IPSEC_REDUNDANT_BIT_SHIFTS)
11978b7f3994SMarcin Wojtas 		& IPSEC_BITMAP_INDEX_MASK(replay->bitmap_size);
11988b7f3994SMarcin Wojtas 
11998b7f3994SMarcin Wojtas 	/* This packet already seen? */
12008b7f3994SMarcin Wojtas 	return ((replay->bitmap)[index] & (1 << bit_location));
12018b7f3994SMarcin Wojtas }
12028b7f3994SMarcin Wojtas 
12038b7f3994SMarcin Wojtas static inline void
12048b7f3994SMarcin Wojtas advance_window(const struct secreplay *replay, uint64_t seq)
12058b7f3994SMarcin Wojtas {
12068b7f3994SMarcin Wojtas 	int i;
12078b7f3994SMarcin Wojtas 	uint64_t index, index_cur, diff;
12088b7f3994SMarcin Wojtas 
12090361f165SKristof Provost 	SECREPLAY_ASSERT(replay);
12100361f165SKristof Provost 
12118b7f3994SMarcin Wojtas 	index_cur = replay->last >> IPSEC_REDUNDANT_BIT_SHIFTS;
12128b7f3994SMarcin Wojtas 	index = seq >> IPSEC_REDUNDANT_BIT_SHIFTS;
12138b7f3994SMarcin Wojtas 	diff = index - index_cur;
12148b7f3994SMarcin Wojtas 
12158b7f3994SMarcin Wojtas 	if (diff > replay->bitmap_size) {
12168b7f3994SMarcin Wojtas 		/* something unusual in this case */
12178b7f3994SMarcin Wojtas 		diff = replay->bitmap_size;
12188b7f3994SMarcin Wojtas 	}
12198b7f3994SMarcin Wojtas 
12208b7f3994SMarcin Wojtas 	for (i = 0; i < diff; i++) {
12218b7f3994SMarcin Wojtas 		replay->bitmap[(i + index_cur + 1)
12228b7f3994SMarcin Wojtas 		& IPSEC_BITMAP_INDEX_MASK(replay->bitmap_size)] = 0;
12238b7f3994SMarcin Wojtas 	}
12248b7f3994SMarcin Wojtas }
12258b7f3994SMarcin Wojtas 
12268b7f3994SMarcin Wojtas static inline void
12278b7f3994SMarcin Wojtas set_window(const struct secreplay *replay, uint64_t seq)
12288b7f3994SMarcin Wojtas {
12298b7f3994SMarcin Wojtas 	int index, bit_location;
12308b7f3994SMarcin Wojtas 
12310361f165SKristof Provost 	SECREPLAY_ASSERT(replay);
12320361f165SKristof Provost 
12338b7f3994SMarcin Wojtas 	bit_location = seq & IPSEC_BITMAP_LOC_MASK;
12348b7f3994SMarcin Wojtas 	index = (seq >> IPSEC_REDUNDANT_BIT_SHIFTS)
12358b7f3994SMarcin Wojtas 		& IPSEC_BITMAP_INDEX_MASK(replay->bitmap_size);
12368b7f3994SMarcin Wojtas 
12378b7f3994SMarcin Wojtas 	replay->bitmap[index] |= (1 << bit_location);
12388b7f3994SMarcin Wojtas }
12398b7f3994SMarcin Wojtas 
124088768458SSam Leffler /*
124188768458SSam Leffler  * Check the variable replay window.
124288768458SSam Leffler  * ipsec_chkreplay() performs replay check before ICV verification.
124388768458SSam Leffler  * ipsec_updatereplay() updates replay bitmap.  This must be called after
124488768458SSam Leffler  * ICV verification (it also performs replay check, which is usually done
124588768458SSam Leffler  * beforehand).
124688768458SSam Leffler  * 0 (zero) is returned if packet disallowed, 1 if packet permitted.
124788768458SSam Leffler  *
12488b7f3994SMarcin Wojtas  * Based on RFC 4303
124988768458SSam Leffler  */
1250bf435626SFabien Thomas 
125188768458SSam Leffler int
12528b7f3994SMarcin Wojtas ipsec_chkreplay(uint32_t seq, uint32_t *seqhigh, struct secasvar *sav)
125388768458SSam Leffler {
12548b7f3994SMarcin Wojtas 	char buf[128];
12558b7f3994SMarcin Wojtas 	struct secreplay *replay;
12568b7f3994SMarcin Wojtas 	uint32_t window;
12578b7f3994SMarcin Wojtas 	uint32_t tl, th, bl;
12588b7f3994SMarcin Wojtas 	uint32_t seqh;
125988768458SSam Leffler 
12609ffa9677SSam Leffler 	IPSEC_ASSERT(sav != NULL, ("Null SA"));
12619ffa9677SSam Leffler 	IPSEC_ASSERT(sav->replay != NULL, ("Null replay state"));
126288768458SSam Leffler 
126388768458SSam Leffler 	replay = sav->replay;
126488768458SSam Leffler 
1265bf435626SFabien Thomas 	/* No need to check replay if disabled. */
12660361f165SKristof Provost 	if (replay->wsize == 0) {
1267fcf59617SAndrey V. Elsukov 		return (1);
12680361f165SKristof Provost 	}
12690361f165SKristof Provost 
12700361f165SKristof Provost 	SECREPLAY_LOCK(replay);
127188768458SSam Leffler 
12728b7f3994SMarcin Wojtas 	/* Zero sequence number is not allowed. */
12730361f165SKristof Provost 	if (seq == 0 && replay->last == 0) {
12740361f165SKristof Provost 		SECREPLAY_UNLOCK(replay);
1275fcf59617SAndrey V. Elsukov 		return (0);
12760361f165SKristof Provost 	}
127788768458SSam Leffler 
12788b7f3994SMarcin Wojtas 	window = replay->wsize << 3;		/* Size of window */
12798b7f3994SMarcin Wojtas 	tl = (uint32_t)replay->last;		/* Top of window, lower part */
12808b7f3994SMarcin Wojtas 	th = (uint32_t)(replay->last >> 32);	/* Top of window, high part */
12818b7f3994SMarcin Wojtas 	bl = tl - window + 1;			/* Bottom of window, lower part */
128288768458SSam Leffler 
12838b7f3994SMarcin Wojtas 	/*
12848b7f3994SMarcin Wojtas 	 * We keep the high part intact when:
12858b7f3994SMarcin Wojtas 	 * 1) the seq is within [bl, 0xffffffff] and the whole window is
12868b7f3994SMarcin Wojtas 	 *    within one subspace;
12878b7f3994SMarcin Wojtas 	 * 2) the seq is within [0, bl) and window spans two subspaces.
1288bf435626SFabien Thomas 	 */
12898b7f3994SMarcin Wojtas 	if ((tl >= window - 1 && seq >= bl) ||
12908b7f3994SMarcin Wojtas 	    (tl < window - 1 && seq < bl)) {
12918b7f3994SMarcin Wojtas 		*seqhigh = th;
12928b7f3994SMarcin Wojtas 		if (seq <= tl) {
12938b7f3994SMarcin Wojtas 			/* Sequence number inside window - check against replay */
12940361f165SKristof Provost 			if (check_window(replay, seq)) {
12950361f165SKristof Provost 				SECREPLAY_UNLOCK(replay);
1296fcf59617SAndrey V. Elsukov 				return (0);
12978b7f3994SMarcin Wojtas 			}
12980361f165SKristof Provost 		}
12998b7f3994SMarcin Wojtas 
13000361f165SKristof Provost 		SECREPLAY_UNLOCK(replay);
13018b7f3994SMarcin Wojtas 		/* Sequence number above top of window or not found in bitmap */
13028b7f3994SMarcin Wojtas 		return (1);
13038b7f3994SMarcin Wojtas 	}
13048b7f3994SMarcin Wojtas 
13058b7f3994SMarcin Wojtas 	/*
13068b7f3994SMarcin Wojtas 	 * If ESN is not enabled and packet with highest sequence number
13078b7f3994SMarcin Wojtas 	 * was received we should report overflow
13088b7f3994SMarcin Wojtas 	 */
13098b7f3994SMarcin Wojtas 	if (tl == 0xffffffff && !(sav->flags & SADB_X_SAFLAGS_ESN)) {
13108b7f3994SMarcin Wojtas 		/* Set overflow flag. */
13118b7f3994SMarcin Wojtas 		replay->overflow++;
13128b7f3994SMarcin Wojtas 
13138b7f3994SMarcin Wojtas 		if ((sav->flags & SADB_X_EXT_CYCSEQ) == 0) {
13148b7f3994SMarcin Wojtas 			if (sav->sah->saidx.proto == IPPROTO_ESP)
13158b7f3994SMarcin Wojtas 				ESPSTAT_INC(esps_wrap);
13168b7f3994SMarcin Wojtas 			else if (sav->sah->saidx.proto == IPPROTO_AH)
13178b7f3994SMarcin Wojtas 				AHSTAT_INC(ahs_wrap);
13180361f165SKristof Provost 			SECREPLAY_UNLOCK(replay);
13198b7f3994SMarcin Wojtas 			return (0);
13208b7f3994SMarcin Wojtas 		}
13218b7f3994SMarcin Wojtas 
13228b7f3994SMarcin Wojtas 		ipseclog((LOG_WARNING, "%s: replay counter made %d cycle. %s\n",
13238b7f3994SMarcin Wojtas 		    __func__, replay->overflow,
13248b7f3994SMarcin Wojtas 		    ipsec_sa2str(sav, buf, sizeof(buf))));
13258b7f3994SMarcin Wojtas 	}
13268b7f3994SMarcin Wojtas 
13278b7f3994SMarcin Wojtas 	/*
13288b7f3994SMarcin Wojtas 	 * Seq is within [bl, 0xffffffff] and bl is within
13298b7f3994SMarcin Wojtas 	 * [0xffffffff-window, 0xffffffff].  This means we got a seq
13308b7f3994SMarcin Wojtas 	 * which is within our replay window, but in the previous
13318b7f3994SMarcin Wojtas 	 * subspace.
13328b7f3994SMarcin Wojtas 	 */
13338b7f3994SMarcin Wojtas 	if (tl < window - 1 && seq >= bl) {
13348b7f3994SMarcin Wojtas 		if (th == 0)
13358b7f3994SMarcin Wojtas 			return (0);
13368b7f3994SMarcin Wojtas 		*seqhigh = th - 1;
13378b7f3994SMarcin Wojtas 		seqh = th - 1;
13380361f165SKristof Provost 		if (check_window(replay, seq)) {
13390361f165SKristof Provost 			SECREPLAY_UNLOCK(replay);
13408b7f3994SMarcin Wojtas 			return (0);
13410361f165SKristof Provost 		}
13420361f165SKristof Provost 		SECREPLAY_UNLOCK(replay);
13438b7f3994SMarcin Wojtas 		return (1);
13448b7f3994SMarcin Wojtas 	}
13458b7f3994SMarcin Wojtas 
13468b7f3994SMarcin Wojtas 	/*
13478b7f3994SMarcin Wojtas 	 * Seq is within [0, bl) but the whole window is within one subspace.
13488b7f3994SMarcin Wojtas 	 * This means that seq has wrapped and is in next subspace
13498b7f3994SMarcin Wojtas 	 */
13508b7f3994SMarcin Wojtas 	*seqhigh = th + 1;
13518b7f3994SMarcin Wojtas 	seqh = th + 1;
13528b7f3994SMarcin Wojtas 
13538b7f3994SMarcin Wojtas 	/* Don't let high part wrap. */
13548b7f3994SMarcin Wojtas 	if (seqh == 0) {
13558b7f3994SMarcin Wojtas 		/* Set overflow flag. */
13568b7f3994SMarcin Wojtas 		replay->overflow++;
13578b7f3994SMarcin Wojtas 
13588b7f3994SMarcin Wojtas 		if ((sav->flags & SADB_X_EXT_CYCSEQ) == 0) {
13598b7f3994SMarcin Wojtas 			if (sav->sah->saidx.proto == IPPROTO_ESP)
13608b7f3994SMarcin Wojtas 				ESPSTAT_INC(esps_wrap);
13618b7f3994SMarcin Wojtas 			else if (sav->sah->saidx.proto == IPPROTO_AH)
13628b7f3994SMarcin Wojtas 				AHSTAT_INC(ahs_wrap);
13630361f165SKristof Provost 			SECREPLAY_UNLOCK(replay);
13648b7f3994SMarcin Wojtas 			return (0);
13658b7f3994SMarcin Wojtas 		}
13668b7f3994SMarcin Wojtas 
13678b7f3994SMarcin Wojtas 		ipseclog((LOG_WARNING, "%s: replay counter made %d cycle. %s\n",
13688b7f3994SMarcin Wojtas 		    __func__, replay->overflow,
13698b7f3994SMarcin Wojtas 		    ipsec_sa2str(sav, buf, sizeof(buf))));
13708b7f3994SMarcin Wojtas 	}
13718b7f3994SMarcin Wojtas 
13720361f165SKristof Provost 	SECREPLAY_UNLOCK(replay);
1373fcf59617SAndrey V. Elsukov 	return (1);
137488768458SSam Leffler }
137588768458SSam Leffler 
137688768458SSam Leffler /*
1377de47c390SBjoern A. Zeeb  * Check replay counter whether to update or not.
137888768458SSam Leffler  * OUT:	0:	OK
137988768458SSam Leffler  *	1:	NG
138088768458SSam Leffler  */
138188768458SSam Leffler int
1382fcf59617SAndrey V. Elsukov ipsec_updatereplay(uint32_t seq, struct secasvar *sav)
138388768458SSam Leffler {
138488768458SSam Leffler 	struct secreplay *replay;
13858b7f3994SMarcin Wojtas 	uint32_t window;
13868b7f3994SMarcin Wojtas 	uint32_t tl, th, bl;
13878b7f3994SMarcin Wojtas 	uint32_t seqh;
138888768458SSam Leffler 
13899ffa9677SSam Leffler 	IPSEC_ASSERT(sav != NULL, ("Null SA"));
13909ffa9677SSam Leffler 	IPSEC_ASSERT(sav->replay != NULL, ("Null replay state"));
139188768458SSam Leffler 
139288768458SSam Leffler 	replay = sav->replay;
139388768458SSam Leffler 
13948b7f3994SMarcin Wojtas 	/* No need to check replay if disabled. */
139588768458SSam Leffler 	if (replay->wsize == 0)
13968b7f3994SMarcin Wojtas 		return (0);
139788768458SSam Leffler 
13980361f165SKristof Provost 	SECREPLAY_LOCK(replay);
13990361f165SKristof Provost 
14008b7f3994SMarcin Wojtas 	/* Zero sequence number is not allowed. */
14010361f165SKristof Provost 	if (seq == 0 && replay->last == 0) {
14020361f165SKristof Provost 		SECREPLAY_UNLOCK(replay);
1403fcf59617SAndrey V. Elsukov 		return (1);
14040361f165SKristof Provost 	}
140588768458SSam Leffler 
14068b7f3994SMarcin Wojtas 	window = replay->wsize << 3;		/* Size of window */
14078b7f3994SMarcin Wojtas 	tl = (uint32_t)replay->last;		/* Top of window, lower part */
14088b7f3994SMarcin Wojtas 	th = (uint32_t)(replay->last >> 32);	/* Top of window, high part */
14098b7f3994SMarcin Wojtas 	bl = tl - window + 1;			/* Bottom of window, lower part */
141088768458SSam Leffler 
14118b7f3994SMarcin Wojtas 	/*
14128b7f3994SMarcin Wojtas 	 * We keep the high part intact when:
14138b7f3994SMarcin Wojtas 	 * 1) the seq is within [bl, 0xffffffff] and the whole window is
14148b7f3994SMarcin Wojtas 	 *    within one subspace;
14158b7f3994SMarcin Wojtas 	 * 2) the seq is within [0, bl) and window spans two subspaces.
14168b7f3994SMarcin Wojtas 	 */
14178b7f3994SMarcin Wojtas 	if ((tl >= window - 1 && seq >= bl) ||
14188b7f3994SMarcin Wojtas 	    (tl < window - 1 && seq < bl)) {
14198b7f3994SMarcin Wojtas 		seqh = th;
14208b7f3994SMarcin Wojtas 		if (seq <= tl) {
14218b7f3994SMarcin Wojtas 			/* Sequence number inside window - check against replay */
14220361f165SKristof Provost 			if (check_window(replay, seq)) {
14230361f165SKristof Provost 				SECREPLAY_UNLOCK(replay);
1424fcf59617SAndrey V. Elsukov 				return (1);
14250361f165SKristof Provost 			}
14268b7f3994SMarcin Wojtas 			set_window(replay, seq);
14278b7f3994SMarcin Wojtas 		} else {
14288b7f3994SMarcin Wojtas 			advance_window(replay, ((uint64_t)seqh << 32) | seq);
14298b7f3994SMarcin Wojtas 			set_window(replay, seq);
14308b7f3994SMarcin Wojtas 			replay->last = ((uint64_t)seqh << 32) | seq;
1431fcf59617SAndrey V. Elsukov 		}
143288768458SSam Leffler 
14338b7f3994SMarcin Wojtas 		/* Sequence number above top of window or not found in bitmap */
1434d5f39c34SFabien Thomas 		replay->count++;
14350361f165SKristof Provost 		SECREPLAY_UNLOCK(replay);
1436fcf59617SAndrey V. Elsukov 		return (0);
143788768458SSam Leffler 	}
143888768458SSam Leffler 
14390361f165SKristof Provost 	if (!(sav->flags & SADB_X_SAFLAGS_ESN)) {
14400361f165SKristof Provost 		SECREPLAY_UNLOCK(replay);
14418b7f3994SMarcin Wojtas 		return (1);
14420361f165SKristof Provost 	}
14438b7f3994SMarcin Wojtas 
14448b7f3994SMarcin Wojtas 	/*
14458b7f3994SMarcin Wojtas 	 * Seq is within [bl, 0xffffffff] and bl is within
14468b7f3994SMarcin Wojtas 	 * [0xffffffff-window, 0xffffffff].  This means we got a seq
14478b7f3994SMarcin Wojtas 	 * which is within our replay window, but in the previous
14488b7f3994SMarcin Wojtas 	 * subspace.
14498b7f3994SMarcin Wojtas 	 */
14508b7f3994SMarcin Wojtas 	if (tl < window - 1 && seq >= bl) {
14510361f165SKristof Provost 		if (th == 0) {
14520361f165SKristof Provost 			SECREPLAY_UNLOCK(replay);
14538b7f3994SMarcin Wojtas 			return (1);
14540361f165SKristof Provost 		}
14550361f165SKristof Provost 		if (check_window(replay, seq)) {
14560361f165SKristof Provost 			SECREPLAY_UNLOCK(replay);
14578b7f3994SMarcin Wojtas 			return (1);
14580361f165SKristof Provost 		}
14598b7f3994SMarcin Wojtas 
14608b7f3994SMarcin Wojtas 		set_window(replay, seq);
14618b7f3994SMarcin Wojtas 		replay->count++;
14620361f165SKristof Provost 		SECREPLAY_UNLOCK(replay);
14638b7f3994SMarcin Wojtas 		return (0);
14648b7f3994SMarcin Wojtas 	}
14658b7f3994SMarcin Wojtas 
14668b7f3994SMarcin Wojtas 	/*
14678b7f3994SMarcin Wojtas 	 * Seq is within [0, bl) but the whole window is within one subspace.
14688b7f3994SMarcin Wojtas 	 * This means that seq has wrapped and is in next subspace
14698b7f3994SMarcin Wojtas 	 */
14708b7f3994SMarcin Wojtas 	seqh = th + 1;
14718b7f3994SMarcin Wojtas 
14728b7f3994SMarcin Wojtas 	/* Don't let high part wrap. */
14730361f165SKristof Provost 	if (seqh == 0) {
14740361f165SKristof Provost 		SECREPLAY_UNLOCK(replay);
14758b7f3994SMarcin Wojtas 		return (1);
14760361f165SKristof Provost 	}
14778b7f3994SMarcin Wojtas 
14788b7f3994SMarcin Wojtas 	advance_window(replay, ((uint64_t)seqh << 32) | seq);
14798b7f3994SMarcin Wojtas 	set_window(replay, seq);
14808b7f3994SMarcin Wojtas 	replay->last = ((uint64_t)seqh << 32) | seq;
14818b7f3994SMarcin Wojtas 	replay->count++;
14820361f165SKristof Provost 
14830361f165SKristof Provost 	SECREPLAY_UNLOCK(replay);
14848b7f3994SMarcin Wojtas 	return (0);
14858b7f3994SMarcin Wojtas }
1486fcf59617SAndrey V. Elsukov int
14872e08e39fSConrad Meyer ipsec_updateid(struct secasvar *sav, crypto_session_t *new,
14882e08e39fSConrad Meyer     crypto_session_t *old)
1489fcf59617SAndrey V. Elsukov {
14902e08e39fSConrad Meyer 	crypto_session_t tmp;
149188768458SSam Leffler 
1492fcf59617SAndrey V. Elsukov 	/*
1493fcf59617SAndrey V. Elsukov 	 * tdb_cryptoid is initialized by xform_init().
1494fcf59617SAndrey V. Elsukov 	 * Then it can be changed only when some crypto error occurred or
1495fcf59617SAndrey V. Elsukov 	 * when SA is deleted. We stored used cryptoid in the xform_data
1496fcf59617SAndrey V. Elsukov 	 * structure. In case when crypto error occurred and crypto
1497fcf59617SAndrey V. Elsukov 	 * subsystem has reinited the session, it returns new cryptoid
1498fcf59617SAndrey V. Elsukov 	 * and EAGAIN error code.
1499fcf59617SAndrey V. Elsukov 	 *
1500fcf59617SAndrey V. Elsukov 	 * This function will be called when we got EAGAIN from crypto
1501fcf59617SAndrey V. Elsukov 	 * subsystem.
1502fcf59617SAndrey V. Elsukov 	 * *new is cryptoid that was returned by crypto subsystem in
1503fcf59617SAndrey V. Elsukov 	 * the crp_sid.
1504fcf59617SAndrey V. Elsukov 	 * *old is the original cryptoid that we stored in xform_data.
1505fcf59617SAndrey V. Elsukov 	 *
1506fcf59617SAndrey V. Elsukov 	 * For first failed request *old == sav->tdb_cryptoid, then
1507fcf59617SAndrey V. Elsukov 	 * we update sav->tdb_cryptoid and redo crypto_dispatch().
1508fcf59617SAndrey V. Elsukov 	 * For next failed request *old != sav->tdb_cryptoid, then
1509fcf59617SAndrey V. Elsukov 	 * we store cryptoid from first request into the *new variable
1510fcf59617SAndrey V. Elsukov 	 * and crp_sid from this second session will be returned via
1511fcf59617SAndrey V. Elsukov 	 * *old pointer, so caller can release second session.
1512fcf59617SAndrey V. Elsukov 	 *
1513fcf59617SAndrey V. Elsukov 	 * XXXAE: check this more carefully.
1514fcf59617SAndrey V. Elsukov 	 */
1515fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_STAMP,
15161b0909d5SConrad Meyer 	    printf("%s: SA(%p) moves cryptoid %p -> %p\n",
15171b0909d5SConrad Meyer 		__func__, sav, *old, *new));
1518fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_DATA, kdebug_secasv(sav));
15190361f165SKristof Provost 	SECASVAR_WLOCK(sav);
1520fcf59617SAndrey V. Elsukov 	if (sav->tdb_cryptoid != *old) {
1521fcf59617SAndrey V. Elsukov 		/* cryptoid was already updated */
1522fcf59617SAndrey V. Elsukov 		tmp = *new;
1523fcf59617SAndrey V. Elsukov 		*new = sav->tdb_cryptoid;
1524fcf59617SAndrey V. Elsukov 		*old = tmp;
15250361f165SKristof Provost 		SECASVAR_WUNLOCK(sav);
1526fcf59617SAndrey V. Elsukov 		return (1);
1527fcf59617SAndrey V. Elsukov 	}
1528fcf59617SAndrey V. Elsukov 	sav->tdb_cryptoid = *new;
15290361f165SKristof Provost 	SECASVAR_WUNLOCK(sav);
1530fcf59617SAndrey V. Elsukov 	return (0);
153188768458SSam Leffler }
153288768458SSam Leffler 
1533fcf59617SAndrey V. Elsukov int
1534fcf59617SAndrey V. Elsukov ipsec_initialized(void)
153588768458SSam Leffler {
1536de47c390SBjoern A. Zeeb 
1537fcf59617SAndrey V. Elsukov 	return (V_def_policy != NULL);
153888768458SSam Leffler }
153988768458SSam Leffler 
15408381996eSSam Leffler static void
154193201211SAndrey V. Elsukov def_policy_init(const void *unused __unused)
15421ed81b73SMarko Zec {
15431ed81b73SMarko Zec 
1544fcf59617SAndrey V. Elsukov 	V_def_policy = key_newsp();
1545fcf59617SAndrey V. Elsukov 	if (V_def_policy != NULL) {
1546fcf59617SAndrey V. Elsukov 		V_def_policy->policy = IPSEC_POLICY_NONE;
1547fcf59617SAndrey V. Elsukov 		/* Force INPCB SP cache invalidation */
1548fcf59617SAndrey V. Elsukov 		key_bumpspgen();
1549fcf59617SAndrey V. Elsukov 	} else
1550fcf59617SAndrey V. Elsukov 		printf("%s: failed to initialize default policy\n", __func__);
15518381996eSSam Leffler }
1552fcf59617SAndrey V. Elsukov 
1553fcf59617SAndrey V. Elsukov static void
1554fcf59617SAndrey V. Elsukov def_policy_uninit(const void *unused __unused)
1555fcf59617SAndrey V. Elsukov {
1556fcf59617SAndrey V. Elsukov 
1557fcf59617SAndrey V. Elsukov 	if (V_def_policy != NULL) {
1558fcf59617SAndrey V. Elsukov 		key_freesp(&V_def_policy);
1559fcf59617SAndrey V. Elsukov 		key_bumpspgen();
1560fcf59617SAndrey V. Elsukov 	}
1561fcf59617SAndrey V. Elsukov }
1562fcf59617SAndrey V. Elsukov 
156389856f7eSBjoern A. Zeeb VNET_SYSINIT(def_policy_init, SI_SUB_PROTO_DOMAIN, SI_ORDER_FIRST,
156493201211SAndrey V. Elsukov     def_policy_init, NULL);
1565fcf59617SAndrey V. Elsukov VNET_SYSUNINIT(def_policy_uninit, SI_SUB_PROTO_DOMAIN, SI_ORDER_FIRST,
1566fcf59617SAndrey V. Elsukov     def_policy_uninit, NULL);
1567