xref: /freebsd/sys/netipsec/ipsec.c (revision d9d59bb1af142e7575032dd6c51fc64580de84df)
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;
115*d9d59bb1SWojciech 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.");
200*d9d59bb1SWojciech Macek SYSCTL_INT(_net_inet_ipsec, IPSECCTL_MIN_PMTU, min_pmtu,
201*d9d59bb1SWojciech Macek 	CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(ip4_ipsec_min_pmtu), 0,
202*d9d59bb1SWojciech 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? */
669fcf59617SAndrey V. Elsukov 		if (key_havesp(IPSEC_DIR_INBOUND) != 0 ||
670fcf59617SAndrey V. Elsukov 		    key_havesp(IPSEC_DIR_OUTBOUND) != 0)
671fcf59617SAndrey V. Elsukov 			return (1);
672fcf59617SAndrey V. Elsukov 		return (0);
673fcf59617SAndrey V. Elsukov 	};
674fcf59617SAndrey V. Elsukov 	return (EOPNOTSUPP);
675fcf59617SAndrey V. Elsukov }
676fcf59617SAndrey V. Elsukov 
677fcf59617SAndrey V. Elsukov #endif /* INET */
678fcf59617SAndrey V. Elsukov 
67988768458SSam Leffler #ifdef INET6
68088768458SSam Leffler static void
681efb10c3cSAndrey V. Elsukov ipsec6_get_ulp(const struct mbuf *m, struct secpolicyindex *spidx,
682efb10c3cSAndrey V. Elsukov     int needport)
68388768458SSam Leffler {
68488768458SSam Leffler 	struct tcphdr th;
68588768458SSam Leffler 	struct udphdr uh;
6860e3c2be4SBjoern A. Zeeb 	struct icmp6_hdr ih;
687fcf59617SAndrey V. Elsukov 	int off, nxt;
68888768458SSam Leffler 
689fcf59617SAndrey V. Elsukov 	IPSEC_ASSERT(m->m_pkthdr.len >= sizeof(struct ip6_hdr),
690fcf59617SAndrey V. Elsukov 	    ("packet too short"));
69188768458SSam Leffler 
692de47c390SBjoern A. Zeeb 	/* Set default. */
69388768458SSam Leffler 	spidx->ul_proto = IPSEC_ULPROTO_ANY;
694fcf59617SAndrey V. Elsukov 	spidx->src.sin6.sin6_port = IPSEC_PORT_ANY;
695fcf59617SAndrey V. Elsukov 	spidx->dst.sin6.sin6_port = IPSEC_PORT_ANY;
69688768458SSam Leffler 
69788768458SSam Leffler 	nxt = -1;
69888768458SSam Leffler 	off = ip6_lasthdr(m, 0, IPPROTO_IPV6, &nxt);
69988768458SSam Leffler 	if (off < 0 || m->m_pkthdr.len < off)
70088768458SSam Leffler 		return;
70188768458SSam Leffler 
70288768458SSam Leffler 	switch (nxt) {
70388768458SSam Leffler 	case IPPROTO_TCP:
70488768458SSam Leffler 		spidx->ul_proto = nxt;
70588768458SSam Leffler 		if (!needport)
70688768458SSam Leffler 			break;
70788768458SSam Leffler 		if (off + sizeof(struct tcphdr) > m->m_pkthdr.len)
70888768458SSam Leffler 			break;
70988768458SSam Leffler 		m_copydata(m, off, sizeof(th), (caddr_t)&th);
710fcf59617SAndrey V. Elsukov 		spidx->src.sin6.sin6_port = th.th_sport;
711fcf59617SAndrey V. Elsukov 		spidx->dst.sin6.sin6_port = th.th_dport;
71288768458SSam Leffler 		break;
71388768458SSam Leffler 	case IPPROTO_UDP:
71488768458SSam Leffler 		spidx->ul_proto = nxt;
71588768458SSam Leffler 		if (!needport)
71688768458SSam Leffler 			break;
71788768458SSam Leffler 		if (off + sizeof(struct udphdr) > m->m_pkthdr.len)
71888768458SSam Leffler 			break;
71988768458SSam Leffler 		m_copydata(m, off, sizeof(uh), (caddr_t)&uh);
720fcf59617SAndrey V. Elsukov 		spidx->src.sin6.sin6_port = uh.uh_sport;
721fcf59617SAndrey V. Elsukov 		spidx->dst.sin6.sin6_port = uh.uh_dport;
72288768458SSam Leffler 		break;
72388768458SSam Leffler 	case IPPROTO_ICMPV6:
7240e3c2be4SBjoern A. Zeeb 		spidx->ul_proto = nxt;
7250e3c2be4SBjoern A. Zeeb 		if (off + sizeof(struct icmp6_hdr) > m->m_pkthdr.len)
7260e3c2be4SBjoern A. Zeeb 			break;
7270e3c2be4SBjoern A. Zeeb 		m_copydata(m, off, sizeof(ih), (caddr_t)&ih);
728fcf59617SAndrey V. Elsukov 		spidx->src.sin6.sin6_port = htons((uint16_t)ih.icmp6_type);
729fcf59617SAndrey V. Elsukov 		spidx->dst.sin6.sin6_port = htons((uint16_t)ih.icmp6_code);
7300e3c2be4SBjoern A. Zeeb 		break;
73188768458SSam Leffler 	default:
732de47c390SBjoern A. Zeeb 		/* XXX Intermediate headers??? */
73388768458SSam Leffler 		spidx->ul_proto = nxt;
73488768458SSam Leffler 		break;
73588768458SSam Leffler 	}
736fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_DUMP,
737fcf59617SAndrey V. Elsukov 	    printf("%s: ", __func__); kdebug_secpolicyindex(spidx, NULL));
73888768458SSam Leffler }
73988768458SSam Leffler 
740fcf59617SAndrey V. Elsukov static void
741efb10c3cSAndrey V. Elsukov ipsec6_setspidx_ipaddr(const struct mbuf *m, struct secpolicyindex *spidx)
74288768458SSam Leffler {
74388768458SSam Leffler 
744fcf59617SAndrey V. Elsukov 	ipsec6_setsockaddrs(m, &spidx->src, &spidx->dst);
74588768458SSam Leffler 	spidx->prefs = sizeof(struct in6_addr) << 3;
74688768458SSam Leffler 	spidx->prefd = sizeof(struct in6_addr) << 3;
74788768458SSam Leffler }
748fcf59617SAndrey V. Elsukov 
749fcf59617SAndrey V. Elsukov static struct secpolicy *
75022bbefb2SAndrey V. Elsukov ipsec6_getpolicy(const struct mbuf *m, struct inpcb *inp, u_int dir,
75122bbefb2SAndrey V. Elsukov     int needport)
752fcf59617SAndrey V. Elsukov {
753fcf59617SAndrey V. Elsukov 	struct secpolicyindex spidx;
754fcf59617SAndrey V. Elsukov 	struct secpolicy *sp;
755fcf59617SAndrey V. Elsukov 
756fcf59617SAndrey V. Elsukov 	sp = ipsec_getpcbpolicy(inp, dir);
757fcf59617SAndrey V. Elsukov 	if (sp == NULL && key_havesp(dir)) {
758fcf59617SAndrey V. Elsukov 		/* Make an index to look for a policy. */
759fcf59617SAndrey V. Elsukov 		ipsec6_setspidx_ipaddr(m, &spidx);
76022bbefb2SAndrey V. Elsukov 		ipsec6_get_ulp(m, &spidx, needport);
761fcf59617SAndrey V. Elsukov 		spidx.dir = dir;
762fcf59617SAndrey V. Elsukov 		sp = key_allocsp(&spidx, dir);
763fcf59617SAndrey V. Elsukov 	}
764fcf59617SAndrey V. Elsukov 	if (sp == NULL)		/* No SP found, use system default. */
765fcf59617SAndrey V. Elsukov 		sp = key_allocsp_default();
766fcf59617SAndrey V. Elsukov 	return (sp);
767fcf59617SAndrey V. Elsukov }
768fcf59617SAndrey V. Elsukov 
769fcf59617SAndrey V. Elsukov /*
770fcf59617SAndrey V. Elsukov  * Check security policy for *OUTBOUND* IPv6 packet.
771fcf59617SAndrey V. Elsukov  */
772fcf59617SAndrey V. Elsukov struct secpolicy *
77322bbefb2SAndrey V. Elsukov ipsec6_checkpolicy(const struct mbuf *m, struct inpcb *inp, int *error,
77422bbefb2SAndrey V. Elsukov     int needport)
775fcf59617SAndrey V. Elsukov {
776fcf59617SAndrey V. Elsukov 	struct secpolicy *sp;
777fcf59617SAndrey V. Elsukov 
778fcf59617SAndrey V. Elsukov 	*error = 0;
77922bbefb2SAndrey V. Elsukov 	sp = ipsec6_getpolicy(m, inp, IPSEC_DIR_OUTBOUND, needport);
780fcf59617SAndrey V. Elsukov 	if (sp != NULL)
781fcf59617SAndrey V. Elsukov 		sp = ipsec_checkpolicy(sp, inp, error);
782fcf59617SAndrey V. Elsukov 	if (sp == NULL) {
783fcf59617SAndrey V. Elsukov 		switch (*error) {
784fcf59617SAndrey V. Elsukov 		case 0: /* No IPsec required: BYPASS or NONE */
785fcf59617SAndrey V. Elsukov 			break;
786fcf59617SAndrey V. Elsukov 		case -EINVAL:
787fcf59617SAndrey V. Elsukov 			IPSEC6STAT_INC(ips_out_polvio);
788fcf59617SAndrey V. Elsukov 			break;
789fcf59617SAndrey V. Elsukov 		default:
790fcf59617SAndrey V. Elsukov 			IPSEC6STAT_INC(ips_out_inval);
791fcf59617SAndrey V. Elsukov 		}
792fcf59617SAndrey V. Elsukov 	}
793fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_STAMP,
794fcf59617SAndrey V. Elsukov 	    printf("%s: using SP(%p), error %d\n", __func__, sp, *error));
795fcf59617SAndrey V. Elsukov 	if (sp != NULL)
796fcf59617SAndrey V. Elsukov 		KEYDBG(IPSEC_DATA, kdebug_secpolicy(sp));
797fcf59617SAndrey V. Elsukov 	return (sp);
798fcf59617SAndrey V. Elsukov }
799fcf59617SAndrey V. Elsukov 
800fcf59617SAndrey V. Elsukov /*
801fcf59617SAndrey V. Elsukov  * Check IPv6 packet against inbound security policy.
802fcf59617SAndrey V. Elsukov  * This function is called from tcp6_input(), udp6_input(),
803fcf59617SAndrey V. Elsukov  * rip6_input() and sctp_input().
804fcf59617SAndrey V. Elsukov  */
805fcf59617SAndrey V. Elsukov int
806fcf59617SAndrey V. Elsukov ipsec6_in_reject(const struct mbuf *m, struct inpcb *inp)
807fcf59617SAndrey V. Elsukov {
808fcf59617SAndrey V. Elsukov 	struct secpolicy *sp;
809fcf59617SAndrey V. Elsukov 	int result;
810fcf59617SAndrey V. Elsukov 
81122bbefb2SAndrey V. Elsukov 	sp = ipsec6_getpolicy(m, inp, IPSEC_DIR_INBOUND, 0);
812fcf59617SAndrey V. Elsukov 	result = ipsec_in_reject(sp, inp, m);
813fcf59617SAndrey V. Elsukov 	key_freesp(&sp);
814fcf59617SAndrey V. Elsukov 	if (result)
815fcf59617SAndrey V. Elsukov 		IPSEC6STAT_INC(ips_in_polvio);
816fcf59617SAndrey V. Elsukov 	return (result);
817fcf59617SAndrey V. Elsukov }
818fcf59617SAndrey V. Elsukov 
819fcf59617SAndrey V. Elsukov /*
820fcf59617SAndrey V. Elsukov  * IPSEC_CAP() method implementation for IPv6.
821fcf59617SAndrey V. Elsukov  */
822fcf59617SAndrey V. Elsukov int
823fcf59617SAndrey V. Elsukov ipsec6_capability(struct mbuf *m, u_int cap)
824fcf59617SAndrey V. Elsukov {
825fcf59617SAndrey V. Elsukov 
826fcf59617SAndrey V. Elsukov 	switch (cap) {
827fcf59617SAndrey V. Elsukov 	case IPSEC_CAP_BYPASS_FILTER:
828fcf59617SAndrey V. Elsukov 		/*
829fcf59617SAndrey V. Elsukov 		 * Bypass packet filtering for packets previously handled
830fcf59617SAndrey V. Elsukov 		 * by IPsec.
831fcf59617SAndrey V. Elsukov 		 */
832fcf59617SAndrey V. Elsukov 		if (!V_ip6_filtertunnel &&
833fcf59617SAndrey V. Elsukov 		    m_tag_find(m, PACKET_TAG_IPSEC_IN_DONE, NULL) != NULL)
834fcf59617SAndrey V. Elsukov 			return (1);
835fcf59617SAndrey V. Elsukov 		return (0);
836fcf59617SAndrey V. Elsukov 	case IPSEC_CAP_OPERABLE:
837fcf59617SAndrey V. Elsukov 		/* Do we have active security policies? */
838fcf59617SAndrey V. Elsukov 		if (key_havesp(IPSEC_DIR_INBOUND) != 0 ||
839fcf59617SAndrey V. Elsukov 		    key_havesp(IPSEC_DIR_OUTBOUND) != 0)
840fcf59617SAndrey V. Elsukov 			return (1);
841fcf59617SAndrey V. Elsukov 		return (0);
842fcf59617SAndrey V. Elsukov 	};
843fcf59617SAndrey V. Elsukov 	return (EOPNOTSUPP);
844fcf59617SAndrey V. Elsukov }
845fcf59617SAndrey V. Elsukov #endif /* INET6 */
84688768458SSam Leffler 
847ef91a976SAndrey V. Elsukov int
848ef91a976SAndrey V. Elsukov ipsec_run_hhooks(struct ipsec_ctx_data *ctx, int type)
849ef91a976SAndrey V. Elsukov {
850ef91a976SAndrey V. Elsukov 	int idx;
851ef91a976SAndrey V. Elsukov 
852ef91a976SAndrey V. Elsukov 	switch (ctx->af) {
853ef91a976SAndrey V. Elsukov #ifdef INET
854ef91a976SAndrey V. Elsukov 	case AF_INET:
855ef91a976SAndrey V. Elsukov 		idx = HHOOK_IPSEC_INET;
856ef91a976SAndrey V. Elsukov 		break;
857ef91a976SAndrey V. Elsukov #endif
858ef91a976SAndrey V. Elsukov #ifdef INET6
859ef91a976SAndrey V. Elsukov 	case AF_INET6:
860ef91a976SAndrey V. Elsukov 		idx = HHOOK_IPSEC_INET6;
861ef91a976SAndrey V. Elsukov 		break;
862ef91a976SAndrey V. Elsukov #endif
863ef91a976SAndrey V. Elsukov 	default:
864ef91a976SAndrey V. Elsukov 		return (EPFNOSUPPORT);
865ef91a976SAndrey V. Elsukov 	}
866ef91a976SAndrey V. Elsukov 	if (type == HHOOK_TYPE_IPSEC_IN)
867ef91a976SAndrey V. Elsukov 		HHOOKS_RUN_IF(V_ipsec_hhh_in[idx], ctx, NULL);
868ef91a976SAndrey V. Elsukov 	else
869ef91a976SAndrey V. Elsukov 		HHOOKS_RUN_IF(V_ipsec_hhh_out[idx], ctx, NULL);
870ef91a976SAndrey V. Elsukov 	if (*ctx->mp == NULL)
871ef91a976SAndrey V. Elsukov 		return (EACCES);
872ef91a976SAndrey V. Elsukov 	return (0);
873ef91a976SAndrey V. Elsukov }
874ef91a976SAndrey V. Elsukov 
87588768458SSam Leffler /*
876de47c390SBjoern A. Zeeb  * Return current level.
87788768458SSam Leffler  * Either IPSEC_LEVEL_USE or IPSEC_LEVEL_REQUIRE are always returned.
87888768458SSam Leffler  */
87988768458SSam Leffler u_int
880fcf59617SAndrey V. Elsukov ipsec_get_reqlevel(struct secpolicy *sp, u_int idx)
88188768458SSam Leffler {
882fcf59617SAndrey V. Elsukov 	struct ipsecrequest *isr;
88388768458SSam Leffler 	u_int esp_trans_deflev, esp_net_deflev;
88488768458SSam Leffler 	u_int ah_trans_deflev, ah_net_deflev;
885fcf59617SAndrey V. Elsukov 	u_int level = 0;
88688768458SSam Leffler 
887fcf59617SAndrey V. Elsukov 	IPSEC_ASSERT(idx < sp->tcount, ("Wrong IPsec request index %d", idx));
888de47c390SBjoern A. Zeeb /* XXX Note that we have ipseclog() expanded here - code sync issue. */
88988768458SSam Leffler #define IPSEC_CHECK_DEFAULT(lev) \
890fcf59617SAndrey V. Elsukov 	(((lev) != IPSEC_LEVEL_USE && (lev) != IPSEC_LEVEL_REQUIRE &&	\
891fcf59617SAndrey V. Elsukov 	  (lev) != IPSEC_LEVEL_UNIQUE)					\
892fcf59617SAndrey V. Elsukov 		? (V_ipsec_debug  ?					\
893fcf59617SAndrey V. Elsukov 		log(LOG_INFO, "fixed system default level " #lev ":%d->%d\n",\
894fcf59617SAndrey V. Elsukov 		(lev), IPSEC_LEVEL_REQUIRE) : 0),			\
895fcf59617SAndrey V. Elsukov 		(lev) = IPSEC_LEVEL_REQUIRE, (lev) : (lev))
896fcf59617SAndrey V. Elsukov 
897fcf59617SAndrey V. Elsukov 	/*
898fcf59617SAndrey V. Elsukov 	 * IPsec VTI uses unique security policy with fake spidx filled
899fcf59617SAndrey V. Elsukov 	 * with zeroes. Just return IPSEC_LEVEL_REQUIRE instead of doing
900fcf59617SAndrey V. Elsukov 	 * full level lookup for such policies.
901fcf59617SAndrey V. Elsukov 	 */
902fcf59617SAndrey V. Elsukov 	if (sp->state == IPSEC_SPSTATE_IFNET) {
903fcf59617SAndrey V. Elsukov 		IPSEC_ASSERT(sp->req[idx]->level == IPSEC_LEVEL_UNIQUE,
904fcf59617SAndrey V. Elsukov 		    ("Wrong IPsec request level %d", sp->req[idx]->level));
905fcf59617SAndrey V. Elsukov 		return (IPSEC_LEVEL_REQUIRE);
906fcf59617SAndrey V. Elsukov 	}
90788768458SSam Leffler 
908de47c390SBjoern A. Zeeb 	/* Set default level. */
909fcf59617SAndrey V. Elsukov 	switch (sp->spidx.src.sa.sa_family) {
91088768458SSam Leffler #ifdef INET
91188768458SSam Leffler 	case AF_INET:
912603724d3SBjoern A. Zeeb 		esp_trans_deflev = IPSEC_CHECK_DEFAULT(V_ip4_esp_trans_deflev);
913603724d3SBjoern A. Zeeb 		esp_net_deflev = IPSEC_CHECK_DEFAULT(V_ip4_esp_net_deflev);
914603724d3SBjoern A. Zeeb 		ah_trans_deflev = IPSEC_CHECK_DEFAULT(V_ip4_ah_trans_deflev);
915603724d3SBjoern A. Zeeb 		ah_net_deflev = IPSEC_CHECK_DEFAULT(V_ip4_ah_net_deflev);
91688768458SSam Leffler 		break;
91788768458SSam Leffler #endif
91888768458SSam Leffler #ifdef INET6
91988768458SSam Leffler 	case AF_INET6:
920603724d3SBjoern A. Zeeb 		esp_trans_deflev = IPSEC_CHECK_DEFAULT(V_ip6_esp_trans_deflev);
921603724d3SBjoern A. Zeeb 		esp_net_deflev = IPSEC_CHECK_DEFAULT(V_ip6_esp_net_deflev);
922603724d3SBjoern A. Zeeb 		ah_trans_deflev = IPSEC_CHECK_DEFAULT(V_ip6_ah_trans_deflev);
923603724d3SBjoern A. Zeeb 		ah_net_deflev = IPSEC_CHECK_DEFAULT(V_ip6_ah_net_deflev);
92488768458SSam Leffler 		break;
92588768458SSam Leffler #endif /* INET6 */
92688768458SSam Leffler 	default:
9279ffa9677SSam Leffler 		panic("%s: unknown af %u",
928fcf59617SAndrey V. Elsukov 			__func__, sp->spidx.src.sa.sa_family);
92988768458SSam Leffler 	}
93088768458SSam Leffler 
93188768458SSam Leffler #undef IPSEC_CHECK_DEFAULT
93288768458SSam Leffler 
933fcf59617SAndrey V. Elsukov 	isr = sp->req[idx];
934de47c390SBjoern A. Zeeb 	/* Set level. */
93588768458SSam Leffler 	switch (isr->level) {
93688768458SSam Leffler 	case IPSEC_LEVEL_DEFAULT:
93788768458SSam Leffler 		switch (isr->saidx.proto) {
93888768458SSam Leffler 		case IPPROTO_ESP:
93988768458SSam Leffler 			if (isr->saidx.mode == IPSEC_MODE_TUNNEL)
94088768458SSam Leffler 				level = esp_net_deflev;
94188768458SSam Leffler 			else
94288768458SSam Leffler 				level = esp_trans_deflev;
94388768458SSam Leffler 			break;
94488768458SSam Leffler 		case IPPROTO_AH:
94588768458SSam Leffler 			if (isr->saidx.mode == IPSEC_MODE_TUNNEL)
94688768458SSam Leffler 				level = ah_net_deflev;
94788768458SSam Leffler 			else
94888768458SSam Leffler 				level = ah_trans_deflev;
9498381996eSSam Leffler 			break;
95088768458SSam Leffler 		case IPPROTO_IPCOMP:
95188768458SSam Leffler 			/*
952de47c390SBjoern A. Zeeb 			 * We don't really care, as IPcomp document says that
953de47c390SBjoern A. Zeeb 			 * we shouldn't compress small packets.
95488768458SSam Leffler 			 */
95588768458SSam Leffler 			level = IPSEC_LEVEL_USE;
95688768458SSam Leffler 			break;
95788768458SSam Leffler 		default:
9589ffa9677SSam Leffler 			panic("%s: Illegal protocol defined %u\n", __func__,
95988768458SSam Leffler 				isr->saidx.proto);
96088768458SSam Leffler 		}
96188768458SSam Leffler 		break;
96288768458SSam Leffler 
96388768458SSam Leffler 	case IPSEC_LEVEL_USE:
96488768458SSam Leffler 	case IPSEC_LEVEL_REQUIRE:
96588768458SSam Leffler 		level = isr->level;
96688768458SSam Leffler 		break;
96788768458SSam Leffler 	case IPSEC_LEVEL_UNIQUE:
96888768458SSam Leffler 		level = IPSEC_LEVEL_REQUIRE;
96988768458SSam Leffler 		break;
97088768458SSam Leffler 
97188768458SSam Leffler 	default:
9729ffa9677SSam Leffler 		panic("%s: Illegal IPsec level %u\n", __func__, isr->level);
97388768458SSam Leffler 	}
97488768458SSam Leffler 
975de47c390SBjoern A. Zeeb 	return (level);
97688768458SSam Leffler }
97788768458SSam Leffler 
978fcf59617SAndrey V. Elsukov static int
979fcf59617SAndrey V. Elsukov ipsec_check_history(const struct mbuf *m, struct secpolicy *sp, u_int idx)
980fcf59617SAndrey V. Elsukov {
981fcf59617SAndrey V. Elsukov 	struct xform_history *xh;
982fcf59617SAndrey V. Elsukov 	struct m_tag *mtag;
983fcf59617SAndrey V. Elsukov 
984fcf59617SAndrey V. Elsukov 	mtag = NULL;
985fcf59617SAndrey V. Elsukov 	while ((mtag = m_tag_find(__DECONST(struct mbuf *, m),
986fcf59617SAndrey V. Elsukov 	    PACKET_TAG_IPSEC_IN_DONE, mtag)) != NULL) {
987fcf59617SAndrey V. Elsukov 		xh = (struct xform_history *)(mtag + 1);
988fcf59617SAndrey V. Elsukov 		KEYDBG(IPSEC_DATA,
989fcf59617SAndrey V. Elsukov 		    char buf[IPSEC_ADDRSTRLEN];
990fcf59617SAndrey V. Elsukov 		    printf("%s: mode %s proto %u dst %s\n", __func__,
991fcf59617SAndrey V. Elsukov 			kdebug_secasindex_mode(xh->mode), xh->proto,
992fcf59617SAndrey V. Elsukov 			ipsec_address(&xh->dst, buf, sizeof(buf))));
993fcf59617SAndrey V. Elsukov 		if (xh->proto != sp->req[idx]->saidx.proto)
994fcf59617SAndrey V. Elsukov 			continue;
995fcf59617SAndrey V. Elsukov 		/* If SA had IPSEC_MODE_ANY, consider this as match. */
996fcf59617SAndrey V. Elsukov 		if (xh->mode != sp->req[idx]->saidx.mode &&
997fcf59617SAndrey V. Elsukov 		    xh->mode != IPSEC_MODE_ANY)
998fcf59617SAndrey V. Elsukov 			continue;
999fcf59617SAndrey V. Elsukov 		/*
1000fcf59617SAndrey V. Elsukov 		 * For transport mode IPsec request doesn't contain
1001fcf59617SAndrey V. Elsukov 		 * addresses. We need to use address from spidx.
1002fcf59617SAndrey V. Elsukov 		 */
1003fcf59617SAndrey V. Elsukov 		if (sp->req[idx]->saidx.mode == IPSEC_MODE_TRANSPORT) {
1004fcf59617SAndrey V. Elsukov 			if (key_sockaddrcmp_withmask(&xh->dst.sa,
1005fcf59617SAndrey V. Elsukov 			    &sp->spidx.dst.sa, sp->spidx.prefd) != 0)
1006fcf59617SAndrey V. Elsukov 				continue;
1007fcf59617SAndrey V. Elsukov 		} else {
1008fcf59617SAndrey V. Elsukov 			if (key_sockaddrcmp(&xh->dst.sa,
1009fcf59617SAndrey V. Elsukov 			    &sp->req[idx]->saidx.dst.sa, 0) != 0)
1010fcf59617SAndrey V. Elsukov 				continue;
1011fcf59617SAndrey V. Elsukov 		}
1012fcf59617SAndrey V. Elsukov 		return (0); /* matched */
1013fcf59617SAndrey V. Elsukov 	}
1014fcf59617SAndrey V. Elsukov 	return (1);
1015fcf59617SAndrey V. Elsukov }
1016fcf59617SAndrey V. Elsukov 
101788768458SSam Leffler /*
101888768458SSam Leffler  * Check security policy requirements against the actual
101988768458SSam Leffler  * packet contents.  Return one if the packet should be
102088768458SSam Leffler  * reject as "invalid"; otherwiser return zero to have the
102188768458SSam Leffler  * packet treated as "valid".
102288768458SSam Leffler  *
102388768458SSam Leffler  * OUT:
102488768458SSam Leffler  *	0: valid
102588768458SSam Leffler  *	1: invalid
102688768458SSam Leffler  */
1027a9b9f6b6SAndrey V. Elsukov static int
1028fcf59617SAndrey V. Elsukov ipsec_in_reject(struct secpolicy *sp, struct inpcb *inp, const struct mbuf *m)
102988768458SSam Leffler {
1030fcf59617SAndrey V. Elsukov 	int i;
103188768458SSam Leffler 
1032fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_STAMP,
1033fcf59617SAndrey V. Elsukov 	    printf("%s: PCB(%p): using SP(%p)\n", __func__, inp, sp));
1034fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_DATA, kdebug_secpolicy(sp));
1035fcf59617SAndrey V. Elsukov 
1036fcf59617SAndrey V. Elsukov 	if (inp != NULL && inp->inp_sp != NULL && inp->inp_sp->sp_in == NULL)
1037fcf59617SAndrey V. Elsukov 		ipsec_cachepolicy(inp, sp, IPSEC_DIR_INBOUND);
103888768458SSam Leffler 
1039de47c390SBjoern A. Zeeb 	/* Check policy. */
104088768458SSam Leffler 	switch (sp->policy) {
104188768458SSam Leffler 	case IPSEC_POLICY_DISCARD:
1042de47c390SBjoern A. Zeeb 		return (1);
104388768458SSam Leffler 	case IPSEC_POLICY_BYPASS:
104488768458SSam Leffler 	case IPSEC_POLICY_NONE:
1045de47c390SBjoern A. Zeeb 		return (0);
104688768458SSam Leffler 	}
104788768458SSam Leffler 
10489ffa9677SSam Leffler 	IPSEC_ASSERT(sp->policy == IPSEC_POLICY_IPSEC,
10499ffa9677SSam Leffler 		("invalid policy %u", sp->policy));
105088768458SSam Leffler 
1051fcf59617SAndrey V. Elsukov 	/*
1052fcf59617SAndrey V. Elsukov 	 * ipsec[46]_common_input_cb after each transform adds
1053fcf59617SAndrey V. Elsukov 	 * PACKET_TAG_IPSEC_IN_DONE mbuf tag. It contains SPI, proto, mode
1054fcf59617SAndrey V. Elsukov 	 * and destination address from saidx. We can compare info from
1055fcf59617SAndrey V. Elsukov 	 * these tags with requirements in SP.
1056fcf59617SAndrey V. Elsukov 	 */
1057fcf59617SAndrey V. Elsukov 	for (i = 0; i < sp->tcount; i++) {
1058fcf59617SAndrey V. Elsukov 		/*
1059fcf59617SAndrey V. Elsukov 		 * Do not check IPcomp, since IPcomp document
1060fcf59617SAndrey V. Elsukov 		 * says that we shouldn't compress small packets.
1061fcf59617SAndrey V. Elsukov 		 * IPComp policy should always be treated as being
1062fcf59617SAndrey V. Elsukov 		 * in "use" level.
1063fcf59617SAndrey V. Elsukov 		 */
1064fcf59617SAndrey V. Elsukov 		if (sp->req[i]->saidx.proto == IPPROTO_IPCOMP ||
1065fcf59617SAndrey V. Elsukov 		    ipsec_get_reqlevel(sp, i) != IPSEC_LEVEL_REQUIRE)
106688768458SSam Leffler 			continue;
1067fcf59617SAndrey V. Elsukov 		if (V_check_policy_history != 0 &&
1068fcf59617SAndrey V. Elsukov 		    ipsec_check_history(m, sp, i) != 0)
1069fcf59617SAndrey V. Elsukov 			return (1);
1070fcf59617SAndrey V. Elsukov 		else switch (sp->req[i]->saidx.proto) {
107188768458SSam Leffler 		case IPPROTO_ESP:
107288768458SSam Leffler 			if ((m->m_flags & M_DECRYPTED) == 0) {
1073fcf59617SAndrey V. Elsukov 				KEYDBG(IPSEC_DUMP,
10749ffa9677SSam Leffler 				    printf("%s: ESP m_flags:%x\n", __func__,
107588768458SSam Leffler 					    m->m_flags));
1076de47c390SBjoern A. Zeeb 				return (1);
107788768458SSam Leffler 			}
107888768458SSam Leffler 			break;
107988768458SSam Leffler 		case IPPROTO_AH:
108088768458SSam Leffler 			if ((m->m_flags & M_AUTHIPHDR) == 0) {
1081fcf59617SAndrey V. Elsukov 				KEYDBG(IPSEC_DUMP,
10829ffa9677SSam Leffler 				    printf("%s: AH m_flags:%x\n", __func__,
108388768458SSam Leffler 					    m->m_flags));
1084de47c390SBjoern A. Zeeb 				return (1);
108588768458SSam Leffler 			}
108688768458SSam Leffler 			break;
108788768458SSam Leffler 		}
108888768458SSam Leffler 	}
1089de47c390SBjoern A. Zeeb 	return (0);		/* Valid. */
109088768458SSam Leffler }
109188768458SSam Leffler 
1092a91150daSAndrey V. Elsukov /*
1093de47c390SBjoern A. Zeeb  * Compute the byte size to be occupied by IPsec header.
1094de47c390SBjoern A. Zeeb  * In case it is tunnelled, it includes the size of outer IP header.
109588768458SSam Leffler  */
109688768458SSam Leffler static size_t
109797aa4a51SBjoern A. Zeeb ipsec_hdrsiz_internal(struct secpolicy *sp)
109888768458SSam Leffler {
10991f8bd75eSBjoern A. Zeeb 	size_t size;
1100fcf59617SAndrey V. Elsukov 	int i;
110188768458SSam Leffler 
1102fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_STAMP, printf("%s: using SP(%p)\n", __func__, sp));
1103fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_DATA, kdebug_secpolicy(sp));
110488768458SSam Leffler 
110588768458SSam Leffler 	switch (sp->policy) {
110688768458SSam Leffler 	case IPSEC_POLICY_DISCARD:
110788768458SSam Leffler 	case IPSEC_POLICY_BYPASS:
110888768458SSam Leffler 	case IPSEC_POLICY_NONE:
1109de47c390SBjoern A. Zeeb 		return (0);
111088768458SSam Leffler 	}
111188768458SSam Leffler 
11129ffa9677SSam Leffler 	IPSEC_ASSERT(sp->policy == IPSEC_POLICY_IPSEC,
11139ffa9677SSam Leffler 		("invalid policy %u", sp->policy));
111488768458SSam Leffler 
1115fcf59617SAndrey V. Elsukov 	/*
1116fcf59617SAndrey V. Elsukov 	 * XXX: for each transform we need to lookup suitable SA
1117fcf59617SAndrey V. Elsukov 	 * and use info from SA to calculate headers size.
1118fcf59617SAndrey V. Elsukov 	 * XXX: for NAT-T we need to cosider UDP header size.
1119fcf59617SAndrey V. Elsukov 	 */
11201f8bd75eSBjoern A. Zeeb 	size = 0;
1121fcf59617SAndrey V. Elsukov 	for (i = 0; i < sp->tcount; i++) {
1122fcf59617SAndrey V. Elsukov 		switch (sp->req[i]->saidx.proto) {
112388768458SSam Leffler 		case IPPROTO_ESP:
1124fcf59617SAndrey V. Elsukov 			size += esp_hdrsiz(NULL);
112588768458SSam Leffler 			break;
112688768458SSam Leffler 		case IPPROTO_AH:
1127fcf59617SAndrey V. Elsukov 			size += ah_hdrsiz(NULL);
112888768458SSam Leffler 			break;
112988768458SSam Leffler 		case IPPROTO_IPCOMP:
1130fcf59617SAndrey V. Elsukov 			size += sizeof(struct ipcomp);
113188768458SSam Leffler 			break;
113288768458SSam Leffler 		}
113388768458SSam Leffler 
1134fcf59617SAndrey V. Elsukov 		if (sp->req[i]->saidx.mode == IPSEC_MODE_TUNNEL) {
1135fcf59617SAndrey V. Elsukov 			switch (sp->req[i]->saidx.dst.sa.sa_family) {
1136fcf59617SAndrey V. Elsukov #ifdef INET
113788768458SSam Leffler 			case AF_INET:
1138fcf59617SAndrey V. Elsukov 				size += sizeof(struct ip);
113988768458SSam Leffler 				break;
1140fcf59617SAndrey V. Elsukov #endif
114188768458SSam Leffler #ifdef INET6
114288768458SSam Leffler 			case AF_INET6:
1143fcf59617SAndrey V. Elsukov 				size += sizeof(struct ip6_hdr);
114488768458SSam Leffler 				break;
114588768458SSam Leffler #endif
114688768458SSam Leffler 			default:
11479ffa9677SSam Leffler 				ipseclog((LOG_ERR, "%s: unknown AF %d in "
11489ffa9677SSam Leffler 				    "IPsec tunnel SA\n", __func__,
1149fcf59617SAndrey V. Elsukov 				    sp->req[i]->saidx.dst.sa.sa_family));
115088768458SSam Leffler 				break;
115188768458SSam Leffler 			}
115288768458SSam Leffler 		}
115388768458SSam Leffler 	}
11541f8bd75eSBjoern A. Zeeb 	return (size);
115588768458SSam Leffler }
115688768458SSam Leffler 
115797aa4a51SBjoern A. Zeeb /*
1158fcf59617SAndrey V. Elsukov  * Compute ESP/AH header size for protocols with PCB, including
1159fcf59617SAndrey V. Elsukov  * outer IP header. Currently only tcp_output() uses it.
116097aa4a51SBjoern A. Zeeb  */
116188768458SSam Leffler size_t
1162fcf59617SAndrey V. Elsukov ipsec_hdrsiz_inpcb(struct inpcb *inp)
116388768458SSam Leffler {
1164fcf59617SAndrey V. Elsukov 	struct secpolicyindex spidx;
116588768458SSam Leffler 	struct secpolicy *sp;
1166fcf59617SAndrey V. Elsukov 	size_t sz;
116788768458SSam Leffler 
1168fcf59617SAndrey V. Elsukov 	sp = ipsec_getpcbpolicy(inp, IPSEC_DIR_OUTBOUND);
1169fcf59617SAndrey V. Elsukov 	if (sp == NULL && key_havesp(IPSEC_DIR_OUTBOUND)) {
1170fcf59617SAndrey V. Elsukov 		ipsec_setspidx_inpcb(inp, &spidx, IPSEC_DIR_OUTBOUND);
1171fcf59617SAndrey V. Elsukov 		sp = key_allocsp(&spidx, IPSEC_DIR_OUTBOUND);
117288768458SSam Leffler 	}
1173fcf59617SAndrey V. Elsukov 	if (sp == NULL)
1174fcf59617SAndrey V. Elsukov 		sp = key_allocsp_default();
1175fcf59617SAndrey V. Elsukov 	sz = ipsec_hdrsiz_internal(sp);
1176fcf59617SAndrey V. Elsukov 	key_freesp(&sp);
1177fcf59617SAndrey V. Elsukov 	return (sz);
117888768458SSam Leffler }
117988768458SSam Leffler 
11808b7f3994SMarcin Wojtas 
11818b7f3994SMarcin Wojtas #define IPSEC_BITMAP_INDEX_MASK(w)	(w - 1)
11828b7f3994SMarcin Wojtas #define IPSEC_REDUNDANT_BIT_SHIFTS	5
11838b7f3994SMarcin Wojtas #define IPSEC_REDUNDANT_BITS		(1 << IPSEC_REDUNDANT_BIT_SHIFTS)
11848b7f3994SMarcin Wojtas #define IPSEC_BITMAP_LOC_MASK		(IPSEC_REDUNDANT_BITS - 1)
11858b7f3994SMarcin Wojtas 
11868b7f3994SMarcin Wojtas /*
11878b7f3994SMarcin Wojtas  * Functions below are responsible for checking and updating bitmap.
11888b7f3994SMarcin Wojtas  * These are used to separate ipsec_chkreplay() and ipsec_updatereplay()
11898b7f3994SMarcin Wojtas  * from window implementation
11908b7f3994SMarcin Wojtas  *
11918b7f3994SMarcin Wojtas  * Based on RFC 6479. Blocks are 32 bits unsigned integers
11928b7f3994SMarcin Wojtas  */
11938b7f3994SMarcin Wojtas 
11948b7f3994SMarcin Wojtas static inline int
11958b7f3994SMarcin Wojtas check_window(const struct secreplay *replay, uint64_t seq)
11968b7f3994SMarcin Wojtas {
11978b7f3994SMarcin Wojtas 	int index, bit_location;
11988b7f3994SMarcin Wojtas 
11998b7f3994SMarcin Wojtas 	bit_location = seq & IPSEC_BITMAP_LOC_MASK;
12008b7f3994SMarcin Wojtas 	index = (seq >> IPSEC_REDUNDANT_BIT_SHIFTS)
12018b7f3994SMarcin Wojtas 		& IPSEC_BITMAP_INDEX_MASK(replay->bitmap_size);
12028b7f3994SMarcin Wojtas 
12038b7f3994SMarcin Wojtas 	/* This packet already seen? */
12048b7f3994SMarcin Wojtas 	return ((replay->bitmap)[index] & (1 << bit_location));
12058b7f3994SMarcin Wojtas }
12068b7f3994SMarcin Wojtas 
12078b7f3994SMarcin Wojtas static inline void
12088b7f3994SMarcin Wojtas advance_window(const struct secreplay *replay, uint64_t seq)
12098b7f3994SMarcin Wojtas {
12108b7f3994SMarcin Wojtas 	int i;
12118b7f3994SMarcin Wojtas 	uint64_t index, index_cur, diff;
12128b7f3994SMarcin Wojtas 
12138b7f3994SMarcin Wojtas 	index_cur = replay->last >> IPSEC_REDUNDANT_BIT_SHIFTS;
12148b7f3994SMarcin Wojtas 	index = seq >> IPSEC_REDUNDANT_BIT_SHIFTS;
12158b7f3994SMarcin Wojtas 	diff = index - index_cur;
12168b7f3994SMarcin Wojtas 
12178b7f3994SMarcin Wojtas 	if (diff > replay->bitmap_size) {
12188b7f3994SMarcin Wojtas 		/* something unusual in this case */
12198b7f3994SMarcin Wojtas 		diff = replay->bitmap_size;
12208b7f3994SMarcin Wojtas 	}
12218b7f3994SMarcin Wojtas 
12228b7f3994SMarcin Wojtas 	for (i = 0; i < diff; i++) {
12238b7f3994SMarcin Wojtas 		replay->bitmap[(i + index_cur + 1)
12248b7f3994SMarcin Wojtas 		& IPSEC_BITMAP_INDEX_MASK(replay->bitmap_size)] = 0;
12258b7f3994SMarcin Wojtas 	}
12268b7f3994SMarcin Wojtas }
12278b7f3994SMarcin Wojtas 
12288b7f3994SMarcin Wojtas static inline void
12298b7f3994SMarcin Wojtas set_window(const struct secreplay *replay, uint64_t seq)
12308b7f3994SMarcin Wojtas {
12318b7f3994SMarcin Wojtas 	int index, bit_location;
12328b7f3994SMarcin Wojtas 
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. */
126688768458SSam Leffler 	if (replay->wsize == 0)
1267fcf59617SAndrey V. Elsukov 		return (1);
126888768458SSam Leffler 
12698b7f3994SMarcin Wojtas 	/* Zero sequence number is not allowed. */
12708b7f3994SMarcin Wojtas 	if (seq == 0 && replay->last == 0)
1271fcf59617SAndrey V. Elsukov 		return (0);
127288768458SSam Leffler 
12738b7f3994SMarcin Wojtas 	window = replay->wsize << 3;		/* Size of window */
12748b7f3994SMarcin Wojtas 	tl = (uint32_t)replay->last;		/* Top of window, lower part */
12758b7f3994SMarcin Wojtas 	th = (uint32_t)(replay->last >> 32);	/* Top of window, high part */
12768b7f3994SMarcin Wojtas 	bl = tl - window + 1;			/* Bottom of window, lower part */
127788768458SSam Leffler 
12788b7f3994SMarcin Wojtas 	/*
12798b7f3994SMarcin Wojtas 	 * We keep the high part intact when:
12808b7f3994SMarcin Wojtas 	 * 1) the seq is within [bl, 0xffffffff] and the whole window is
12818b7f3994SMarcin Wojtas 	 *    within one subspace;
12828b7f3994SMarcin Wojtas 	 * 2) the seq is within [0, bl) and window spans two subspaces.
1283bf435626SFabien Thomas 	 */
12848b7f3994SMarcin Wojtas 	if ((tl >= window - 1 && seq >= bl) ||
12858b7f3994SMarcin Wojtas 	    (tl < window - 1 && seq < bl)) {
12868b7f3994SMarcin Wojtas 		*seqhigh = th;
12878b7f3994SMarcin Wojtas 		if (seq <= tl) {
12888b7f3994SMarcin Wojtas 			/* Sequence number inside window - check against replay */
12898b7f3994SMarcin Wojtas 			if (check_window(replay, seq))
1290fcf59617SAndrey V. Elsukov 				return (0);
12918b7f3994SMarcin Wojtas 		}
12928b7f3994SMarcin Wojtas 
12938b7f3994SMarcin Wojtas 		/* Sequence number above top of window or not found in bitmap */
12948b7f3994SMarcin Wojtas 		return (1);
12958b7f3994SMarcin Wojtas 	}
12968b7f3994SMarcin Wojtas 
12978b7f3994SMarcin Wojtas 	/*
12988b7f3994SMarcin Wojtas 	 * If ESN is not enabled and packet with highest sequence number
12998b7f3994SMarcin Wojtas 	 * was received we should report overflow
13008b7f3994SMarcin Wojtas 	 */
13018b7f3994SMarcin Wojtas 	if (tl == 0xffffffff && !(sav->flags & SADB_X_SAFLAGS_ESN)) {
13028b7f3994SMarcin Wojtas 		/* Set overflow flag. */
13038b7f3994SMarcin Wojtas 		replay->overflow++;
13048b7f3994SMarcin Wojtas 
13058b7f3994SMarcin Wojtas 		if ((sav->flags & SADB_X_EXT_CYCSEQ) == 0) {
13068b7f3994SMarcin Wojtas 			if (sav->sah->saidx.proto == IPPROTO_ESP)
13078b7f3994SMarcin Wojtas 				ESPSTAT_INC(esps_wrap);
13088b7f3994SMarcin Wojtas 			else if (sav->sah->saidx.proto == IPPROTO_AH)
13098b7f3994SMarcin Wojtas 				AHSTAT_INC(ahs_wrap);
13108b7f3994SMarcin Wojtas 			return (0);
13118b7f3994SMarcin Wojtas 		}
13128b7f3994SMarcin Wojtas 
13138b7f3994SMarcin Wojtas 		ipseclog((LOG_WARNING, "%s: replay counter made %d cycle. %s\n",
13148b7f3994SMarcin Wojtas 		    __func__, replay->overflow,
13158b7f3994SMarcin Wojtas 		    ipsec_sa2str(sav, buf, sizeof(buf))));
13168b7f3994SMarcin Wojtas 	}
13178b7f3994SMarcin Wojtas 
13188b7f3994SMarcin Wojtas 	/*
13198b7f3994SMarcin Wojtas 	 * Seq is within [bl, 0xffffffff] and bl is within
13208b7f3994SMarcin Wojtas 	 * [0xffffffff-window, 0xffffffff].  This means we got a seq
13218b7f3994SMarcin Wojtas 	 * which is within our replay window, but in the previous
13228b7f3994SMarcin Wojtas 	 * subspace.
13238b7f3994SMarcin Wojtas 	 */
13248b7f3994SMarcin Wojtas 	if (tl < window - 1 && seq >= bl) {
13258b7f3994SMarcin Wojtas 		if (th == 0)
13268b7f3994SMarcin Wojtas 			return (0);
13278b7f3994SMarcin Wojtas 		*seqhigh = th - 1;
13288b7f3994SMarcin Wojtas 		seqh = th - 1;
13298b7f3994SMarcin Wojtas 		if (check_window(replay, seq))
13308b7f3994SMarcin Wojtas 			return (0);
13318b7f3994SMarcin Wojtas 		return (1);
13328b7f3994SMarcin Wojtas 	}
13338b7f3994SMarcin Wojtas 
13348b7f3994SMarcin Wojtas 	/*
13358b7f3994SMarcin Wojtas 	 * Seq is within [0, bl) but the whole window is within one subspace.
13368b7f3994SMarcin Wojtas 	 * This means that seq has wrapped and is in next subspace
13378b7f3994SMarcin Wojtas 	 */
13388b7f3994SMarcin Wojtas 	*seqhigh = th + 1;
13398b7f3994SMarcin Wojtas 	seqh = th + 1;
13408b7f3994SMarcin Wojtas 
13418b7f3994SMarcin Wojtas 	/* Don't let high part wrap. */
13428b7f3994SMarcin Wojtas 	if (seqh == 0) {
13438b7f3994SMarcin Wojtas 		/* Set overflow flag. */
13448b7f3994SMarcin Wojtas 		replay->overflow++;
13458b7f3994SMarcin Wojtas 
13468b7f3994SMarcin Wojtas 		if ((sav->flags & SADB_X_EXT_CYCSEQ) == 0) {
13478b7f3994SMarcin Wojtas 			if (sav->sah->saidx.proto == IPPROTO_ESP)
13488b7f3994SMarcin Wojtas 				ESPSTAT_INC(esps_wrap);
13498b7f3994SMarcin Wojtas 			else if (sav->sah->saidx.proto == IPPROTO_AH)
13508b7f3994SMarcin Wojtas 				AHSTAT_INC(ahs_wrap);
13518b7f3994SMarcin Wojtas 			return (0);
13528b7f3994SMarcin Wojtas 		}
13538b7f3994SMarcin Wojtas 
13548b7f3994SMarcin Wojtas 		ipseclog((LOG_WARNING, "%s: replay counter made %d cycle. %s\n",
13558b7f3994SMarcin Wojtas 		    __func__, replay->overflow,
13568b7f3994SMarcin Wojtas 		    ipsec_sa2str(sav, buf, sizeof(buf))));
13578b7f3994SMarcin Wojtas 	}
13588b7f3994SMarcin Wojtas 
1359fcf59617SAndrey V. Elsukov 	return (1);
136088768458SSam Leffler }
136188768458SSam Leffler 
136288768458SSam Leffler /*
1363de47c390SBjoern A. Zeeb  * Check replay counter whether to update or not.
136488768458SSam Leffler  * OUT:	0:	OK
136588768458SSam Leffler  *	1:	NG
136688768458SSam Leffler  */
136788768458SSam Leffler int
1368fcf59617SAndrey V. Elsukov ipsec_updatereplay(uint32_t seq, struct secasvar *sav)
136988768458SSam Leffler {
137088768458SSam Leffler 	struct secreplay *replay;
13718b7f3994SMarcin Wojtas 	uint32_t window;
13728b7f3994SMarcin Wojtas 	uint32_t tl, th, bl;
13738b7f3994SMarcin Wojtas 	uint32_t seqh;
137488768458SSam Leffler 
13759ffa9677SSam Leffler 	IPSEC_ASSERT(sav != NULL, ("Null SA"));
13769ffa9677SSam Leffler 	IPSEC_ASSERT(sav->replay != NULL, ("Null replay state"));
137788768458SSam Leffler 
137888768458SSam Leffler 	replay = sav->replay;
137988768458SSam Leffler 
13808b7f3994SMarcin Wojtas 	/* No need to check replay if disabled. */
138188768458SSam Leffler 	if (replay->wsize == 0)
13828b7f3994SMarcin Wojtas 		return (0);
138388768458SSam Leffler 
13848b7f3994SMarcin Wojtas 	/* Zero sequence number is not allowed. */
13858b7f3994SMarcin Wojtas 	if (seq == 0 && replay->last == 0)
1386fcf59617SAndrey V. Elsukov 		return (1);
138788768458SSam Leffler 
13888b7f3994SMarcin Wojtas 	window = replay->wsize << 3;		/* Size of window */
13898b7f3994SMarcin Wojtas 	tl = (uint32_t)replay->last;		/* Top of window, lower part */
13908b7f3994SMarcin Wojtas 	th = (uint32_t)(replay->last >> 32);	/* Top of window, high part */
13918b7f3994SMarcin Wojtas 	bl = tl - window + 1;			/* Bottom of window, lower part */
139288768458SSam Leffler 
13938b7f3994SMarcin Wojtas 	/*
13948b7f3994SMarcin Wojtas 	 * We keep the high part intact when:
13958b7f3994SMarcin Wojtas 	 * 1) the seq is within [bl, 0xffffffff] and the whole window is
13968b7f3994SMarcin Wojtas 	 *    within one subspace;
13978b7f3994SMarcin Wojtas 	 * 2) the seq is within [0, bl) and window spans two subspaces.
13988b7f3994SMarcin Wojtas 	 */
13998b7f3994SMarcin Wojtas 	if ((tl >= window - 1 && seq >= bl) ||
14008b7f3994SMarcin Wojtas 	    (tl < window - 1 && seq < bl)) {
14018b7f3994SMarcin Wojtas 		seqh = th;
14028b7f3994SMarcin Wojtas 		if (seq <= tl) {
14038b7f3994SMarcin Wojtas 			/* Sequence number inside window - check against replay */
14048b7f3994SMarcin Wojtas 			if (check_window(replay, seq))
1405fcf59617SAndrey V. Elsukov 				return (1);
14068b7f3994SMarcin Wojtas 			set_window(replay, seq);
14078b7f3994SMarcin Wojtas 		} else {
14088b7f3994SMarcin Wojtas 			advance_window(replay, ((uint64_t)seqh << 32) | seq);
14098b7f3994SMarcin Wojtas 			set_window(replay, seq);
14108b7f3994SMarcin Wojtas 			replay->last = ((uint64_t)seqh << 32) | seq;
1411fcf59617SAndrey V. Elsukov 		}
141288768458SSam Leffler 
14138b7f3994SMarcin Wojtas 		/* Sequence number above top of window or not found in bitmap */
1414d5f39c34SFabien Thomas 		replay->count++;
1415fcf59617SAndrey V. Elsukov 		return (0);
141688768458SSam Leffler 	}
141788768458SSam Leffler 
14188b7f3994SMarcin Wojtas 	if (!(sav->flags & SADB_X_SAFLAGS_ESN))
14198b7f3994SMarcin Wojtas 		return (1);
14208b7f3994SMarcin Wojtas 
14218b7f3994SMarcin Wojtas 	/*
14228b7f3994SMarcin Wojtas 	 * Seq is within [bl, 0xffffffff] and bl is within
14238b7f3994SMarcin Wojtas 	 * [0xffffffff-window, 0xffffffff].  This means we got a seq
14248b7f3994SMarcin Wojtas 	 * which is within our replay window, but in the previous
14258b7f3994SMarcin Wojtas 	 * subspace.
14268b7f3994SMarcin Wojtas 	 */
14278b7f3994SMarcin Wojtas 	if (tl < window - 1 && seq >= bl) {
14288b7f3994SMarcin Wojtas 		if (th == 0)
14298b7f3994SMarcin Wojtas 			return (1);
14308b7f3994SMarcin Wojtas 		if (check_window(replay, seq))
14318b7f3994SMarcin Wojtas 			return (1);
14328b7f3994SMarcin Wojtas 
14338b7f3994SMarcin Wojtas 		set_window(replay, seq);
14348b7f3994SMarcin Wojtas 		replay->count++;
14358b7f3994SMarcin Wojtas 		return (0);
14368b7f3994SMarcin Wojtas 	}
14378b7f3994SMarcin Wojtas 
14388b7f3994SMarcin Wojtas 	/*
14398b7f3994SMarcin Wojtas 	 * Seq is within [0, bl) but the whole window is within one subspace.
14408b7f3994SMarcin Wojtas 	 * This means that seq has wrapped and is in next subspace
14418b7f3994SMarcin Wojtas 	 */
14428b7f3994SMarcin Wojtas 	seqh = th + 1;
14438b7f3994SMarcin Wojtas 
14448b7f3994SMarcin Wojtas 	/* Don't let high part wrap. */
14458b7f3994SMarcin Wojtas 	if (seqh == 0)
14468b7f3994SMarcin Wojtas 		return (1);
14478b7f3994SMarcin Wojtas 
14488b7f3994SMarcin Wojtas 	advance_window(replay, ((uint64_t)seqh << 32) | seq);
14498b7f3994SMarcin Wojtas 	set_window(replay, seq);
14508b7f3994SMarcin Wojtas 	replay->last = ((uint64_t)seqh << 32) | seq;
14518b7f3994SMarcin Wojtas 	replay->count++;
14528b7f3994SMarcin Wojtas 	return (0);
14538b7f3994SMarcin Wojtas }
1454fcf59617SAndrey V. Elsukov int
14552e08e39fSConrad Meyer ipsec_updateid(struct secasvar *sav, crypto_session_t *new,
14562e08e39fSConrad Meyer     crypto_session_t *old)
1457fcf59617SAndrey V. Elsukov {
14582e08e39fSConrad Meyer 	crypto_session_t tmp;
145988768458SSam Leffler 
1460fcf59617SAndrey V. Elsukov 	/*
1461fcf59617SAndrey V. Elsukov 	 * tdb_cryptoid is initialized by xform_init().
1462fcf59617SAndrey V. Elsukov 	 * Then it can be changed only when some crypto error occurred or
1463fcf59617SAndrey V. Elsukov 	 * when SA is deleted. We stored used cryptoid in the xform_data
1464fcf59617SAndrey V. Elsukov 	 * structure. In case when crypto error occurred and crypto
1465fcf59617SAndrey V. Elsukov 	 * subsystem has reinited the session, it returns new cryptoid
1466fcf59617SAndrey V. Elsukov 	 * and EAGAIN error code.
1467fcf59617SAndrey V. Elsukov 	 *
1468fcf59617SAndrey V. Elsukov 	 * This function will be called when we got EAGAIN from crypto
1469fcf59617SAndrey V. Elsukov 	 * subsystem.
1470fcf59617SAndrey V. Elsukov 	 * *new is cryptoid that was returned by crypto subsystem in
1471fcf59617SAndrey V. Elsukov 	 * the crp_sid.
1472fcf59617SAndrey V. Elsukov 	 * *old is the original cryptoid that we stored in xform_data.
1473fcf59617SAndrey V. Elsukov 	 *
1474fcf59617SAndrey V. Elsukov 	 * For first failed request *old == sav->tdb_cryptoid, then
1475fcf59617SAndrey V. Elsukov 	 * we update sav->tdb_cryptoid and redo crypto_dispatch().
1476fcf59617SAndrey V. Elsukov 	 * For next failed request *old != sav->tdb_cryptoid, then
1477fcf59617SAndrey V. Elsukov 	 * we store cryptoid from first request into the *new variable
1478fcf59617SAndrey V. Elsukov 	 * and crp_sid from this second session will be returned via
1479fcf59617SAndrey V. Elsukov 	 * *old pointer, so caller can release second session.
1480fcf59617SAndrey V. Elsukov 	 *
1481fcf59617SAndrey V. Elsukov 	 * XXXAE: check this more carefully.
1482fcf59617SAndrey V. Elsukov 	 */
1483fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_STAMP,
14841b0909d5SConrad Meyer 	    printf("%s: SA(%p) moves cryptoid %p -> %p\n",
14851b0909d5SConrad Meyer 		__func__, sav, *old, *new));
1486fcf59617SAndrey V. Elsukov 	KEYDBG(IPSEC_DATA, kdebug_secasv(sav));
1487fcf59617SAndrey V. Elsukov 	SECASVAR_LOCK(sav);
1488fcf59617SAndrey V. Elsukov 	if (sav->tdb_cryptoid != *old) {
1489fcf59617SAndrey V. Elsukov 		/* cryptoid was already updated */
1490fcf59617SAndrey V. Elsukov 		tmp = *new;
1491fcf59617SAndrey V. Elsukov 		*new = sav->tdb_cryptoid;
1492fcf59617SAndrey V. Elsukov 		*old = tmp;
1493bf435626SFabien Thomas 		SECASVAR_UNLOCK(sav);
1494fcf59617SAndrey V. Elsukov 		return (1);
1495fcf59617SAndrey V. Elsukov 	}
1496fcf59617SAndrey V. Elsukov 	sav->tdb_cryptoid = *new;
1497fcf59617SAndrey V. Elsukov 	SECASVAR_UNLOCK(sav);
1498fcf59617SAndrey V. Elsukov 	return (0);
149988768458SSam Leffler }
150088768458SSam Leffler 
1501fcf59617SAndrey V. Elsukov int
1502fcf59617SAndrey V. Elsukov ipsec_initialized(void)
150388768458SSam Leffler {
1504de47c390SBjoern A. Zeeb 
1505fcf59617SAndrey V. Elsukov 	return (V_def_policy != NULL);
150688768458SSam Leffler }
150788768458SSam Leffler 
15088381996eSSam Leffler static void
150993201211SAndrey V. Elsukov def_policy_init(const void *unused __unused)
15101ed81b73SMarko Zec {
15111ed81b73SMarko Zec 
1512fcf59617SAndrey V. Elsukov 	V_def_policy = key_newsp();
1513fcf59617SAndrey V. Elsukov 	if (V_def_policy != NULL) {
1514fcf59617SAndrey V. Elsukov 		V_def_policy->policy = IPSEC_POLICY_NONE;
1515fcf59617SAndrey V. Elsukov 		/* Force INPCB SP cache invalidation */
1516fcf59617SAndrey V. Elsukov 		key_bumpspgen();
1517fcf59617SAndrey V. Elsukov 	} else
1518fcf59617SAndrey V. Elsukov 		printf("%s: failed to initialize default policy\n", __func__);
15198381996eSSam Leffler }
1520fcf59617SAndrey V. Elsukov 
1521fcf59617SAndrey V. Elsukov static void
1522fcf59617SAndrey V. Elsukov def_policy_uninit(const void *unused __unused)
1523fcf59617SAndrey V. Elsukov {
1524fcf59617SAndrey V. Elsukov 
1525fcf59617SAndrey V. Elsukov 	if (V_def_policy != NULL) {
1526fcf59617SAndrey V. Elsukov 		key_freesp(&V_def_policy);
1527fcf59617SAndrey V. Elsukov 		key_bumpspgen();
1528fcf59617SAndrey V. Elsukov 	}
1529fcf59617SAndrey V. Elsukov }
1530fcf59617SAndrey V. Elsukov 
153189856f7eSBjoern A. Zeeb VNET_SYSINIT(def_policy_init, SI_SUB_PROTO_DOMAIN, SI_ORDER_FIRST,
153293201211SAndrey V. Elsukov     def_policy_init, NULL);
1533fcf59617SAndrey V. Elsukov VNET_SYSUNINIT(def_policy_uninit, SI_SUB_PROTO_DOMAIN, SI_ORDER_FIRST,
1534fcf59617SAndrey V. Elsukov     def_policy_uninit, NULL);
1535