blob: fc0c69312b2cfec2e554458528da677d4dcf9619 [file] [log] [blame]
YOSHIFUJI Hideakia716c112007-02-09 23:25:29 +09001/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07002 * xfrm_policy.c
3 *
4 * Changes:
5 * Mitsuru KANDA @USAGI
6 * Kazunori MIYAZAWA @USAGI
7 * Kunihiro Ishiguro <kunihiro@ipinfusion.com>
8 * IPv6 support
9 * Kazunori MIYAZAWA @USAGI
10 * YOSHIFUJI Hideaki
11 * Split up af-specific portion
12 * Derek Atkins <derek@ihtfp.com> Add the post_input processor
Trent Jaegerdf718372005-12-13 23:12:27 -080013 *
Linus Torvalds1da177e2005-04-16 15:20:36 -070014 */
15
Herbert Xu66cdb3c2007-11-13 21:37:28 -080016#include <linux/err.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070017#include <linux/slab.h>
18#include <linux/kmod.h>
19#include <linux/list.h>
20#include <linux/spinlock.h>
21#include <linux/workqueue.h>
22#include <linux/notifier.h>
23#include <linux/netdevice.h>
Patrick McHardyeb9c7eb2006-01-06 23:06:30 -080024#include <linux/netfilter.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070025#include <linux/module.h>
David S. Miller2518c7c2006-08-24 04:45:07 -070026#include <linux/cache.h>
Florian Westphalec30d782017-07-17 13:57:27 +020027#include <linux/cpu.h>
Paul Moore68277ac2007-12-20 20:49:33 -080028#include <linux/audit.h>
Herbert Xu25ee3282007-12-11 09:32:34 -080029#include <net/dst.h>
Eric Paris6ce74ec2012-02-16 15:08:39 -050030#include <net/flow.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070031#include <net/xfrm.h>
32#include <net/ip.h>
Masahide NAKAMURA558f82e2007-12-20 20:42:57 -080033#ifdef CONFIG_XFRM_STATISTICS
34#include <net/snmp.h>
35#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -070036
David S. Miller44e36b42006-08-24 04:50:50 -070037#include "xfrm_hash.h"
38
Steffen Klasserta0073fe2013-02-05 12:52:55 +010039#define XFRM_QUEUE_TMO_MIN ((unsigned)(HZ/10))
40#define XFRM_QUEUE_TMO_MAX ((unsigned)(60*HZ))
41#define XFRM_MAX_QUEUE_LEN 100
42
Steffen Klassertb8c203b2014-09-16 10:08:49 +020043struct xfrm_flo {
44 struct dst_entry *dst_orig;
45 u8 flags;
46};
47
Florian Westphalec30d782017-07-17 13:57:27 +020048static DEFINE_PER_CPU(struct xfrm_dst *, xfrm_last_dst);
49static struct work_struct *xfrm_pcpu_work __read_mostly;
Priyanka Jain418a99a2012-08-12 21:22:29 +000050static DEFINE_SPINLOCK(xfrm_policy_afinfo_lock);
Florian Westphal37b10382017-02-07 15:00:19 +010051static struct xfrm_policy_afinfo const __rcu *xfrm_policy_afinfo[AF_INET6 + 1]
Priyanka Jain418a99a2012-08-12 21:22:29 +000052 __read_mostly;
Linus Torvalds1da177e2005-04-16 15:20:36 -070053
Alexey Dobriyanf8c3d0d2018-02-24 21:21:38 +030054static struct kmem_cache *xfrm_dst_cache __ro_after_init;
Florian Westphal30846092016-08-11 15:17:54 +020055static __read_mostly seqcount_t xfrm_policy_hash_generation;
Linus Torvalds1da177e2005-04-16 15:20:36 -070056
David Miller54920932017-11-28 15:41:01 -050057static void xfrm_init_pmtu(struct xfrm_dst **bundle, int nr);
Timo Teräs80c802f2010-04-07 00:30:05 +000058static int stale_bundle(struct dst_entry *dst);
Steffen Klassert12fdb4d2011-06-29 23:18:20 +000059static int xfrm_bundle_ok(struct xfrm_dst *xdst);
Kees Cookc3aed702017-10-16 17:28:56 -070060static void xfrm_policy_queue_process(struct timer_list *t);
Linus Torvalds1da177e2005-04-16 15:20:36 -070061
Herbert Xu12bfa8b2014-11-13 17:09:50 +080062static void __xfrm_policy_link(struct xfrm_policy *pol, int dir);
Wei Yongjun29fa0b302008-12-03 00:33:09 -080063static struct xfrm_policy *__xfrm_policy_unlink(struct xfrm_policy *pol,
64 int dir);
65
Florian Westphale37cc8a2016-08-11 15:17:55 +020066static inline bool xfrm_pol_hold_rcu(struct xfrm_policy *policy)
67{
Reshetova, Elena850a6212017-07-04 15:53:22 +030068 return refcount_inc_not_zero(&policy->refcnt);
Florian Westphale37cc8a2016-08-11 15:17:55 +020069}
70
David S. Millerbc9b35a2012-05-15 15:04:57 -040071static inline bool
David S. Miller200ce962011-02-24 00:12:25 -050072__xfrm4_selector_match(const struct xfrm_selector *sel, const struct flowi *fl)
Andrew Morton77681022006-11-08 22:46:26 -080073{
David S. Miller7e1dc7b2011-03-12 02:42:11 -050074 const struct flowi4 *fl4 = &fl->u.ip4;
75
Alexey Dobriyan26bff942011-11-22 06:46:02 +000076 return addr4_match(fl4->daddr, sel->daddr.a4, sel->prefixlen_d) &&
77 addr4_match(fl4->saddr, sel->saddr.a4, sel->prefixlen_s) &&
David S. Miller7e1dc7b2011-03-12 02:42:11 -050078 !((xfrm_flowi_dport(fl, &fl4->uli) ^ sel->dport) & sel->dport_mask) &&
79 !((xfrm_flowi_sport(fl, &fl4->uli) ^ sel->sport) & sel->sport_mask) &&
80 (fl4->flowi4_proto == sel->proto || !sel->proto) &&
81 (fl4->flowi4_oif == sel->ifindex || !sel->ifindex);
Andrew Morton77681022006-11-08 22:46:26 -080082}
83
David S. Millerbc9b35a2012-05-15 15:04:57 -040084static inline bool
David S. Miller200ce962011-02-24 00:12:25 -050085__xfrm6_selector_match(const struct xfrm_selector *sel, const struct flowi *fl)
Andrew Morton77681022006-11-08 22:46:26 -080086{
David S. Miller7e1dc7b2011-03-12 02:42:11 -050087 const struct flowi6 *fl6 = &fl->u.ip6;
88
89 return addr_match(&fl6->daddr, &sel->daddr, sel->prefixlen_d) &&
90 addr_match(&fl6->saddr, &sel->saddr, sel->prefixlen_s) &&
91 !((xfrm_flowi_dport(fl, &fl6->uli) ^ sel->dport) & sel->dport_mask) &&
92 !((xfrm_flowi_sport(fl, &fl6->uli) ^ sel->sport) & sel->sport_mask) &&
93 (fl6->flowi6_proto == sel->proto || !sel->proto) &&
94 (fl6->flowi6_oif == sel->ifindex || !sel->ifindex);
Andrew Morton77681022006-11-08 22:46:26 -080095}
96
David S. Millerbc9b35a2012-05-15 15:04:57 -040097bool xfrm_selector_match(const struct xfrm_selector *sel, const struct flowi *fl,
98 unsigned short family)
Andrew Morton77681022006-11-08 22:46:26 -080099{
100 switch (family) {
101 case AF_INET:
102 return __xfrm4_selector_match(sel, fl);
103 case AF_INET6:
104 return __xfrm6_selector_match(sel, fl);
105 }
David S. Millerbc9b35a2012-05-15 15:04:57 -0400106 return false;
Andrew Morton77681022006-11-08 22:46:26 -0800107}
108
Florian Westphala2817d82017-02-07 15:00:17 +0100109static const struct xfrm_policy_afinfo *xfrm_policy_get_afinfo(unsigned short family)
Eric Dumazetef8531b2012-08-19 12:31:48 +0200110{
Florian Westphala2817d82017-02-07 15:00:17 +0100111 const struct xfrm_policy_afinfo *afinfo;
Eric Dumazetef8531b2012-08-19 12:31:48 +0200112
Florian Westphala2817d82017-02-07 15:00:17 +0100113 if (unlikely(family >= ARRAY_SIZE(xfrm_policy_afinfo)))
Eric Dumazetef8531b2012-08-19 12:31:48 +0200114 return NULL;
115 rcu_read_lock();
116 afinfo = rcu_dereference(xfrm_policy_afinfo[family]);
117 if (unlikely(!afinfo))
118 rcu_read_unlock();
119 return afinfo;
120}
121
Steffen Klassertd77e38e2017-04-14 10:06:10 +0200122struct dst_entry *__xfrm_dst_lookup(struct net *net, int tos, int oif,
123 const xfrm_address_t *saddr,
124 const xfrm_address_t *daddr,
Lorenzo Colitti077fbac2017-08-11 02:11:33 +0900125 int family, u32 mark)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700126{
Florian Westphal37b10382017-02-07 15:00:19 +0100127 const struct xfrm_policy_afinfo *afinfo;
Herbert Xu66cdb3c2007-11-13 21:37:28 -0800128 struct dst_entry *dst;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700129
Herbert Xu25ee3282007-12-11 09:32:34 -0800130 afinfo = xfrm_policy_get_afinfo(family);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700131 if (unlikely(afinfo == NULL))
Herbert Xu66cdb3c2007-11-13 21:37:28 -0800132 return ERR_PTR(-EAFNOSUPPORT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700133
Lorenzo Colitti077fbac2017-08-11 02:11:33 +0900134 dst = afinfo->dst_lookup(net, tos, oif, saddr, daddr, mark);
YOSHIFUJI Hideaki9bb182a2008-02-22 14:48:22 +0900135
Florian Westphalbdba9fe2017-02-07 15:00:18 +0100136 rcu_read_unlock();
YOSHIFUJI Hideaki9bb182a2008-02-22 14:48:22 +0900137
138 return dst;
139}
Steffen Klassertd77e38e2017-04-14 10:06:10 +0200140EXPORT_SYMBOL(__xfrm_dst_lookup);
YOSHIFUJI Hideaki9bb182a2008-02-22 14:48:22 +0900141
David Ahern42a7b322015-08-10 16:58:11 -0600142static inline struct dst_entry *xfrm_dst_lookup(struct xfrm_state *x,
143 int tos, int oif,
YOSHIFUJI Hideaki9bb182a2008-02-22 14:48:22 +0900144 xfrm_address_t *prev_saddr,
145 xfrm_address_t *prev_daddr,
Lorenzo Colitti077fbac2017-08-11 02:11:33 +0900146 int family, u32 mark)
YOSHIFUJI Hideaki9bb182a2008-02-22 14:48:22 +0900147{
Alexey Dobriyanc5b3cf42008-11-25 17:51:25 -0800148 struct net *net = xs_net(x);
YOSHIFUJI Hideaki9bb182a2008-02-22 14:48:22 +0900149 xfrm_address_t *saddr = &x->props.saddr;
150 xfrm_address_t *daddr = &x->id.daddr;
151 struct dst_entry *dst;
152
153 if (x->type->flags & XFRM_TYPE_LOCAL_COADDR) {
154 saddr = x->coaddr;
155 daddr = prev_daddr;
156 }
157 if (x->type->flags & XFRM_TYPE_REMOTE_COADDR) {
158 saddr = prev_saddr;
159 daddr = x->coaddr;
160 }
161
Lorenzo Colitti077fbac2017-08-11 02:11:33 +0900162 dst = __xfrm_dst_lookup(net, tos, oif, saddr, daddr, family, mark);
YOSHIFUJI Hideaki9bb182a2008-02-22 14:48:22 +0900163
164 if (!IS_ERR(dst)) {
165 if (prev_saddr != saddr)
166 memcpy(prev_saddr, saddr, sizeof(*prev_saddr));
167 if (prev_daddr != daddr)
168 memcpy(prev_daddr, daddr, sizeof(*prev_daddr));
169 }
170
Herbert Xu66cdb3c2007-11-13 21:37:28 -0800171 return dst;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700172}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700173
Linus Torvalds1da177e2005-04-16 15:20:36 -0700174static inline unsigned long make_jiffies(long secs)
175{
176 if (secs >= (MAX_SCHEDULE_TIMEOUT-1)/HZ)
177 return MAX_SCHEDULE_TIMEOUT-1;
178 else
YOSHIFUJI Hideakia716c112007-02-09 23:25:29 +0900179 return secs*HZ;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700180}
181
Kees Cookc3aed702017-10-16 17:28:56 -0700182static void xfrm_policy_timer(struct timer_list *t)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700183{
Kees Cookc3aed702017-10-16 17:28:56 -0700184 struct xfrm_policy *xp = from_timer(xp, t, timer);
James Morris9d729f72007-03-04 16:12:44 -0800185 unsigned long now = get_seconds();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700186 long next = LONG_MAX;
187 int warn = 0;
188 int dir;
189
190 read_lock(&xp->lock);
191
Timo Teräsea2dea92010-03-31 00:17:05 +0000192 if (unlikely(xp->walk.dead))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700193 goto out;
194
Herbert Xu77d8d7a2005-10-05 12:15:12 -0700195 dir = xfrm_policy_id2dir(xp->index);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700196
197 if (xp->lft.hard_add_expires_seconds) {
198 long tmo = xp->lft.hard_add_expires_seconds +
199 xp->curlft.add_time - now;
200 if (tmo <= 0)
201 goto expired;
202 if (tmo < next)
203 next = tmo;
204 }
205 if (xp->lft.hard_use_expires_seconds) {
206 long tmo = xp->lft.hard_use_expires_seconds +
207 (xp->curlft.use_time ? : xp->curlft.add_time) - now;
208 if (tmo <= 0)
209 goto expired;
210 if (tmo < next)
211 next = tmo;
212 }
213 if (xp->lft.soft_add_expires_seconds) {
214 long tmo = xp->lft.soft_add_expires_seconds +
215 xp->curlft.add_time - now;
216 if (tmo <= 0) {
217 warn = 1;
218 tmo = XFRM_KM_TIMEOUT;
219 }
220 if (tmo < next)
221 next = tmo;
222 }
223 if (xp->lft.soft_use_expires_seconds) {
224 long tmo = xp->lft.soft_use_expires_seconds +
225 (xp->curlft.use_time ? : xp->curlft.add_time) - now;
226 if (tmo <= 0) {
227 warn = 1;
228 tmo = XFRM_KM_TIMEOUT;
229 }
230 if (tmo < next)
231 next = tmo;
232 }
233
234 if (warn)
Jamal Hadi Salim6c5c8ca2006-03-20 19:17:25 -0800235 km_policy_expired(xp, dir, 0, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700236 if (next != LONG_MAX &&
237 !mod_timer(&xp->timer, jiffies + make_jiffies(next)))
238 xfrm_pol_hold(xp);
239
240out:
241 read_unlock(&xp->lock);
242 xfrm_pol_put(xp);
243 return;
244
245expired:
246 read_unlock(&xp->lock);
Herbert Xu4666faa2005-06-18 22:43:22 -0700247 if (!xfrm_policy_delete(xp, dir))
Jamal Hadi Salim6c5c8ca2006-03-20 19:17:25 -0800248 km_policy_expired(xp, dir, 1, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700249 xfrm_pol_put(xp);
250}
251
Linus Torvalds1da177e2005-04-16 15:20:36 -0700252/* Allocate xfrm_policy. Not used here, it is supposed to be used by pfkeyv2
253 * SPD calls.
254 */
255
Alexey Dobriyan0331b1f2008-11-25 17:21:45 -0800256struct xfrm_policy *xfrm_policy_alloc(struct net *net, gfp_t gfp)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700257{
258 struct xfrm_policy *policy;
259
Panagiotis Issaris0da974f2006-07-21 14:51:30 -0700260 policy = kzalloc(sizeof(struct xfrm_policy), gfp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700261
262 if (policy) {
Alexey Dobriyan0331b1f2008-11-25 17:21:45 -0800263 write_pnet(&policy->xp_net, net);
Herbert Xu12a169e2008-10-01 07:03:24 -0700264 INIT_LIST_HEAD(&policy->walk.all);
David S. Miller2518c7c2006-08-24 04:45:07 -0700265 INIT_HLIST_NODE(&policy->bydst);
266 INIT_HLIST_NODE(&policy->byidx);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700267 rwlock_init(&policy->lock);
Reshetova, Elena850a6212017-07-04 15:53:22 +0300268 refcount_set(&policy->refcnt, 1);
Steffen Klasserta0073fe2013-02-05 12:52:55 +0100269 skb_queue_head_init(&policy->polq.hold_queue);
Kees Cookc3aed702017-10-16 17:28:56 -0700270 timer_setup(&policy->timer, xfrm_policy_timer, 0);
271 timer_setup(&policy->polq.hold_timer,
272 xfrm_policy_queue_process, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700273 }
274 return policy;
275}
276EXPORT_SYMBOL(xfrm_policy_alloc);
277
Eric Dumazet56f04732015-12-08 07:22:01 -0800278static void xfrm_policy_destroy_rcu(struct rcu_head *head)
279{
280 struct xfrm_policy *policy = container_of(head, struct xfrm_policy, rcu);
281
282 security_xfrm_policy_free(policy->security);
283 kfree(policy);
284}
285
Linus Torvalds1da177e2005-04-16 15:20:36 -0700286/* Destroy xfrm_policy: descendant resources must be released to this moment. */
287
WANG Cong64c31b32008-01-07 22:34:29 -0800288void xfrm_policy_destroy(struct xfrm_policy *policy)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700289{
Herbert Xu12a169e2008-10-01 07:03:24 -0700290 BUG_ON(!policy->walk.dead);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700291
Fan Du0659eea2013-08-01 18:08:36 +0800292 if (del_timer(&policy->timer) || del_timer(&policy->polq.hold_timer))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700293 BUG();
294
Eric Dumazet56f04732015-12-08 07:22:01 -0800295 call_rcu(&policy->rcu, xfrm_policy_destroy_rcu);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700296}
WANG Cong64c31b32008-01-07 22:34:29 -0800297EXPORT_SYMBOL(xfrm_policy_destroy);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700298
Alexander Alemayhu1365e547c2017-01-03 17:13:20 +0100299/* Rule must be locked. Release descendant resources, announce
Linus Torvalds1da177e2005-04-16 15:20:36 -0700300 * entry dead. The rule must be unlinked from lists to the moment.
301 */
302
303static void xfrm_policy_kill(struct xfrm_policy *policy)
304{
Herbert Xu12a169e2008-10-01 07:03:24 -0700305 policy->walk.dead = 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700306
Timo Teräs285ead12010-04-07 00:30:06 +0000307 atomic_inc(&policy->genid);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700308
Steffen Klasserte7d8f6c2013-10-08 10:49:45 +0200309 if (del_timer(&policy->polq.hold_timer))
310 xfrm_pol_put(policy);
Li RongQing1ee5e662015-04-22 15:51:16 +0800311 skb_queue_purge(&policy->polq.hold_queue);
Steffen Klasserta0073fe2013-02-05 12:52:55 +0100312
Timo Teräs285ead12010-04-07 00:30:06 +0000313 if (del_timer(&policy->timer))
314 xfrm_pol_put(policy);
315
316 xfrm_pol_put(policy);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700317}
318
David S. Miller2518c7c2006-08-24 04:45:07 -0700319static unsigned int xfrm_policy_hashmax __read_mostly = 1 * 1024 * 1024;
320
Alexey Dobriyane92303f2008-11-25 17:32:41 -0800321static inline unsigned int idx_hash(struct net *net, u32 index)
David S. Miller2518c7c2006-08-24 04:45:07 -0700322{
Alexey Dobriyane92303f2008-11-25 17:32:41 -0800323 return __idx_hash(index, net->xfrm.policy_idx_hmask);
David S. Miller2518c7c2006-08-24 04:45:07 -0700324}
325
Christophe Gouaultb58555f2014-08-29 16:16:04 +0200326/* calculate policy hash thresholds */
327static void __get_hash_thresh(struct net *net,
328 unsigned short family, int dir,
329 u8 *dbits, u8 *sbits)
330{
331 switch (family) {
332 case AF_INET:
333 *dbits = net->xfrm.policy_bydst[dir].dbits4;
334 *sbits = net->xfrm.policy_bydst[dir].sbits4;
335 break;
336
337 case AF_INET6:
338 *dbits = net->xfrm.policy_bydst[dir].dbits6;
339 *sbits = net->xfrm.policy_bydst[dir].sbits6;
340 break;
341
342 default:
343 *dbits = 0;
344 *sbits = 0;
345 }
346}
347
David S. Miller5f803b52011-02-24 00:33:19 -0500348static struct hlist_head *policy_hash_bysel(struct net *net,
349 const struct xfrm_selector *sel,
350 unsigned short family, int dir)
David S. Miller2518c7c2006-08-24 04:45:07 -0700351{
Alexey Dobriyan11219942008-11-25 17:33:06 -0800352 unsigned int hmask = net->xfrm.policy_bydst[dir].hmask;
Christophe Gouaultb58555f2014-08-29 16:16:04 +0200353 unsigned int hash;
354 u8 dbits;
355 u8 sbits;
356
357 __get_hash_thresh(net, family, dir, &dbits, &sbits);
358 hash = __sel_hash(sel, family, hmask, dbits, sbits);
David S. Miller2518c7c2006-08-24 04:45:07 -0700359
Florian Westphale1e551b2016-08-11 15:17:53 +0200360 if (hash == hmask + 1)
361 return &net->xfrm.policy_inexact[dir];
362
363 return rcu_dereference_check(net->xfrm.policy_bydst[dir].table,
364 lockdep_is_held(&net->xfrm.xfrm_policy_lock)) + hash;
David S. Miller2518c7c2006-08-24 04:45:07 -0700365}
366
David S. Miller5f803b52011-02-24 00:33:19 -0500367static struct hlist_head *policy_hash_direct(struct net *net,
368 const xfrm_address_t *daddr,
369 const xfrm_address_t *saddr,
370 unsigned short family, int dir)
David S. Miller2518c7c2006-08-24 04:45:07 -0700371{
Alexey Dobriyan11219942008-11-25 17:33:06 -0800372 unsigned int hmask = net->xfrm.policy_bydst[dir].hmask;
Christophe Gouaultb58555f2014-08-29 16:16:04 +0200373 unsigned int hash;
374 u8 dbits;
375 u8 sbits;
376
377 __get_hash_thresh(net, family, dir, &dbits, &sbits);
378 hash = __addr_hash(daddr, saddr, family, hmask, dbits, sbits);
David S. Miller2518c7c2006-08-24 04:45:07 -0700379
Florian Westphale1e551b2016-08-11 15:17:53 +0200380 return rcu_dereference_check(net->xfrm.policy_bydst[dir].table,
381 lockdep_is_held(&net->xfrm.xfrm_policy_lock)) + hash;
David S. Miller2518c7c2006-08-24 04:45:07 -0700382}
383
Christophe Gouaultb58555f2014-08-29 16:16:04 +0200384static void xfrm_dst_hash_transfer(struct net *net,
385 struct hlist_head *list,
David S. Miller2518c7c2006-08-24 04:45:07 -0700386 struct hlist_head *ndsttable,
Christophe Gouaultb58555f2014-08-29 16:16:04 +0200387 unsigned int nhashmask,
388 int dir)
David S. Miller2518c7c2006-08-24 04:45:07 -0700389{
Sasha Levinb67bfe02013-02-27 17:06:00 -0800390 struct hlist_node *tmp, *entry0 = NULL;
David S. Miller2518c7c2006-08-24 04:45:07 -0700391 struct xfrm_policy *pol;
YOSHIFUJI Hideakib7911602008-02-17 23:29:30 -0800392 unsigned int h0 = 0;
Christophe Gouaultb58555f2014-08-29 16:16:04 +0200393 u8 dbits;
394 u8 sbits;
David S. Miller2518c7c2006-08-24 04:45:07 -0700395
YOSHIFUJI Hideakib7911602008-02-17 23:29:30 -0800396redo:
Sasha Levinb67bfe02013-02-27 17:06:00 -0800397 hlist_for_each_entry_safe(pol, tmp, list, bydst) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700398 unsigned int h;
399
Christophe Gouaultb58555f2014-08-29 16:16:04 +0200400 __get_hash_thresh(net, pol->family, dir, &dbits, &sbits);
David S. Miller2518c7c2006-08-24 04:45:07 -0700401 h = __addr_hash(&pol->selector.daddr, &pol->selector.saddr,
Christophe Gouaultb58555f2014-08-29 16:16:04 +0200402 pol->family, nhashmask, dbits, sbits);
YOSHIFUJI Hideakib7911602008-02-17 23:29:30 -0800403 if (!entry0) {
Florian Westphala5eefc12016-08-11 15:17:52 +0200404 hlist_del_rcu(&pol->bydst);
405 hlist_add_head_rcu(&pol->bydst, ndsttable + h);
YOSHIFUJI Hideakib7911602008-02-17 23:29:30 -0800406 h0 = h;
407 } else {
408 if (h != h0)
409 continue;
Florian Westphala5eefc12016-08-11 15:17:52 +0200410 hlist_del_rcu(&pol->bydst);
411 hlist_add_behind_rcu(&pol->bydst, entry0);
YOSHIFUJI Hideakib7911602008-02-17 23:29:30 -0800412 }
Sasha Levinb67bfe02013-02-27 17:06:00 -0800413 entry0 = &pol->bydst;
YOSHIFUJI Hideakib7911602008-02-17 23:29:30 -0800414 }
415 if (!hlist_empty(list)) {
416 entry0 = NULL;
417 goto redo;
David S. Miller2518c7c2006-08-24 04:45:07 -0700418 }
419}
420
421static void xfrm_idx_hash_transfer(struct hlist_head *list,
422 struct hlist_head *nidxtable,
423 unsigned int nhashmask)
424{
Sasha Levinb67bfe02013-02-27 17:06:00 -0800425 struct hlist_node *tmp;
David S. Miller2518c7c2006-08-24 04:45:07 -0700426 struct xfrm_policy *pol;
427
Sasha Levinb67bfe02013-02-27 17:06:00 -0800428 hlist_for_each_entry_safe(pol, tmp, list, byidx) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700429 unsigned int h;
430
431 h = __idx_hash(pol->index, nhashmask);
432 hlist_add_head(&pol->byidx, nidxtable+h);
433 }
434}
435
436static unsigned long xfrm_new_hash_mask(unsigned int old_hmask)
437{
438 return ((old_hmask + 1) << 1) - 1;
439}
440
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800441static void xfrm_bydst_resize(struct net *net, int dir)
David S. Miller2518c7c2006-08-24 04:45:07 -0700442{
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800443 unsigned int hmask = net->xfrm.policy_bydst[dir].hmask;
David S. Miller2518c7c2006-08-24 04:45:07 -0700444 unsigned int nhashmask = xfrm_new_hash_mask(hmask);
445 unsigned int nsize = (nhashmask + 1) * sizeof(struct hlist_head);
David S. Miller44e36b42006-08-24 04:50:50 -0700446 struct hlist_head *ndst = xfrm_hash_alloc(nsize);
Florian Westphale1e551b2016-08-11 15:17:53 +0200447 struct hlist_head *odst;
David S. Miller2518c7c2006-08-24 04:45:07 -0700448 int i;
449
450 if (!ndst)
451 return;
452
Florian Westphal9d0380d2016-08-11 15:17:59 +0200453 spin_lock_bh(&net->xfrm.xfrm_policy_lock);
Florian Westphal30846092016-08-11 15:17:54 +0200454 write_seqcount_begin(&xfrm_policy_hash_generation);
455
456 odst = rcu_dereference_protected(net->xfrm.policy_bydst[dir].table,
457 lockdep_is_held(&net->xfrm.xfrm_policy_lock));
David S. Miller2518c7c2006-08-24 04:45:07 -0700458
Florian Westphale1e551b2016-08-11 15:17:53 +0200459 odst = rcu_dereference_protected(net->xfrm.policy_bydst[dir].table,
460 lockdep_is_held(&net->xfrm.xfrm_policy_lock));
461
David S. Miller2518c7c2006-08-24 04:45:07 -0700462 for (i = hmask; i >= 0; i--)
Christophe Gouaultb58555f2014-08-29 16:16:04 +0200463 xfrm_dst_hash_transfer(net, odst + i, ndst, nhashmask, dir);
David S. Miller2518c7c2006-08-24 04:45:07 -0700464
Florian Westphale1e551b2016-08-11 15:17:53 +0200465 rcu_assign_pointer(net->xfrm.policy_bydst[dir].table, ndst);
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800466 net->xfrm.policy_bydst[dir].hmask = nhashmask;
David S. Miller2518c7c2006-08-24 04:45:07 -0700467
Florian Westphal30846092016-08-11 15:17:54 +0200468 write_seqcount_end(&xfrm_policy_hash_generation);
Florian Westphal9d0380d2016-08-11 15:17:59 +0200469 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
David S. Miller2518c7c2006-08-24 04:45:07 -0700470
Florian Westphale1e551b2016-08-11 15:17:53 +0200471 synchronize_rcu();
472
David S. Miller44e36b42006-08-24 04:50:50 -0700473 xfrm_hash_free(odst, (hmask + 1) * sizeof(struct hlist_head));
David S. Miller2518c7c2006-08-24 04:45:07 -0700474}
475
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800476static void xfrm_byidx_resize(struct net *net, int total)
David S. Miller2518c7c2006-08-24 04:45:07 -0700477{
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800478 unsigned int hmask = net->xfrm.policy_idx_hmask;
David S. Miller2518c7c2006-08-24 04:45:07 -0700479 unsigned int nhashmask = xfrm_new_hash_mask(hmask);
480 unsigned int nsize = (nhashmask + 1) * sizeof(struct hlist_head);
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800481 struct hlist_head *oidx = net->xfrm.policy_byidx;
David S. Miller44e36b42006-08-24 04:50:50 -0700482 struct hlist_head *nidx = xfrm_hash_alloc(nsize);
David S. Miller2518c7c2006-08-24 04:45:07 -0700483 int i;
484
485 if (!nidx)
486 return;
487
Florian Westphal9d0380d2016-08-11 15:17:59 +0200488 spin_lock_bh(&net->xfrm.xfrm_policy_lock);
David S. Miller2518c7c2006-08-24 04:45:07 -0700489
490 for (i = hmask; i >= 0; i--)
491 xfrm_idx_hash_transfer(oidx + i, nidx, nhashmask);
492
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800493 net->xfrm.policy_byidx = nidx;
494 net->xfrm.policy_idx_hmask = nhashmask;
David S. Miller2518c7c2006-08-24 04:45:07 -0700495
Florian Westphal9d0380d2016-08-11 15:17:59 +0200496 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
David S. Miller2518c7c2006-08-24 04:45:07 -0700497
David S. Miller44e36b42006-08-24 04:50:50 -0700498 xfrm_hash_free(oidx, (hmask + 1) * sizeof(struct hlist_head));
David S. Miller2518c7c2006-08-24 04:45:07 -0700499}
500
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800501static inline int xfrm_bydst_should_resize(struct net *net, int dir, int *total)
David S. Miller2518c7c2006-08-24 04:45:07 -0700502{
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800503 unsigned int cnt = net->xfrm.policy_count[dir];
504 unsigned int hmask = net->xfrm.policy_bydst[dir].hmask;
David S. Miller2518c7c2006-08-24 04:45:07 -0700505
506 if (total)
507 *total += cnt;
508
509 if ((hmask + 1) < xfrm_policy_hashmax &&
510 cnt > hmask)
511 return 1;
512
513 return 0;
514}
515
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800516static inline int xfrm_byidx_should_resize(struct net *net, int total)
David S. Miller2518c7c2006-08-24 04:45:07 -0700517{
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800518 unsigned int hmask = net->xfrm.policy_idx_hmask;
David S. Miller2518c7c2006-08-24 04:45:07 -0700519
520 if ((hmask + 1) < xfrm_policy_hashmax &&
521 total > hmask)
522 return 1;
523
524 return 0;
525}
526
Alexey Dobriyane0710412010-01-23 13:37:10 +0000527void xfrm_spd_getinfo(struct net *net, struct xfrmk_spdinfo *si)
Jamal Hadi Salimecfd6b12007-04-28 21:20:32 -0700528{
Alexey Dobriyane0710412010-01-23 13:37:10 +0000529 si->incnt = net->xfrm.policy_count[XFRM_POLICY_IN];
530 si->outcnt = net->xfrm.policy_count[XFRM_POLICY_OUT];
531 si->fwdcnt = net->xfrm.policy_count[XFRM_POLICY_FWD];
532 si->inscnt = net->xfrm.policy_count[XFRM_POLICY_IN+XFRM_POLICY_MAX];
533 si->outscnt = net->xfrm.policy_count[XFRM_POLICY_OUT+XFRM_POLICY_MAX];
534 si->fwdscnt = net->xfrm.policy_count[XFRM_POLICY_FWD+XFRM_POLICY_MAX];
535 si->spdhcnt = net->xfrm.policy_idx_hmask;
Jamal Hadi Salimecfd6b12007-04-28 21:20:32 -0700536 si->spdhmcnt = xfrm_policy_hashmax;
Jamal Hadi Salimecfd6b12007-04-28 21:20:32 -0700537}
538EXPORT_SYMBOL(xfrm_spd_getinfo);
David S. Miller2518c7c2006-08-24 04:45:07 -0700539
Jamal Hadi Salimecfd6b12007-04-28 21:20:32 -0700540static DEFINE_MUTEX(hash_resize_mutex);
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800541static void xfrm_hash_resize(struct work_struct *work)
David S. Miller2518c7c2006-08-24 04:45:07 -0700542{
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800543 struct net *net = container_of(work, struct net, xfrm.policy_hash_work);
David S. Miller2518c7c2006-08-24 04:45:07 -0700544 int dir, total;
545
546 mutex_lock(&hash_resize_mutex);
547
548 total = 0;
Herbert Xu53c2e282014-11-13 17:09:49 +0800549 for (dir = 0; dir < XFRM_POLICY_MAX; dir++) {
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800550 if (xfrm_bydst_should_resize(net, dir, &total))
551 xfrm_bydst_resize(net, dir);
David S. Miller2518c7c2006-08-24 04:45:07 -0700552 }
Alexey Dobriyan66caf622008-11-25 17:28:57 -0800553 if (xfrm_byidx_should_resize(net, total))
554 xfrm_byidx_resize(net, total);
David S. Miller2518c7c2006-08-24 04:45:07 -0700555
556 mutex_unlock(&hash_resize_mutex);
557}
558
Christophe Gouault880a6fa2014-08-29 16:16:05 +0200559static void xfrm_hash_rebuild(struct work_struct *work)
560{
561 struct net *net = container_of(work, struct net,
562 xfrm.policy_hthresh.work);
563 unsigned int hmask;
564 struct xfrm_policy *pol;
565 struct xfrm_policy *policy;
566 struct hlist_head *chain;
567 struct hlist_head *odst;
568 struct hlist_node *newpos;
569 int i;
570 int dir;
571 unsigned seq;
572 u8 lbits4, rbits4, lbits6, rbits6;
573
574 mutex_lock(&hash_resize_mutex);
575
576 /* read selector prefixlen thresholds */
577 do {
578 seq = read_seqbegin(&net->xfrm.policy_hthresh.lock);
579
580 lbits4 = net->xfrm.policy_hthresh.lbits4;
581 rbits4 = net->xfrm.policy_hthresh.rbits4;
582 lbits6 = net->xfrm.policy_hthresh.lbits6;
583 rbits6 = net->xfrm.policy_hthresh.rbits6;
584 } while (read_seqretry(&net->xfrm.policy_hthresh.lock, seq));
585
Florian Westphal9d0380d2016-08-11 15:17:59 +0200586 spin_lock_bh(&net->xfrm.xfrm_policy_lock);
Christophe Gouault880a6fa2014-08-29 16:16:05 +0200587
588 /* reset the bydst and inexact table in all directions */
Herbert Xu53c2e282014-11-13 17:09:49 +0800589 for (dir = 0; dir < XFRM_POLICY_MAX; dir++) {
Christophe Gouault880a6fa2014-08-29 16:16:05 +0200590 INIT_HLIST_HEAD(&net->xfrm.policy_inexact[dir]);
591 hmask = net->xfrm.policy_bydst[dir].hmask;
592 odst = net->xfrm.policy_bydst[dir].table;
593 for (i = hmask; i >= 0; i--)
594 INIT_HLIST_HEAD(odst + i);
595 if ((dir & XFRM_POLICY_MASK) == XFRM_POLICY_OUT) {
596 /* dir out => dst = remote, src = local */
597 net->xfrm.policy_bydst[dir].dbits4 = rbits4;
598 net->xfrm.policy_bydst[dir].sbits4 = lbits4;
599 net->xfrm.policy_bydst[dir].dbits6 = rbits6;
600 net->xfrm.policy_bydst[dir].sbits6 = lbits6;
601 } else {
602 /* dir in/fwd => dst = local, src = remote */
603 net->xfrm.policy_bydst[dir].dbits4 = lbits4;
604 net->xfrm.policy_bydst[dir].sbits4 = rbits4;
605 net->xfrm.policy_bydst[dir].dbits6 = lbits6;
606 net->xfrm.policy_bydst[dir].sbits6 = rbits6;
607 }
608 }
609
610 /* re-insert all policies by order of creation */
611 list_for_each_entry_reverse(policy, &net->xfrm.policy_all, walk.all) {
Florian Westphal862591b2017-12-27 23:25:45 +0100612 if (policy->walk.dead ||
613 xfrm_policy_id2dir(policy->index) >= XFRM_POLICY_MAX) {
Tobias Brunner6916fb32016-07-29 09:57:32 +0200614 /* skip socket policies */
615 continue;
616 }
Christophe Gouault880a6fa2014-08-29 16:16:05 +0200617 newpos = NULL;
618 chain = policy_hash_bysel(net, &policy->selector,
619 policy->family,
620 xfrm_policy_id2dir(policy->index));
621 hlist_for_each_entry(pol, chain, bydst) {
622 if (policy->priority >= pol->priority)
623 newpos = &pol->bydst;
624 else
625 break;
626 }
627 if (newpos)
628 hlist_add_behind(&policy->bydst, newpos);
629 else
630 hlist_add_head(&policy->bydst, chain);
631 }
632
Florian Westphal9d0380d2016-08-11 15:17:59 +0200633 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Christophe Gouault880a6fa2014-08-29 16:16:05 +0200634
635 mutex_unlock(&hash_resize_mutex);
636}
637
638void xfrm_policy_hash_rebuild(struct net *net)
639{
640 schedule_work(&net->xfrm.policy_hthresh.work);
641}
642EXPORT_SYMBOL(xfrm_policy_hash_rebuild);
643
Linus Torvalds1da177e2005-04-16 15:20:36 -0700644/* Generate new index... KAME seems to generate them ordered by cost
645 * of an absolute inpredictability of ordering of rules. This will not pass. */
Fan Due682adf02013-11-07 17:47:48 +0800646static u32 xfrm_gen_index(struct net *net, int dir, u32 index)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700647{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700648 static u32 idx_generator;
649
650 for (;;) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700651 struct hlist_head *list;
652 struct xfrm_policy *p;
653 u32 idx;
654 int found;
655
Fan Due682adf02013-11-07 17:47:48 +0800656 if (!index) {
657 idx = (idx_generator | dir);
658 idx_generator += 8;
659 } else {
660 idx = index;
661 index = 0;
662 }
663
Linus Torvalds1da177e2005-04-16 15:20:36 -0700664 if (idx == 0)
665 idx = 8;
Alexey Dobriyan11219942008-11-25 17:33:06 -0800666 list = net->xfrm.policy_byidx + idx_hash(net, idx);
David S. Miller2518c7c2006-08-24 04:45:07 -0700667 found = 0;
Sasha Levinb67bfe02013-02-27 17:06:00 -0800668 hlist_for_each_entry(p, list, byidx) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700669 if (p->index == idx) {
670 found = 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700671 break;
David S. Miller2518c7c2006-08-24 04:45:07 -0700672 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700673 }
David S. Miller2518c7c2006-08-24 04:45:07 -0700674 if (!found)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700675 return idx;
676 }
677}
678
David S. Miller2518c7c2006-08-24 04:45:07 -0700679static inline int selector_cmp(struct xfrm_selector *s1, struct xfrm_selector *s2)
680{
681 u32 *p1 = (u32 *) s1;
682 u32 *p2 = (u32 *) s2;
683 int len = sizeof(struct xfrm_selector) / sizeof(u32);
684 int i;
685
686 for (i = 0; i < len; i++) {
687 if (p1[i] != p2[i])
688 return 1;
689 }
690
691 return 0;
692}
693
Steffen Klasserta0073fe2013-02-05 12:52:55 +0100694static void xfrm_policy_requeue(struct xfrm_policy *old,
695 struct xfrm_policy *new)
696{
697 struct xfrm_policy_queue *pq = &old->polq;
698 struct sk_buff_head list;
699
Li RongQingde2ad482015-04-30 17:25:19 +0800700 if (skb_queue_empty(&pq->hold_queue))
701 return;
702
Steffen Klasserta0073fe2013-02-05 12:52:55 +0100703 __skb_queue_head_init(&list);
704
705 spin_lock_bh(&pq->hold_queue.lock);
706 skb_queue_splice_init(&pq->hold_queue, &list);
Steffen Klasserte7d8f6c2013-10-08 10:49:45 +0200707 if (del_timer(&pq->hold_timer))
708 xfrm_pol_put(old);
Steffen Klasserta0073fe2013-02-05 12:52:55 +0100709 spin_unlock_bh(&pq->hold_queue.lock);
710
Steffen Klasserta0073fe2013-02-05 12:52:55 +0100711 pq = &new->polq;
712
713 spin_lock_bh(&pq->hold_queue.lock);
714 skb_queue_splice(&list, &pq->hold_queue);
715 pq->timeout = XFRM_QUEUE_TMO_MIN;
Steffen Klasserte7d8f6c2013-10-08 10:49:45 +0200716 if (!mod_timer(&pq->hold_timer, jiffies))
717 xfrm_pol_hold(new);
Steffen Klasserta0073fe2013-02-05 12:52:55 +0100718 spin_unlock_bh(&pq->hold_queue.lock);
719}
720
Steffen Klassert7cb8a932013-02-11 07:02:36 +0100721static bool xfrm_policy_mark_match(struct xfrm_policy *policy,
722 struct xfrm_policy *pol)
723{
724 u32 mark = policy->mark.v & policy->mark.m;
725
726 if (policy->mark.v == pol->mark.v && policy->mark.m == pol->mark.m)
727 return true;
728
729 if ((mark & pol->mark.m) == pol->mark.v &&
730 policy->priority == pol->priority)
731 return true;
732
733 return false;
734}
735
Linus Torvalds1da177e2005-04-16 15:20:36 -0700736int xfrm_policy_insert(int dir, struct xfrm_policy *policy, int excl)
737{
Alexey Dobriyan11219942008-11-25 17:33:06 -0800738 struct net *net = xp_net(policy);
David S. Miller2518c7c2006-08-24 04:45:07 -0700739 struct xfrm_policy *pol;
740 struct xfrm_policy *delpol;
741 struct hlist_head *chain;
Sasha Levinb67bfe02013-02-27 17:06:00 -0800742 struct hlist_node *newpos;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700743
Florian Westphal9d0380d2016-08-11 15:17:59 +0200744 spin_lock_bh(&net->xfrm.xfrm_policy_lock);
Alexey Dobriyan11219942008-11-25 17:33:06 -0800745 chain = policy_hash_bysel(net, &policy->selector, policy->family, dir);
David S. Miller2518c7c2006-08-24 04:45:07 -0700746 delpol = NULL;
747 newpos = NULL;
Sasha Levinb67bfe02013-02-27 17:06:00 -0800748 hlist_for_each_entry(pol, chain, bydst) {
Herbert Xua6c7ab52007-01-16 16:52:02 -0800749 if (pol->type == policy->type &&
Steffen Klassert7e652642018-06-12 14:07:07 +0200750 pol->if_id == policy->if_id &&
David S. Miller2518c7c2006-08-24 04:45:07 -0700751 !selector_cmp(&pol->selector, &policy->selector) &&
Steffen Klassert7cb8a932013-02-11 07:02:36 +0100752 xfrm_policy_mark_match(policy, pol) &&
Herbert Xua6c7ab52007-01-16 16:52:02 -0800753 xfrm_sec_ctx_match(pol->security, policy->security) &&
754 !WARN_ON(delpol)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700755 if (excl) {
Florian Westphal9d0380d2016-08-11 15:17:59 +0200756 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700757 return -EEXIST;
758 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700759 delpol = pol;
760 if (policy->priority > pol->priority)
761 continue;
762 } else if (policy->priority >= pol->priority) {
Herbert Xua6c7ab52007-01-16 16:52:02 -0800763 newpos = &pol->bydst;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700764 continue;
765 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700766 if (delpol)
767 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700768 }
769 if (newpos)
Ken Helias1d023282014-08-06 16:09:16 -0700770 hlist_add_behind(&policy->bydst, newpos);
David S. Miller2518c7c2006-08-24 04:45:07 -0700771 else
772 hlist_add_head(&policy->bydst, chain);
Herbert Xu12bfa8b2014-11-13 17:09:50 +0800773 __xfrm_policy_link(policy, dir);
fan.duca4c3fc2013-07-30 08:33:53 +0800774
775 /* After previous checking, family can either be AF_INET or AF_INET6 */
776 if (policy->family == AF_INET)
777 rt_genid_bump_ipv4(net);
778 else
779 rt_genid_bump_ipv6(net);
780
Steffen Klasserta0073fe2013-02-05 12:52:55 +0100781 if (delpol) {
782 xfrm_policy_requeue(delpol, policy);
Wei Yongjun29fa0b302008-12-03 00:33:09 -0800783 __xfrm_policy_unlink(delpol, dir);
Steffen Klasserta0073fe2013-02-05 12:52:55 +0100784 }
Fan Due682adf02013-11-07 17:47:48 +0800785 policy->index = delpol ? delpol->index : xfrm_gen_index(net, dir, policy->index);
Alexey Dobriyan11219942008-11-25 17:33:06 -0800786 hlist_add_head(&policy->byidx, net->xfrm.policy_byidx+idx_hash(net, policy->index));
James Morris9d729f72007-03-04 16:12:44 -0800787 policy->curlft.add_time = get_seconds();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700788 policy->curlft.use_time = 0;
789 if (!mod_timer(&policy->timer, jiffies + HZ))
790 xfrm_pol_hold(policy);
Florian Westphal9d0380d2016-08-11 15:17:59 +0200791 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700792
David S. Miller9b78a822005-12-22 07:39:48 -0800793 if (delpol)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700794 xfrm_policy_kill(delpol);
Alexey Dobriyan11219942008-11-25 17:33:06 -0800795 else if (xfrm_bydst_should_resize(net, dir, NULL))
796 schedule_work(&net->xfrm.policy_hash_work);
David S. Miller9b78a822005-12-22 07:39:48 -0800797
Linus Torvalds1da177e2005-04-16 15:20:36 -0700798 return 0;
799}
800EXPORT_SYMBOL(xfrm_policy_insert);
801
Steffen Klassert7e652642018-06-12 14:07:07 +0200802struct xfrm_policy *xfrm_policy_bysel_ctx(struct net *net, u32 mark, u32 if_id,
803 u8 type, int dir,
804 struct xfrm_selector *sel,
Eric Parisef41aaa2007-03-07 15:37:58 -0800805 struct xfrm_sec_ctx *ctx, int delete,
806 int *err)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700807{
David S. Miller2518c7c2006-08-24 04:45:07 -0700808 struct xfrm_policy *pol, *ret;
809 struct hlist_head *chain;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700810
Eric Parisef41aaa2007-03-07 15:37:58 -0800811 *err = 0;
Florian Westphal9d0380d2016-08-11 15:17:59 +0200812 spin_lock_bh(&net->xfrm.xfrm_policy_lock);
Alexey Dobriyan8d1211a2008-11-25 17:34:20 -0800813 chain = policy_hash_bysel(net, sel, sel->family, dir);
David S. Miller2518c7c2006-08-24 04:45:07 -0700814 ret = NULL;
Sasha Levinb67bfe02013-02-27 17:06:00 -0800815 hlist_for_each_entry(pol, chain, bydst) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700816 if (pol->type == type &&
Steffen Klassert7e652642018-06-12 14:07:07 +0200817 pol->if_id == if_id &&
Jamal Hadi Salim34f8d882010-02-22 11:32:58 +0000818 (mark & pol->mark.m) == pol->mark.v &&
David S. Miller2518c7c2006-08-24 04:45:07 -0700819 !selector_cmp(sel, &pol->selector) &&
820 xfrm_sec_ctx_match(ctx, pol->security)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700821 xfrm_pol_hold(pol);
David S. Miller2518c7c2006-08-24 04:45:07 -0700822 if (delete) {
Paul Moore03e1ad72008-04-12 19:07:52 -0700823 *err = security_xfrm_policy_delete(
824 pol->security);
Eric Parisef41aaa2007-03-07 15:37:58 -0800825 if (*err) {
Florian Westphal9d0380d2016-08-11 15:17:59 +0200826 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Eric Parisef41aaa2007-03-07 15:37:58 -0800827 return pol;
828 }
Wei Yongjun29fa0b302008-12-03 00:33:09 -0800829 __xfrm_policy_unlink(pol, dir);
David S. Miller2518c7c2006-08-24 04:45:07 -0700830 }
831 ret = pol;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700832 break;
833 }
834 }
Florian Westphal9d0380d2016-08-11 15:17:59 +0200835 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700836
Timo Teräsfe1a5f02010-04-07 00:30:04 +0000837 if (ret && delete)
David S. Miller2518c7c2006-08-24 04:45:07 -0700838 xfrm_policy_kill(ret);
David S. Miller2518c7c2006-08-24 04:45:07 -0700839 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700840}
Trent Jaegerdf718372005-12-13 23:12:27 -0800841EXPORT_SYMBOL(xfrm_policy_bysel_ctx);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700842
Steffen Klassert7e652642018-06-12 14:07:07 +0200843struct xfrm_policy *xfrm_policy_byid(struct net *net, u32 mark, u32 if_id,
844 u8 type, int dir, u32 id, int delete,
845 int *err)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700846{
David S. Miller2518c7c2006-08-24 04:45:07 -0700847 struct xfrm_policy *pol, *ret;
848 struct hlist_head *chain;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700849
Herbert Xub5505c62007-05-14 02:15:47 -0700850 *err = -ENOENT;
851 if (xfrm_policy_id2dir(id) != dir)
852 return NULL;
853
Eric Parisef41aaa2007-03-07 15:37:58 -0800854 *err = 0;
Florian Westphal9d0380d2016-08-11 15:17:59 +0200855 spin_lock_bh(&net->xfrm.xfrm_policy_lock);
Alexey Dobriyan8d1211a2008-11-25 17:34:20 -0800856 chain = net->xfrm.policy_byidx + idx_hash(net, id);
David S. Miller2518c7c2006-08-24 04:45:07 -0700857 ret = NULL;
Sasha Levinb67bfe02013-02-27 17:06:00 -0800858 hlist_for_each_entry(pol, chain, byidx) {
Jamal Hadi Salim34f8d882010-02-22 11:32:58 +0000859 if (pol->type == type && pol->index == id &&
Steffen Klassert7e652642018-06-12 14:07:07 +0200860 pol->if_id == if_id &&
Jamal Hadi Salim34f8d882010-02-22 11:32:58 +0000861 (mark & pol->mark.m) == pol->mark.v) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700862 xfrm_pol_hold(pol);
David S. Miller2518c7c2006-08-24 04:45:07 -0700863 if (delete) {
Paul Moore03e1ad72008-04-12 19:07:52 -0700864 *err = security_xfrm_policy_delete(
865 pol->security);
Eric Parisef41aaa2007-03-07 15:37:58 -0800866 if (*err) {
Florian Westphal9d0380d2016-08-11 15:17:59 +0200867 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Eric Parisef41aaa2007-03-07 15:37:58 -0800868 return pol;
869 }
Wei Yongjun29fa0b302008-12-03 00:33:09 -0800870 __xfrm_policy_unlink(pol, dir);
David S. Miller2518c7c2006-08-24 04:45:07 -0700871 }
872 ret = pol;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700873 break;
874 }
875 }
Florian Westphal9d0380d2016-08-11 15:17:59 +0200876 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700877
Timo Teräsfe1a5f02010-04-07 00:30:04 +0000878 if (ret && delete)
David S. Miller2518c7c2006-08-24 04:45:07 -0700879 xfrm_policy_kill(ret);
David S. Miller2518c7c2006-08-24 04:45:07 -0700880 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700881}
882EXPORT_SYMBOL(xfrm_policy_byid);
883
Joy Latten4aa2e622007-06-04 19:05:57 -0400884#ifdef CONFIG_SECURITY_NETWORK_XFRM
885static inline int
Tetsuo Handa2e710292014-04-22 21:48:30 +0900886xfrm_policy_flush_secctx_check(struct net *net, u8 type, bool task_valid)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700887{
Joy Latten4aa2e622007-06-04 19:05:57 -0400888 int dir, err = 0;
889
890 for (dir = 0; dir < XFRM_POLICY_MAX; dir++) {
891 struct xfrm_policy *pol;
Joy Latten4aa2e622007-06-04 19:05:57 -0400892 int i;
893
Sasha Levinb67bfe02013-02-27 17:06:00 -0800894 hlist_for_each_entry(pol,
Alexey Dobriyan33ffbbd2008-11-25 17:33:32 -0800895 &net->xfrm.policy_inexact[dir], bydst) {
Joy Latten4aa2e622007-06-04 19:05:57 -0400896 if (pol->type != type)
897 continue;
Paul Moore03e1ad72008-04-12 19:07:52 -0700898 err = security_xfrm_policy_delete(pol->security);
Joy Latten4aa2e622007-06-04 19:05:57 -0400899 if (err) {
Tetsuo Handa2e710292014-04-22 21:48:30 +0900900 xfrm_audit_policy_delete(pol, 0, task_valid);
Joy Latten4aa2e622007-06-04 19:05:57 -0400901 return err;
902 }
YOSHIFUJI Hideaki7dc12d62007-07-19 10:45:15 +0900903 }
Alexey Dobriyan33ffbbd2008-11-25 17:33:32 -0800904 for (i = net->xfrm.policy_bydst[dir].hmask; i >= 0; i--) {
Sasha Levinb67bfe02013-02-27 17:06:00 -0800905 hlist_for_each_entry(pol,
Alexey Dobriyan33ffbbd2008-11-25 17:33:32 -0800906 net->xfrm.policy_bydst[dir].table + i,
Joy Latten4aa2e622007-06-04 19:05:57 -0400907 bydst) {
908 if (pol->type != type)
909 continue;
Paul Moore03e1ad72008-04-12 19:07:52 -0700910 err = security_xfrm_policy_delete(
911 pol->security);
Joy Latten4aa2e622007-06-04 19:05:57 -0400912 if (err) {
Joy Lattenab5f5e82007-09-17 11:51:22 -0700913 xfrm_audit_policy_delete(pol, 0,
Tetsuo Handa2e710292014-04-22 21:48:30 +0900914 task_valid);
Joy Latten4aa2e622007-06-04 19:05:57 -0400915 return err;
916 }
917 }
918 }
919 }
920 return err;
921}
922#else
923static inline int
Tetsuo Handa2e710292014-04-22 21:48:30 +0900924xfrm_policy_flush_secctx_check(struct net *net, u8 type, bool task_valid)
Joy Latten4aa2e622007-06-04 19:05:57 -0400925{
926 return 0;
927}
928#endif
929
Tetsuo Handa2e710292014-04-22 21:48:30 +0900930int xfrm_policy_flush(struct net *net, u8 type, bool task_valid)
Joy Latten4aa2e622007-06-04 19:05:57 -0400931{
Jamal Hadi Salim2f1eb652010-02-19 02:00:42 +0000932 int dir, err = 0, cnt = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700933
Florian Westphal9d0380d2016-08-11 15:17:59 +0200934 spin_lock_bh(&net->xfrm.xfrm_policy_lock);
Joy Latten4aa2e622007-06-04 19:05:57 -0400935
Tetsuo Handa2e710292014-04-22 21:48:30 +0900936 err = xfrm_policy_flush_secctx_check(net, type, task_valid);
Joy Latten4aa2e622007-06-04 19:05:57 -0400937 if (err)
938 goto out;
939
Linus Torvalds1da177e2005-04-16 15:20:36 -0700940 for (dir = 0; dir < XFRM_POLICY_MAX; dir++) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700941 struct xfrm_policy *pol;
Wei Yongjun29fa0b302008-12-03 00:33:09 -0800942 int i;
David S. Miller2518c7c2006-08-24 04:45:07 -0700943
944 again1:
Sasha Levinb67bfe02013-02-27 17:06:00 -0800945 hlist_for_each_entry(pol,
Alexey Dobriyan33ffbbd2008-11-25 17:33:32 -0800946 &net->xfrm.policy_inexact[dir], bydst) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700947 if (pol->type != type)
948 continue;
Timo Teräsea2dea92010-03-31 00:17:05 +0000949 __xfrm_policy_unlink(pol, dir);
Florian Westphal9d0380d2016-08-11 15:17:59 +0200950 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Timo Teräsea2dea92010-03-31 00:17:05 +0000951 cnt++;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700952
Tetsuo Handa2e710292014-04-22 21:48:30 +0900953 xfrm_audit_policy_delete(pol, 1, task_valid);
Joy Latten161a09e2006-11-27 13:11:54 -0600954
David S. Miller2518c7c2006-08-24 04:45:07 -0700955 xfrm_policy_kill(pol);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700956
Steffen Klassert4141b362016-08-24 13:08:40 +0200957 spin_lock_bh(&net->xfrm.xfrm_policy_lock);
David S. Miller2518c7c2006-08-24 04:45:07 -0700958 goto again1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700959 }
David S. Miller2518c7c2006-08-24 04:45:07 -0700960
Alexey Dobriyan33ffbbd2008-11-25 17:33:32 -0800961 for (i = net->xfrm.policy_bydst[dir].hmask; i >= 0; i--) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700962 again2:
Sasha Levinb67bfe02013-02-27 17:06:00 -0800963 hlist_for_each_entry(pol,
Alexey Dobriyan33ffbbd2008-11-25 17:33:32 -0800964 net->xfrm.policy_bydst[dir].table + i,
David S. Miller2518c7c2006-08-24 04:45:07 -0700965 bydst) {
966 if (pol->type != type)
967 continue;
Timo Teräsea2dea92010-03-31 00:17:05 +0000968 __xfrm_policy_unlink(pol, dir);
Florian Westphal9d0380d2016-08-11 15:17:59 +0200969 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Timo Teräsea2dea92010-03-31 00:17:05 +0000970 cnt++;
David S. Miller2518c7c2006-08-24 04:45:07 -0700971
Tetsuo Handa2e710292014-04-22 21:48:30 +0900972 xfrm_audit_policy_delete(pol, 1, task_valid);
David S. Miller2518c7c2006-08-24 04:45:07 -0700973 xfrm_policy_kill(pol);
974
Florian Westphal9d0380d2016-08-11 15:17:59 +0200975 spin_lock_bh(&net->xfrm.xfrm_policy_lock);
David S. Miller2518c7c2006-08-24 04:45:07 -0700976 goto again2;
977 }
978 }
979
Linus Torvalds1da177e2005-04-16 15:20:36 -0700980 }
Jamal Hadi Salim2f1eb652010-02-19 02:00:42 +0000981 if (!cnt)
982 err = -ESRCH;
Joy Latten4aa2e622007-06-04 19:05:57 -0400983out:
Florian Westphal9d0380d2016-08-11 15:17:59 +0200984 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Joy Latten4aa2e622007-06-04 19:05:57 -0400985 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700986}
987EXPORT_SYMBOL(xfrm_policy_flush);
988
Alexey Dobriyancdcbca72008-11-25 17:34:49 -0800989int xfrm_policy_walk(struct net *net, struct xfrm_policy_walk *walk,
Timo Teras4c563f72008-02-28 21:31:08 -0800990 int (*func)(struct xfrm_policy *, int, int, void*),
Linus Torvalds1da177e2005-04-16 15:20:36 -0700991 void *data)
992{
Herbert Xu12a169e2008-10-01 07:03:24 -0700993 struct xfrm_policy *pol;
994 struct xfrm_policy_walk_entry *x;
Timo Teras4c563f72008-02-28 21:31:08 -0800995 int error = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700996
Timo Teras4c563f72008-02-28 21:31:08 -0800997 if (walk->type >= XFRM_POLICY_TYPE_MAX &&
998 walk->type != XFRM_POLICY_TYPE_ANY)
999 return -EINVAL;
1000
Herbert Xu12a169e2008-10-01 07:03:24 -07001001 if (list_empty(&walk->walk.all) && walk->seq != 0)
Timo Teras4c563f72008-02-28 21:31:08 -08001002 return 0;
1003
Florian Westphal9d0380d2016-08-11 15:17:59 +02001004 spin_lock_bh(&net->xfrm.xfrm_policy_lock);
Herbert Xu12a169e2008-10-01 07:03:24 -07001005 if (list_empty(&walk->walk.all))
Alexey Dobriyancdcbca72008-11-25 17:34:49 -08001006 x = list_first_entry(&net->xfrm.policy_all, struct xfrm_policy_walk_entry, all);
Herbert Xu12a169e2008-10-01 07:03:24 -07001007 else
Li RongQing80077702015-04-22 17:09:54 +08001008 x = list_first_entry(&walk->walk.all,
1009 struct xfrm_policy_walk_entry, all);
1010
Alexey Dobriyancdcbca72008-11-25 17:34:49 -08001011 list_for_each_entry_from(x, &net->xfrm.policy_all, all) {
Herbert Xu12a169e2008-10-01 07:03:24 -07001012 if (x->dead)
Timo Teras4c563f72008-02-28 21:31:08 -08001013 continue;
Herbert Xu12a169e2008-10-01 07:03:24 -07001014 pol = container_of(x, struct xfrm_policy, walk);
1015 if (walk->type != XFRM_POLICY_TYPE_ANY &&
1016 walk->type != pol->type)
1017 continue;
1018 error = func(pol, xfrm_policy_id2dir(pol->index),
1019 walk->seq, data);
1020 if (error) {
1021 list_move_tail(&walk->walk.all, &x->all);
1022 goto out;
Timo Teras4c563f72008-02-28 21:31:08 -08001023 }
Herbert Xu12a169e2008-10-01 07:03:24 -07001024 walk->seq++;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001025 }
Herbert Xu12a169e2008-10-01 07:03:24 -07001026 if (walk->seq == 0) {
Jamal Hadi Salimbaf5d742006-12-04 20:02:37 -08001027 error = -ENOENT;
1028 goto out;
1029 }
Herbert Xu12a169e2008-10-01 07:03:24 -07001030 list_del_init(&walk->walk.all);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001031out:
Florian Westphal9d0380d2016-08-11 15:17:59 +02001032 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001033 return error;
1034}
1035EXPORT_SYMBOL(xfrm_policy_walk);
1036
Herbert Xu12a169e2008-10-01 07:03:24 -07001037void xfrm_policy_walk_init(struct xfrm_policy_walk *walk, u8 type)
1038{
1039 INIT_LIST_HEAD(&walk->walk.all);
1040 walk->walk.dead = 1;
1041 walk->type = type;
1042 walk->seq = 0;
1043}
1044EXPORT_SYMBOL(xfrm_policy_walk_init);
1045
Fan Du283bc9f2013-11-07 17:47:50 +08001046void xfrm_policy_walk_done(struct xfrm_policy_walk *walk, struct net *net)
Herbert Xu12a169e2008-10-01 07:03:24 -07001047{
1048 if (list_empty(&walk->walk.all))
1049 return;
1050
Florian Westphal9d0380d2016-08-11 15:17:59 +02001051 spin_lock_bh(&net->xfrm.xfrm_policy_lock); /*FIXME where is net? */
Herbert Xu12a169e2008-10-01 07:03:24 -07001052 list_del(&walk->walk.all);
Florian Westphal9d0380d2016-08-11 15:17:59 +02001053 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Herbert Xu12a169e2008-10-01 07:03:24 -07001054}
1055EXPORT_SYMBOL(xfrm_policy_walk_done);
1056
James Morris134b0fc2006-10-05 15:42:27 -05001057/*
1058 * Find policy to apply to this flow.
1059 *
1060 * Returns 0 if policy found, else an -errno.
1061 */
David S. Millerf299d552011-02-24 01:23:30 -05001062static int xfrm_policy_match(const struct xfrm_policy *pol,
1063 const struct flowi *fl,
David S. Miller2518c7c2006-08-24 04:45:07 -07001064 u8 type, u16 family, int dir)
1065{
David S. Millerf299d552011-02-24 01:23:30 -05001066 const struct xfrm_selector *sel = &pol->selector;
David S. Millerbc9b35a2012-05-15 15:04:57 -04001067 int ret = -ESRCH;
1068 bool match;
David S. Miller2518c7c2006-08-24 04:45:07 -07001069
1070 if (pol->family != family ||
Steffen Klassert7e652642018-06-12 14:07:07 +02001071 pol->if_id != fl->flowi_xfrm.if_id ||
David S. Miller1d28f422011-03-12 00:29:39 -05001072 (fl->flowi_mark & pol->mark.m) != pol->mark.v ||
David S. Miller2518c7c2006-08-24 04:45:07 -07001073 pol->type != type)
James Morris134b0fc2006-10-05 15:42:27 -05001074 return ret;
David S. Miller2518c7c2006-08-24 04:45:07 -07001075
1076 match = xfrm_selector_match(sel, fl, family);
James Morris134b0fc2006-10-05 15:42:27 -05001077 if (match)
David S. Miller1d28f422011-03-12 00:29:39 -05001078 ret = security_xfrm_policy_lookup(pol->security, fl->flowi_secid,
Paul Moore03e1ad72008-04-12 19:07:52 -07001079 dir);
David S. Miller2518c7c2006-08-24 04:45:07 -07001080
James Morris134b0fc2006-10-05 15:42:27 -05001081 return ret;
David S. Miller2518c7c2006-08-24 04:45:07 -07001082}
1083
Alexey Dobriyan52479b62008-11-25 17:35:18 -08001084static struct xfrm_policy *xfrm_policy_lookup_bytype(struct net *net, u8 type,
David S. Miller062cdb42011-02-22 18:31:08 -08001085 const struct flowi *fl,
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001086 u16 family, u8 dir)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001087{
James Morris134b0fc2006-10-05 15:42:27 -05001088 int err;
David S. Miller2518c7c2006-08-24 04:45:07 -07001089 struct xfrm_policy *pol, *ret;
David S. Miller0b597e72011-02-24 01:22:48 -05001090 const xfrm_address_t *daddr, *saddr;
David S. Miller2518c7c2006-08-24 04:45:07 -07001091 struct hlist_head *chain;
Florian Westphal30846092016-08-11 15:17:54 +02001092 unsigned int sequence;
1093 u32 priority;
David S. Miller2518c7c2006-08-24 04:45:07 -07001094
1095 daddr = xfrm_flowi_daddr(fl, family);
1096 saddr = xfrm_flowi_saddr(fl, family);
1097 if (unlikely(!daddr || !saddr))
1098 return NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001099
Florian Westphala7c442472016-08-11 15:17:56 +02001100 rcu_read_lock();
Florian Westphal30846092016-08-11 15:17:54 +02001101 retry:
1102 do {
1103 sequence = read_seqcount_begin(&xfrm_policy_hash_generation);
1104 chain = policy_hash_direct(net, daddr, saddr, family, dir);
1105 } while (read_seqcount_retry(&xfrm_policy_hash_generation, sequence));
1106
1107 priority = ~0U;
David S. Miller2518c7c2006-08-24 04:45:07 -07001108 ret = NULL;
Florian Westphala5eefc12016-08-11 15:17:52 +02001109 hlist_for_each_entry_rcu(pol, chain, bydst) {
James Morris134b0fc2006-10-05 15:42:27 -05001110 err = xfrm_policy_match(pol, fl, type, family, dir);
1111 if (err) {
1112 if (err == -ESRCH)
1113 continue;
1114 else {
1115 ret = ERR_PTR(err);
1116 goto fail;
1117 }
1118 } else {
David S. Milleracba48e2006-08-25 15:46:46 -07001119 ret = pol;
1120 priority = ret->priority;
1121 break;
1122 }
1123 }
Alexey Dobriyan52479b62008-11-25 17:35:18 -08001124 chain = &net->xfrm.policy_inexact[dir];
Florian Westphala5eefc12016-08-11 15:17:52 +02001125 hlist_for_each_entry_rcu(pol, chain, bydst) {
Li RongQing8faf4912015-05-14 11:16:59 +08001126 if ((pol->priority >= priority) && ret)
1127 break;
1128
James Morris134b0fc2006-10-05 15:42:27 -05001129 err = xfrm_policy_match(pol, fl, type, family, dir);
1130 if (err) {
1131 if (err == -ESRCH)
1132 continue;
1133 else {
1134 ret = ERR_PTR(err);
1135 goto fail;
1136 }
Li RongQing8faf4912015-05-14 11:16:59 +08001137 } else {
David S. Miller2518c7c2006-08-24 04:45:07 -07001138 ret = pol;
1139 break;
1140 }
1141 }
Li RongQing586f2eb2015-04-30 17:13:41 +08001142
Florian Westphal30846092016-08-11 15:17:54 +02001143 if (read_seqcount_retry(&xfrm_policy_hash_generation, sequence))
1144 goto retry;
1145
Florian Westphale37cc8a2016-08-11 15:17:55 +02001146 if (ret && !xfrm_pol_hold_rcu(ret))
1147 goto retry;
James Morris134b0fc2006-10-05 15:42:27 -05001148fail:
Florian Westphala7c442472016-08-11 15:17:56 +02001149 rcu_read_unlock();
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001150
David S. Miller2518c7c2006-08-24 04:45:07 -07001151 return ret;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001152}
1153
Timo Teräs80c802f2010-04-07 00:30:05 +00001154static struct xfrm_policy *
Florian Westphal86dc8ee2017-07-17 13:57:24 +02001155xfrm_policy_lookup(struct net *net, const struct flowi *fl, u16 family, u8 dir)
Timo Teräs80c802f2010-04-07 00:30:05 +00001156{
1157#ifdef CONFIG_XFRM_SUB_POLICY
1158 struct xfrm_policy *pol;
1159
1160 pol = xfrm_policy_lookup_bytype(net, XFRM_POLICY_TYPE_SUB, fl, family, dir);
1161 if (pol != NULL)
1162 return pol;
1163#endif
1164 return xfrm_policy_lookup_bytype(net, XFRM_POLICY_TYPE_MAIN, fl, family, dir);
1165}
1166
Eric Dumazet6f9c9612015-09-25 07:39:10 -07001167static struct xfrm_policy *xfrm_sk_policy_lookup(const struct sock *sk, int dir,
Steffen Klassert4c86d772017-02-14 07:43:56 +01001168 const struct flowi *fl, u16 family)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001169{
1170 struct xfrm_policy *pol;
1171
Eric Dumazetd188ba82015-12-08 07:22:02 -08001172 rcu_read_lock();
Florian Westphalae337862016-08-11 15:17:57 +02001173 again:
Eric Dumazetd188ba82015-12-08 07:22:02 -08001174 pol = rcu_dereference(sk->sk_policy[dir]);
1175 if (pol != NULL) {
Steffen Klassertddc47e42017-11-29 06:53:55 +01001176 bool match;
YOSHIFUJI Hideakia716c112007-02-09 23:25:29 +09001177 int err = 0;
Trent Jaegerdf718372005-12-13 23:12:27 -08001178
Steffen Klassertddc47e42017-11-29 06:53:55 +01001179 if (pol->family != family) {
1180 pol = NULL;
1181 goto out;
1182 }
1183
1184 match = xfrm_selector_match(&pol->selector, fl, family);
Venkat Yekkirala3bccfbc2006-10-05 15:42:35 -05001185 if (match) {
Steffen Klassert7e652642018-06-12 14:07:07 +02001186 if ((sk->sk_mark & pol->mark.m) != pol->mark.v ||
1187 pol->if_id != fl->flowi_xfrm.if_id) {
Jamal Hadi Salim34f8d882010-02-22 11:32:58 +00001188 pol = NULL;
1189 goto out;
1190 }
Paul Moore03e1ad72008-04-12 19:07:52 -07001191 err = security_xfrm_policy_lookup(pol->security,
David S. Miller1d28f422011-03-12 00:29:39 -05001192 fl->flowi_secid,
Florian Westphalaff669b2017-07-17 13:57:23 +02001193 dir);
Florian Westphal330e8322016-11-17 13:21:46 +01001194 if (!err) {
1195 if (!xfrm_pol_hold_rcu(pol))
1196 goto again;
1197 } else if (err == -ESRCH) {
Venkat Yekkirala3bccfbc2006-10-05 15:42:35 -05001198 pol = NULL;
Florian Westphal330e8322016-11-17 13:21:46 +01001199 } else {
Venkat Yekkirala3bccfbc2006-10-05 15:42:35 -05001200 pol = ERR_PTR(err);
Florian Westphal330e8322016-11-17 13:21:46 +01001201 }
Venkat Yekkirala3bccfbc2006-10-05 15:42:35 -05001202 } else
Linus Torvalds1da177e2005-04-16 15:20:36 -07001203 pol = NULL;
1204 }
Jamal Hadi Salim34f8d882010-02-22 11:32:58 +00001205out:
Eric Dumazetd188ba82015-12-08 07:22:02 -08001206 rcu_read_unlock();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001207 return pol;
1208}
1209
1210static void __xfrm_policy_link(struct xfrm_policy *pol, int dir)
1211{
Alexey Dobriyan98806f72008-11-25 17:29:47 -08001212 struct net *net = xp_net(pol);
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001213
Alexey Dobriyan98806f72008-11-25 17:29:47 -08001214 list_add(&pol->walk.all, &net->xfrm.policy_all);
Alexey Dobriyan98806f72008-11-25 17:29:47 -08001215 net->xfrm.policy_count[dir]++;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001216 xfrm_pol_hold(pol);
1217}
1218
1219static struct xfrm_policy *__xfrm_policy_unlink(struct xfrm_policy *pol,
1220 int dir)
1221{
Alexey Dobriyan98806f72008-11-25 17:29:47 -08001222 struct net *net = xp_net(pol);
1223
Herbert Xu53c2e282014-11-13 17:09:49 +08001224 if (list_empty(&pol->walk.all))
David S. Miller2518c7c2006-08-24 04:45:07 -07001225 return NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001226
Herbert Xu53c2e282014-11-13 17:09:49 +08001227 /* Socket policies are not hashed. */
1228 if (!hlist_unhashed(&pol->bydst)) {
Florian Westphala5eefc12016-08-11 15:17:52 +02001229 hlist_del_rcu(&pol->bydst);
Herbert Xu53c2e282014-11-13 17:09:49 +08001230 hlist_del(&pol->byidx);
1231 }
1232
1233 list_del_init(&pol->walk.all);
Alexey Dobriyan98806f72008-11-25 17:29:47 -08001234 net->xfrm.policy_count[dir]--;
David S. Miller2518c7c2006-08-24 04:45:07 -07001235
1236 return pol;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001237}
1238
Herbert Xu53c2e282014-11-13 17:09:49 +08001239static void xfrm_sk_policy_link(struct xfrm_policy *pol, int dir)
1240{
1241 __xfrm_policy_link(pol, XFRM_POLICY_MAX + dir);
1242}
1243
1244static void xfrm_sk_policy_unlink(struct xfrm_policy *pol, int dir)
1245{
1246 __xfrm_policy_unlink(pol, XFRM_POLICY_MAX + dir);
1247}
1248
Herbert Xu4666faa2005-06-18 22:43:22 -07001249int xfrm_policy_delete(struct xfrm_policy *pol, int dir)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001250{
Fan Du283bc9f2013-11-07 17:47:50 +08001251 struct net *net = xp_net(pol);
1252
Florian Westphal9d0380d2016-08-11 15:17:59 +02001253 spin_lock_bh(&net->xfrm.xfrm_policy_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001254 pol = __xfrm_policy_unlink(pol, dir);
Florian Westphal9d0380d2016-08-11 15:17:59 +02001255 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001256 if (pol) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001257 xfrm_policy_kill(pol);
Herbert Xu4666faa2005-06-18 22:43:22 -07001258 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001259 }
Herbert Xu4666faa2005-06-18 22:43:22 -07001260 return -ENOENT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001261}
David S. Millera70fcb02006-03-20 19:18:52 -08001262EXPORT_SYMBOL(xfrm_policy_delete);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001263
1264int xfrm_sk_policy_insert(struct sock *sk, int dir, struct xfrm_policy *pol)
1265{
Lorenzo Colittibe8f8282017-11-20 19:26:02 +09001266 struct net *net = sock_net(sk);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001267 struct xfrm_policy *old_pol;
1268
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001269#ifdef CONFIG_XFRM_SUB_POLICY
1270 if (pol && pol->type != XFRM_POLICY_TYPE_MAIN)
1271 return -EINVAL;
1272#endif
1273
Florian Westphal9d0380d2016-08-11 15:17:59 +02001274 spin_lock_bh(&net->xfrm.xfrm_policy_lock);
Eric Dumazetd188ba82015-12-08 07:22:02 -08001275 old_pol = rcu_dereference_protected(sk->sk_policy[dir],
1276 lockdep_is_held(&net->xfrm.xfrm_policy_lock));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001277 if (pol) {
James Morris9d729f72007-03-04 16:12:44 -08001278 pol->curlft.add_time = get_seconds();
Fan Due682adf02013-11-07 17:47:48 +08001279 pol->index = xfrm_gen_index(net, XFRM_POLICY_MAX+dir, 0);
Herbert Xu53c2e282014-11-13 17:09:49 +08001280 xfrm_sk_policy_link(pol, dir);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001281 }
Eric Dumazetd188ba82015-12-08 07:22:02 -08001282 rcu_assign_pointer(sk->sk_policy[dir], pol);
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001283 if (old_pol) {
1284 if (pol)
1285 xfrm_policy_requeue(old_pol, pol);
1286
Timo Teräsea2dea92010-03-31 00:17:05 +00001287 /* Unlinking succeeds always. This is the only function
1288 * allowed to delete or replace socket policy.
1289 */
Herbert Xu53c2e282014-11-13 17:09:49 +08001290 xfrm_sk_policy_unlink(old_pol, dir);
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001291 }
Florian Westphal9d0380d2016-08-11 15:17:59 +02001292 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001293
1294 if (old_pol) {
1295 xfrm_policy_kill(old_pol);
1296 }
1297 return 0;
1298}
1299
David S. Millerd3e40a92011-02-24 01:25:41 -05001300static struct xfrm_policy *clone_policy(const struct xfrm_policy *old, int dir)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001301{
Alexey Dobriyan0331b1f2008-11-25 17:21:45 -08001302 struct xfrm_policy *newp = xfrm_policy_alloc(xp_net(old), GFP_ATOMIC);
Fan Du283bc9f2013-11-07 17:47:50 +08001303 struct net *net = xp_net(old);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001304
1305 if (newp) {
1306 newp->selector = old->selector;
Paul Moore03e1ad72008-04-12 19:07:52 -07001307 if (security_xfrm_policy_clone(old->security,
1308 &newp->security)) {
Trent Jaegerdf718372005-12-13 23:12:27 -08001309 kfree(newp);
1310 return NULL; /* ENOMEM */
1311 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001312 newp->lft = old->lft;
1313 newp->curlft = old->curlft;
Jamal Hadi Salimfb977e22010-02-23 15:09:53 -08001314 newp->mark = old->mark;
Steffen Klassert7e652642018-06-12 14:07:07 +02001315 newp->if_id = old->if_id;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001316 newp->action = old->action;
1317 newp->flags = old->flags;
1318 newp->xfrm_nr = old->xfrm_nr;
1319 newp->index = old->index;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001320 newp->type = old->type;
Herbert Xu0e74aa12017-11-10 14:14:06 +11001321 newp->family = old->family;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001322 memcpy(newp->xfrm_vec, old->xfrm_vec,
1323 newp->xfrm_nr*sizeof(struct xfrm_tmpl));
Florian Westphal9d0380d2016-08-11 15:17:59 +02001324 spin_lock_bh(&net->xfrm.xfrm_policy_lock);
Herbert Xu53c2e282014-11-13 17:09:49 +08001325 xfrm_sk_policy_link(newp, dir);
Florian Westphal9d0380d2016-08-11 15:17:59 +02001326 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001327 xfrm_pol_put(newp);
1328 }
1329 return newp;
1330}
1331
Eric Dumazetd188ba82015-12-08 07:22:02 -08001332int __xfrm_sk_clone_policy(struct sock *sk, const struct sock *osk)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001333{
Eric Dumazetd188ba82015-12-08 07:22:02 -08001334 const struct xfrm_policy *p;
1335 struct xfrm_policy *np;
1336 int i, ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001337
Eric Dumazetd188ba82015-12-08 07:22:02 -08001338 rcu_read_lock();
1339 for (i = 0; i < 2; i++) {
1340 p = rcu_dereference(osk->sk_policy[i]);
1341 if (p) {
1342 np = clone_policy(p, i);
1343 if (unlikely(!np)) {
1344 ret = -ENOMEM;
1345 break;
1346 }
1347 rcu_assign_pointer(sk->sk_policy[i], np);
1348 }
1349 }
1350 rcu_read_unlock();
1351 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001352}
1353
Patrick McHardya1e59ab2006-09-19 12:57:34 -07001354static int
David Ahern42a7b322015-08-10 16:58:11 -06001355xfrm_get_saddr(struct net *net, int oif, xfrm_address_t *local,
Lorenzo Colitti077fbac2017-08-11 02:11:33 +09001356 xfrm_address_t *remote, unsigned short family, u32 mark)
Patrick McHardya1e59ab2006-09-19 12:57:34 -07001357{
1358 int err;
Florian Westphal37b10382017-02-07 15:00:19 +01001359 const struct xfrm_policy_afinfo *afinfo = xfrm_policy_get_afinfo(family);
Patrick McHardya1e59ab2006-09-19 12:57:34 -07001360
1361 if (unlikely(afinfo == NULL))
1362 return -EINVAL;
Lorenzo Colitti077fbac2017-08-11 02:11:33 +09001363 err = afinfo->get_saddr(net, oif, local, remote, mark);
Florian Westphalbdba9fe2017-02-07 15:00:18 +01001364 rcu_read_unlock();
Patrick McHardya1e59ab2006-09-19 12:57:34 -07001365 return err;
1366}
1367
Linus Torvalds1da177e2005-04-16 15:20:36 -07001368/* Resolve list of templates for the flow, given policy. */
1369
1370static int
David S. Millera6c2e612011-02-22 18:35:39 -08001371xfrm_tmpl_resolve_one(struct xfrm_policy *policy, const struct flowi *fl,
1372 struct xfrm_state **xfrm, unsigned short family)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001373{
Alexey Dobriyanfbda33b2008-11-25 17:56:49 -08001374 struct net *net = xp_net(policy);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001375 int nx;
1376 int i, error;
Steffen Klassert94802152017-11-15 06:40:57 +01001377 xfrm_address_t *daddr = xfrm_flowi_daddr(fl, family);
1378 xfrm_address_t *saddr = xfrm_flowi_saddr(fl, family);
Patrick McHardya1e59ab2006-09-19 12:57:34 -07001379 xfrm_address_t tmp;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001380
Weilong Chen9b7a7872013-12-24 09:43:46 +08001381 for (nx = 0, i = 0; i < policy->xfrm_nr; i++) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001382 struct xfrm_state *x;
Steffen Klassert94802152017-11-15 06:40:57 +01001383 xfrm_address_t *remote = daddr;
1384 xfrm_address_t *local = saddr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001385 struct xfrm_tmpl *tmpl = &policy->xfrm_vec[i];
1386
Steffen Klassert94802152017-11-15 06:40:57 +01001387 if (tmpl->mode == XFRM_MODE_TUNNEL ||
1388 tmpl->mode == XFRM_MODE_BEET) {
1389 remote = &tmpl->id.daddr;
1390 local = &tmpl->saddr;
1391 if (xfrm_addr_any(local, tmpl->encap_family)) {
1392 error = xfrm_get_saddr(net, fl->flowi_oif,
1393 &tmp, remote,
1394 tmpl->encap_family, 0);
1395 if (error)
1396 goto fail;
1397 local = &tmp;
1398 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001399 }
1400
1401 x = xfrm_state_find(remote, local, fl, tmpl, policy, &error, family);
1402
1403 if (x && x->km.state == XFRM_STATE_VALID) {
1404 xfrm[nx++] = x;
Steffen Klassert94802152017-11-15 06:40:57 +01001405 daddr = remote;
1406 saddr = local;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001407 continue;
1408 }
1409 if (x) {
1410 error = (x->km.state == XFRM_STATE_ERROR ?
1411 -EINVAL : -EAGAIN);
1412 xfrm_state_put(x);
Weilong Chen420545692013-12-24 09:43:49 +08001413 } else if (error == -ESRCH) {
fernando@oss.ntt.coa43222662008-10-23 04:27:19 +00001414 error = -EAGAIN;
Weilong Chen420545692013-12-24 09:43:49 +08001415 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001416
1417 if (!tmpl->optional)
1418 goto fail;
1419 }
1420 return nx;
1421
1422fail:
Weilong Chen9b7a7872013-12-24 09:43:46 +08001423 for (nx--; nx >= 0; nx--)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001424 xfrm_state_put(xfrm[nx]);
1425 return error;
1426}
1427
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001428static int
David S. Millera6c2e612011-02-22 18:35:39 -08001429xfrm_tmpl_resolve(struct xfrm_policy **pols, int npols, const struct flowi *fl,
1430 struct xfrm_state **xfrm, unsigned short family)
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001431{
Masahide NAKAMURA41a49cc2006-08-23 22:48:31 -07001432 struct xfrm_state *tp[XFRM_MAX_DEPTH];
1433 struct xfrm_state **tpp = (npols > 1) ? tp : xfrm;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001434 int cnx = 0;
1435 int error;
1436 int ret;
1437 int i;
1438
1439 for (i = 0; i < npols; i++) {
1440 if (cnx + pols[i]->xfrm_nr >= XFRM_MAX_DEPTH) {
1441 error = -ENOBUFS;
1442 goto fail;
1443 }
Masahide NAKAMURA41a49cc2006-08-23 22:48:31 -07001444
1445 ret = xfrm_tmpl_resolve_one(pols[i], fl, &tpp[cnx], family);
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001446 if (ret < 0) {
1447 error = ret;
1448 goto fail;
1449 } else
1450 cnx += ret;
1451 }
1452
Masahide NAKAMURA41a49cc2006-08-23 22:48:31 -07001453 /* found states are sorted for outbound processing */
1454 if (npols > 1)
1455 xfrm_state_sort(xfrm, tpp, cnx, family);
1456
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001457 return cnx;
1458
1459 fail:
Weilong Chen9b7a7872013-12-24 09:43:46 +08001460 for (cnx--; cnx >= 0; cnx--)
Masahide NAKAMURA41a49cc2006-08-23 22:48:31 -07001461 xfrm_state_put(tpp[cnx]);
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001462 return error;
1463
1464}
1465
Florian Westphalf5e2bb42017-02-07 15:00:14 +01001466static int xfrm_get_tos(const struct flowi *fl, int family)
Herbert Xu25ee3282007-12-11 09:32:34 -08001467{
Florian Westphal37b10382017-02-07 15:00:19 +01001468 const struct xfrm_policy_afinfo *afinfo;
Xin Long143a4452018-02-17 15:16:22 +08001469 int tos;
Herbert Xu25ee3282007-12-11 09:32:34 -08001470
Florian Westphalf5e2bb42017-02-07 15:00:14 +01001471 afinfo = xfrm_policy_get_afinfo(family);
Xin Long143a4452018-02-17 15:16:22 +08001472 if (!afinfo)
1473 return 0;
1474
1475 tos = afinfo->get_tos(fl);
Herbert Xu25ee3282007-12-11 09:32:34 -08001476
Florian Westphalbdba9fe2017-02-07 15:00:18 +01001477 rcu_read_unlock();
Herbert Xu25ee3282007-12-11 09:32:34 -08001478
1479 return tos;
1480}
1481
Alexey Dobriyand7c75442010-01-24 22:47:53 -08001482static inline struct xfrm_dst *xfrm_alloc_dst(struct net *net, int family)
Herbert Xu25ee3282007-12-11 09:32:34 -08001483{
Florian Westphal37b10382017-02-07 15:00:19 +01001484 const struct xfrm_policy_afinfo *afinfo = xfrm_policy_get_afinfo(family);
Alexey Dobriyand7c75442010-01-24 22:47:53 -08001485 struct dst_ops *dst_ops;
Herbert Xu25ee3282007-12-11 09:32:34 -08001486 struct xfrm_dst *xdst;
1487
1488 if (!afinfo)
1489 return ERR_PTR(-EINVAL);
1490
Alexey Dobriyand7c75442010-01-24 22:47:53 -08001491 switch (family) {
1492 case AF_INET:
1493 dst_ops = &net->xfrm.xfrm4_dst_ops;
1494 break;
Eric Dumazetdfd56b82011-12-10 09:48:31 +00001495#if IS_ENABLED(CONFIG_IPV6)
Alexey Dobriyand7c75442010-01-24 22:47:53 -08001496 case AF_INET6:
1497 dst_ops = &net->xfrm.xfrm6_dst_ops;
1498 break;
1499#endif
1500 default:
1501 BUG();
1502 }
Wei Wangb2a9c0e2017-06-17 10:42:41 -07001503 xdst = dst_alloc(dst_ops, NULL, 1, DST_OBSOLETE_NONE, 0);
Herbert Xu25ee3282007-12-11 09:32:34 -08001504
Madalin Bucurd4cae562011-09-26 07:04:36 +00001505 if (likely(xdst)) {
Steffen Klassert141e3692012-07-05 23:39:34 +00001506 struct dst_entry *dst = &xdst->u.dst;
1507
1508 memset(dst + 1, 0, sizeof(*xdst) - sizeof(*dst));
Madalin Bucurd4cae562011-09-26 07:04:36 +00001509 } else
Hiroaki SHIMODA0b150932011-02-10 23:08:33 -08001510 xdst = ERR_PTR(-ENOBUFS);
Timo Teräs80c802f2010-04-07 00:30:05 +00001511
Florian Westphalbdba9fe2017-02-07 15:00:18 +01001512 rcu_read_unlock();
Madalin Bucurd4cae562011-09-26 07:04:36 +00001513
Herbert Xu25ee3282007-12-11 09:32:34 -08001514 return xdst;
1515}
1516
Masahide NAKAMURAa1b05142007-12-20 20:41:12 -08001517static inline int xfrm_init_path(struct xfrm_dst *path, struct dst_entry *dst,
1518 int nfheader_len)
1519{
Florian Westphal37b10382017-02-07 15:00:19 +01001520 const struct xfrm_policy_afinfo *afinfo =
Masahide NAKAMURAa1b05142007-12-20 20:41:12 -08001521 xfrm_policy_get_afinfo(dst->ops->family);
1522 int err;
1523
1524 if (!afinfo)
1525 return -EINVAL;
1526
1527 err = afinfo->init_path(path, dst, nfheader_len);
1528
Florian Westphalbdba9fe2017-02-07 15:00:18 +01001529 rcu_read_unlock();
Masahide NAKAMURAa1b05142007-12-20 20:41:12 -08001530
1531 return err;
1532}
1533
Herbert Xu87c1e122010-03-02 02:51:56 +00001534static inline int xfrm_fill_dst(struct xfrm_dst *xdst, struct net_device *dev,
David S. Miller0c7b3ee2011-02-22 17:48:57 -08001535 const struct flowi *fl)
Herbert Xu25ee3282007-12-11 09:32:34 -08001536{
Florian Westphal37b10382017-02-07 15:00:19 +01001537 const struct xfrm_policy_afinfo *afinfo =
Herbert Xu25ee3282007-12-11 09:32:34 -08001538 xfrm_policy_get_afinfo(xdst->u.dst.ops->family);
1539 int err;
1540
1541 if (!afinfo)
1542 return -EINVAL;
1543
Herbert Xu87c1e122010-03-02 02:51:56 +00001544 err = afinfo->fill_dst(xdst, dev, fl);
Herbert Xu25ee3282007-12-11 09:32:34 -08001545
Florian Westphalbdba9fe2017-02-07 15:00:18 +01001546 rcu_read_unlock();
Herbert Xu25ee3282007-12-11 09:32:34 -08001547
1548 return err;
1549}
1550
Timo Teräs80c802f2010-04-07 00:30:05 +00001551
Linus Torvalds1da177e2005-04-16 15:20:36 -07001552/* Allocate chain of dst_entry's, attach known xfrm's, calculate
1553 * all the metrics... Shortly, bundle a bundle.
1554 */
1555
Herbert Xu25ee3282007-12-11 09:32:34 -08001556static struct dst_entry *xfrm_bundle_create(struct xfrm_policy *policy,
David Miller54920932017-11-28 15:41:01 -05001557 struct xfrm_state **xfrm,
1558 struct xfrm_dst **bundle,
1559 int nx,
David S. Miller98313ad2011-02-22 18:36:50 -08001560 const struct flowi *fl,
Herbert Xu25ee3282007-12-11 09:32:34 -08001561 struct dst_entry *dst)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001562{
Alexey Dobriyand7c75442010-01-24 22:47:53 -08001563 struct net *net = xp_net(policy);
Herbert Xu25ee3282007-12-11 09:32:34 -08001564 unsigned long now = jiffies;
1565 struct net_device *dev;
Steffen Klassert43a4dea2011-05-09 19:36:38 +00001566 struct xfrm_mode *inner_mode;
David Miller45b018be2017-11-28 15:40:28 -05001567 struct xfrm_dst *xdst_prev = NULL;
1568 struct xfrm_dst *xdst0 = NULL;
Herbert Xu25ee3282007-12-11 09:32:34 -08001569 int i = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001570 int err;
Herbert Xu25ee3282007-12-11 09:32:34 -08001571 int header_len = 0;
Masahide NAKAMURAa1b05142007-12-20 20:41:12 -08001572 int nfheader_len = 0;
Herbert Xu25ee3282007-12-11 09:32:34 -08001573 int trailer_len = 0;
1574 int tos;
1575 int family = policy->selector.family;
YOSHIFUJI Hideaki9bb182a2008-02-22 14:48:22 +09001576 xfrm_address_t saddr, daddr;
1577
1578 xfrm_flowi_addr_get(fl, &saddr, &daddr, family);
Herbert Xu25ee3282007-12-11 09:32:34 -08001579
1580 tos = xfrm_get_tos(fl, family);
Herbert Xu25ee3282007-12-11 09:32:34 -08001581
1582 dst_hold(dst);
1583
1584 for (; i < nx; i++) {
Alexey Dobriyand7c75442010-01-24 22:47:53 -08001585 struct xfrm_dst *xdst = xfrm_alloc_dst(net, family);
Herbert Xu25ee3282007-12-11 09:32:34 -08001586 struct dst_entry *dst1 = &xdst->u.dst;
1587
1588 err = PTR_ERR(xdst);
1589 if (IS_ERR(xdst)) {
1590 dst_release(dst);
1591 goto put_states;
1592 }
1593
David Miller54920932017-11-28 15:41:01 -05001594 bundle[i] = xdst;
David Miller45b018be2017-11-28 15:40:28 -05001595 if (!xdst_prev)
1596 xdst0 = xdst;
David Miller10a7ef32017-10-10 20:59:38 -07001597 else
1598 /* Ref count is taken during xfrm_alloc_dst()
1599 * No need to do dst_clone() on dst1
1600 */
David Miller45b018be2017-11-28 15:40:28 -05001601 xfrm_dst_set_child(xdst_prev, &xdst->u.dst);
David Miller10a7ef32017-10-10 20:59:38 -07001602
Steffen Klassert43a4dea2011-05-09 19:36:38 +00001603 if (xfrm[i]->sel.family == AF_UNSPEC) {
1604 inner_mode = xfrm_ip2inner_mode(xfrm[i],
1605 xfrm_af2proto(family));
1606 if (!inner_mode) {
1607 err = -EAFNOSUPPORT;
1608 dst_release(dst);
1609 goto put_states;
1610 }
1611 } else
1612 inner_mode = xfrm[i]->inner_mode;
1613
Herbert Xu25ee3282007-12-11 09:32:34 -08001614 xdst->route = dst;
David S. Millerdefb3512010-12-08 21:16:57 -08001615 dst_copy_metrics(dst1, dst);
Herbert Xu25ee3282007-12-11 09:32:34 -08001616
1617 if (xfrm[i]->props.mode != XFRM_MODE_TRANSPORT) {
Steffen Klassert9b42c1f2018-06-12 12:44:26 +02001618 __u32 mark = xfrm_smark_get(fl->flowi_mark, xfrm[i]);
1619
Herbert Xu25ee3282007-12-11 09:32:34 -08001620 family = xfrm[i]->props.family;
David Ahern42a7b322015-08-10 16:58:11 -06001621 dst = xfrm_dst_lookup(xfrm[i], tos, fl->flowi_oif,
Steffen Klassert9b42c1f2018-06-12 12:44:26 +02001622 &saddr, &daddr, family, mark);
Herbert Xu25ee3282007-12-11 09:32:34 -08001623 err = PTR_ERR(dst);
1624 if (IS_ERR(dst))
1625 goto put_states;
1626 } else
1627 dst_hold(dst);
1628
1629 dst1->xfrm = xfrm[i];
Timo Teräs80c802f2010-04-07 00:30:05 +00001630 xdst->xfrm_genid = xfrm[i]->genid;
Herbert Xu25ee3282007-12-11 09:32:34 -08001631
David S. Millerf5b0a872012-07-19 12:31:33 -07001632 dst1->obsolete = DST_OBSOLETE_FORCE_CHK;
Herbert Xu25ee3282007-12-11 09:32:34 -08001633 dst1->flags |= DST_HOST;
1634 dst1->lastuse = now;
1635
1636 dst1->input = dst_discard;
Steffen Klassert43a4dea2011-05-09 19:36:38 +00001637 dst1->output = inner_mode->afinfo->output;
Herbert Xu25ee3282007-12-11 09:32:34 -08001638
David Miller45b018be2017-11-28 15:40:28 -05001639 xdst_prev = xdst;
Herbert Xu25ee3282007-12-11 09:32:34 -08001640
1641 header_len += xfrm[i]->props.header_len;
Masahide NAKAMURAa1b05142007-12-20 20:41:12 -08001642 if (xfrm[i]->type->flags & XFRM_TYPE_NON_FRAGMENT)
1643 nfheader_len += xfrm[i]->props.header_len;
Herbert Xu25ee3282007-12-11 09:32:34 -08001644 trailer_len += xfrm[i]->props.trailer_len;
1645 }
1646
David Miller45b018be2017-11-28 15:40:28 -05001647 xfrm_dst_set_child(xdst_prev, dst);
David Miller0f6c4802017-11-28 15:40:46 -05001648 xdst0->path = dst;
Herbert Xu25ee3282007-12-11 09:32:34 -08001649
1650 err = -ENODEV;
1651 dev = dst->dev;
1652 if (!dev)
1653 goto free_dst;
1654
David Miller45b018be2017-11-28 15:40:28 -05001655 xfrm_init_path(xdst0, dst, nfheader_len);
David Miller54920932017-11-28 15:41:01 -05001656 xfrm_init_pmtu(bundle, nx);
Herbert Xu25ee3282007-12-11 09:32:34 -08001657
David Miller45b018be2017-11-28 15:40:28 -05001658 for (xdst_prev = xdst0; xdst_prev != (struct xfrm_dst *)dst;
1659 xdst_prev = (struct xfrm_dst *) xfrm_dst_child(&xdst_prev->u.dst)) {
1660 err = xfrm_fill_dst(xdst_prev, dev, fl);
Herbert Xu25ee3282007-12-11 09:32:34 -08001661 if (err)
1662 goto free_dst;
1663
David Miller45b018be2017-11-28 15:40:28 -05001664 xdst_prev->u.dst.header_len = header_len;
1665 xdst_prev->u.dst.trailer_len = trailer_len;
1666 header_len -= xdst_prev->u.dst.xfrm->props.header_len;
1667 trailer_len -= xdst_prev->u.dst.xfrm->props.trailer_len;
Herbert Xu25ee3282007-12-11 09:32:34 -08001668 }
1669
David Miller45b018be2017-11-28 15:40:28 -05001670 return &xdst0->u.dst;
Herbert Xu25ee3282007-12-11 09:32:34 -08001671
1672put_states:
1673 for (; i < nx; i++)
1674 xfrm_state_put(xfrm[i]);
1675free_dst:
David Miller45b018be2017-11-28 15:40:28 -05001676 if (xdst0)
1677 dst_release_immediate(&xdst0->u.dst);
Steffen Klassert38369f52018-05-31 09:45:18 +02001678
1679 return ERR_PTR(err);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001680}
1681
David S. Miller73ff93c2011-02-22 18:33:42 -08001682static int xfrm_expand_policies(const struct flowi *fl, u16 family,
Timo Teräs80c802f2010-04-07 00:30:05 +00001683 struct xfrm_policy **pols,
1684 int *num_pols, int *num_xfrms)
1685{
1686 int i;
1687
1688 if (*num_pols == 0 || !pols[0]) {
1689 *num_pols = 0;
1690 *num_xfrms = 0;
1691 return 0;
1692 }
1693 if (IS_ERR(pols[0]))
1694 return PTR_ERR(pols[0]);
1695
1696 *num_xfrms = pols[0]->xfrm_nr;
1697
1698#ifdef CONFIG_XFRM_SUB_POLICY
1699 if (pols[0] && pols[0]->action == XFRM_POLICY_ALLOW &&
1700 pols[0]->type != XFRM_POLICY_TYPE_MAIN) {
1701 pols[1] = xfrm_policy_lookup_bytype(xp_net(pols[0]),
1702 XFRM_POLICY_TYPE_MAIN,
1703 fl, family,
1704 XFRM_POLICY_OUT);
1705 if (pols[1]) {
1706 if (IS_ERR(pols[1])) {
1707 xfrm_pols_put(pols, *num_pols);
1708 return PTR_ERR(pols[1]);
1709 }
Weilong Chen02d08922013-12-24 09:43:48 +08001710 (*num_pols)++;
Timo Teräs80c802f2010-04-07 00:30:05 +00001711 (*num_xfrms) += pols[1]->xfrm_nr;
1712 }
1713 }
1714#endif
1715 for (i = 0; i < *num_pols; i++) {
1716 if (pols[i]->action != XFRM_POLICY_ALLOW) {
1717 *num_xfrms = -1;
1718 break;
1719 }
1720 }
1721
1722 return 0;
1723
1724}
1725
Florian Westphalec30d782017-07-17 13:57:27 +02001726static void xfrm_last_dst_update(struct xfrm_dst *xdst, struct xfrm_dst *old)
1727{
1728 this_cpu_write(xfrm_last_dst, xdst);
1729 if (old)
1730 dst_release(&old->u.dst);
1731}
1732
1733static void __xfrm_pcpu_work_fn(void)
1734{
1735 struct xfrm_dst *old;
1736
1737 old = this_cpu_read(xfrm_last_dst);
1738 if (old && !xfrm_bundle_ok(old))
1739 xfrm_last_dst_update(NULL, old);
1740}
1741
1742static void xfrm_pcpu_work_fn(struct work_struct *work)
1743{
1744 local_bh_disable();
1745 rcu_read_lock();
1746 __xfrm_pcpu_work_fn();
1747 rcu_read_unlock();
1748 local_bh_enable();
1749}
1750
1751void xfrm_policy_cache_flush(void)
1752{
1753 struct xfrm_dst *old;
Gustavo A. R. Silva415a1322018-03-05 15:49:59 -06001754 bool found = false;
Florian Westphalec30d782017-07-17 13:57:27 +02001755 int cpu;
1756
Florian Westphalb1bdcb52018-01-06 01:13:08 +01001757 might_sleep();
1758
Florian Westphalec30d782017-07-17 13:57:27 +02001759 local_bh_disable();
1760 rcu_read_lock();
1761 for_each_possible_cpu(cpu) {
1762 old = per_cpu(xfrm_last_dst, cpu);
1763 if (old && !xfrm_bundle_ok(old)) {
1764 if (smp_processor_id() == cpu) {
1765 __xfrm_pcpu_work_fn();
1766 continue;
1767 }
1768 found = true;
1769 break;
1770 }
1771 }
1772
1773 rcu_read_unlock();
1774 local_bh_enable();
1775
1776 if (!found)
1777 return;
1778
1779 get_online_cpus();
1780
1781 for_each_possible_cpu(cpu) {
1782 bool bundle_release;
1783
1784 rcu_read_lock();
1785 old = per_cpu(xfrm_last_dst, cpu);
1786 bundle_release = old && !xfrm_bundle_ok(old);
1787 rcu_read_unlock();
1788
1789 if (!bundle_release)
1790 continue;
1791
1792 if (cpu_online(cpu)) {
1793 schedule_work_on(cpu, &xfrm_pcpu_work[cpu]);
1794 continue;
1795 }
1796
1797 rcu_read_lock();
1798 old = per_cpu(xfrm_last_dst, cpu);
1799 if (old && !xfrm_bundle_ok(old)) {
1800 per_cpu(xfrm_last_dst, cpu) = NULL;
1801 dst_release(&old->u.dst);
1802 }
1803 rcu_read_unlock();
1804 }
1805
1806 put_online_cpus();
1807}
1808
Florian Westphalcf379662017-11-02 16:46:01 +01001809static bool xfrm_xdst_can_reuse(struct xfrm_dst *xdst,
1810 struct xfrm_state * const xfrm[],
1811 int num)
Florian Westphalec30d782017-07-17 13:57:27 +02001812{
Florian Westphalcf379662017-11-02 16:46:01 +01001813 const struct dst_entry *dst = &xdst->u.dst;
1814 int i;
Florian Westphalec30d782017-07-17 13:57:27 +02001815
Florian Westphalcf379662017-11-02 16:46:01 +01001816 if (xdst->num_xfrms != num)
1817 return false;
Florian Westphalec30d782017-07-17 13:57:27 +02001818
Florian Westphalcf379662017-11-02 16:46:01 +01001819 for (i = 0; i < num; i++) {
1820 if (!dst || dst->xfrm != xfrm[i])
1821 return false;
David Millerb92cf4a2017-11-28 15:40:22 -05001822 dst = xfrm_dst_child(dst);
Florian Westphalcf379662017-11-02 16:46:01 +01001823 }
Florian Westphalec30d782017-07-17 13:57:27 +02001824
Florian Westphalcf379662017-11-02 16:46:01 +01001825 return xfrm_bundle_ok(xdst);
Florian Westphalec30d782017-07-17 13:57:27 +02001826}
1827
Timo Teräs80c802f2010-04-07 00:30:05 +00001828static struct xfrm_dst *
1829xfrm_resolve_and_create_bundle(struct xfrm_policy **pols, int num_pols,
David S. Miller4ca2e682011-02-22 18:38:51 -08001830 const struct flowi *fl, u16 family,
Timo Teräs80c802f2010-04-07 00:30:05 +00001831 struct dst_entry *dst_orig)
1832{
1833 struct net *net = xp_net(pols[0]);
1834 struct xfrm_state *xfrm[XFRM_MAX_DEPTH];
David Miller54920932017-11-28 15:41:01 -05001835 struct xfrm_dst *bundle[XFRM_MAX_DEPTH];
Florian Westphalec30d782017-07-17 13:57:27 +02001836 struct xfrm_dst *xdst, *old;
Timo Teräs80c802f2010-04-07 00:30:05 +00001837 struct dst_entry *dst;
Timo Teräs80c802f2010-04-07 00:30:05 +00001838 int err;
1839
1840 /* Try to instantiate a bundle */
1841 err = xfrm_tmpl_resolve(pols, num_pols, fl, xfrm, family);
Timo Teräsd809ec82010-07-12 21:29:42 +00001842 if (err <= 0) {
1843 if (err != 0 && err != -EAGAIN)
Timo Teräs80c802f2010-04-07 00:30:05 +00001844 XFRM_INC_STATS(net, LINUX_MIB_XFRMOUTPOLERROR);
1845 return ERR_PTR(err);
1846 }
1847
Florian Westphalcf379662017-11-02 16:46:01 +01001848 xdst = this_cpu_read(xfrm_last_dst);
1849 if (xdst &&
1850 xdst->u.dst.dev == dst_orig->dev &&
1851 xdst->num_pols == num_pols &&
1852 memcmp(xdst->pols, pols,
1853 sizeof(struct xfrm_policy *) * num_pols) == 0 &&
1854 xfrm_xdst_can_reuse(xdst, xfrm, err)) {
1855 dst_hold(&xdst->u.dst);
Florian Westphald2950272017-12-11 18:23:09 +01001856 xfrm_pols_put(pols, num_pols);
Florian Westphalcf379662017-11-02 16:46:01 +01001857 while (err > 0)
1858 xfrm_state_put(xfrm[--err]);
1859 return xdst;
1860 }
1861
1862 old = xdst;
1863
David Miller54920932017-11-28 15:41:01 -05001864 dst = xfrm_bundle_create(pols[0], xfrm, bundle, err, fl, dst_orig);
Timo Teräs80c802f2010-04-07 00:30:05 +00001865 if (IS_ERR(dst)) {
1866 XFRM_INC_STATS(net, LINUX_MIB_XFRMOUTBUNDLEGENERROR);
1867 return ERR_CAST(dst);
1868 }
1869
1870 xdst = (struct xfrm_dst *)dst;
1871 xdst->num_xfrms = err;
Timo Teräs80c802f2010-04-07 00:30:05 +00001872 xdst->num_pols = num_pols;
Weilong Chen3e94c2d2013-12-24 09:43:47 +08001873 memcpy(xdst->pols, pols, sizeof(struct xfrm_policy *) * num_pols);
Timo Teräs80c802f2010-04-07 00:30:05 +00001874 xdst->policy_genid = atomic_read(&pols[0]->genid);
1875
Florian Westphalec30d782017-07-17 13:57:27 +02001876 atomic_set(&xdst->u.dst.__refcnt, 2);
1877 xfrm_last_dst_update(xdst, old);
1878
Timo Teräs80c802f2010-04-07 00:30:05 +00001879 return xdst;
1880}
1881
Kees Cookc3aed702017-10-16 17:28:56 -07001882static void xfrm_policy_queue_process(struct timer_list *t)
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001883{
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001884 struct sk_buff *skb;
1885 struct sock *sk;
1886 struct dst_entry *dst;
Kees Cookc3aed702017-10-16 17:28:56 -07001887 struct xfrm_policy *pol = from_timer(pol, t, polq.hold_timer);
Eric W. Biederman3f5312a2015-10-07 16:48:34 -05001888 struct net *net = xp_net(pol);
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001889 struct xfrm_policy_queue *pq = &pol->polq;
1890 struct flowi fl;
1891 struct sk_buff_head list;
1892
1893 spin_lock(&pq->hold_queue.lock);
1894 skb = skb_peek(&pq->hold_queue);
Steffen Klassert2bb53e22013-10-08 10:49:51 +02001895 if (!skb) {
1896 spin_unlock(&pq->hold_queue.lock);
1897 goto out;
1898 }
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001899 dst = skb_dst(skb);
1900 sk = skb->sk;
1901 xfrm_decode_session(skb, &fl, dst->ops->family);
1902 spin_unlock(&pq->hold_queue.lock);
1903
David Miller0f6c4802017-11-28 15:40:46 -05001904 dst_hold(xfrm_dst_path(dst));
Steffen Klassert2471c982018-02-01 11:26:12 +01001905 dst = xfrm_lookup(net, xfrm_dst_path(dst), &fl, sk, XFRM_LOOKUP_QUEUE);
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001906 if (IS_ERR(dst))
1907 goto purge_queue;
1908
1909 if (dst->flags & DST_XFRM_QUEUE) {
1910 dst_release(dst);
1911
1912 if (pq->timeout >= XFRM_QUEUE_TMO_MAX)
1913 goto purge_queue;
1914
1915 pq->timeout = pq->timeout << 1;
Steffen Klasserte7d8f6c2013-10-08 10:49:45 +02001916 if (!mod_timer(&pq->hold_timer, jiffies + pq->timeout))
1917 xfrm_pol_hold(pol);
1918 goto out;
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001919 }
1920
1921 dst_release(dst);
1922
1923 __skb_queue_head_init(&list);
1924
1925 spin_lock(&pq->hold_queue.lock);
1926 pq->timeout = 0;
1927 skb_queue_splice_init(&pq->hold_queue, &list);
1928 spin_unlock(&pq->hold_queue.lock);
1929
1930 while (!skb_queue_empty(&list)) {
1931 skb = __skb_dequeue(&list);
1932
1933 xfrm_decode_session(skb, &fl, skb_dst(skb)->ops->family);
David Miller0f6c4802017-11-28 15:40:46 -05001934 dst_hold(xfrm_dst_path(skb_dst(skb)));
1935 dst = xfrm_lookup(net, xfrm_dst_path(skb_dst(skb)), &fl, skb->sk, 0);
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001936 if (IS_ERR(dst)) {
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001937 kfree_skb(skb);
1938 continue;
1939 }
1940
1941 nf_reset(skb);
1942 skb_dst_drop(skb);
1943 skb_dst_set(skb, dst);
1944
Eric W. Biederman13206b62015-10-07 16:48:35 -05001945 dst_output(net, skb->sk, skb);
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001946 }
1947
Steffen Klasserte7d8f6c2013-10-08 10:49:45 +02001948out:
1949 xfrm_pol_put(pol);
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001950 return;
1951
1952purge_queue:
1953 pq->timeout = 0;
Li RongQing1ee5e662015-04-22 15:51:16 +08001954 skb_queue_purge(&pq->hold_queue);
Steffen Klasserte7d8f6c2013-10-08 10:49:45 +02001955 xfrm_pol_put(pol);
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001956}
1957
Eric W. Biedermanede20592015-10-07 16:48:47 -05001958static int xdst_queue_output(struct net *net, struct sock *sk, struct sk_buff *skb)
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001959{
1960 unsigned long sched_next;
1961 struct dst_entry *dst = skb_dst(skb);
1962 struct xfrm_dst *xdst = (struct xfrm_dst *) dst;
Steffen Klasserte7d8f6c2013-10-08 10:49:45 +02001963 struct xfrm_policy *pol = xdst->pols[0];
1964 struct xfrm_policy_queue *pq = &pol->polq;
Steffen Klassert4d53eff2013-10-16 13:42:46 +02001965
Eric Dumazet39bb5e62014-10-30 10:32:34 -07001966 if (unlikely(skb_fclone_busy(sk, skb))) {
Steffen Klassert4d53eff2013-10-16 13:42:46 +02001967 kfree_skb(skb);
1968 return 0;
1969 }
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001970
1971 if (pq->hold_queue.qlen > XFRM_MAX_QUEUE_LEN) {
1972 kfree_skb(skb);
1973 return -EAGAIN;
1974 }
1975
1976 skb_dst_force(skb);
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001977
1978 spin_lock_bh(&pq->hold_queue.lock);
1979
1980 if (!pq->timeout)
1981 pq->timeout = XFRM_QUEUE_TMO_MIN;
1982
1983 sched_next = jiffies + pq->timeout;
1984
1985 if (del_timer(&pq->hold_timer)) {
1986 if (time_before(pq->hold_timer.expires, sched_next))
1987 sched_next = pq->hold_timer.expires;
Steffen Klasserte7d8f6c2013-10-08 10:49:45 +02001988 xfrm_pol_put(pol);
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001989 }
1990
1991 __skb_queue_tail(&pq->hold_queue, skb);
Steffen Klasserte7d8f6c2013-10-08 10:49:45 +02001992 if (!mod_timer(&pq->hold_timer, sched_next))
1993 xfrm_pol_hold(pol);
Steffen Klasserta0073fe2013-02-05 12:52:55 +01001994
1995 spin_unlock_bh(&pq->hold_queue.lock);
1996
1997 return 0;
1998}
1999
2000static struct xfrm_dst *xfrm_create_dummy_bundle(struct net *net,
Steffen Klassertb8c203b2014-09-16 10:08:49 +02002001 struct xfrm_flo *xflo,
Steffen Klasserta0073fe2013-02-05 12:52:55 +01002002 const struct flowi *fl,
2003 int num_xfrms,
2004 u16 family)
2005{
2006 int err;
2007 struct net_device *dev;
Steffen Klassertb8c203b2014-09-16 10:08:49 +02002008 struct dst_entry *dst;
Steffen Klasserta0073fe2013-02-05 12:52:55 +01002009 struct dst_entry *dst1;
2010 struct xfrm_dst *xdst;
2011
2012 xdst = xfrm_alloc_dst(net, family);
2013 if (IS_ERR(xdst))
2014 return xdst;
2015
Steffen Klassertb8c203b2014-09-16 10:08:49 +02002016 if (!(xflo->flags & XFRM_LOOKUP_QUEUE) ||
2017 net->xfrm.sysctl_larval_drop ||
2018 num_xfrms <= 0)
Steffen Klasserta0073fe2013-02-05 12:52:55 +01002019 return xdst;
2020
Steffen Klassertb8c203b2014-09-16 10:08:49 +02002021 dst = xflo->dst_orig;
Steffen Klasserta0073fe2013-02-05 12:52:55 +01002022 dst1 = &xdst->u.dst;
2023 dst_hold(dst);
2024 xdst->route = dst;
2025
2026 dst_copy_metrics(dst1, dst);
2027
2028 dst1->obsolete = DST_OBSOLETE_FORCE_CHK;
2029 dst1->flags |= DST_HOST | DST_XFRM_QUEUE;
2030 dst1->lastuse = jiffies;
2031
2032 dst1->input = dst_discard;
2033 dst1->output = xdst_queue_output;
2034
2035 dst_hold(dst);
David Miller45b018be2017-11-28 15:40:28 -05002036 xfrm_dst_set_child(xdst, dst);
David Miller0f6c4802017-11-28 15:40:46 -05002037 xdst->path = dst;
Steffen Klasserta0073fe2013-02-05 12:52:55 +01002038
2039 xfrm_init_path((struct xfrm_dst *)dst1, dst, 0);
2040
2041 err = -ENODEV;
2042 dev = dst->dev;
2043 if (!dev)
2044 goto free_dst;
2045
2046 err = xfrm_fill_dst(xdst, dev, fl);
2047 if (err)
2048 goto free_dst;
2049
2050out:
2051 return xdst;
2052
2053free_dst:
2054 dst_release(dst1);
2055 xdst = ERR_PTR(err);
2056 goto out;
2057}
2058
Florian Westphalbd45c532017-07-17 13:57:25 +02002059static struct xfrm_dst *
Florian Westphal3ca28282017-07-17 13:57:21 +02002060xfrm_bundle_lookup(struct net *net, const struct flowi *fl, u16 family, u8 dir, struct xfrm_flo *xflo)
Timo Teräs80c802f2010-04-07 00:30:05 +00002061{
Timo Teräs80c802f2010-04-07 00:30:05 +00002062 struct xfrm_policy *pols[XFRM_POLICY_TYPE_MAX];
Florian Westphal855dad92017-07-17 13:57:22 +02002063 int num_pols = 0, num_xfrms = 0, err;
Florian Westphalbd45c532017-07-17 13:57:25 +02002064 struct xfrm_dst *xdst;
Timo Teräs80c802f2010-04-07 00:30:05 +00002065
Timo Teräs80c802f2010-04-07 00:30:05 +00002066 /* Resolve policies to use if we couldn't get them from
2067 * previous cache entry */
Florian Westphal855dad92017-07-17 13:57:22 +02002068 num_pols = 1;
Florian Westphal86dc8ee2017-07-17 13:57:24 +02002069 pols[0] = xfrm_policy_lookup(net, fl, family, dir);
Florian Westphal855dad92017-07-17 13:57:22 +02002070 err = xfrm_expand_policies(fl, family, pols,
Timo Teräs80c802f2010-04-07 00:30:05 +00002071 &num_pols, &num_xfrms);
Florian Westphal855dad92017-07-17 13:57:22 +02002072 if (err < 0)
2073 goto inc_error;
2074 if (num_pols == 0)
2075 return NULL;
2076 if (num_xfrms <= 0)
2077 goto make_dummy_bundle;
Timo Teräs80c802f2010-04-07 00:30:05 +00002078
Steffen Klassert76a42012018-01-10 12:14:28 +01002079 local_bh_disable();
Florian Westphalbd45c532017-07-17 13:57:25 +02002080 xdst = xfrm_resolve_and_create_bundle(pols, num_pols, fl, family,
Steffen Klassert76a42012018-01-10 12:14:28 +01002081 xflo->dst_orig);
2082 local_bh_enable();
2083
Florian Westphalbd45c532017-07-17 13:57:25 +02002084 if (IS_ERR(xdst)) {
2085 err = PTR_ERR(xdst);
Timo Teräs80c802f2010-04-07 00:30:05 +00002086 if (err != -EAGAIN)
2087 goto error;
Florian Westphal855dad92017-07-17 13:57:22 +02002088 goto make_dummy_bundle;
Florian Westphalbd45c532017-07-17 13:57:25 +02002089 } else if (xdst == NULL) {
Timo Teräsd809ec82010-07-12 21:29:42 +00002090 num_xfrms = 0;
Florian Westphal855dad92017-07-17 13:57:22 +02002091 goto make_dummy_bundle;
Timo Teräs80c802f2010-04-07 00:30:05 +00002092 }
2093
Florian Westphalbd45c532017-07-17 13:57:25 +02002094 return xdst;
Timo Teräs80c802f2010-04-07 00:30:05 +00002095
2096make_dummy_bundle:
2097 /* We found policies, but there's no bundles to instantiate:
2098 * either because the policy blocks, has no transformations or
2099 * we could not build template (no xfrm_states).*/
Steffen Klassertb8c203b2014-09-16 10:08:49 +02002100 xdst = xfrm_create_dummy_bundle(net, xflo, fl, num_xfrms, family);
Timo Teräs80c802f2010-04-07 00:30:05 +00002101 if (IS_ERR(xdst)) {
2102 xfrm_pols_put(pols, num_pols);
2103 return ERR_CAST(xdst);
2104 }
2105 xdst->num_pols = num_pols;
2106 xdst->num_xfrms = num_xfrms;
Weilong Chen3e94c2d2013-12-24 09:43:47 +08002107 memcpy(xdst->pols, pols, sizeof(struct xfrm_policy *) * num_pols);
Timo Teräs80c802f2010-04-07 00:30:05 +00002108
Florian Westphalbd45c532017-07-17 13:57:25 +02002109 return xdst;
Timo Teräs80c802f2010-04-07 00:30:05 +00002110
2111inc_error:
2112 XFRM_INC_STATS(net, LINUX_MIB_XFRMOUTPOLERROR);
2113error:
Florian Westphal855dad92017-07-17 13:57:22 +02002114 xfrm_pols_put(pols, num_pols);
Timo Teräs80c802f2010-04-07 00:30:05 +00002115 return ERR_PTR(err);
2116}
Linus Torvalds1da177e2005-04-16 15:20:36 -07002117
David S. Miller2774c132011-03-01 14:59:04 -08002118static struct dst_entry *make_blackhole(struct net *net, u16 family,
2119 struct dst_entry *dst_orig)
2120{
Florian Westphal37b10382017-02-07 15:00:19 +01002121 const struct xfrm_policy_afinfo *afinfo = xfrm_policy_get_afinfo(family);
David S. Miller2774c132011-03-01 14:59:04 -08002122 struct dst_entry *ret;
2123
2124 if (!afinfo) {
2125 dst_release(dst_orig);
Li RongQing433a1952012-09-17 22:40:10 +00002126 return ERR_PTR(-EINVAL);
David S. Miller2774c132011-03-01 14:59:04 -08002127 } else {
2128 ret = afinfo->blackhole_route(net, dst_orig);
2129 }
Florian Westphalbdba9fe2017-02-07 15:00:18 +01002130 rcu_read_unlock();
David S. Miller2774c132011-03-01 14:59:04 -08002131
2132 return ret;
2133}
2134
Linus Torvalds1da177e2005-04-16 15:20:36 -07002135/* Main function: finds/creates a bundle for given flow.
2136 *
2137 * At the moment we eat a raw IP route. Mostly to speed up lookups
2138 * on interfaces with disabled IPsec.
2139 */
David S. Miller452edd52011-03-02 13:27:41 -08002140struct dst_entry *xfrm_lookup(struct net *net, struct dst_entry *dst_orig,
2141 const struct flowi *fl,
Eric Dumazet6f9c9612015-09-25 07:39:10 -07002142 const struct sock *sk, int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002143{
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002144 struct xfrm_policy *pols[XFRM_POLICY_TYPE_MAX];
Timo Teräs80c802f2010-04-07 00:30:05 +00002145 struct xfrm_dst *xdst;
David S. Miller452edd52011-03-02 13:27:41 -08002146 struct dst_entry *dst, *route;
Timo Teräs80c802f2010-04-07 00:30:05 +00002147 u16 family = dst_orig->ops->family;
Florian Westphalaff669b2017-07-17 13:57:23 +02002148 u8 dir = XFRM_POLICY_OUT;
Changli Gao4b021622010-04-27 21:20:22 +00002149 int i, err, num_pols, num_xfrms = 0, drop_pols = 0;
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -07002150
Timo Teräs80c802f2010-04-07 00:30:05 +00002151 dst = NULL;
2152 xdst = NULL;
2153 route = NULL;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002154
Eric Dumazetbd5eb352015-12-07 08:53:17 -08002155 sk = sk_const_to_full_sk(sk);
Thomas Graff7944fb2007-08-25 13:46:55 -07002156 if (sk && sk->sk_policy[XFRM_POLICY_OUT]) {
Timo Teräs80c802f2010-04-07 00:30:05 +00002157 num_pols = 1;
Steffen Klassert4c86d772017-02-14 07:43:56 +01002158 pols[0] = xfrm_sk_policy_lookup(sk, XFRM_POLICY_OUT, fl, family);
Timo Teräs80c802f2010-04-07 00:30:05 +00002159 err = xfrm_expand_policies(fl, family, pols,
2160 &num_pols, &num_xfrms);
2161 if (err < 0)
Herbert Xu75b8c132007-12-11 04:38:08 -08002162 goto dropdst;
Timo Teräs80c802f2010-04-07 00:30:05 +00002163
2164 if (num_pols) {
2165 if (num_xfrms <= 0) {
2166 drop_pols = num_pols;
2167 goto no_transform;
2168 }
2169
Steffen Klassert76a42012018-01-10 12:14:28 +01002170 local_bh_disable();
Timo Teräs80c802f2010-04-07 00:30:05 +00002171 xdst = xfrm_resolve_and_create_bundle(
2172 pols, num_pols, fl,
2173 family, dst_orig);
Steffen Klassert76a42012018-01-10 12:14:28 +01002174 local_bh_enable();
2175
Timo Teräs80c802f2010-04-07 00:30:05 +00002176 if (IS_ERR(xdst)) {
2177 xfrm_pols_put(pols, num_pols);
2178 err = PTR_ERR(xdst);
2179 goto dropdst;
Timo Teräsd809ec82010-07-12 21:29:42 +00002180 } else if (xdst == NULL) {
2181 num_xfrms = 0;
2182 drop_pols = num_pols;
2183 goto no_transform;
Timo Teräs80c802f2010-04-07 00:30:05 +00002184 }
2185
Timo Teräs80c802f2010-04-07 00:30:05 +00002186 route = xdst->route;
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002187 }
Venkat Yekkirala3bccfbc2006-10-05 15:42:35 -05002188 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002189
Timo Teräs80c802f2010-04-07 00:30:05 +00002190 if (xdst == NULL) {
Steffen Klassertb8c203b2014-09-16 10:08:49 +02002191 struct xfrm_flo xflo;
2192
2193 xflo.dst_orig = dst_orig;
2194 xflo.flags = flags;
2195
Linus Torvalds1da177e2005-04-16 15:20:36 -07002196 /* To accelerate a bit... */
David S. Miller2518c7c2006-08-24 04:45:07 -07002197 if ((dst_orig->flags & DST_NOXFRM) ||
Alexey Dobriyan52479b62008-11-25 17:35:18 -08002198 !net->xfrm.policy_count[XFRM_POLICY_OUT])
Herbert Xu8b7817f2007-12-12 10:44:43 -08002199 goto nopol;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002200
Florian Westphalbd45c532017-07-17 13:57:25 +02002201 xdst = xfrm_bundle_lookup(net, fl, family, dir, &xflo);
2202 if (xdst == NULL)
Timo Teräs80c802f2010-04-07 00:30:05 +00002203 goto nopol;
Florian Westphalbd45c532017-07-17 13:57:25 +02002204 if (IS_ERR(xdst)) {
2205 err = PTR_ERR(xdst);
Herbert Xu75b8c132007-12-11 04:38:08 -08002206 goto dropdst;
Masahide NAKAMURAd66e37a2008-01-07 21:46:15 -08002207 }
Timo Teräs80c802f2010-04-07 00:30:05 +00002208
2209 num_pols = xdst->num_pols;
2210 num_xfrms = xdst->num_xfrms;
Weilong Chen3e94c2d2013-12-24 09:43:47 +08002211 memcpy(pols, xdst->pols, sizeof(struct xfrm_policy *) * num_pols);
Timo Teräs80c802f2010-04-07 00:30:05 +00002212 route = xdst->route;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002213 }
2214
Timo Teräs80c802f2010-04-07 00:30:05 +00002215 dst = &xdst->u.dst;
2216 if (route == NULL && num_xfrms > 0) {
2217 /* The only case when xfrm_bundle_lookup() returns a
2218 * bundle with null route, is when the template could
2219 * not be resolved. It means policies are there, but
2220 * bundle could not be created, since we don't yet
2221 * have the xfrm_state's. We need to wait for KM to
2222 * negotiate new SA's or bail out with error.*/
2223 if (net->xfrm.sysctl_larval_drop) {
Timo Teräs80c802f2010-04-07 00:30:05 +00002224 XFRM_INC_STATS(net, LINUX_MIB_XFRMOUTNOSTATES);
huaibin Wangac37e252015-02-11 18:10:36 +01002225 err = -EREMOTE;
2226 goto error;
Timo Teräs80c802f2010-04-07 00:30:05 +00002227 }
Timo Teräs80c802f2010-04-07 00:30:05 +00002228
Steffen Klassert5b8ef342013-08-27 13:43:30 +02002229 err = -EAGAIN;
Timo Teräs80c802f2010-04-07 00:30:05 +00002230
2231 XFRM_INC_STATS(net, LINUX_MIB_XFRMOUTNOSTATES);
2232 goto error;
2233 }
2234
2235no_transform:
2236 if (num_pols == 0)
Herbert Xu8b7817f2007-12-12 10:44:43 -08002237 goto nopol;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002238
Timo Teräs80c802f2010-04-07 00:30:05 +00002239 if ((flags & XFRM_LOOKUP_ICMP) &&
2240 !(pols[0]->flags & XFRM_POLICY_ICMP)) {
2241 err = -ENOENT;
Herbert Xu8b7817f2007-12-12 10:44:43 -08002242 goto error;
Timo Teräs80c802f2010-04-07 00:30:05 +00002243 }
Herbert Xu8b7817f2007-12-12 10:44:43 -08002244
Timo Teräs80c802f2010-04-07 00:30:05 +00002245 for (i = 0; i < num_pols; i++)
2246 pols[i]->curlft.use_time = get_seconds();
Herbert Xu8b7817f2007-12-12 10:44:43 -08002247
Timo Teräs80c802f2010-04-07 00:30:05 +00002248 if (num_xfrms < 0) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07002249 /* Prohibit the flow */
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002250 XFRM_INC_STATS(net, LINUX_MIB_XFRMOUTPOLBLOCK);
Patrick McHardye104411b2005-09-08 15:11:55 -07002251 err = -EPERM;
2252 goto error;
Timo Teräs80c802f2010-04-07 00:30:05 +00002253 } else if (num_xfrms > 0) {
2254 /* Flow transformed */
Timo Teräs80c802f2010-04-07 00:30:05 +00002255 dst_release(dst_orig);
2256 } else {
2257 /* Flow passes untransformed */
2258 dst_release(dst);
David S. Miller452edd52011-03-02 13:27:41 -08002259 dst = dst_orig;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002260 }
Timo Teräs80c802f2010-04-07 00:30:05 +00002261ok:
2262 xfrm_pols_put(pols, drop_pols);
Gao feng0c183372012-05-26 01:30:53 +00002263 if (dst && dst->xfrm &&
2264 dst->xfrm->props.mode == XFRM_MODE_TUNNEL)
2265 dst->flags |= DST_XFRM_TUNNEL;
David S. Miller452edd52011-03-02 13:27:41 -08002266 return dst;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002267
Timo Teräs80c802f2010-04-07 00:30:05 +00002268nopol:
David S. Miller452edd52011-03-02 13:27:41 -08002269 if (!(flags & XFRM_LOOKUP_ICMP)) {
2270 dst = dst_orig;
Timo Teräs80c802f2010-04-07 00:30:05 +00002271 goto ok;
David S. Miller452edd52011-03-02 13:27:41 -08002272 }
Timo Teräs80c802f2010-04-07 00:30:05 +00002273 err = -ENOENT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002274error:
Timo Teräs80c802f2010-04-07 00:30:05 +00002275 dst_release(dst);
Herbert Xu75b8c132007-12-11 04:38:08 -08002276dropdst:
huaibin Wangac37e252015-02-11 18:10:36 +01002277 if (!(flags & XFRM_LOOKUP_KEEP_DST_REF))
2278 dst_release(dst_orig);
Timo Teräs80c802f2010-04-07 00:30:05 +00002279 xfrm_pols_put(pols, drop_pols);
David S. Miller452edd52011-03-02 13:27:41 -08002280 return ERR_PTR(err);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002281}
2282EXPORT_SYMBOL(xfrm_lookup);
2283
Steffen Klassertf92ee612014-09-16 10:08:40 +02002284/* Callers of xfrm_lookup_route() must ensure a call to dst_output().
2285 * Otherwise we may send out blackholed packets.
2286 */
2287struct dst_entry *xfrm_lookup_route(struct net *net, struct dst_entry *dst_orig,
2288 const struct flowi *fl,
Eric Dumazet6f9c9612015-09-25 07:39:10 -07002289 const struct sock *sk, int flags)
Steffen Klassertf92ee612014-09-16 10:08:40 +02002290{
Steffen Klassertb8c203b2014-09-16 10:08:49 +02002291 struct dst_entry *dst = xfrm_lookup(net, dst_orig, fl, sk,
huaibin Wangac37e252015-02-11 18:10:36 +01002292 flags | XFRM_LOOKUP_QUEUE |
2293 XFRM_LOOKUP_KEEP_DST_REF);
Steffen Klassertf92ee612014-09-16 10:08:40 +02002294
2295 if (IS_ERR(dst) && PTR_ERR(dst) == -EREMOTE)
2296 return make_blackhole(net, dst_orig->ops->family, dst_orig);
2297
2298 return dst;
2299}
2300EXPORT_SYMBOL(xfrm_lookup_route);
2301
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002302static inline int
David S. Miller8f029de2011-02-22 17:59:59 -08002303xfrm_secpath_reject(int idx, struct sk_buff *skb, const struct flowi *fl)
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002304{
2305 struct xfrm_state *x;
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002306
2307 if (!skb->sp || idx < 0 || idx >= skb->sp->len)
2308 return 0;
2309 x = skb->sp->xvec[idx];
2310 if (!x->type->reject)
2311 return 0;
Herbert Xu1ecafed2007-10-09 13:24:07 -07002312 return x->type->reject(x, skb, fl);
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002313}
2314
Linus Torvalds1da177e2005-04-16 15:20:36 -07002315/* When skb is transformed back to its "native" form, we have to
2316 * check policy restrictions. At the moment we make this in maximally
2317 * stupid way. Shame on me. :-) Of course, connected sockets must
2318 * have policy cached at them.
2319 */
2320
2321static inline int
David S. Miller7db454b2011-02-24 01:43:01 -05002322xfrm_state_ok(const struct xfrm_tmpl *tmpl, const struct xfrm_state *x,
Linus Torvalds1da177e2005-04-16 15:20:36 -07002323 unsigned short family)
2324{
2325 if (xfrm_state_kern(x))
Kazunori MIYAZAWA928ba412007-02-13 12:57:16 -08002326 return tmpl->optional && !xfrm_state_addr_cmp(tmpl, x, tmpl->encap_family);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002327 return x->id.proto == tmpl->id.proto &&
2328 (x->id.spi == tmpl->id.spi || !tmpl->id.spi) &&
2329 (x->props.reqid == tmpl->reqid || !tmpl->reqid) &&
2330 x->props.mode == tmpl->mode &&
Herbert Xuc5d18e92008-04-22 00:46:42 -07002331 (tmpl->allalgs || (tmpl->aalgos & (1<<x->props.aalgo)) ||
Masahide NAKAMURAf3bd4842006-08-23 18:00:48 -07002332 !(xfrm_id_proto_match(tmpl->id.proto, IPSEC_PROTO_ANY))) &&
Masahide NAKAMURA7e49e6d2006-09-22 15:05:15 -07002333 !(x->props.mode != XFRM_MODE_TRANSPORT &&
2334 xfrm_state_addr_cmp(tmpl, x, family));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002335}
2336
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002337/*
2338 * 0 or more than 0 is returned when validation is succeeded (either bypass
2339 * because of optional transport mode, or next index of the mathced secpath
2340 * state with the template.
2341 * -1 is returned when no matching template is found.
2342 * Otherwise "-2 - errored_index" is returned.
2343 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002344static inline int
David S. Miller22cccb72011-02-24 01:43:33 -05002345xfrm_policy_ok(const struct xfrm_tmpl *tmpl, const struct sec_path *sp, int start,
Linus Torvalds1da177e2005-04-16 15:20:36 -07002346 unsigned short family)
2347{
2348 int idx = start;
2349
2350 if (tmpl->optional) {
Masahide NAKAMURA7e49e6d2006-09-22 15:05:15 -07002351 if (tmpl->mode == XFRM_MODE_TRANSPORT)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002352 return start;
2353 } else
2354 start = -1;
2355 for (; idx < sp->len; idx++) {
Herbert Xudbe5b4a2006-04-01 00:54:16 -08002356 if (xfrm_state_ok(tmpl, sp->xvec[idx], family))
Linus Torvalds1da177e2005-04-16 15:20:36 -07002357 return ++idx;
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002358 if (sp->xvec[idx]->props.mode != XFRM_MODE_TRANSPORT) {
2359 if (start == -1)
2360 start = -2-idx;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002361 break;
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002362 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002363 }
2364 return start;
2365}
2366
Herbert Xud5422ef2007-12-12 10:44:16 -08002367int __xfrm_decode_session(struct sk_buff *skb, struct flowi *fl,
2368 unsigned int family, int reverse)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002369{
Florian Westphal37b10382017-02-07 15:00:19 +01002370 const struct xfrm_policy_afinfo *afinfo = xfrm_policy_get_afinfo(family);
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -07002371 int err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002372
2373 if (unlikely(afinfo == NULL))
2374 return -EAFNOSUPPORT;
2375
Herbert Xud5422ef2007-12-12 10:44:16 -08002376 afinfo->decode_session(skb, fl, reverse);
David S. Miller1d28f422011-03-12 00:29:39 -05002377 err = security_xfrm_decode_session(skb, &fl->flowi_secid);
Florian Westphalbdba9fe2017-02-07 15:00:18 +01002378 rcu_read_unlock();
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -07002379 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002380}
Herbert Xud5422ef2007-12-12 10:44:16 -08002381EXPORT_SYMBOL(__xfrm_decode_session);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002382
David S. Miller9a7386e2011-02-24 01:44:12 -05002383static inline int secpath_has_nontransport(const struct sec_path *sp, int k, int *idxp)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002384{
2385 for (; k < sp->len; k++) {
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002386 if (sp->xvec[k]->props.mode != XFRM_MODE_TRANSPORT) {
James Morrisd1d9fac2006-09-01 00:32:12 -07002387 *idxp = k;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002388 return 1;
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002389 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002390 }
2391
2392 return 0;
2393}
2394
YOSHIFUJI Hideakia716c112007-02-09 23:25:29 +09002395int __xfrm_policy_check(struct sock *sk, int dir, struct sk_buff *skb,
Linus Torvalds1da177e2005-04-16 15:20:36 -07002396 unsigned short family)
2397{
Alexey Dobriyanf6e1e252008-11-25 17:35:44 -08002398 struct net *net = dev_net(skb->dev);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002399 struct xfrm_policy *pol;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002400 struct xfrm_policy *pols[XFRM_POLICY_TYPE_MAX];
2401 int npols = 0;
2402 int xfrm_nr;
2403 int pi;
Herbert Xud5422ef2007-12-12 10:44:16 -08002404 int reverse;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002405 struct flowi fl;
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002406 int xerr_idx = -1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002407
Herbert Xud5422ef2007-12-12 10:44:16 -08002408 reverse = dir & ~XFRM_POLICY_MASK;
2409 dir &= XFRM_POLICY_MASK;
Herbert Xud5422ef2007-12-12 10:44:16 -08002410
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002411 if (__xfrm_decode_session(skb, &fl, family, reverse) < 0) {
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002412 XFRM_INC_STATS(net, LINUX_MIB_XFRMINHDRERROR);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002413 return 0;
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002414 }
2415
Patrick McHardyeb9c7eb2006-01-06 23:06:30 -08002416 nf_nat_decode_session(skb, &fl, family);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002417
2418 /* First, check used SA against their selectors. */
2419 if (skb->sp) {
2420 int i;
2421
Weilong Chen9b7a7872013-12-24 09:43:46 +08002422 for (i = skb->sp->len-1; i >= 0; i--) {
Herbert Xudbe5b4a2006-04-01 00:54:16 -08002423 struct xfrm_state *x = skb->sp->xvec[i];
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002424 if (!xfrm_selector_match(&x->sel, &fl, family)) {
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002425 XFRM_INC_STATS(net, LINUX_MIB_XFRMINSTATEMISMATCH);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002426 return 0;
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002427 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002428 }
2429 }
2430
2431 pol = NULL;
Eric Dumazetbd5eb352015-12-07 08:53:17 -08002432 sk = sk_to_full_sk(sk);
Venkat Yekkirala3bccfbc2006-10-05 15:42:35 -05002433 if (sk && sk->sk_policy[dir]) {
Steffen Klassert4c86d772017-02-14 07:43:56 +01002434 pol = xfrm_sk_policy_lookup(sk, dir, &fl, family);
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002435 if (IS_ERR(pol)) {
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002436 XFRM_INC_STATS(net, LINUX_MIB_XFRMINPOLERROR);
Venkat Yekkirala3bccfbc2006-10-05 15:42:35 -05002437 return 0;
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002438 }
Venkat Yekkirala3bccfbc2006-10-05 15:42:35 -05002439 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002440
Florian Westphal86dc8ee2017-07-17 13:57:24 +02002441 if (!pol)
2442 pol = xfrm_policy_lookup(net, &fl, family, dir);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002443
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002444 if (IS_ERR(pol)) {
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002445 XFRM_INC_STATS(net, LINUX_MIB_XFRMINPOLERROR);
James Morris134b0fc2006-10-05 15:42:27 -05002446 return 0;
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002447 }
James Morris134b0fc2006-10-05 15:42:27 -05002448
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002449 if (!pol) {
James Morrisd1d9fac2006-09-01 00:32:12 -07002450 if (skb->sp && secpath_has_nontransport(skb->sp, 0, &xerr_idx)) {
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002451 xfrm_secpath_reject(xerr_idx, skb, &fl);
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002452 XFRM_INC_STATS(net, LINUX_MIB_XFRMINNOPOLS);
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002453 return 0;
2454 }
2455 return 1;
2456 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002457
James Morris9d729f72007-03-04 16:12:44 -08002458 pol->curlft.use_time = get_seconds();
Linus Torvalds1da177e2005-04-16 15:20:36 -07002459
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002460 pols[0] = pol;
Weilong Chen02d08922013-12-24 09:43:48 +08002461 npols++;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002462#ifdef CONFIG_XFRM_SUB_POLICY
2463 if (pols[0]->type != XFRM_POLICY_TYPE_MAIN) {
Alexey Dobriyanf6e1e252008-11-25 17:35:44 -08002464 pols[1] = xfrm_policy_lookup_bytype(net, XFRM_POLICY_TYPE_MAIN,
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002465 &fl, family,
2466 XFRM_POLICY_IN);
2467 if (pols[1]) {
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002468 if (IS_ERR(pols[1])) {
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002469 XFRM_INC_STATS(net, LINUX_MIB_XFRMINPOLERROR);
James Morris134b0fc2006-10-05 15:42:27 -05002470 return 0;
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002471 }
James Morris9d729f72007-03-04 16:12:44 -08002472 pols[1]->curlft.use_time = get_seconds();
Weilong Chen02d08922013-12-24 09:43:48 +08002473 npols++;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002474 }
2475 }
2476#endif
2477
Linus Torvalds1da177e2005-04-16 15:20:36 -07002478 if (pol->action == XFRM_POLICY_ALLOW) {
2479 struct sec_path *sp;
2480 static struct sec_path dummy;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002481 struct xfrm_tmpl *tp[XFRM_MAX_DEPTH];
Masahide NAKAMURA41a49cc2006-08-23 22:48:31 -07002482 struct xfrm_tmpl *stp[XFRM_MAX_DEPTH];
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002483 struct xfrm_tmpl **tpp = tp;
2484 int ti = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002485 int i, k;
2486
2487 if ((sp = skb->sp) == NULL)
2488 sp = &dummy;
2489
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002490 for (pi = 0; pi < npols; pi++) {
2491 if (pols[pi] != pol &&
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002492 pols[pi]->action != XFRM_POLICY_ALLOW) {
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002493 XFRM_INC_STATS(net, LINUX_MIB_XFRMINPOLBLOCK);
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002494 goto reject;
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002495 }
2496 if (ti + pols[pi]->xfrm_nr >= XFRM_MAX_DEPTH) {
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002497 XFRM_INC_STATS(net, LINUX_MIB_XFRMINBUFFERERROR);
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002498 goto reject_error;
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002499 }
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002500 for (i = 0; i < pols[pi]->xfrm_nr; i++)
2501 tpp[ti++] = &pols[pi]->xfrm_vec[i];
2502 }
2503 xfrm_nr = ti;
Masahide NAKAMURA41a49cc2006-08-23 22:48:31 -07002504 if (npols > 1) {
Fan Du283bc9f2013-11-07 17:47:50 +08002505 xfrm_tmpl_sort(stp, tpp, xfrm_nr, family, net);
Masahide NAKAMURA41a49cc2006-08-23 22:48:31 -07002506 tpp = stp;
2507 }
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002508
Linus Torvalds1da177e2005-04-16 15:20:36 -07002509 /* For each tunnel xfrm, find the first matching tmpl.
2510 * For each tmpl before that, find corresponding xfrm.
2511 * Order is _important_. Later we will implement
2512 * some barriers, but at the moment barriers
2513 * are implied between each two transformations.
2514 */
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002515 for (i = xfrm_nr-1, k = 0; i >= 0; i--) {
2516 k = xfrm_policy_ok(tpp[i], sp, k, family);
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002517 if (k < 0) {
James Morrisd1d9fac2006-09-01 00:32:12 -07002518 if (k < -1)
2519 /* "-2 - errored_index" returned */
2520 xerr_idx = -(2+k);
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002521 XFRM_INC_STATS(net, LINUX_MIB_XFRMINTMPLMISMATCH);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002522 goto reject;
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002523 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002524 }
2525
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002526 if (secpath_has_nontransport(sp, k, &xerr_idx)) {
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002527 XFRM_INC_STATS(net, LINUX_MIB_XFRMINTMPLMISMATCH);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002528 goto reject;
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002529 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002530
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002531 xfrm_pols_put(pols, npols);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002532 return 1;
2533 }
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002534 XFRM_INC_STATS(net, LINUX_MIB_XFRMINPOLBLOCK);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002535
2536reject:
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07002537 xfrm_secpath_reject(xerr_idx, skb, &fl);
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07002538reject_error:
2539 xfrm_pols_put(pols, npols);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002540 return 0;
2541}
2542EXPORT_SYMBOL(__xfrm_policy_check);
2543
2544int __xfrm_route_forward(struct sk_buff *skb, unsigned short family)
2545{
Alexey Dobriyan99a66652008-11-25 17:36:13 -08002546 struct net *net = dev_net(skb->dev);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002547 struct flowi fl;
Eric Dumazetadf30902009-06-02 05:19:30 +00002548 struct dst_entry *dst;
Eric Dumazet73137142011-03-15 15:26:43 -07002549 int res = 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002550
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002551 if (xfrm_decode_session(skb, &fl, family) < 0) {
jamal72032fd2010-02-18 03:35:07 +00002552 XFRM_INC_STATS(net, LINUX_MIB_XFRMFWDHDRERROR);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002553 return 0;
Masahide NAKAMURA0aa64772007-12-20 20:43:36 -08002554 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002555
Eric Dumazetfafeeb62010-06-01 10:04:49 +00002556 skb_dst_force(skb);
Eric Dumazetadf30902009-06-02 05:19:30 +00002557
Steffen Klassertb8c203b2014-09-16 10:08:49 +02002558 dst = xfrm_lookup(net, skb_dst(skb), &fl, NULL, XFRM_LOOKUP_QUEUE);
David S. Miller452edd52011-03-02 13:27:41 -08002559 if (IS_ERR(dst)) {
Eric Dumazet73137142011-03-15 15:26:43 -07002560 res = 0;
David S. Miller452edd52011-03-02 13:27:41 -08002561 dst = NULL;
2562 }
Eric Dumazetadf30902009-06-02 05:19:30 +00002563 skb_dst_set(skb, dst);
2564 return res;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002565}
2566EXPORT_SYMBOL(__xfrm_route_forward);
2567
David S. Millerd49c73c2006-08-13 18:55:53 -07002568/* Optimize later using cookies and generation ids. */
2569
Linus Torvalds1da177e2005-04-16 15:20:36 -07002570static struct dst_entry *xfrm_dst_check(struct dst_entry *dst, u32 cookie)
2571{
David S. Millerd49c73c2006-08-13 18:55:53 -07002572 /* Code (such as __xfrm4_bundle_create()) sets dst->obsolete
David S. Millerf5b0a872012-07-19 12:31:33 -07002573 * to DST_OBSOLETE_FORCE_CHK to force all XFRM destinations to
2574 * get validated by dst_ops->check on every use. We do this
2575 * because when a normal route referenced by an XFRM dst is
2576 * obsoleted we do not go looking around for all parent
2577 * referencing XFRM dsts so that we can invalidate them. It
2578 * is just too much work. Instead we make the checks here on
2579 * every use. For example:
David S. Millerd49c73c2006-08-13 18:55:53 -07002580 *
2581 * XFRM dst A --> IPv4 dst X
2582 *
2583 * X is the "xdst->route" of A (X is also the "dst->path" of A
2584 * in this example). If X is marked obsolete, "A" will not
2585 * notice. That's what we are validating here via the
2586 * stale_bundle() check.
2587 *
Wei Wang52df1572017-06-17 10:42:38 -07002588 * When a dst is removed from the fib tree, DST_OBSOLETE_DEAD will
2589 * be marked on it.
Florian Westphal09c75702017-07-17 13:57:26 +02002590 * This will force stale_bundle() to fail on any xdst bundle with
Wei Wang52df1572017-06-17 10:42:38 -07002591 * this dst linked in it.
David S. Miller399c1802005-12-19 14:23:23 -08002592 */
David S. Millerd49c73c2006-08-13 18:55:53 -07002593 if (dst->obsolete < 0 && !stale_bundle(dst))
2594 return dst;
2595
Linus Torvalds1da177e2005-04-16 15:20:36 -07002596 return NULL;
2597}
2598
2599static int stale_bundle(struct dst_entry *dst)
2600{
Steffen Klassert12fdb4d2011-06-29 23:18:20 +00002601 return !xfrm_bundle_ok((struct xfrm_dst *)dst);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002602}
2603
Herbert Xuaabc9762005-05-03 16:27:10 -07002604void xfrm_dst_ifdown(struct dst_entry *dst, struct net_device *dev)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002605{
David Millerb92cf4a2017-11-28 15:40:22 -05002606 while ((dst = xfrm_dst_child(dst)) && dst->xfrm && dst->dev == dev) {
YOSHIFUJI Hideakic346dca2008-03-25 21:47:49 +09002607 dst->dev = dev_net(dev)->loopback_dev;
Daniel Lezcanode3cb742007-09-25 19:16:28 -07002608 dev_hold(dst->dev);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002609 dev_put(dev);
2610 }
2611}
Herbert Xuaabc9762005-05-03 16:27:10 -07002612EXPORT_SYMBOL(xfrm_dst_ifdown);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002613
2614static void xfrm_link_failure(struct sk_buff *skb)
2615{
2616 /* Impossible. Such dst must be popped before reaches point of failure. */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002617}
2618
2619static struct dst_entry *xfrm_negative_advice(struct dst_entry *dst)
2620{
2621 if (dst) {
2622 if (dst->obsolete) {
2623 dst_release(dst);
2624 dst = NULL;
2625 }
2626 }
2627 return dst;
2628}
2629
David Miller54920932017-11-28 15:41:01 -05002630static void xfrm_init_pmtu(struct xfrm_dst **bundle, int nr)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002631{
David Miller54920932017-11-28 15:41:01 -05002632 while (nr--) {
2633 struct xfrm_dst *xdst = bundle[nr];
Linus Torvalds1da177e2005-04-16 15:20:36 -07002634 u32 pmtu, route_mtu_cached;
David Miller54920932017-11-28 15:41:01 -05002635 struct dst_entry *dst;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002636
David Miller54920932017-11-28 15:41:01 -05002637 dst = &xdst->u.dst;
David Millerb92cf4a2017-11-28 15:40:22 -05002638 pmtu = dst_mtu(xfrm_dst_child(dst));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002639 xdst->child_mtu_cached = pmtu;
2640
2641 pmtu = xfrm_state_mtu(dst->xfrm, pmtu);
2642
2643 route_mtu_cached = dst_mtu(xdst->route);
2644 xdst->route_mtu_cached = route_mtu_cached;
2645
2646 if (pmtu > route_mtu_cached)
2647 pmtu = route_mtu_cached;
2648
David S. Millerdefb3512010-12-08 21:16:57 -08002649 dst_metric_set(dst, RTAX_MTU, pmtu);
David Miller54920932017-11-28 15:41:01 -05002650 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002651}
2652
Linus Torvalds1da177e2005-04-16 15:20:36 -07002653/* Check that the bundle accepts the flow and its components are
2654 * still valid.
2655 */
2656
Steffen Klassert12fdb4d2011-06-29 23:18:20 +00002657static int xfrm_bundle_ok(struct xfrm_dst *first)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002658{
David Miller54920932017-11-28 15:41:01 -05002659 struct xfrm_dst *bundle[XFRM_MAX_DEPTH];
Linus Torvalds1da177e2005-04-16 15:20:36 -07002660 struct dst_entry *dst = &first->u.dst;
David Miller54920932017-11-28 15:41:01 -05002661 struct xfrm_dst *xdst;
2662 int start_from, nr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002663 u32 mtu;
2664
David Miller0f6c4802017-11-28 15:40:46 -05002665 if (!dst_check(xfrm_dst_path(dst), ((struct xfrm_dst *)dst)->path_cookie) ||
Linus Torvalds1da177e2005-04-16 15:20:36 -07002666 (dst->dev && !netif_running(dst->dev)))
2667 return 0;
2668
Steffen Klasserta0073fe2013-02-05 12:52:55 +01002669 if (dst->flags & DST_XFRM_QUEUE)
2670 return 1;
2671
David Miller54920932017-11-28 15:41:01 -05002672 start_from = nr = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002673 do {
2674 struct xfrm_dst *xdst = (struct xfrm_dst *)dst;
2675
Linus Torvalds1da177e2005-04-16 15:20:36 -07002676 if (dst->xfrm->km.state != XFRM_STATE_VALID)
2677 return 0;
Timo Teräs80c802f2010-04-07 00:30:05 +00002678 if (xdst->xfrm_genid != dst->xfrm->genid)
2679 return 0;
Timo Teräsb1312c82010-06-24 14:35:00 -07002680 if (xdst->num_pols > 0 &&
2681 xdst->policy_genid != atomic_read(&xdst->pols[0]->genid))
David S. Miller9d4a7062006-08-24 03:18:09 -07002682 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002683
David Miller54920932017-11-28 15:41:01 -05002684 bundle[nr++] = xdst;
2685
David Millerb92cf4a2017-11-28 15:40:22 -05002686 mtu = dst_mtu(xfrm_dst_child(dst));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002687 if (xdst->child_mtu_cached != mtu) {
David Miller54920932017-11-28 15:41:01 -05002688 start_from = nr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002689 xdst->child_mtu_cached = mtu;
2690 }
2691
Hideaki YOSHIFUJI92d63de2005-05-26 12:58:04 -07002692 if (!dst_check(xdst->route, xdst->route_cookie))
Linus Torvalds1da177e2005-04-16 15:20:36 -07002693 return 0;
2694 mtu = dst_mtu(xdst->route);
2695 if (xdst->route_mtu_cached != mtu) {
David Miller54920932017-11-28 15:41:01 -05002696 start_from = nr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002697 xdst->route_mtu_cached = mtu;
2698 }
2699
David Millerb92cf4a2017-11-28 15:40:22 -05002700 dst = xfrm_dst_child(dst);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002701 } while (dst->xfrm);
2702
David Miller54920932017-11-28 15:41:01 -05002703 if (likely(!start_from))
Linus Torvalds1da177e2005-04-16 15:20:36 -07002704 return 1;
2705
David Miller54920932017-11-28 15:41:01 -05002706 xdst = bundle[start_from - 1];
2707 mtu = xdst->child_mtu_cached;
2708 while (start_from--) {
2709 dst = &xdst->u.dst;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002710
2711 mtu = xfrm_state_mtu(dst->xfrm, mtu);
David Miller54920932017-11-28 15:41:01 -05002712 if (mtu > xdst->route_mtu_cached)
2713 mtu = xdst->route_mtu_cached;
David S. Millerdefb3512010-12-08 21:16:57 -08002714 dst_metric_set(dst, RTAX_MTU, mtu);
David Miller54920932017-11-28 15:41:01 -05002715 if (!start_from)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002716 break;
2717
David Miller54920932017-11-28 15:41:01 -05002718 xdst = bundle[start_from - 1];
2719 xdst->child_mtu_cached = mtu;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002720 }
2721
2722 return 1;
2723}
2724
David S. Miller0dbaee32010-12-13 12:52:14 -08002725static unsigned int xfrm_default_advmss(const struct dst_entry *dst)
2726{
David Miller0f6c4802017-11-28 15:40:46 -05002727 return dst_metric_advmss(xfrm_dst_path(dst));
David S. Miller0dbaee32010-12-13 12:52:14 -08002728}
2729
Steffen Klassertebb762f2011-11-23 02:12:51 +00002730static unsigned int xfrm_mtu(const struct dst_entry *dst)
David S. Millerd33e4552010-12-14 13:01:14 -08002731{
Steffen Klassert618f9bc2011-11-23 02:13:31 +00002732 unsigned int mtu = dst_metric_raw(dst, RTAX_MTU);
2733
David Miller0f6c4802017-11-28 15:40:46 -05002734 return mtu ? : dst_mtu(xfrm_dst_path(dst));
David S. Millerd33e4552010-12-14 13:01:14 -08002735}
2736
Julian Anastasov1ecc9ad2017-02-25 17:57:43 +02002737static const void *xfrm_get_dst_nexthop(const struct dst_entry *dst,
2738 const void *daddr)
Julian Anastasov63fca652017-02-06 23:14:15 +02002739{
David Miller0f6c4802017-11-28 15:40:46 -05002740 while (dst->xfrm) {
Julian Anastasov63fca652017-02-06 23:14:15 +02002741 const struct xfrm_state *xfrm = dst->xfrm;
2742
Steffen Klassert013cb812018-02-19 07:44:07 +01002743 dst = xfrm_dst_child(dst);
2744
Julian Anastasov63fca652017-02-06 23:14:15 +02002745 if (xfrm->props.mode == XFRM_MODE_TRANSPORT)
2746 continue;
2747 if (xfrm->type->flags & XFRM_TYPE_REMOTE_COADDR)
2748 daddr = xfrm->coaddr;
2749 else if (!(xfrm->type->flags & XFRM_TYPE_LOCAL_COADDR))
2750 daddr = &xfrm->id.daddr;
2751 }
Julian Anastasov1ecc9ad2017-02-25 17:57:43 +02002752 return daddr;
2753}
2754
2755static struct neighbour *xfrm_neigh_lookup(const struct dst_entry *dst,
2756 struct sk_buff *skb,
2757 const void *daddr)
2758{
David Miller0f6c4802017-11-28 15:40:46 -05002759 const struct dst_entry *path = xfrm_dst_path(dst);
Julian Anastasov1ecc9ad2017-02-25 17:57:43 +02002760
2761 if (!skb)
2762 daddr = xfrm_get_dst_nexthop(dst, daddr);
2763 return path->ops->neigh_lookup(path, skb, daddr);
2764}
2765
2766static void xfrm_confirm_neigh(const struct dst_entry *dst, const void *daddr)
2767{
David Miller0f6c4802017-11-28 15:40:46 -05002768 const struct dst_entry *path = xfrm_dst_path(dst);
Julian Anastasov1ecc9ad2017-02-25 17:57:43 +02002769
2770 daddr = xfrm_get_dst_nexthop(dst, daddr);
Julian Anastasov63fca652017-02-06 23:14:15 +02002771 path->ops->confirm_neigh(path, daddr);
2772}
2773
Florian Westphala2817d82017-02-07 15:00:17 +01002774int xfrm_policy_register_afinfo(const struct xfrm_policy_afinfo *afinfo, int family)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002775{
2776 int err = 0;
Florian Westphala2817d82017-02-07 15:00:17 +01002777
2778 if (WARN_ON(family >= ARRAY_SIZE(xfrm_policy_afinfo)))
Linus Torvalds1da177e2005-04-16 15:20:36 -07002779 return -EAFNOSUPPORT;
Florian Westphala2817d82017-02-07 15:00:17 +01002780
Eric Dumazetef8531b2012-08-19 12:31:48 +02002781 spin_lock(&xfrm_policy_afinfo_lock);
Florian Westphala2817d82017-02-07 15:00:17 +01002782 if (unlikely(xfrm_policy_afinfo[family] != NULL))
Li RongQingf31e8d4f2015-04-23 11:06:53 +08002783 err = -EEXIST;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002784 else {
2785 struct dst_ops *dst_ops = afinfo->dst_ops;
2786 if (likely(dst_ops->kmem_cachep == NULL))
2787 dst_ops->kmem_cachep = xfrm_dst_cache;
2788 if (likely(dst_ops->check == NULL))
2789 dst_ops->check = xfrm_dst_check;
David S. Miller0dbaee32010-12-13 12:52:14 -08002790 if (likely(dst_ops->default_advmss == NULL))
2791 dst_ops->default_advmss = xfrm_default_advmss;
Steffen Klassertebb762f2011-11-23 02:12:51 +00002792 if (likely(dst_ops->mtu == NULL))
2793 dst_ops->mtu = xfrm_mtu;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002794 if (likely(dst_ops->negative_advice == NULL))
2795 dst_ops->negative_advice = xfrm_negative_advice;
2796 if (likely(dst_ops->link_failure == NULL))
2797 dst_ops->link_failure = xfrm_link_failure;
David S. Millerd3aaeb32011-07-18 00:40:17 -07002798 if (likely(dst_ops->neigh_lookup == NULL))
2799 dst_ops->neigh_lookup = xfrm_neigh_lookup;
Julian Anastasov63fca652017-02-06 23:14:15 +02002800 if (likely(!dst_ops->confirm_neigh))
2801 dst_ops->confirm_neigh = xfrm_confirm_neigh;
Florian Westphala2817d82017-02-07 15:00:17 +01002802 rcu_assign_pointer(xfrm_policy_afinfo[family], afinfo);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002803 }
Eric Dumazetef8531b2012-08-19 12:31:48 +02002804 spin_unlock(&xfrm_policy_afinfo_lock);
Alexey Dobriyand7c75442010-01-24 22:47:53 -08002805
Linus Torvalds1da177e2005-04-16 15:20:36 -07002806 return err;
2807}
2808EXPORT_SYMBOL(xfrm_policy_register_afinfo);
2809
Florian Westphala2817d82017-02-07 15:00:17 +01002810void xfrm_policy_unregister_afinfo(const struct xfrm_policy_afinfo *afinfo)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002811{
Florian Westphal2b619972017-02-07 15:00:15 +01002812 struct dst_ops *dst_ops = afinfo->dst_ops;
Florian Westphala2817d82017-02-07 15:00:17 +01002813 int i;
Eric Dumazetef8531b2012-08-19 12:31:48 +02002814
Florian Westphala2817d82017-02-07 15:00:17 +01002815 for (i = 0; i < ARRAY_SIZE(xfrm_policy_afinfo); i++) {
2816 if (xfrm_policy_afinfo[i] != afinfo)
2817 continue;
2818 RCU_INIT_POINTER(xfrm_policy_afinfo[i], NULL);
2819 break;
Eric Dumazetef8531b2012-08-19 12:31:48 +02002820 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002821
Florian Westphal2b619972017-02-07 15:00:15 +01002822 synchronize_rcu();
Linus Torvalds1da177e2005-04-16 15:20:36 -07002823
Florian Westphal2b619972017-02-07 15:00:15 +01002824 dst_ops->kmem_cachep = NULL;
2825 dst_ops->check = NULL;
2826 dst_ops->negative_advice = NULL;
2827 dst_ops->link_failure = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002828}
2829EXPORT_SYMBOL(xfrm_policy_unregister_afinfo);
2830
Masahide NAKAMURA558f82e2007-12-20 20:42:57 -08002831#ifdef CONFIG_XFRM_STATISTICS
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002832static int __net_init xfrm_statistics_init(struct net *net)
Masahide NAKAMURA558f82e2007-12-20 20:42:57 -08002833{
Alexey Dobriyanc68cd1a2008-11-25 18:00:14 -08002834 int rv;
WANG Cong698365f2014-05-05 15:55:55 -07002835 net->mib.xfrm_statistics = alloc_percpu(struct linux_xfrm_mib);
2836 if (!net->mib.xfrm_statistics)
Masahide NAKAMURA558f82e2007-12-20 20:42:57 -08002837 return -ENOMEM;
Alexey Dobriyanc68cd1a2008-11-25 18:00:14 -08002838 rv = xfrm_proc_init(net);
2839 if (rv < 0)
WANG Cong698365f2014-05-05 15:55:55 -07002840 free_percpu(net->mib.xfrm_statistics);
Alexey Dobriyanc68cd1a2008-11-25 18:00:14 -08002841 return rv;
Masahide NAKAMURA558f82e2007-12-20 20:42:57 -08002842}
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002843
2844static void xfrm_statistics_fini(struct net *net)
2845{
Alexey Dobriyanc68cd1a2008-11-25 18:00:14 -08002846 xfrm_proc_fini(net);
WANG Cong698365f2014-05-05 15:55:55 -07002847 free_percpu(net->mib.xfrm_statistics);
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002848}
2849#else
2850static int __net_init xfrm_statistics_init(struct net *net)
2851{
2852 return 0;
2853}
2854
2855static void xfrm_statistics_fini(struct net *net)
2856{
2857}
Masahide NAKAMURA558f82e2007-12-20 20:42:57 -08002858#endif
2859
Alexey Dobriyand62ddc22008-11-25 17:14:31 -08002860static int __net_init xfrm_policy_init(struct net *net)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002861{
David S. Miller2518c7c2006-08-24 04:45:07 -07002862 unsigned int hmask, sz;
2863 int dir;
2864
Alexey Dobriyand62ddc22008-11-25 17:14:31 -08002865 if (net_eq(net, &init_net))
2866 xfrm_dst_cache = kmem_cache_create("xfrm_dst_cache",
Linus Torvalds1da177e2005-04-16 15:20:36 -07002867 sizeof(struct xfrm_dst),
Alexey Dobriyane5d679f332006-08-26 19:25:52 -07002868 0, SLAB_HWCACHE_ALIGN|SLAB_PANIC,
Paul Mundt20c2df82007-07-20 10:11:58 +09002869 NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002870
David S. Miller2518c7c2006-08-24 04:45:07 -07002871 hmask = 8 - 1;
2872 sz = (hmask+1) * sizeof(struct hlist_head);
2873
Alexey Dobriyan93b851c2008-11-25 17:22:35 -08002874 net->xfrm.policy_byidx = xfrm_hash_alloc(sz);
2875 if (!net->xfrm.policy_byidx)
2876 goto out_byidx;
Alexey Dobriyan8100bea2008-11-25 17:22:58 -08002877 net->xfrm.policy_idx_hmask = hmask;
David S. Miller2518c7c2006-08-24 04:45:07 -07002878
Herbert Xu53c2e282014-11-13 17:09:49 +08002879 for (dir = 0; dir < XFRM_POLICY_MAX; dir++) {
David S. Miller2518c7c2006-08-24 04:45:07 -07002880 struct xfrm_policy_hash *htab;
2881
Alexey Dobriyandc2caba2008-11-25 17:24:15 -08002882 net->xfrm.policy_count[dir] = 0;
Herbert Xu53c2e282014-11-13 17:09:49 +08002883 net->xfrm.policy_count[XFRM_POLICY_MAX + dir] = 0;
Alexey Dobriyan8b18f8e2008-11-25 17:23:26 -08002884 INIT_HLIST_HEAD(&net->xfrm.policy_inexact[dir]);
David S. Miller2518c7c2006-08-24 04:45:07 -07002885
Alexey Dobriyana35f6c52008-11-25 17:23:48 -08002886 htab = &net->xfrm.policy_bydst[dir];
David S. Miller44e36b42006-08-24 04:50:50 -07002887 htab->table = xfrm_hash_alloc(sz);
David S. Miller2518c7c2006-08-24 04:45:07 -07002888 if (!htab->table)
Alexey Dobriyana35f6c52008-11-25 17:23:48 -08002889 goto out_bydst;
2890 htab->hmask = hmask;
Christophe Gouaultb58555f2014-08-29 16:16:04 +02002891 htab->dbits4 = 32;
2892 htab->sbits4 = 32;
2893 htab->dbits6 = 128;
2894 htab->sbits6 = 128;
David S. Miller2518c7c2006-08-24 04:45:07 -07002895 }
Christophe Gouault880a6fa2014-08-29 16:16:05 +02002896 net->xfrm.policy_hthresh.lbits4 = 32;
2897 net->xfrm.policy_hthresh.rbits4 = 32;
2898 net->xfrm.policy_hthresh.lbits6 = 128;
2899 net->xfrm.policy_hthresh.rbits6 = 128;
2900
2901 seqlock_init(&net->xfrm.policy_hthresh.lock);
David S. Miller2518c7c2006-08-24 04:45:07 -07002902
Alexey Dobriyanadfcf0b2008-11-25 17:22:11 -08002903 INIT_LIST_HEAD(&net->xfrm.policy_all);
Alexey Dobriyan66caf622008-11-25 17:28:57 -08002904 INIT_WORK(&net->xfrm.policy_hash_work, xfrm_hash_resize);
Christophe Gouault880a6fa2014-08-29 16:16:05 +02002905 INIT_WORK(&net->xfrm.policy_hthresh.work, xfrm_hash_rebuild);
Alexey Dobriyand62ddc22008-11-25 17:14:31 -08002906 return 0;
Alexey Dobriyan93b851c2008-11-25 17:22:35 -08002907
Alexey Dobriyana35f6c52008-11-25 17:23:48 -08002908out_bydst:
2909 for (dir--; dir >= 0; dir--) {
2910 struct xfrm_policy_hash *htab;
2911
2912 htab = &net->xfrm.policy_bydst[dir];
2913 xfrm_hash_free(htab->table, sz);
2914 }
2915 xfrm_hash_free(net->xfrm.policy_byidx, sz);
Alexey Dobriyan93b851c2008-11-25 17:22:35 -08002916out_byidx:
2917 return -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002918}
2919
Alexey Dobriyand62ddc22008-11-25 17:14:31 -08002920static void xfrm_policy_fini(struct net *net)
2921{
Alexey Dobriyan93b851c2008-11-25 17:22:35 -08002922 unsigned int sz;
Alexey Dobriyan8b18f8e2008-11-25 17:23:26 -08002923 int dir;
Alexey Dobriyan93b851c2008-11-25 17:22:35 -08002924
Alexey Dobriyan7c2776e2008-11-25 17:57:44 -08002925 flush_work(&net->xfrm.policy_hash_work);
2926#ifdef CONFIG_XFRM_SUB_POLICY
Tetsuo Handa2e710292014-04-22 21:48:30 +09002927 xfrm_policy_flush(net, XFRM_POLICY_TYPE_SUB, false);
Alexey Dobriyan7c2776e2008-11-25 17:57:44 -08002928#endif
Tetsuo Handa2e710292014-04-22 21:48:30 +09002929 xfrm_policy_flush(net, XFRM_POLICY_TYPE_MAIN, false);
Alexey Dobriyan7c2776e2008-11-25 17:57:44 -08002930
Alexey Dobriyanadfcf0b2008-11-25 17:22:11 -08002931 WARN_ON(!list_empty(&net->xfrm.policy_all));
Alexey Dobriyan93b851c2008-11-25 17:22:35 -08002932
Herbert Xu53c2e282014-11-13 17:09:49 +08002933 for (dir = 0; dir < XFRM_POLICY_MAX; dir++) {
Alexey Dobriyana35f6c52008-11-25 17:23:48 -08002934 struct xfrm_policy_hash *htab;
2935
Alexey Dobriyan8b18f8e2008-11-25 17:23:26 -08002936 WARN_ON(!hlist_empty(&net->xfrm.policy_inexact[dir]));
Alexey Dobriyana35f6c52008-11-25 17:23:48 -08002937
2938 htab = &net->xfrm.policy_bydst[dir];
Michal Kubecek5b653b22013-01-18 16:03:48 +01002939 sz = (htab->hmask + 1) * sizeof(struct hlist_head);
Alexey Dobriyana35f6c52008-11-25 17:23:48 -08002940 WARN_ON(!hlist_empty(htab->table));
2941 xfrm_hash_free(htab->table, sz);
Alexey Dobriyan8b18f8e2008-11-25 17:23:26 -08002942 }
2943
Alexey Dobriyan8100bea2008-11-25 17:22:58 -08002944 sz = (net->xfrm.policy_idx_hmask + 1) * sizeof(struct hlist_head);
Alexey Dobriyan93b851c2008-11-25 17:22:35 -08002945 WARN_ON(!hlist_empty(net->xfrm.policy_byidx));
2946 xfrm_hash_free(net->xfrm.policy_byidx, sz);
Alexey Dobriyand62ddc22008-11-25 17:14:31 -08002947}
2948
2949static int __net_init xfrm_net_init(struct net *net)
2950{
2951 int rv;
2952
Florian Westphalc2822222017-02-08 11:52:29 +01002953 /* Initialize the per-net locks here */
2954 spin_lock_init(&net->xfrm.xfrm_state_lock);
2955 spin_lock_init(&net->xfrm.xfrm_policy_lock);
2956 mutex_init(&net->xfrm.xfrm_cfg_mutex);
2957
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002958 rv = xfrm_statistics_init(net);
2959 if (rv < 0)
2960 goto out_statistics;
Alexey Dobriyand62ddc22008-11-25 17:14:31 -08002961 rv = xfrm_state_init(net);
2962 if (rv < 0)
2963 goto out_state;
2964 rv = xfrm_policy_init(net);
2965 if (rv < 0)
2966 goto out_policy;
Alexey Dobriyanb27aead2008-11-25 18:00:48 -08002967 rv = xfrm_sysctl_init(net);
2968 if (rv < 0)
2969 goto out_sysctl;
Fan Du283bc9f2013-11-07 17:47:50 +08002970
Alexey Dobriyand62ddc22008-11-25 17:14:31 -08002971 return 0;
2972
Alexey Dobriyanb27aead2008-11-25 18:00:48 -08002973out_sysctl:
2974 xfrm_policy_fini(net);
Alexey Dobriyand62ddc22008-11-25 17:14:31 -08002975out_policy:
2976 xfrm_state_fini(net);
2977out_state:
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002978 xfrm_statistics_fini(net);
2979out_statistics:
Alexey Dobriyand62ddc22008-11-25 17:14:31 -08002980 return rv;
2981}
2982
2983static void __net_exit xfrm_net_exit(struct net *net)
2984{
Alexey Dobriyanb27aead2008-11-25 18:00:48 -08002985 xfrm_sysctl_fini(net);
Alexey Dobriyand62ddc22008-11-25 17:14:31 -08002986 xfrm_policy_fini(net);
2987 xfrm_state_fini(net);
Alexey Dobriyan59c99402008-11-25 17:59:52 -08002988 xfrm_statistics_fini(net);
Alexey Dobriyand62ddc22008-11-25 17:14:31 -08002989}
2990
2991static struct pernet_operations __net_initdata xfrm_net_ops = {
2992 .init = xfrm_net_init,
2993 .exit = xfrm_net_exit,
2994};
2995
Linus Torvalds1da177e2005-04-16 15:20:36 -07002996void __init xfrm_init(void)
2997{
Florian Westphalec30d782017-07-17 13:57:27 +02002998 int i;
2999
3000 xfrm_pcpu_work = kmalloc_array(NR_CPUS, sizeof(*xfrm_pcpu_work),
3001 GFP_KERNEL);
3002 BUG_ON(!xfrm_pcpu_work);
3003
3004 for (i = 0; i < NR_CPUS; i++)
3005 INIT_WORK(&xfrm_pcpu_work[i], xfrm_pcpu_work_fn);
3006
Alexey Dobriyand62ddc22008-11-25 17:14:31 -08003007 register_pernet_subsys(&xfrm_net_ops);
Kirill Tkhaie9a441b2018-03-29 17:03:25 +03003008 xfrm_dev_init();
Florian Westphal30846092016-08-11 15:17:54 +02003009 seqcount_init(&xfrm_policy_hash_generation);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003010 xfrm_input_init();
3011}
3012
Joy Lattenab5f5e82007-09-17 11:51:22 -07003013#ifdef CONFIG_AUDITSYSCALL
Ilpo Järvinen1486cbd72008-01-12 03:20:03 -08003014static void xfrm_audit_common_policyinfo(struct xfrm_policy *xp,
3015 struct audit_buffer *audit_buf)
Joy Lattenab5f5e82007-09-17 11:51:22 -07003016{
Paul Moore875179f2007-12-01 23:27:18 +11003017 struct xfrm_sec_ctx *ctx = xp->security;
3018 struct xfrm_selector *sel = &xp->selector;
Joy Lattenab5f5e82007-09-17 11:51:22 -07003019
Paul Moore875179f2007-12-01 23:27:18 +11003020 if (ctx)
3021 audit_log_format(audit_buf, " sec_alg=%u sec_doi=%u sec_obj=%s",
3022 ctx->ctx_alg, ctx->ctx_doi, ctx->ctx_str);
3023
Weilong Chen9b7a7872013-12-24 09:43:46 +08003024 switch (sel->family) {
Joy Lattenab5f5e82007-09-17 11:51:22 -07003025 case AF_INET:
Harvey Harrison21454aa2008-10-31 00:54:56 -07003026 audit_log_format(audit_buf, " src=%pI4", &sel->saddr.a4);
Paul Moore875179f2007-12-01 23:27:18 +11003027 if (sel->prefixlen_s != 32)
3028 audit_log_format(audit_buf, " src_prefixlen=%d",
3029 sel->prefixlen_s);
Harvey Harrison21454aa2008-10-31 00:54:56 -07003030 audit_log_format(audit_buf, " dst=%pI4", &sel->daddr.a4);
Paul Moore875179f2007-12-01 23:27:18 +11003031 if (sel->prefixlen_d != 32)
3032 audit_log_format(audit_buf, " dst_prefixlen=%d",
3033 sel->prefixlen_d);
Joy Lattenab5f5e82007-09-17 11:51:22 -07003034 break;
3035 case AF_INET6:
Harvey Harrison5b095d9892008-10-29 12:52:50 -07003036 audit_log_format(audit_buf, " src=%pI6", sel->saddr.a6);
Paul Moore875179f2007-12-01 23:27:18 +11003037 if (sel->prefixlen_s != 128)
3038 audit_log_format(audit_buf, " src_prefixlen=%d",
3039 sel->prefixlen_s);
Harvey Harrison5b095d9892008-10-29 12:52:50 -07003040 audit_log_format(audit_buf, " dst=%pI6", sel->daddr.a6);
Paul Moore875179f2007-12-01 23:27:18 +11003041 if (sel->prefixlen_d != 128)
3042 audit_log_format(audit_buf, " dst_prefixlen=%d",
3043 sel->prefixlen_d);
Joy Lattenab5f5e82007-09-17 11:51:22 -07003044 break;
3045 }
3046}
3047
Tetsuo Handa2e710292014-04-22 21:48:30 +09003048void xfrm_audit_policy_add(struct xfrm_policy *xp, int result, bool task_valid)
Joy Lattenab5f5e82007-09-17 11:51:22 -07003049{
3050 struct audit_buffer *audit_buf;
Joy Lattenab5f5e82007-09-17 11:51:22 -07003051
Paul Mooreafeb14b2007-12-21 14:58:11 -08003052 audit_buf = xfrm_audit_start("SPD-add");
Joy Lattenab5f5e82007-09-17 11:51:22 -07003053 if (audit_buf == NULL)
3054 return;
Tetsuo Handa2e710292014-04-22 21:48:30 +09003055 xfrm_audit_helper_usrinfo(task_valid, audit_buf);
Paul Mooreafeb14b2007-12-21 14:58:11 -08003056 audit_log_format(audit_buf, " res=%u", result);
Joy Lattenab5f5e82007-09-17 11:51:22 -07003057 xfrm_audit_common_policyinfo(xp, audit_buf);
3058 audit_log_end(audit_buf);
3059}
3060EXPORT_SYMBOL_GPL(xfrm_audit_policy_add);
3061
Paul Moore68277ac2007-12-20 20:49:33 -08003062void xfrm_audit_policy_delete(struct xfrm_policy *xp, int result,
Tetsuo Handa2e710292014-04-22 21:48:30 +09003063 bool task_valid)
Joy Lattenab5f5e82007-09-17 11:51:22 -07003064{
3065 struct audit_buffer *audit_buf;
Joy Lattenab5f5e82007-09-17 11:51:22 -07003066
Paul Mooreafeb14b2007-12-21 14:58:11 -08003067 audit_buf = xfrm_audit_start("SPD-delete");
Joy Lattenab5f5e82007-09-17 11:51:22 -07003068 if (audit_buf == NULL)
3069 return;
Tetsuo Handa2e710292014-04-22 21:48:30 +09003070 xfrm_audit_helper_usrinfo(task_valid, audit_buf);
Paul Mooreafeb14b2007-12-21 14:58:11 -08003071 audit_log_format(audit_buf, " res=%u", result);
Joy Lattenab5f5e82007-09-17 11:51:22 -07003072 xfrm_audit_common_policyinfo(xp, audit_buf);
3073 audit_log_end(audit_buf);
3074}
3075EXPORT_SYMBOL_GPL(xfrm_audit_policy_delete);
3076#endif
3077
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003078#ifdef CONFIG_XFRM_MIGRATE
David S. Millerbc9b35a2012-05-15 15:04:57 -04003079static bool xfrm_migrate_selector_match(const struct xfrm_selector *sel_cmp,
3080 const struct xfrm_selector *sel_tgt)
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003081{
3082 if (sel_cmp->proto == IPSEC_ULPROTO_ANY) {
3083 if (sel_tgt->family == sel_cmp->family &&
YOSHIFUJI Hideaki / 吉藤英明70e94e62013-01-29 12:48:50 +00003084 xfrm_addr_equal(&sel_tgt->daddr, &sel_cmp->daddr,
3085 sel_cmp->family) &&
3086 xfrm_addr_equal(&sel_tgt->saddr, &sel_cmp->saddr,
3087 sel_cmp->family) &&
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003088 sel_tgt->prefixlen_d == sel_cmp->prefixlen_d &&
3089 sel_tgt->prefixlen_s == sel_cmp->prefixlen_s) {
David S. Millerbc9b35a2012-05-15 15:04:57 -04003090 return true;
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003091 }
3092 } else {
3093 if (memcmp(sel_tgt, sel_cmp, sizeof(*sel_tgt)) == 0) {
David S. Millerbc9b35a2012-05-15 15:04:57 -04003094 return true;
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003095 }
3096 }
David S. Millerbc9b35a2012-05-15 15:04:57 -04003097 return false;
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003098}
3099
Weilong Chen3e94c2d2013-12-24 09:43:47 +08003100static struct xfrm_policy *xfrm_migrate_policy_find(const struct xfrm_selector *sel,
3101 u8 dir, u8 type, struct net *net)
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003102{
3103 struct xfrm_policy *pol, *ret = NULL;
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003104 struct hlist_head *chain;
3105 u32 priority = ~0U;
3106
Florian Westphal9d0380d2016-08-11 15:17:59 +02003107 spin_lock_bh(&net->xfrm.xfrm_policy_lock);
Fan Du8d549c42013-11-07 17:47:49 +08003108 chain = policy_hash_direct(net, &sel->daddr, &sel->saddr, sel->family, dir);
Sasha Levinb67bfe02013-02-27 17:06:00 -08003109 hlist_for_each_entry(pol, chain, bydst) {
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003110 if (xfrm_migrate_selector_match(sel, &pol->selector) &&
3111 pol->type == type) {
3112 ret = pol;
3113 priority = ret->priority;
3114 break;
3115 }
3116 }
Fan Du8d549c42013-11-07 17:47:49 +08003117 chain = &net->xfrm.policy_inexact[dir];
Sasha Levinb67bfe02013-02-27 17:06:00 -08003118 hlist_for_each_entry(pol, chain, bydst) {
Li RongQing8faf4912015-05-14 11:16:59 +08003119 if ((pol->priority >= priority) && ret)
3120 break;
3121
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003122 if (xfrm_migrate_selector_match(sel, &pol->selector) &&
Li RongQing8faf4912015-05-14 11:16:59 +08003123 pol->type == type) {
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003124 ret = pol;
3125 break;
3126 }
3127 }
3128
Li RongQing586f2eb2015-04-30 17:13:41 +08003129 xfrm_pol_hold(ret);
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003130
Florian Westphal9d0380d2016-08-11 15:17:59 +02003131 spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003132
3133 return ret;
3134}
3135
David S. Millerdd701752011-02-24 00:21:08 -05003136static int migrate_tmpl_match(const struct xfrm_migrate *m, const struct xfrm_tmpl *t)
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003137{
3138 int match = 0;
3139
3140 if (t->mode == m->mode && t->id.proto == m->proto &&
3141 (m->reqid == 0 || t->reqid == m->reqid)) {
3142 switch (t->mode) {
3143 case XFRM_MODE_TUNNEL:
3144 case XFRM_MODE_BEET:
YOSHIFUJI Hideaki / 吉藤英明70e94e62013-01-29 12:48:50 +00003145 if (xfrm_addr_equal(&t->id.daddr, &m->old_daddr,
3146 m->old_family) &&
3147 xfrm_addr_equal(&t->saddr, &m->old_saddr,
3148 m->old_family)) {
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003149 match = 1;
3150 }
3151 break;
3152 case XFRM_MODE_TRANSPORT:
3153 /* in case of transport mode, template does not store
3154 any IP addresses, hence we just compare mode and
3155 protocol */
3156 match = 1;
3157 break;
3158 default:
3159 break;
3160 }
3161 }
3162 return match;
3163}
3164
3165/* update endpoint address(es) of template(s) */
3166static int xfrm_policy_migrate(struct xfrm_policy *pol,
3167 struct xfrm_migrate *m, int num_migrate)
3168{
3169 struct xfrm_migrate *mp;
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003170 int i, j, n = 0;
3171
3172 write_lock_bh(&pol->lock);
Herbert Xu12a169e2008-10-01 07:03:24 -07003173 if (unlikely(pol->walk.dead)) {
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003174 /* target policy has been deleted */
3175 write_unlock_bh(&pol->lock);
3176 return -ENOENT;
3177 }
3178
3179 for (i = 0; i < pol->xfrm_nr; i++) {
3180 for (j = 0, mp = m; j < num_migrate; j++, mp++) {
3181 if (!migrate_tmpl_match(mp, &pol->xfrm_vec[i]))
3182 continue;
3183 n++;
Herbert Xu1bfcb102007-10-17 21:31:50 -07003184 if (pol->xfrm_vec[i].mode != XFRM_MODE_TUNNEL &&
3185 pol->xfrm_vec[i].mode != XFRM_MODE_BEET)
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003186 continue;
3187 /* update endpoints */
3188 memcpy(&pol->xfrm_vec[i].id.daddr, &mp->new_daddr,
3189 sizeof(pol->xfrm_vec[i].id.daddr));
3190 memcpy(&pol->xfrm_vec[i].saddr, &mp->new_saddr,
3191 sizeof(pol->xfrm_vec[i].saddr));
3192 pol->xfrm_vec[i].encap_family = mp->new_family;
3193 /* flush bundles */
Timo Teräs80c802f2010-04-07 00:30:05 +00003194 atomic_inc(&pol->genid);
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003195 }
3196 }
3197
3198 write_unlock_bh(&pol->lock);
3199
3200 if (!n)
3201 return -ENODATA;
3202
3203 return 0;
3204}
3205
David S. Millerdd701752011-02-24 00:21:08 -05003206static int xfrm_migrate_check(const struct xfrm_migrate *m, int num_migrate)
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003207{
3208 int i, j;
3209
3210 if (num_migrate < 1 || num_migrate > XFRM_MAX_DEPTH)
3211 return -EINVAL;
3212
3213 for (i = 0; i < num_migrate; i++) {
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003214 if (xfrm_addr_any(&m[i].new_daddr, m[i].new_family) ||
3215 xfrm_addr_any(&m[i].new_saddr, m[i].new_family))
3216 return -EINVAL;
3217
3218 /* check if there is any duplicated entry */
3219 for (j = i + 1; j < num_migrate; j++) {
3220 if (!memcmp(&m[i].old_daddr, &m[j].old_daddr,
3221 sizeof(m[i].old_daddr)) &&
3222 !memcmp(&m[i].old_saddr, &m[j].old_saddr,
3223 sizeof(m[i].old_saddr)) &&
3224 m[i].proto == m[j].proto &&
3225 m[i].mode == m[j].mode &&
3226 m[i].reqid == m[j].reqid &&
3227 m[i].old_family == m[j].old_family)
3228 return -EINVAL;
3229 }
3230 }
3231
3232 return 0;
3233}
3234
David S. Millerb4b7c0b2011-02-24 00:35:06 -05003235int xfrm_migrate(const struct xfrm_selector *sel, u8 dir, u8 type,
Arnaud Ebalard13c1d182008-10-05 13:33:42 -07003236 struct xfrm_migrate *m, int num_migrate,
Antony Antony4ab47d42017-06-06 12:12:13 +02003237 struct xfrm_kmaddress *k, struct net *net,
3238 struct xfrm_encap_tmpl *encap)
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003239{
3240 int i, err, nx_cur = 0, nx_new = 0;
3241 struct xfrm_policy *pol = NULL;
3242 struct xfrm_state *x, *xc;
3243 struct xfrm_state *x_cur[XFRM_MAX_DEPTH];
3244 struct xfrm_state *x_new[XFRM_MAX_DEPTH];
3245 struct xfrm_migrate *mp;
3246
Vladis Dronov7bab0962017-08-02 19:50:14 +02003247 /* Stage 0 - sanity checks */
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003248 if ((err = xfrm_migrate_check(m, num_migrate)) < 0)
3249 goto out;
3250
Vladis Dronov7bab0962017-08-02 19:50:14 +02003251 if (dir >= XFRM_POLICY_MAX) {
3252 err = -EINVAL;
3253 goto out;
3254 }
3255
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003256 /* Stage 1 - find policy */
Fan Du8d549c42013-11-07 17:47:49 +08003257 if ((pol = xfrm_migrate_policy_find(sel, dir, type, net)) == NULL) {
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003258 err = -ENOENT;
3259 goto out;
3260 }
3261
3262 /* Stage 2 - find and update state(s) */
3263 for (i = 0, mp = m; i < num_migrate; i++, mp++) {
Fan Du283bc9f2013-11-07 17:47:50 +08003264 if ((x = xfrm_migrate_state_find(mp, net))) {
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003265 x_cur[nx_cur] = x;
3266 nx_cur++;
Antony Antony4ab47d42017-06-06 12:12:13 +02003267 xc = xfrm_state_migrate(x, mp, encap);
3268 if (xc) {
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003269 x_new[nx_new] = xc;
3270 nx_new++;
3271 } else {
3272 err = -ENODATA;
3273 goto restore_state;
3274 }
3275 }
3276 }
3277
3278 /* Stage 3 - update policy */
3279 if ((err = xfrm_policy_migrate(pol, m, num_migrate)) < 0)
3280 goto restore_state;
3281
3282 /* Stage 4 - delete old state(s) */
3283 if (nx_cur) {
3284 xfrm_states_put(x_cur, nx_cur);
3285 xfrm_states_delete(x_cur, nx_cur);
3286 }
3287
3288 /* Stage 5 - announce */
Antony Antony8bafd732017-06-06 12:12:14 +02003289 km_migrate(sel, dir, type, m, num_migrate, k, encap);
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003290
3291 xfrm_pol_put(pol);
3292
3293 return 0;
3294out:
3295 return err;
3296
3297restore_state:
3298 if (pol)
3299 xfrm_pol_put(pol);
3300 if (nx_cur)
3301 xfrm_states_put(x_cur, nx_cur);
3302 if (nx_new)
3303 xfrm_states_delete(x_new, nx_new);
3304
3305 return err;
3306}
David S. Millere610e672007-02-08 13:29:15 -08003307EXPORT_SYMBOL(xfrm_migrate);
Shinta Sugimoto80c9aba2007-02-08 13:11:42 -08003308#endif