xfrm_policy.c 84.5 KB
Newer Older
1
/*
L
Linus Torvalds 已提交
2 3 4 5 6 7 8 9 10 11 12
 * xfrm_policy.c
 *
 * Changes:
 *	Mitsuru KANDA @USAGI
 * 	Kazunori MIYAZAWA @USAGI
 * 	Kunihiro Ishiguro <kunihiro@ipinfusion.com>
 * 		IPv6 support
 * 	Kazunori MIYAZAWA @USAGI
 * 	YOSHIFUJI Hideaki
 * 		Split up af-specific portion
 *	Derek Atkins <derek@ihtfp.com>		Add the post_input processor
13
 *
L
Linus Torvalds 已提交
14 15
 */

16
#include <linux/err.h>
L
Linus Torvalds 已提交
17 18 19 20 21 22 23
#include <linux/slab.h>
#include <linux/kmod.h>
#include <linux/list.h>
#include <linux/spinlock.h>
#include <linux/workqueue.h>
#include <linux/notifier.h>
#include <linux/netdevice.h>
24
#include <linux/netfilter.h>
L
Linus Torvalds 已提交
25
#include <linux/module.h>
26
#include <linux/cache.h>
F
Florian Westphal 已提交
27
#include <linux/cpu.h>
P
Paul Moore 已提交
28
#include <linux/audit.h>
29
#include <linux/rhashtable.h>
30
#include <net/dst.h>
31
#include <net/flow.h>
L
Linus Torvalds 已提交
32 33
#include <net/xfrm.h>
#include <net/ip.h>
34 35 36
#ifdef CONFIG_XFRM_STATISTICS
#include <net/snmp.h>
#endif
L
Linus Torvalds 已提交
37

38 39
#include "xfrm_hash.h"

40 41 42 43
#define XFRM_QUEUE_TMO_MIN ((unsigned)(HZ/10))
#define XFRM_QUEUE_TMO_MAX ((unsigned)(60*HZ))
#define XFRM_MAX_QUEUE_LEN	100

44 45 46 47 48
struct xfrm_flo {
	struct dst_entry *dst_orig;
	u8 flags;
};

49 50
struct xfrm_pol_inexact_key {
	possible_net_t net;
51
	u32 if_id;
52 53 54 55 56 57 58 59 60 61 62 63 64 65
	u16 family;
	u8 dir, type;
};

struct xfrm_pol_inexact_bin {
	struct xfrm_pol_inexact_key k;
	struct rhash_head head;
	struct hlist_head hhead;

	/* slow path below */
	struct list_head inexact_bins;
	struct rcu_head rcu;
};

66 67 68
static DEFINE_SPINLOCK(xfrm_if_cb_lock);
static struct xfrm_if_cb const __rcu *xfrm_if_cb __read_mostly;

69
static DEFINE_SPINLOCK(xfrm_policy_afinfo_lock);
70
static struct xfrm_policy_afinfo const __rcu *xfrm_policy_afinfo[AF_INET6 + 1]
71
						__read_mostly;
L
Linus Torvalds 已提交
72

73
static struct kmem_cache *xfrm_dst_cache __ro_after_init;
74
static __read_mostly seqcount_t xfrm_policy_hash_generation;
L
Linus Torvalds 已提交
75

76 77 78
static struct rhashtable xfrm_policy_inexact_table;
static const struct rhashtable_params xfrm_pol_inexact_params;

79
static void xfrm_init_pmtu(struct xfrm_dst **bundle, int nr);
80
static int stale_bundle(struct dst_entry *dst);
81
static int xfrm_bundle_ok(struct xfrm_dst *xdst);
82
static void xfrm_policy_queue_process(struct timer_list *t);
L
Linus Torvalds 已提交
83

84
static void __xfrm_policy_link(struct xfrm_policy *pol, int dir);
W
Wei Yongjun 已提交
85 86 87
static struct xfrm_policy *__xfrm_policy_unlink(struct xfrm_policy *pol,
						int dir);

88
static struct xfrm_pol_inexact_bin *
89 90
xfrm_policy_inexact_lookup(struct net *net, u8 type, u16 family, u8 dir,
			   u32 if_id);
91 92 93

static struct xfrm_pol_inexact_bin *
xfrm_policy_inexact_lookup_rcu(struct net *net,
94
			       u8 type, u16 family, u8 dir, u32 if_id);
95 96 97 98 99 100
static struct xfrm_policy *
xfrm_policy_insert_list(struct hlist_head *chain, struct xfrm_policy *policy,
			bool excl);
static void xfrm_policy_insert_inexact_list(struct hlist_head *chain,
					    struct xfrm_policy *policy);

101 102
static inline bool xfrm_pol_hold_rcu(struct xfrm_policy *policy)
{
103
	return refcount_inc_not_zero(&policy->refcnt);
104 105
}

106
static inline bool
107
__xfrm4_selector_match(const struct xfrm_selector *sel, const struct flowi *fl)
108
{
109 110
	const struct flowi4 *fl4 = &fl->u.ip4;

111 112
	return  addr4_match(fl4->daddr, sel->daddr.a4, sel->prefixlen_d) &&
		addr4_match(fl4->saddr, sel->saddr.a4, sel->prefixlen_s) &&
113 114 115 116
		!((xfrm_flowi_dport(fl, &fl4->uli) ^ sel->dport) & sel->dport_mask) &&
		!((xfrm_flowi_sport(fl, &fl4->uli) ^ sel->sport) & sel->sport_mask) &&
		(fl4->flowi4_proto == sel->proto || !sel->proto) &&
		(fl4->flowi4_oif == sel->ifindex || !sel->ifindex);
117 118
}

119
static inline bool
120
__xfrm6_selector_match(const struct xfrm_selector *sel, const struct flowi *fl)
121
{
122 123 124 125 126 127 128 129
	const struct flowi6 *fl6 = &fl->u.ip6;

	return  addr_match(&fl6->daddr, &sel->daddr, sel->prefixlen_d) &&
		addr_match(&fl6->saddr, &sel->saddr, sel->prefixlen_s) &&
		!((xfrm_flowi_dport(fl, &fl6->uli) ^ sel->dport) & sel->dport_mask) &&
		!((xfrm_flowi_sport(fl, &fl6->uli) ^ sel->sport) & sel->sport_mask) &&
		(fl6->flowi6_proto == sel->proto || !sel->proto) &&
		(fl6->flowi6_oif == sel->ifindex || !sel->ifindex);
130 131
}

132 133
bool xfrm_selector_match(const struct xfrm_selector *sel, const struct flowi *fl,
			 unsigned short family)
134 135 136 137 138 139 140
{
	switch (family) {
	case AF_INET:
		return __xfrm4_selector_match(sel, fl);
	case AF_INET6:
		return __xfrm6_selector_match(sel, fl);
	}
141
	return false;
142 143
}

144
static const struct xfrm_policy_afinfo *xfrm_policy_get_afinfo(unsigned short family)
E
Eric Dumazet 已提交
145
{
146
	const struct xfrm_policy_afinfo *afinfo;
E
Eric Dumazet 已提交
147

148
	if (unlikely(family >= ARRAY_SIZE(xfrm_policy_afinfo)))
E
Eric Dumazet 已提交
149 150 151 152 153 154 155 156
		return NULL;
	rcu_read_lock();
	afinfo = rcu_dereference(xfrm_policy_afinfo[family]);
	if (unlikely(!afinfo))
		rcu_read_unlock();
	return afinfo;
}

157 158 159 160 161 162
/* Called with rcu_read_lock(). */
static const struct xfrm_if_cb *xfrm_if_get_cb(void)
{
	return rcu_dereference(xfrm_if_cb);
}

163 164 165
struct dst_entry *__xfrm_dst_lookup(struct net *net, int tos, int oif,
				    const xfrm_address_t *saddr,
				    const xfrm_address_t *daddr,
166
				    int family, u32 mark)
167
{
168
	const struct xfrm_policy_afinfo *afinfo;
169 170 171 172 173 174
	struct dst_entry *dst;

	afinfo = xfrm_policy_get_afinfo(family);
	if (unlikely(afinfo == NULL))
		return ERR_PTR(-EAFNOSUPPORT);

175
	dst = afinfo->dst_lookup(net, tos, oif, saddr, daddr, mark);
176

177
	rcu_read_unlock();
178 179 180

	return dst;
}
181
EXPORT_SYMBOL(__xfrm_dst_lookup);
182

D
David Ahern 已提交
183 184
static inline struct dst_entry *xfrm_dst_lookup(struct xfrm_state *x,
						int tos, int oif,
185 186
						xfrm_address_t *prev_saddr,
						xfrm_address_t *prev_daddr,
187
						int family, u32 mark)
L
Linus Torvalds 已提交
188
{
189
	struct net *net = xs_net(x);
190 191 192 193
	xfrm_address_t *saddr = &x->props.saddr;
	xfrm_address_t *daddr = &x->id.daddr;
	struct dst_entry *dst;

194
	if (x->type->flags & XFRM_TYPE_LOCAL_COADDR) {
195
		saddr = x->coaddr;
196 197 198 199
		daddr = prev_daddr;
	}
	if (x->type->flags & XFRM_TYPE_REMOTE_COADDR) {
		saddr = prev_saddr;
200
		daddr = x->coaddr;
201
	}
L
Linus Torvalds 已提交
202

203
	dst = __xfrm_dst_lookup(net, tos, oif, saddr, daddr, family, mark);
204 205 206 207 208 209 210

	if (!IS_ERR(dst)) {
		if (prev_saddr != saddr)
			memcpy(prev_saddr, saddr,  sizeof(*prev_saddr));
		if (prev_daddr != daddr)
			memcpy(prev_daddr, daddr,  sizeof(*prev_daddr));
	}
L
Linus Torvalds 已提交
211

212
	return dst;
L
Linus Torvalds 已提交
213 214 215 216 217 218 219
}

static inline unsigned long make_jiffies(long secs)
{
	if (secs >= (MAX_SCHEDULE_TIMEOUT-1)/HZ)
		return MAX_SCHEDULE_TIMEOUT-1;
	else
220
		return secs*HZ;
L
Linus Torvalds 已提交
221 222
}

223
static void xfrm_policy_timer(struct timer_list *t)
L
Linus Torvalds 已提交
224
{
225
	struct xfrm_policy *xp = from_timer(xp, t, timer);
226 227
	time64_t now = ktime_get_real_seconds();
	time64_t next = TIME64_MAX;
L
Linus Torvalds 已提交
228 229 230 231 232
	int warn = 0;
	int dir;

	read_lock(&xp->lock);

233
	if (unlikely(xp->walk.dead))
L
Linus Torvalds 已提交
234 235
		goto out;

236
	dir = xfrm_policy_id2dir(xp->index);
L
Linus Torvalds 已提交
237 238

	if (xp->lft.hard_add_expires_seconds) {
239
		time64_t tmo = xp->lft.hard_add_expires_seconds +
L
Linus Torvalds 已提交
240 241 242 243 244 245 246
			xp->curlft.add_time - now;
		if (tmo <= 0)
			goto expired;
		if (tmo < next)
			next = tmo;
	}
	if (xp->lft.hard_use_expires_seconds) {
247
		time64_t tmo = xp->lft.hard_use_expires_seconds +
L
Linus Torvalds 已提交
248 249 250 251 252 253 254
			(xp->curlft.use_time ? : xp->curlft.add_time) - now;
		if (tmo <= 0)
			goto expired;
		if (tmo < next)
			next = tmo;
	}
	if (xp->lft.soft_add_expires_seconds) {
255
		time64_t tmo = xp->lft.soft_add_expires_seconds +
L
Linus Torvalds 已提交
256 257 258 259 260 261 262 263 264
			xp->curlft.add_time - now;
		if (tmo <= 0) {
			warn = 1;
			tmo = XFRM_KM_TIMEOUT;
		}
		if (tmo < next)
			next = tmo;
	}
	if (xp->lft.soft_use_expires_seconds) {
265
		time64_t tmo = xp->lft.soft_use_expires_seconds +
L
Linus Torvalds 已提交
266 267 268 269 270 271 272 273 274 275
			(xp->curlft.use_time ? : xp->curlft.add_time) - now;
		if (tmo <= 0) {
			warn = 1;
			tmo = XFRM_KM_TIMEOUT;
		}
		if (tmo < next)
			next = tmo;
	}

	if (warn)
276
		km_policy_expired(xp, dir, 0, 0);
277
	if (next != TIME64_MAX &&
L
Linus Torvalds 已提交
278 279 280 281 282 283 284 285 286 287
	    !mod_timer(&xp->timer, jiffies + make_jiffies(next)))
		xfrm_pol_hold(xp);

out:
	read_unlock(&xp->lock);
	xfrm_pol_put(xp);
	return;

expired:
	read_unlock(&xp->lock);
288
	if (!xfrm_policy_delete(xp, dir))
289
		km_policy_expired(xp, dir, 1, 0);
L
Linus Torvalds 已提交
290 291 292 293 294 295 296
	xfrm_pol_put(xp);
}

/* Allocate xfrm_policy. Not used here, it is supposed to be used by pfkeyv2
 * SPD calls.
 */

297
struct xfrm_policy *xfrm_policy_alloc(struct net *net, gfp_t gfp)
L
Linus Torvalds 已提交
298 299 300
{
	struct xfrm_policy *policy;

301
	policy = kzalloc(sizeof(struct xfrm_policy), gfp);
L
Linus Torvalds 已提交
302 303

	if (policy) {
304
		write_pnet(&policy->xp_net, net);
H
Herbert Xu 已提交
305
		INIT_LIST_HEAD(&policy->walk.all);
306
		INIT_HLIST_NODE(&policy->bydst_inexact_list);
307 308
		INIT_HLIST_NODE(&policy->bydst);
		INIT_HLIST_NODE(&policy->byidx);
L
Linus Torvalds 已提交
309
		rwlock_init(&policy->lock);
310
		refcount_set(&policy->refcnt, 1);
311
		skb_queue_head_init(&policy->polq.hold_queue);
312 313 314
		timer_setup(&policy->timer, xfrm_policy_timer, 0);
		timer_setup(&policy->polq.hold_timer,
			    xfrm_policy_queue_process, 0);
L
Linus Torvalds 已提交
315 316 317 318 319
	}
	return policy;
}
EXPORT_SYMBOL(xfrm_policy_alloc);

320 321 322 323 324 325 326 327
static void xfrm_policy_destroy_rcu(struct rcu_head *head)
{
	struct xfrm_policy *policy = container_of(head, struct xfrm_policy, rcu);

	security_xfrm_policy_free(policy->security);
	kfree(policy);
}

L
Linus Torvalds 已提交
328 329
/* Destroy xfrm_policy: descendant resources must be released to this moment. */

330
void xfrm_policy_destroy(struct xfrm_policy *policy)
L
Linus Torvalds 已提交
331
{
H
Herbert Xu 已提交
332
	BUG_ON(!policy->walk.dead);
L
Linus Torvalds 已提交
333

334
	if (del_timer(&policy->timer) || del_timer(&policy->polq.hold_timer))
L
Linus Torvalds 已提交
335 336
		BUG();

337
	call_rcu(&policy->rcu, xfrm_policy_destroy_rcu);
L
Linus Torvalds 已提交
338
}
339
EXPORT_SYMBOL(xfrm_policy_destroy);
L
Linus Torvalds 已提交
340

A
Alexander Alemayhu 已提交
341
/* Rule must be locked. Release descendant resources, announce
L
Linus Torvalds 已提交
342 343 344 345 346
 * entry dead. The rule must be unlinked from lists to the moment.
 */

static void xfrm_policy_kill(struct xfrm_policy *policy)
{
H
Herbert Xu 已提交
347
	policy->walk.dead = 1;
L
Linus Torvalds 已提交
348

349
	atomic_inc(&policy->genid);
L
Linus Torvalds 已提交
350

351 352
	if (del_timer(&policy->polq.hold_timer))
		xfrm_pol_put(policy);
353
	skb_queue_purge(&policy->polq.hold_queue);
354

355 356 357 358
	if (del_timer(&policy->timer))
		xfrm_pol_put(policy);

	xfrm_pol_put(policy);
L
Linus Torvalds 已提交
359 360
}

361 362
static unsigned int xfrm_policy_hashmax __read_mostly = 1 * 1024 * 1024;

363
static inline unsigned int idx_hash(struct net *net, u32 index)
364
{
365
	return __idx_hash(index, net->xfrm.policy_idx_hmask);
366 367
}

368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389
/* calculate policy hash thresholds */
static void __get_hash_thresh(struct net *net,
			      unsigned short family, int dir,
			      u8 *dbits, u8 *sbits)
{
	switch (family) {
	case AF_INET:
		*dbits = net->xfrm.policy_bydst[dir].dbits4;
		*sbits = net->xfrm.policy_bydst[dir].sbits4;
		break;

	case AF_INET6:
		*dbits = net->xfrm.policy_bydst[dir].dbits6;
		*sbits = net->xfrm.policy_bydst[dir].sbits6;
		break;

	default:
		*dbits = 0;
		*sbits = 0;
	}
}

390 391 392
static struct hlist_head *policy_hash_bysel(struct net *net,
					    const struct xfrm_selector *sel,
					    unsigned short family, int dir)
393
{
394
	unsigned int hmask = net->xfrm.policy_bydst[dir].hmask;
395 396 397 398 399 400
	unsigned int hash;
	u8 dbits;
	u8 sbits;

	__get_hash_thresh(net, family, dir, &dbits, &sbits);
	hash = __sel_hash(sel, family, hmask, dbits, sbits);
401

402
	if (hash == hmask + 1)
403
		return NULL;
404 405 406

	return rcu_dereference_check(net->xfrm.policy_bydst[dir].table,
		     lockdep_is_held(&net->xfrm.xfrm_policy_lock)) + hash;
407 408
}

409 410 411 412
static struct hlist_head *policy_hash_direct(struct net *net,
					     const xfrm_address_t *daddr,
					     const xfrm_address_t *saddr,
					     unsigned short family, int dir)
413
{
414
	unsigned int hmask = net->xfrm.policy_bydst[dir].hmask;
415 416 417 418 419 420
	unsigned int hash;
	u8 dbits;
	u8 sbits;

	__get_hash_thresh(net, family, dir, &dbits, &sbits);
	hash = __addr_hash(daddr, saddr, family, hmask, dbits, sbits);
421

422 423
	return rcu_dereference_check(net->xfrm.policy_bydst[dir].table,
		     lockdep_is_held(&net->xfrm.xfrm_policy_lock)) + hash;
424 425
}

426 427
static void xfrm_dst_hash_transfer(struct net *net,
				   struct hlist_head *list,
428
				   struct hlist_head *ndsttable,
429 430
				   unsigned int nhashmask,
				   int dir)
431
{
432
	struct hlist_node *tmp, *entry0 = NULL;
433
	struct xfrm_policy *pol;
434
	unsigned int h0 = 0;
435 436
	u8 dbits;
	u8 sbits;
437

438
redo:
439
	hlist_for_each_entry_safe(pol, tmp, list, bydst) {
440 441
		unsigned int h;

442
		__get_hash_thresh(net, pol->family, dir, &dbits, &sbits);
443
		h = __addr_hash(&pol->selector.daddr, &pol->selector.saddr,
444
				pol->family, nhashmask, dbits, sbits);
445
		if (!entry0) {
446 447
			hlist_del_rcu(&pol->bydst);
			hlist_add_head_rcu(&pol->bydst, ndsttable + h);
448 449 450 451
			h0 = h;
		} else {
			if (h != h0)
				continue;
452 453
			hlist_del_rcu(&pol->bydst);
			hlist_add_behind_rcu(&pol->bydst, entry0);
454
		}
455
		entry0 = &pol->bydst;
456 457 458 459
	}
	if (!hlist_empty(list)) {
		entry0 = NULL;
		goto redo;
460 461 462 463 464 465 466
	}
}

static void xfrm_idx_hash_transfer(struct hlist_head *list,
				   struct hlist_head *nidxtable,
				   unsigned int nhashmask)
{
467
	struct hlist_node *tmp;
468 469
	struct xfrm_policy *pol;

470
	hlist_for_each_entry_safe(pol, tmp, list, byidx) {
471 472 473 474 475 476 477 478 479 480 481 482
		unsigned int h;

		h = __idx_hash(pol->index, nhashmask);
		hlist_add_head(&pol->byidx, nidxtable+h);
	}
}

static unsigned long xfrm_new_hash_mask(unsigned int old_hmask)
{
	return ((old_hmask + 1) << 1) - 1;
}

483
static void xfrm_bydst_resize(struct net *net, int dir)
484
{
485
	unsigned int hmask = net->xfrm.policy_bydst[dir].hmask;
486 487
	unsigned int nhashmask = xfrm_new_hash_mask(hmask);
	unsigned int nsize = (nhashmask + 1) * sizeof(struct hlist_head);
488
	struct hlist_head *ndst = xfrm_hash_alloc(nsize);
489
	struct hlist_head *odst;
490 491 492 493 494
	int i;

	if (!ndst)
		return;

495
	spin_lock_bh(&net->xfrm.xfrm_policy_lock);
496 497 498 499
	write_seqcount_begin(&xfrm_policy_hash_generation);

	odst = rcu_dereference_protected(net->xfrm.policy_bydst[dir].table,
				lockdep_is_held(&net->xfrm.xfrm_policy_lock));
500

501 502 503
	odst = rcu_dereference_protected(net->xfrm.policy_bydst[dir].table,
				lockdep_is_held(&net->xfrm.xfrm_policy_lock));

504
	for (i = hmask; i >= 0; i--)
505
		xfrm_dst_hash_transfer(net, odst + i, ndst, nhashmask, dir);
506

507
	rcu_assign_pointer(net->xfrm.policy_bydst[dir].table, ndst);
508
	net->xfrm.policy_bydst[dir].hmask = nhashmask;
509

510
	write_seqcount_end(&xfrm_policy_hash_generation);
511
	spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
512

513 514
	synchronize_rcu();

515
	xfrm_hash_free(odst, (hmask + 1) * sizeof(struct hlist_head));
516 517
}

518
static void xfrm_byidx_resize(struct net *net, int total)
519
{
520
	unsigned int hmask = net->xfrm.policy_idx_hmask;
521 522
	unsigned int nhashmask = xfrm_new_hash_mask(hmask);
	unsigned int nsize = (nhashmask + 1) * sizeof(struct hlist_head);
523
	struct hlist_head *oidx = net->xfrm.policy_byidx;
524
	struct hlist_head *nidx = xfrm_hash_alloc(nsize);
525 526 527 528 529
	int i;

	if (!nidx)
		return;

530
	spin_lock_bh(&net->xfrm.xfrm_policy_lock);
531 532 533 534

	for (i = hmask; i >= 0; i--)
		xfrm_idx_hash_transfer(oidx + i, nidx, nhashmask);

535 536
	net->xfrm.policy_byidx = nidx;
	net->xfrm.policy_idx_hmask = nhashmask;
537

538
	spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
539

540
	xfrm_hash_free(oidx, (hmask + 1) * sizeof(struct hlist_head));
541 542
}

543
static inline int xfrm_bydst_should_resize(struct net *net, int dir, int *total)
544
{
545 546
	unsigned int cnt = net->xfrm.policy_count[dir];
	unsigned int hmask = net->xfrm.policy_bydst[dir].hmask;
547 548 549 550 551 552 553 554 555 556 557

	if (total)
		*total += cnt;

	if ((hmask + 1) < xfrm_policy_hashmax &&
	    cnt > hmask)
		return 1;

	return 0;
}

558
static inline int xfrm_byidx_should_resize(struct net *net, int total)
559
{
560
	unsigned int hmask = net->xfrm.policy_idx_hmask;
561 562 563 564 565 566 567 568

	if ((hmask + 1) < xfrm_policy_hashmax &&
	    total > hmask)
		return 1;

	return 0;
}

569
void xfrm_spd_getinfo(struct net *net, struct xfrmk_spdinfo *si)
J
Jamal Hadi Salim 已提交
570
{
571 572 573 574 575 576 577
	si->incnt = net->xfrm.policy_count[XFRM_POLICY_IN];
	si->outcnt = net->xfrm.policy_count[XFRM_POLICY_OUT];
	si->fwdcnt = net->xfrm.policy_count[XFRM_POLICY_FWD];
	si->inscnt = net->xfrm.policy_count[XFRM_POLICY_IN+XFRM_POLICY_MAX];
	si->outscnt = net->xfrm.policy_count[XFRM_POLICY_OUT+XFRM_POLICY_MAX];
	si->fwdscnt = net->xfrm.policy_count[XFRM_POLICY_FWD+XFRM_POLICY_MAX];
	si->spdhcnt = net->xfrm.policy_idx_hmask;
J
Jamal Hadi Salim 已提交
578 579 580
	si->spdhmcnt = xfrm_policy_hashmax;
}
EXPORT_SYMBOL(xfrm_spd_getinfo);
581

J
Jamal Hadi Salim 已提交
582
static DEFINE_MUTEX(hash_resize_mutex);
583
static void xfrm_hash_resize(struct work_struct *work)
584
{
585
	struct net *net = container_of(work, struct net, xfrm.policy_hash_work);
586 587 588 589 590
	int dir, total;

	mutex_lock(&hash_resize_mutex);

	total = 0;
H
Herbert Xu 已提交
591
	for (dir = 0; dir < XFRM_POLICY_MAX; dir++) {
592 593
		if (xfrm_bydst_should_resize(net, dir, &total))
			xfrm_bydst_resize(net, dir);
594
	}
595 596
	if (xfrm_byidx_should_resize(net, total))
		xfrm_byidx_resize(net, total);
597 598 599 600

	mutex_unlock(&hash_resize_mutex);
}

601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622
static void xfrm_hash_reset_inexact_table(struct net *net)
{
	struct xfrm_pol_inexact_bin *b;

	lockdep_assert_held(&net->xfrm.xfrm_policy_lock);

	list_for_each_entry(b, &net->xfrm.inexact_bins, inexact_bins)
		INIT_HLIST_HEAD(&b->hhead);
}

/* Make sure *pol can be inserted into fastbin.
 * Useful to check that later insert requests will be sucessful
 * (provided xfrm_policy_lock is held throughout).
 */
static struct xfrm_pol_inexact_bin *
xfrm_policy_inexact_alloc_bin(const struct xfrm_policy *pol, u8 dir)
{
	struct xfrm_pol_inexact_bin *bin, *prev;
	struct xfrm_pol_inexact_key k = {
		.family = pol->family,
		.type = pol->type,
		.dir = dir,
623
		.if_id = pol->if_id,
624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702
	};
	struct net *net = xp_net(pol);

	lockdep_assert_held(&net->xfrm.xfrm_policy_lock);

	write_pnet(&k.net, net);
	bin = rhashtable_lookup_fast(&xfrm_policy_inexact_table, &k,
				     xfrm_pol_inexact_params);
	if (bin)
		return bin;

	bin = kzalloc(sizeof(*bin), GFP_ATOMIC);
	if (!bin)
		return NULL;

	bin->k = k;
	INIT_HLIST_HEAD(&bin->hhead);

	prev = rhashtable_lookup_get_insert_key(&xfrm_policy_inexact_table,
						&bin->k, &bin->head,
						xfrm_pol_inexact_params);
	if (!prev) {
		list_add(&bin->inexact_bins, &net->xfrm.inexact_bins);
		return bin;
	}

	kfree(bin);

	return IS_ERR(prev) ? NULL : prev;
}

static void xfrm_policy_inexact_delete_bin(struct net *net,
					   struct xfrm_pol_inexact_bin *b)
{
	lockdep_assert_held(&net->xfrm.xfrm_policy_lock);

	if (!hlist_empty(&b->hhead))
		return;

	if (rhashtable_remove_fast(&xfrm_policy_inexact_table, &b->head,
				   xfrm_pol_inexact_params) == 0) {
		list_del(&b->inexact_bins);
		kfree_rcu(b, rcu);
	}
}

static void __xfrm_policy_inexact_flush(struct net *net)
{
	struct xfrm_pol_inexact_bin *bin;

	lockdep_assert_held(&net->xfrm.xfrm_policy_lock);

	list_for_each_entry(bin, &net->xfrm.inexact_bins, inexact_bins)
		xfrm_policy_inexact_delete_bin(net, bin);
}

static struct xfrm_policy *
xfrm_policy_inexact_insert(struct xfrm_policy *policy, u8 dir, int excl)
{
	struct xfrm_pol_inexact_bin *bin;
	struct xfrm_policy *delpol;
	struct hlist_head *chain;
	struct net *net;

	bin = xfrm_policy_inexact_alloc_bin(policy, dir);
	if (!bin)
		return ERR_PTR(-ENOMEM);

	delpol = xfrm_policy_insert_list(&bin->hhead, policy, excl);
	if (delpol && excl)
		return ERR_PTR(-EEXIST);

	net = xp_net(policy);
	chain = &net->xfrm.policy_inexact[dir];
	xfrm_policy_insert_inexact_list(chain, policy);

	return delpol;
}

703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729
static void xfrm_hash_rebuild(struct work_struct *work)
{
	struct net *net = container_of(work, struct net,
				       xfrm.policy_hthresh.work);
	unsigned int hmask;
	struct xfrm_policy *pol;
	struct xfrm_policy *policy;
	struct hlist_head *chain;
	struct hlist_head *odst;
	struct hlist_node *newpos;
	int i;
	int dir;
	unsigned seq;
	u8 lbits4, rbits4, lbits6, rbits6;

	mutex_lock(&hash_resize_mutex);

	/* read selector prefixlen thresholds */
	do {
		seq = read_seqbegin(&net->xfrm.policy_hthresh.lock);

		lbits4 = net->xfrm.policy_hthresh.lbits4;
		rbits4 = net->xfrm.policy_hthresh.rbits4;
		lbits6 = net->xfrm.policy_hthresh.lbits6;
		rbits6 = net->xfrm.policy_hthresh.rbits6;
	} while (read_seqretry(&net->xfrm.policy_hthresh.lock, seq));

730
	spin_lock_bh(&net->xfrm.xfrm_policy_lock);
731

732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767
	/* make sure that we can insert the indirect policies again before
	 * we start with destructive action.
	 */
	list_for_each_entry(policy, &net->xfrm.policy_all, walk.all) {
		u8 dbits, sbits;

		dir = xfrm_policy_id2dir(policy->index);
		if (policy->walk.dead || dir >= XFRM_POLICY_MAX)
			continue;

		if ((dir & XFRM_POLICY_MASK) == XFRM_POLICY_OUT) {
			if (policy->family == AF_INET) {
				dbits = rbits4;
				sbits = lbits4;
			} else {
				dbits = rbits6;
				sbits = lbits6;
			}
		} else {
			if (policy->family == AF_INET) {
				dbits = lbits4;
				sbits = rbits4;
			} else {
				dbits = lbits6;
				sbits = rbits6;
			}
		}

		if (policy->selector.prefixlen_d < dbits ||
		    policy->selector.prefixlen_s < sbits)
			continue;

		if (!xfrm_policy_inexact_alloc_bin(policy, dir))
			goto out_unlock;
	}

768
	/* reset the bydst and inexact table in all directions */
769 770
	xfrm_hash_reset_inexact_table(net);

H
Herbert Xu 已提交
771
	for (dir = 0; dir < XFRM_POLICY_MAX; dir++) {
772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793
		INIT_HLIST_HEAD(&net->xfrm.policy_inexact[dir]);
		hmask = net->xfrm.policy_bydst[dir].hmask;
		odst = net->xfrm.policy_bydst[dir].table;
		for (i = hmask; i >= 0; i--)
			INIT_HLIST_HEAD(odst + i);
		if ((dir & XFRM_POLICY_MASK) == XFRM_POLICY_OUT) {
			/* dir out => dst = remote, src = local */
			net->xfrm.policy_bydst[dir].dbits4 = rbits4;
			net->xfrm.policy_bydst[dir].sbits4 = lbits4;
			net->xfrm.policy_bydst[dir].dbits6 = rbits6;
			net->xfrm.policy_bydst[dir].sbits6 = lbits6;
		} else {
			/* dir in/fwd => dst = local, src = remote */
			net->xfrm.policy_bydst[dir].dbits4 = lbits4;
			net->xfrm.policy_bydst[dir].sbits4 = rbits4;
			net->xfrm.policy_bydst[dir].dbits6 = lbits6;
			net->xfrm.policy_bydst[dir].sbits6 = rbits6;
		}
	}

	/* re-insert all policies by order of creation */
	list_for_each_entry_reverse(policy, &net->xfrm.policy_all, walk.all) {
794 795
		if (policy->walk.dead ||
		    xfrm_policy_id2dir(policy->index) >= XFRM_POLICY_MAX) {
796 797 798
			/* skip socket policies */
			continue;
		}
799 800 801 802
		newpos = NULL;
		chain = policy_hash_bysel(net, &policy->selector,
					  policy->family,
					  xfrm_policy_id2dir(policy->index));
803 804 805 806 807 808 809
		if (!chain) {
			void *p = xfrm_policy_inexact_insert(policy, dir, 0);

			WARN_ONCE(IS_ERR(p), "reinsert: %ld\n", PTR_ERR(p));
			continue;
		}

810 811 812 813 814 815 816
		hlist_for_each_entry(pol, chain, bydst) {
			if (policy->priority >= pol->priority)
				newpos = &pol->bydst;
			else
				break;
		}
		if (newpos)
817
			hlist_add_behind_rcu(&policy->bydst, newpos);
818
		else
819
			hlist_add_head_rcu(&policy->bydst, chain);
820 821
	}

822
out_unlock:
823
	spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
824 825 826 827 828 829 830 831 832 833

	mutex_unlock(&hash_resize_mutex);
}

void xfrm_policy_hash_rebuild(struct net *net)
{
	schedule_work(&net->xfrm.policy_hthresh.work);
}
EXPORT_SYMBOL(xfrm_policy_hash_rebuild);

L
Linus Torvalds 已提交
834 835
/* Generate new index... KAME seems to generate them ordered by cost
 * of an absolute inpredictability of ordering of rules. This will not pass. */
836
static u32 xfrm_gen_index(struct net *net, int dir, u32 index)
L
Linus Torvalds 已提交
837 838 839 840
{
	static u32 idx_generator;

	for (;;) {
841 842 843 844 845
		struct hlist_head *list;
		struct xfrm_policy *p;
		u32 idx;
		int found;

846 847 848 849 850 851 852 853
		if (!index) {
			idx = (idx_generator | dir);
			idx_generator += 8;
		} else {
			idx = index;
			index = 0;
		}

L
Linus Torvalds 已提交
854 855
		if (idx == 0)
			idx = 8;
856
		list = net->xfrm.policy_byidx + idx_hash(net, idx);
857
		found = 0;
858
		hlist_for_each_entry(p, list, byidx) {
859 860
			if (p->index == idx) {
				found = 1;
L
Linus Torvalds 已提交
861
				break;
862
			}
L
Linus Torvalds 已提交
863
		}
864
		if (!found)
L
Linus Torvalds 已提交
865 866 867 868
			return idx;
	}
}

869 870 871 872 873 874 875 876 877 878 879 880 881 882 883
static inline int selector_cmp(struct xfrm_selector *s1, struct xfrm_selector *s2)
{
	u32 *p1 = (u32 *) s1;
	u32 *p2 = (u32 *) s2;
	int len = sizeof(struct xfrm_selector) / sizeof(u32);
	int i;

	for (i = 0; i < len; i++) {
		if (p1[i] != p2[i])
			return 1;
	}

	return 0;
}

884 885 886 887 888 889
static void xfrm_policy_requeue(struct xfrm_policy *old,
				struct xfrm_policy *new)
{
	struct xfrm_policy_queue *pq = &old->polq;
	struct sk_buff_head list;

890 891 892
	if (skb_queue_empty(&pq->hold_queue))
		return;

893 894 895 896
	__skb_queue_head_init(&list);

	spin_lock_bh(&pq->hold_queue.lock);
	skb_queue_splice_init(&pq->hold_queue, &list);
897 898
	if (del_timer(&pq->hold_timer))
		xfrm_pol_put(old);
899 900 901 902 903 904 905
	spin_unlock_bh(&pq->hold_queue.lock);

	pq = &new->polq;

	spin_lock_bh(&pq->hold_queue.lock);
	skb_queue_splice(&list, &pq->hold_queue);
	pq->timeout = XFRM_QUEUE_TMO_MIN;
906 907
	if (!mod_timer(&pq->hold_timer, jiffies))
		xfrm_pol_hold(new);
908 909 910
	spin_unlock_bh(&pq->hold_queue.lock);
}

911 912 913 914 915 916 917 918 919 920 921 922 923 924 925
static bool xfrm_policy_mark_match(struct xfrm_policy *policy,
				   struct xfrm_policy *pol)
{
	u32 mark = policy->mark.v & policy->mark.m;

	if (policy->mark.v == pol->mark.v && policy->mark.m == pol->mark.m)
		return true;

	if ((mark & pol->mark.m) == pol->mark.v &&
	    policy->priority == pol->priority)
		return true;

	return false;
}

926 927 928 929 930
static u32 xfrm_pol_bin_key(const void *data, u32 len, u32 seed)
{
	const struct xfrm_pol_inexact_key *k = data;
	u32 a = k->type << 24 | k->dir << 16 | k->family;

931 932
	return jhash_3words(a, k->if_id, net_hash_mix(read_pnet(&k->net)),
			    seed);
933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963
}

static u32 xfrm_pol_bin_obj(const void *data, u32 len, u32 seed)
{
	const struct xfrm_pol_inexact_bin *b = data;

	return xfrm_pol_bin_key(&b->k, 0, seed);
}

static int xfrm_pol_bin_cmp(struct rhashtable_compare_arg *arg,
			    const void *ptr)
{
	const struct xfrm_pol_inexact_key *key = arg->key;
	const struct xfrm_pol_inexact_bin *b = ptr;
	int ret;

	if (!net_eq(read_pnet(&b->k.net), read_pnet(&key->net)))
		return -1;

	ret = b->k.dir ^ key->dir;
	if (ret)
		return ret;

	ret = b->k.type ^ key->type;
	if (ret)
		return ret;

	ret = b->k.family ^ key->family;
	if (ret)
		return ret;

964
	return b->k.if_id ^ key->if_id;
965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004
}

static const struct rhashtable_params xfrm_pol_inexact_params = {
	.head_offset		= offsetof(struct xfrm_pol_inexact_bin, head),
	.hashfn			= xfrm_pol_bin_key,
	.obj_hashfn		= xfrm_pol_bin_obj,
	.obj_cmpfn		= xfrm_pol_bin_cmp,
	.automatic_shrinking	= true,
};

static void xfrm_policy_insert_inexact_list(struct hlist_head *chain,
					    struct xfrm_policy *policy)
{
	struct xfrm_policy *pol, *delpol = NULL;
	struct hlist_node *newpos = NULL;

	hlist_for_each_entry(pol, chain, bydst_inexact_list) {
		if (pol->type == policy->type &&
		    pol->if_id == policy->if_id &&
		    !selector_cmp(&pol->selector, &policy->selector) &&
		    xfrm_policy_mark_match(policy, pol) &&
		    xfrm_sec_ctx_match(pol->security, policy->security) &&
		    !WARN_ON(delpol)) {
			delpol = pol;
			if (policy->priority > pol->priority)
				continue;
		} else if (policy->priority >= pol->priority) {
			newpos = &pol->bydst_inexact_list;
			continue;
		}
		if (delpol)
			break;
	}

	if (newpos)
		hlist_add_behind_rcu(&policy->bydst_inexact_list, newpos);
	else
		hlist_add_head_rcu(&policy->bydst_inexact_list, chain);
}

1005 1006 1007
static struct xfrm_policy *xfrm_policy_insert_list(struct hlist_head *chain,
						   struct xfrm_policy *policy,
						   bool excl)
L
Linus Torvalds 已提交
1008
{
1009
	struct xfrm_policy *pol, *newpos = NULL, *delpol = NULL;
L
Linus Torvalds 已提交
1010

1011
	hlist_for_each_entry(pol, chain, bydst) {
H
Herbert Xu 已提交
1012
		if (pol->type == policy->type &&
1013
		    pol->if_id == policy->if_id &&
1014
		    !selector_cmp(&pol->selector, &policy->selector) &&
1015
		    xfrm_policy_mark_match(policy, pol) &&
H
Herbert Xu 已提交
1016 1017
		    xfrm_sec_ctx_match(pol->security, policy->security) &&
		    !WARN_ON(delpol)) {
1018 1019
			if (excl)
				return ERR_PTR(-EEXIST);
L
Linus Torvalds 已提交
1020 1021 1022 1023
			delpol = pol;
			if (policy->priority > pol->priority)
				continue;
		} else if (policy->priority >= pol->priority) {
1024
			newpos = pol;
L
Linus Torvalds 已提交
1025 1026 1027 1028 1029
			continue;
		}
		if (delpol)
			break;
	}
1030

L
Linus Torvalds 已提交
1031
	if (newpos)
1032
		hlist_add_behind_rcu(&policy->bydst, &newpos->bydst);
1033
	else
1034
		hlist_add_head_rcu(&policy->bydst, chain);
1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046

	return delpol;
}

int xfrm_policy_insert(int dir, struct xfrm_policy *policy, int excl)
{
	struct net *net = xp_net(policy);
	struct xfrm_policy *delpol;
	struct hlist_head *chain;

	spin_lock_bh(&net->xfrm.xfrm_policy_lock);
	chain = policy_hash_bysel(net, &policy->selector, policy->family, dir);
1047
	if (chain)
1048
		delpol = xfrm_policy_insert_list(chain, policy, excl);
1049 1050
	else
		delpol = xfrm_policy_inexact_insert(policy, dir, excl);
1051 1052 1053 1054 1055 1056

	if (IS_ERR(delpol)) {
		spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
		return PTR_ERR(delpol);
	}

1057
	__xfrm_policy_link(policy, dir);
F
fan.du 已提交
1058 1059 1060 1061 1062 1063 1064

	/* After previous checking, family can either be AF_INET or AF_INET6 */
	if (policy->family == AF_INET)
		rt_genid_bump_ipv4(net);
	else
		rt_genid_bump_ipv6(net);

1065 1066
	if (delpol) {
		xfrm_policy_requeue(delpol, policy);
W
Wei Yongjun 已提交
1067
		__xfrm_policy_unlink(delpol, dir);
1068
	}
1069
	policy->index = delpol ? delpol->index : xfrm_gen_index(net, dir, policy->index);
1070
	hlist_add_head(&policy->byidx, net->xfrm.policy_byidx+idx_hash(net, policy->index));
1071
	policy->curlft.add_time = ktime_get_real_seconds();
L
Linus Torvalds 已提交
1072 1073 1074
	policy->curlft.use_time = 0;
	if (!mod_timer(&policy->timer, jiffies + HZ))
		xfrm_pol_hold(policy);
1075
	spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
L
Linus Torvalds 已提交
1076

1077
	if (delpol)
L
Linus Torvalds 已提交
1078
		xfrm_policy_kill(delpol);
1079 1080
	else if (xfrm_bydst_should_resize(net, dir, NULL))
		schedule_work(&net->xfrm.policy_hash_work);
1081

L
Linus Torvalds 已提交
1082 1083 1084 1085
	return 0;
}
EXPORT_SYMBOL(xfrm_policy_insert);

1086 1087 1088
struct xfrm_policy *xfrm_policy_bysel_ctx(struct net *net, u32 mark, u32 if_id,
					  u8 type, int dir,
					  struct xfrm_selector *sel,
1089 1090
					  struct xfrm_sec_ctx *ctx, int delete,
					  int *err)
L
Linus Torvalds 已提交
1091
{
1092 1093
	struct xfrm_pol_inexact_bin *bin = NULL;
	struct xfrm_policy *pol, *ret = NULL;
1094
	struct hlist_head *chain;
L
Linus Torvalds 已提交
1095

1096
	*err = 0;
1097
	spin_lock_bh(&net->xfrm.xfrm_policy_lock);
1098
	chain = policy_hash_bysel(net, sel, sel->family, dir);
1099 1100
	if (!chain) {
		bin = xfrm_policy_inexact_lookup(net, type,
1101
						 sel->family, dir, if_id);
1102 1103 1104 1105 1106 1107 1108 1109
		if (!bin) {
			spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
			return NULL;
		}

		chain = &bin->hhead;
	}

1110
	ret = NULL;
1111
	hlist_for_each_entry(pol, chain, bydst) {
1112
		if (pol->type == type &&
1113
		    pol->if_id == if_id &&
J
Jamal Hadi Salim 已提交
1114
		    (mark & pol->mark.m) == pol->mark.v &&
1115 1116
		    !selector_cmp(sel, &pol->selector) &&
		    xfrm_sec_ctx_match(ctx, pol->security)) {
L
Linus Torvalds 已提交
1117
			xfrm_pol_hold(pol);
1118
			if (delete) {
1119 1120
				*err = security_xfrm_policy_delete(
								pol->security);
1121
				if (*err) {
1122
					spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
1123 1124
					return pol;
				}
W
Wei Yongjun 已提交
1125
				__xfrm_policy_unlink(pol, dir);
1126
				xfrm_policy_inexact_delete_bin(net, bin);
1127 1128
			}
			ret = pol;
L
Linus Torvalds 已提交
1129 1130 1131
			break;
		}
	}
1132
	spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
L
Linus Torvalds 已提交
1133

1134
	if (ret && delete)
1135 1136
		xfrm_policy_kill(ret);
	return ret;
L
Linus Torvalds 已提交
1137
}
1138
EXPORT_SYMBOL(xfrm_policy_bysel_ctx);
L
Linus Torvalds 已提交
1139

1140 1141 1142
struct xfrm_policy *xfrm_policy_byid(struct net *net, u32 mark, u32 if_id,
				     u8 type, int dir, u32 id, int delete,
				     int *err)
L
Linus Torvalds 已提交
1143
{
1144 1145
	struct xfrm_policy *pol, *ret;
	struct hlist_head *chain;
L
Linus Torvalds 已提交
1146

1147 1148 1149 1150
	*err = -ENOENT;
	if (xfrm_policy_id2dir(id) != dir)
		return NULL;

1151
	*err = 0;
1152
	spin_lock_bh(&net->xfrm.xfrm_policy_lock);
1153
	chain = net->xfrm.policy_byidx + idx_hash(net, id);
1154
	ret = NULL;
1155
	hlist_for_each_entry(pol, chain, byidx) {
J
Jamal Hadi Salim 已提交
1156
		if (pol->type == type && pol->index == id &&
1157
		    pol->if_id == if_id &&
J
Jamal Hadi Salim 已提交
1158
		    (mark & pol->mark.m) == pol->mark.v) {
L
Linus Torvalds 已提交
1159
			xfrm_pol_hold(pol);
1160
			if (delete) {
1161 1162
				*err = security_xfrm_policy_delete(
								pol->security);
1163
				if (*err) {
1164
					spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
1165 1166
					return pol;
				}
W
Wei Yongjun 已提交
1167
				__xfrm_policy_unlink(pol, dir);
1168 1169
			}
			ret = pol;
L
Linus Torvalds 已提交
1170 1171 1172
			break;
		}
	}
1173
	spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
L
Linus Torvalds 已提交
1174

1175
	if (ret && delete)
1176 1177
		xfrm_policy_kill(ret);
	return ret;
L
Linus Torvalds 已提交
1178 1179 1180
}
EXPORT_SYMBOL(xfrm_policy_byid);

1181 1182
#ifdef CONFIG_SECURITY_NETWORK_XFRM
static inline int
1183
xfrm_policy_flush_secctx_check(struct net *net, u8 type, bool task_valid)
L
Linus Torvalds 已提交
1184
{
1185 1186
	struct xfrm_policy *pol;
	int err = 0;
1187

1188 1189 1190 1191 1192
	list_for_each_entry(pol, &net->xfrm.policy_all, walk.all) {
		if (pol->walk.dead ||
		    xfrm_policy_id2dir(pol->index) >= XFRM_POLICY_MAX ||
		    pol->type != type)
			continue;
1193

1194 1195 1196 1197
		err = security_xfrm_policy_delete(pol->security);
		if (err) {
			xfrm_audit_policy_delete(pol, 0, task_valid);
			return err;
1198 1199 1200 1201 1202 1203
		}
	}
	return err;
}
#else
static inline int
1204
xfrm_policy_flush_secctx_check(struct net *net, u8 type, bool task_valid)
1205 1206 1207 1208 1209
{
	return 0;
}
#endif

1210
int xfrm_policy_flush(struct net *net, u8 type, bool task_valid)
1211
{
1212
	int dir, err = 0, cnt = 0;
1213
	struct xfrm_policy *pol;
L
Linus Torvalds 已提交
1214

1215
	spin_lock_bh(&net->xfrm.xfrm_policy_lock);
1216

1217
	err = xfrm_policy_flush_secctx_check(net, type, task_valid);
1218 1219 1220
	if (err)
		goto out;

1221 1222 1223 1224 1225 1226 1227
again:
	list_for_each_entry(pol, &net->xfrm.policy_all, walk.all) {
		dir = xfrm_policy_id2dir(pol->index);
		if (pol->walk.dead ||
		    dir >= XFRM_POLICY_MAX ||
		    pol->type != type)
			continue;
1228

1229 1230 1231 1232 1233 1234 1235
		__xfrm_policy_unlink(pol, dir);
		spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
		cnt++;
		xfrm_audit_policy_delete(pol, 1, task_valid);
		xfrm_policy_kill(pol);
		spin_lock_bh(&net->xfrm.xfrm_policy_lock);
		goto again;
L
Linus Torvalds 已提交
1236
	}
1237 1238 1239
	if (cnt)
		__xfrm_policy_inexact_flush(net);
	else
1240
		err = -ESRCH;
1241
out:
1242
	spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
1243
	return err;
L
Linus Torvalds 已提交
1244 1245 1246
}
EXPORT_SYMBOL(xfrm_policy_flush);

1247
int xfrm_policy_walk(struct net *net, struct xfrm_policy_walk *walk,
1248
		     int (*func)(struct xfrm_policy *, int, int, void*),
L
Linus Torvalds 已提交
1249 1250
		     void *data)
{
H
Herbert Xu 已提交
1251 1252
	struct xfrm_policy *pol;
	struct xfrm_policy_walk_entry *x;
1253 1254 1255 1256 1257
	int error = 0;

	if (walk->type >= XFRM_POLICY_TYPE_MAX &&
	    walk->type != XFRM_POLICY_TYPE_ANY)
		return -EINVAL;
L
Linus Torvalds 已提交
1258

H
Herbert Xu 已提交
1259
	if (list_empty(&walk->walk.all) && walk->seq != 0)
1260 1261
		return 0;

1262
	spin_lock_bh(&net->xfrm.xfrm_policy_lock);
H
Herbert Xu 已提交
1263
	if (list_empty(&walk->walk.all))
1264
		x = list_first_entry(&net->xfrm.policy_all, struct xfrm_policy_walk_entry, all);
H
Herbert Xu 已提交
1265
	else
1266 1267 1268
		x = list_first_entry(&walk->walk.all,
				     struct xfrm_policy_walk_entry, all);

1269
	list_for_each_entry_from(x, &net->xfrm.policy_all, all) {
H
Herbert Xu 已提交
1270
		if (x->dead)
1271
			continue;
H
Herbert Xu 已提交
1272 1273 1274 1275 1276 1277 1278 1279 1280
		pol = container_of(x, struct xfrm_policy, walk);
		if (walk->type != XFRM_POLICY_TYPE_ANY &&
		    walk->type != pol->type)
			continue;
		error = func(pol, xfrm_policy_id2dir(pol->index),
			     walk->seq, data);
		if (error) {
			list_move_tail(&walk->walk.all, &x->all);
			goto out;
1281
		}
H
Herbert Xu 已提交
1282
		walk->seq++;
L
Linus Torvalds 已提交
1283
	}
H
Herbert Xu 已提交
1284
	if (walk->seq == 0) {
J
Jamal Hadi Salim 已提交
1285 1286 1287
		error = -ENOENT;
		goto out;
	}
H
Herbert Xu 已提交
1288
	list_del_init(&walk->walk.all);
L
Linus Torvalds 已提交
1289
out:
1290
	spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
L
Linus Torvalds 已提交
1291 1292 1293 1294
	return error;
}
EXPORT_SYMBOL(xfrm_policy_walk);

H
Herbert Xu 已提交
1295 1296 1297 1298 1299 1300 1301 1302 1303
void xfrm_policy_walk_init(struct xfrm_policy_walk *walk, u8 type)
{
	INIT_LIST_HEAD(&walk->walk.all);
	walk->walk.dead = 1;
	walk->type = type;
	walk->seq = 0;
}
EXPORT_SYMBOL(xfrm_policy_walk_init);

F
Fan Du 已提交
1304
void xfrm_policy_walk_done(struct xfrm_policy_walk *walk, struct net *net)
H
Herbert Xu 已提交
1305 1306 1307 1308
{
	if (list_empty(&walk->walk.all))
		return;

1309
	spin_lock_bh(&net->xfrm.xfrm_policy_lock); /*FIXME where is net? */
H
Herbert Xu 已提交
1310
	list_del(&walk->walk.all);
1311
	spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
H
Herbert Xu 已提交
1312 1313 1314
}
EXPORT_SYMBOL(xfrm_policy_walk_done);

1315 1316 1317 1318 1319
/*
 * Find policy to apply to this flow.
 *
 * Returns 0 if policy found, else an -errno.
 */
1320 1321
static int xfrm_policy_match(const struct xfrm_policy *pol,
			     const struct flowi *fl,
1322
			     u8 type, u16 family, int dir, u32 if_id)
L
Linus Torvalds 已提交
1323
{
1324
	const struct xfrm_selector *sel = &pol->selector;
1325 1326
	int ret = -ESRCH;
	bool match;
L
Linus Torvalds 已提交
1327

1328
	if (pol->family != family ||
1329
	    pol->if_id != if_id ||
1330
	    (fl->flowi_mark & pol->mark.m) != pol->mark.v ||
1331
	    pol->type != type)
1332
		return ret;
L
Linus Torvalds 已提交
1333

1334
	match = xfrm_selector_match(sel, fl, family);
1335
	if (match)
1336
		ret = security_xfrm_policy_lookup(pol->security, fl->flowi_secid,
1337
						  dir);
1338
	return ret;
1339
}
L
Linus Torvalds 已提交
1340

1341
static struct xfrm_pol_inexact_bin *
1342 1343
xfrm_policy_inexact_lookup_rcu(struct net *net, u8 type, u16 family,
			       u8 dir, u32 if_id)
1344 1345 1346 1347 1348
{
	struct xfrm_pol_inexact_key k = {
		.family = family,
		.type = type,
		.dir = dir,
1349
		.if_id = if_id,
1350 1351 1352 1353 1354 1355 1356 1357 1358
	};

	write_pnet(&k.net, net);

	return rhashtable_lookup(&xfrm_policy_inexact_table, &k,
				 xfrm_pol_inexact_params);
}

static struct xfrm_pol_inexact_bin *
1359 1360
xfrm_policy_inexact_lookup(struct net *net, u8 type, u16 family,
			   u8 dir, u32 if_id)
1361 1362 1363 1364 1365 1366
{
	struct xfrm_pol_inexact_bin *bin;

	lockdep_assert_held(&net->xfrm.xfrm_policy_lock);

	rcu_read_lock();
1367
	bin = xfrm_policy_inexact_lookup_rcu(net, type, family, dir, if_id);
1368 1369 1370 1371 1372
	rcu_read_unlock();

	return bin;
}

A
Alexey Dobriyan 已提交
1373
static struct xfrm_policy *xfrm_policy_lookup_bytype(struct net *net, u8 type,
1374
						     const struct flowi *fl,
1375 1376
						     u16 family, u8 dir,
						     u32 if_id)
1377
{
1378
	const xfrm_address_t *daddr, *saddr;
1379 1380
	struct xfrm_pol_inexact_bin *bin;
	struct xfrm_policy *pol, *ret;
1381
	struct hlist_head *chain;
1382 1383
	unsigned int sequence;
	u32 priority;
1384
	int err;
1385

1386 1387 1388 1389 1390
	daddr = xfrm_flowi_daddr(fl, family);
	saddr = xfrm_flowi_saddr(fl, family);
	if (unlikely(!daddr || !saddr))
		return NULL;

1391
	rcu_read_lock();
1392 1393 1394 1395 1396 1397 1398
 retry:
	do {
		sequence = read_seqcount_begin(&xfrm_policy_hash_generation);
		chain = policy_hash_direct(net, daddr, saddr, family, dir);
	} while (read_seqcount_retry(&xfrm_policy_hash_generation, sequence));

	priority = ~0U;
1399
	ret = NULL;
1400
	hlist_for_each_entry_rcu(pol, chain, bydst) {
1401
		err = xfrm_policy_match(pol, fl, type, family, dir, if_id);
1402 1403 1404 1405 1406 1407 1408 1409
		if (err) {
			if (err == -ESRCH)
				continue;
			else {
				ret = ERR_PTR(err);
				goto fail;
			}
		} else {
1410
			ret = pol;
1411
			priority = ret->priority;
1412 1413 1414
			break;
		}
	}
1415
	bin = xfrm_policy_inexact_lookup_rcu(net, type, family, dir, if_id);
1416 1417 1418
	if (!bin)
		goto skip_inexact;
	chain = &bin->hhead;
1419
	hlist_for_each_entry_rcu(pol, chain, bydst) {
1420 1421 1422
		if ((pol->priority >= priority) && ret)
			break;

1423
		err = xfrm_policy_match(pol, fl, type, family, dir, if_id);
1424 1425 1426 1427 1428 1429 1430
		if (err) {
			if (err == -ESRCH)
				continue;
			else {
				ret = ERR_PTR(err);
				goto fail;
			}
1431
		} else {
1432 1433
			ret = pol;
			break;
L
Linus Torvalds 已提交
1434 1435
		}
	}
1436

1437
skip_inexact:
1438 1439 1440
	if (read_seqcount_retry(&xfrm_policy_hash_generation, sequence))
		goto retry;

1441 1442
	if (ret && !xfrm_pol_hold_rcu(ret))
		goto retry;
1443
fail:
1444
	rcu_read_unlock();
1445

1446
	return ret;
1447 1448
}

1449 1450 1451
static struct xfrm_policy *xfrm_policy_lookup(struct net *net,
					      const struct flowi *fl,
					      u16 family, u8 dir, u32 if_id)
1452 1453 1454 1455
{
#ifdef CONFIG_XFRM_SUB_POLICY
	struct xfrm_policy *pol;

1456 1457
	pol = xfrm_policy_lookup_bytype(net, XFRM_POLICY_TYPE_SUB, fl, family,
					dir, if_id);
1458 1459 1460
	if (pol != NULL)
		return pol;
#endif
1461 1462
	return xfrm_policy_lookup_bytype(net, XFRM_POLICY_TYPE_MAIN, fl, family,
					 dir, if_id);
1463 1464
}

1465
static struct xfrm_policy *xfrm_sk_policy_lookup(const struct sock *sk, int dir,
1466 1467
						 const struct flowi *fl,
						 u16 family, u32 if_id)
L
Linus Torvalds 已提交
1468 1469 1470
{
	struct xfrm_policy *pol;

1471
	rcu_read_lock();
1472
 again:
1473 1474
	pol = rcu_dereference(sk->sk_policy[dir]);
	if (pol != NULL) {
1475
		bool match;
1476
		int err = 0;
1477

1478 1479 1480 1481 1482 1483
		if (pol->family != family) {
			pol = NULL;
			goto out;
		}

		match = xfrm_selector_match(&pol->selector, fl, family);
1484
		if (match) {
1485
			if ((sk->sk_mark & pol->mark.m) != pol->mark.v ||
1486
			    pol->if_id != if_id) {
J
Jamal Hadi Salim 已提交
1487 1488 1489
				pol = NULL;
				goto out;
			}
1490
			err = security_xfrm_policy_lookup(pol->security,
1491
						      fl->flowi_secid,
1492
						      dir);
1493 1494 1495 1496
			if (!err) {
				if (!xfrm_pol_hold_rcu(pol))
					goto again;
			} else if (err == -ESRCH) {
1497
				pol = NULL;
1498
			} else {
1499
				pol = ERR_PTR(err);
1500
			}
1501
		} else
L
Linus Torvalds 已提交
1502 1503
			pol = NULL;
	}
J
Jamal Hadi Salim 已提交
1504
out:
1505
	rcu_read_unlock();
L
Linus Torvalds 已提交
1506 1507 1508 1509 1510
	return pol;
}

static void __xfrm_policy_link(struct xfrm_policy *pol, int dir)
{
1511
	struct net *net = xp_net(pol);
1512

1513 1514
	list_add(&pol->walk.all, &net->xfrm.policy_all);
	net->xfrm.policy_count[dir]++;
L
Linus Torvalds 已提交
1515 1516 1517 1518 1519 1520
	xfrm_pol_hold(pol);
}

static struct xfrm_policy *__xfrm_policy_unlink(struct xfrm_policy *pol,
						int dir)
{
1521 1522
	struct net *net = xp_net(pol);

H
Herbert Xu 已提交
1523
	if (list_empty(&pol->walk.all))
1524
		return NULL;
L
Linus Torvalds 已提交
1525

H
Herbert Xu 已提交
1526 1527
	/* Socket policies are not hashed. */
	if (!hlist_unhashed(&pol->bydst)) {
1528
		hlist_del_rcu(&pol->bydst);
1529
		hlist_del_init(&pol->bydst_inexact_list);
H
Herbert Xu 已提交
1530 1531 1532 1533
		hlist_del(&pol->byidx);
	}

	list_del_init(&pol->walk.all);
1534
	net->xfrm.policy_count[dir]--;
1535 1536

	return pol;
L
Linus Torvalds 已提交
1537 1538
}

H
Herbert Xu 已提交
1539 1540 1541 1542 1543 1544 1545 1546 1547 1548
static void xfrm_sk_policy_link(struct xfrm_policy *pol, int dir)
{
	__xfrm_policy_link(pol, XFRM_POLICY_MAX + dir);
}

static void xfrm_sk_policy_unlink(struct xfrm_policy *pol, int dir)
{
	__xfrm_policy_unlink(pol, XFRM_POLICY_MAX + dir);
}

1549
int xfrm_policy_delete(struct xfrm_policy *pol, int dir)
L
Linus Torvalds 已提交
1550
{
F
Fan Du 已提交
1551 1552
	struct net *net = xp_net(pol);

1553
	spin_lock_bh(&net->xfrm.xfrm_policy_lock);
L
Linus Torvalds 已提交
1554
	pol = __xfrm_policy_unlink(pol, dir);
1555
	spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
L
Linus Torvalds 已提交
1556 1557
	if (pol) {
		xfrm_policy_kill(pol);
1558
		return 0;
L
Linus Torvalds 已提交
1559
	}
1560
	return -ENOENT;
L
Linus Torvalds 已提交
1561
}
1562
EXPORT_SYMBOL(xfrm_policy_delete);
L
Linus Torvalds 已提交
1563 1564 1565

int xfrm_sk_policy_insert(struct sock *sk, int dir, struct xfrm_policy *pol)
{
1566
	struct net *net = sock_net(sk);
L
Linus Torvalds 已提交
1567 1568
	struct xfrm_policy *old_pol;

1569 1570 1571 1572 1573
#ifdef CONFIG_XFRM_SUB_POLICY
	if (pol && pol->type != XFRM_POLICY_TYPE_MAIN)
		return -EINVAL;
#endif

1574
	spin_lock_bh(&net->xfrm.xfrm_policy_lock);
1575 1576
	old_pol = rcu_dereference_protected(sk->sk_policy[dir],
				lockdep_is_held(&net->xfrm.xfrm_policy_lock));
L
Linus Torvalds 已提交
1577
	if (pol) {
1578
		pol->curlft.add_time = ktime_get_real_seconds();
1579
		pol->index = xfrm_gen_index(net, XFRM_POLICY_MAX+dir, 0);
H
Herbert Xu 已提交
1580
		xfrm_sk_policy_link(pol, dir);
L
Linus Torvalds 已提交
1581
	}
1582
	rcu_assign_pointer(sk->sk_policy[dir], pol);
1583 1584 1585 1586
	if (old_pol) {
		if (pol)
			xfrm_policy_requeue(old_pol, pol);

1587 1588 1589
		/* Unlinking succeeds always. This is the only function
		 * allowed to delete or replace socket policy.
		 */
H
Herbert Xu 已提交
1590
		xfrm_sk_policy_unlink(old_pol, dir);
1591
	}
1592
	spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
L
Linus Torvalds 已提交
1593 1594 1595 1596 1597 1598 1599

	if (old_pol) {
		xfrm_policy_kill(old_pol);
	}
	return 0;
}

1600
static struct xfrm_policy *clone_policy(const struct xfrm_policy *old, int dir)
L
Linus Torvalds 已提交
1601
{
1602
	struct xfrm_policy *newp = xfrm_policy_alloc(xp_net(old), GFP_ATOMIC);
F
Fan Du 已提交
1603
	struct net *net = xp_net(old);
L
Linus Torvalds 已提交
1604 1605 1606

	if (newp) {
		newp->selector = old->selector;
1607 1608
		if (security_xfrm_policy_clone(old->security,
					       &newp->security)) {
1609 1610 1611
			kfree(newp);
			return NULL;  /* ENOMEM */
		}
L
Linus Torvalds 已提交
1612 1613
		newp->lft = old->lft;
		newp->curlft = old->curlft;
1614
		newp->mark = old->mark;
1615
		newp->if_id = old->if_id;
L
Linus Torvalds 已提交
1616 1617 1618 1619
		newp->action = old->action;
		newp->flags = old->flags;
		newp->xfrm_nr = old->xfrm_nr;
		newp->index = old->index;
1620
		newp->type = old->type;
1621
		newp->family = old->family;
L
Linus Torvalds 已提交
1622 1623
		memcpy(newp->xfrm_vec, old->xfrm_vec,
		       newp->xfrm_nr*sizeof(struct xfrm_tmpl));
1624
		spin_lock_bh(&net->xfrm.xfrm_policy_lock);
H
Herbert Xu 已提交
1625
		xfrm_sk_policy_link(newp, dir);
1626
		spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
L
Linus Torvalds 已提交
1627 1628 1629 1630 1631
		xfrm_pol_put(newp);
	}
	return newp;
}

1632
int __xfrm_sk_clone_policy(struct sock *sk, const struct sock *osk)
L
Linus Torvalds 已提交
1633
{
1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651
	const struct xfrm_policy *p;
	struct xfrm_policy *np;
	int i, ret = 0;

	rcu_read_lock();
	for (i = 0; i < 2; i++) {
		p = rcu_dereference(osk->sk_policy[i]);
		if (p) {
			np = clone_policy(p, i);
			if (unlikely(!np)) {
				ret = -ENOMEM;
				break;
			}
			rcu_assign_pointer(sk->sk_policy[i], np);
		}
	}
	rcu_read_unlock();
	return ret;
L
Linus Torvalds 已提交
1652 1653
}

1654
static int
D
David Ahern 已提交
1655
xfrm_get_saddr(struct net *net, int oif, xfrm_address_t *local,
1656
	       xfrm_address_t *remote, unsigned short family, u32 mark)
1657 1658
{
	int err;
1659
	const struct xfrm_policy_afinfo *afinfo = xfrm_policy_get_afinfo(family);
1660 1661 1662

	if (unlikely(afinfo == NULL))
		return -EINVAL;
1663
	err = afinfo->get_saddr(net, oif, local, remote, mark);
1664
	rcu_read_unlock();
1665 1666 1667
	return err;
}

L
Linus Torvalds 已提交
1668 1669 1670
/* Resolve list of templates for the flow, given policy. */

static int
1671 1672
xfrm_tmpl_resolve_one(struct xfrm_policy *policy, const struct flowi *fl,
		      struct xfrm_state **xfrm, unsigned short family)
L
Linus Torvalds 已提交
1673
{
A
Alexey Dobriyan 已提交
1674
	struct net *net = xp_net(policy);
L
Linus Torvalds 已提交
1675 1676
	int nx;
	int i, error;
1677 1678
	xfrm_address_t *daddr = xfrm_flowi_daddr(fl, family);
	xfrm_address_t *saddr = xfrm_flowi_saddr(fl, family);
1679
	xfrm_address_t tmp;
L
Linus Torvalds 已提交
1680

1681
	for (nx = 0, i = 0; i < policy->xfrm_nr; i++) {
L
Linus Torvalds 已提交
1682
		struct xfrm_state *x;
1683 1684
		xfrm_address_t *remote = daddr;
		xfrm_address_t *local  = saddr;
L
Linus Torvalds 已提交
1685 1686
		struct xfrm_tmpl *tmpl = &policy->xfrm_vec[i];

1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698
		if (tmpl->mode == XFRM_MODE_TUNNEL ||
		    tmpl->mode == XFRM_MODE_BEET) {
			remote = &tmpl->id.daddr;
			local = &tmpl->saddr;
			if (xfrm_addr_any(local, tmpl->encap_family)) {
				error = xfrm_get_saddr(net, fl->flowi_oif,
						       &tmp, remote,
						       tmpl->encap_family, 0);
				if (error)
					goto fail;
				local = &tmp;
			}
L
Linus Torvalds 已提交
1699 1700
		}

1701 1702
		x = xfrm_state_find(remote, local, fl, tmpl, policy, &error,
				    family, policy->if_id);
L
Linus Torvalds 已提交
1703 1704 1705

		if (x && x->km.state == XFRM_STATE_VALID) {
			xfrm[nx++] = x;
1706 1707
			daddr = remote;
			saddr = local;
L
Linus Torvalds 已提交
1708 1709 1710 1711 1712 1713
			continue;
		}
		if (x) {
			error = (x->km.state == XFRM_STATE_ERROR ?
				 -EINVAL : -EAGAIN);
			xfrm_state_put(x);
W
Weilong Chen 已提交
1714
		} else if (error == -ESRCH) {
1715
			error = -EAGAIN;
W
Weilong Chen 已提交
1716
		}
L
Linus Torvalds 已提交
1717 1718 1719 1720 1721 1722 1723

		if (!tmpl->optional)
			goto fail;
	}
	return nx;

fail:
1724
	for (nx--; nx >= 0; nx--)
L
Linus Torvalds 已提交
1725 1726 1727 1728
		xfrm_state_put(xfrm[nx]);
	return error;
}

1729
static int
1730 1731
xfrm_tmpl_resolve(struct xfrm_policy **pols, int npols, const struct flowi *fl,
		  struct xfrm_state **xfrm, unsigned short family)
1732
{
1733 1734
	struct xfrm_state *tp[XFRM_MAX_DEPTH];
	struct xfrm_state **tpp = (npols > 1) ? tp : xfrm;
1735 1736 1737 1738 1739 1740 1741 1742 1743 1744
	int cnx = 0;
	int error;
	int ret;
	int i;

	for (i = 0; i < npols; i++) {
		if (cnx + pols[i]->xfrm_nr >= XFRM_MAX_DEPTH) {
			error = -ENOBUFS;
			goto fail;
		}
1745 1746

		ret = xfrm_tmpl_resolve_one(pols[i], fl, &tpp[cnx], family);
1747 1748 1749 1750 1751 1752 1753
		if (ret < 0) {
			error = ret;
			goto fail;
		} else
			cnx += ret;
	}

1754 1755 1756 1757
	/* found states are sorted for outbound processing */
	if (npols > 1)
		xfrm_state_sort(xfrm, tpp, cnx, family);

1758 1759 1760
	return cnx;

 fail:
1761
	for (cnx--; cnx >= 0; cnx--)
1762
		xfrm_state_put(tpp[cnx]);
1763 1764 1765 1766
	return error;

}

1767
static int xfrm_get_tos(const struct flowi *fl, int family)
1768
{
1769
	const struct xfrm_policy_afinfo *afinfo;
1770
	int tos;
L
Linus Torvalds 已提交
1771

1772
	afinfo = xfrm_policy_get_afinfo(family);
1773 1774 1775 1776
	if (!afinfo)
		return 0;

	tos = afinfo->get_tos(fl);
1777

1778
	rcu_read_unlock();
1779 1780 1781 1782

	return tos;
}

1783
static inline struct xfrm_dst *xfrm_alloc_dst(struct net *net, int family)
L
Linus Torvalds 已提交
1784
{
1785
	const struct xfrm_policy_afinfo *afinfo = xfrm_policy_get_afinfo(family);
1786
	struct dst_ops *dst_ops;
1787 1788 1789 1790 1791
	struct xfrm_dst *xdst;

	if (!afinfo)
		return ERR_PTR(-EINVAL);

1792 1793 1794 1795
	switch (family) {
	case AF_INET:
		dst_ops = &net->xfrm.xfrm4_dst_ops;
		break;
E
Eric Dumazet 已提交
1796
#if IS_ENABLED(CONFIG_IPV6)
1797 1798 1799 1800 1801 1802 1803
	case AF_INET6:
		dst_ops = &net->xfrm.xfrm6_dst_ops;
		break;
#endif
	default:
		BUG();
	}
W
Wei Wang 已提交
1804
	xdst = dst_alloc(dst_ops, NULL, 1, DST_OBSOLETE_NONE, 0);
1805

1806
	if (likely(xdst)) {
1807 1808 1809
		struct dst_entry *dst = &xdst->u.dst;

		memset(dst + 1, 0, sizeof(*xdst) - sizeof(*dst));
1810
	} else
1811
		xdst = ERR_PTR(-ENOBUFS);
1812

1813
	rcu_read_unlock();
1814

1815 1816 1817
	return xdst;
}

1818 1819 1820
static inline int xfrm_init_path(struct xfrm_dst *path, struct dst_entry *dst,
				 int nfheader_len)
{
1821
	const struct xfrm_policy_afinfo *afinfo =
1822 1823 1824 1825 1826 1827 1828 1829
		xfrm_policy_get_afinfo(dst->ops->family);
	int err;

	if (!afinfo)
		return -EINVAL;

	err = afinfo->init_path(path, dst, nfheader_len);

1830
	rcu_read_unlock();
1831 1832 1833 1834

	return err;
}

H
Herbert Xu 已提交
1835
static inline int xfrm_fill_dst(struct xfrm_dst *xdst, struct net_device *dev,
1836
				const struct flowi *fl)
1837
{
1838
	const struct xfrm_policy_afinfo *afinfo =
1839 1840 1841 1842
		xfrm_policy_get_afinfo(xdst->u.dst.ops->family);
	int err;

	if (!afinfo)
L
Linus Torvalds 已提交
1843
		return -EINVAL;
1844

H
Herbert Xu 已提交
1845
	err = afinfo->fill_dst(xdst, dev, fl);
1846

1847
	rcu_read_unlock();
1848

L
Linus Torvalds 已提交
1849 1850 1851
	return err;
}

1852

1853 1854 1855 1856 1857
/* Allocate chain of dst_entry's, attach known xfrm's, calculate
 * all the metrics... Shortly, bundle a bundle.
 */

static struct dst_entry *xfrm_bundle_create(struct xfrm_policy *policy,
1858 1859 1860
					    struct xfrm_state **xfrm,
					    struct xfrm_dst **bundle,
					    int nx,
1861
					    const struct flowi *fl,
1862 1863
					    struct dst_entry *dst)
{
1864
	struct net *net = xp_net(policy);
1865 1866
	unsigned long now = jiffies;
	struct net_device *dev;
1867
	struct xfrm_mode *inner_mode;
1868 1869
	struct xfrm_dst *xdst_prev = NULL;
	struct xfrm_dst *xdst0 = NULL;
1870 1871 1872
	int i = 0;
	int err;
	int header_len = 0;
1873
	int nfheader_len = 0;
1874 1875 1876
	int trailer_len = 0;
	int tos;
	int family = policy->selector.family;
1877 1878 1879
	xfrm_address_t saddr, daddr;

	xfrm_flowi_addr_get(fl, &saddr, &daddr, family);
1880 1881 1882 1883 1884 1885

	tos = xfrm_get_tos(fl, family);

	dst_hold(dst);

	for (; i < nx; i++) {
1886
		struct xfrm_dst *xdst = xfrm_alloc_dst(net, family);
1887 1888 1889 1890 1891 1892 1893 1894
		struct dst_entry *dst1 = &xdst->u.dst;

		err = PTR_ERR(xdst);
		if (IS_ERR(xdst)) {
			dst_release(dst);
			goto put_states;
		}

1895
		bundle[i] = xdst;
1896 1897
		if (!xdst_prev)
			xdst0 = xdst;
1898 1899 1900 1901
		else
			/* Ref count is taken during xfrm_alloc_dst()
			 * No need to do dst_clone() on dst1
			 */
1902
			xfrm_dst_set_child(xdst_prev, &xdst->u.dst);
1903

1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914
		if (xfrm[i]->sel.family == AF_UNSPEC) {
			inner_mode = xfrm_ip2inner_mode(xfrm[i],
							xfrm_af2proto(family));
			if (!inner_mode) {
				err = -EAFNOSUPPORT;
				dst_release(dst);
				goto put_states;
			}
		} else
			inner_mode = xfrm[i]->inner_mode;

1915
		xdst->route = dst;
1916
		dst_copy_metrics(dst1, dst);
1917 1918

		if (xfrm[i]->props.mode != XFRM_MODE_TRANSPORT) {
1919 1920
			__u32 mark = xfrm_smark_get(fl->flowi_mark, xfrm[i]);

1921
			family = xfrm[i]->props.family;
D
David Ahern 已提交
1922
			dst = xfrm_dst_lookup(xfrm[i], tos, fl->flowi_oif,
1923
					      &saddr, &daddr, family, mark);
1924 1925 1926 1927 1928 1929 1930
			err = PTR_ERR(dst);
			if (IS_ERR(dst))
				goto put_states;
		} else
			dst_hold(dst);

		dst1->xfrm = xfrm[i];
1931
		xdst->xfrm_genid = xfrm[i]->genid;
1932

1933
		dst1->obsolete = DST_OBSOLETE_FORCE_CHK;
1934 1935 1936 1937
		dst1->flags |= DST_HOST;
		dst1->lastuse = now;

		dst1->input = dst_discard;
1938
		dst1->output = inner_mode->afinfo->output;
1939

1940
		xdst_prev = xdst;
1941 1942

		header_len += xfrm[i]->props.header_len;
1943 1944
		if (xfrm[i]->type->flags & XFRM_TYPE_NON_FRAGMENT)
			nfheader_len += xfrm[i]->props.header_len;
1945 1946 1947
		trailer_len += xfrm[i]->props.trailer_len;
	}

1948
	xfrm_dst_set_child(xdst_prev, dst);
1949
	xdst0->path = dst;
1950 1951 1952 1953 1954 1955

	err = -ENODEV;
	dev = dst->dev;
	if (!dev)
		goto free_dst;

1956
	xfrm_init_path(xdst0, dst, nfheader_len);
1957
	xfrm_init_pmtu(bundle, nx);
1958

1959 1960 1961
	for (xdst_prev = xdst0; xdst_prev != (struct xfrm_dst *)dst;
	     xdst_prev = (struct xfrm_dst *) xfrm_dst_child(&xdst_prev->u.dst)) {
		err = xfrm_fill_dst(xdst_prev, dev, fl);
1962 1963 1964
		if (err)
			goto free_dst;

1965 1966 1967 1968
		xdst_prev->u.dst.header_len = header_len;
		xdst_prev->u.dst.trailer_len = trailer_len;
		header_len -= xdst_prev->u.dst.xfrm->props.header_len;
		trailer_len -= xdst_prev->u.dst.xfrm->props.trailer_len;
1969 1970
	}

1971
	return &xdst0->u.dst;
1972 1973 1974 1975 1976

put_states:
	for (; i < nx; i++)
		xfrm_state_put(xfrm[i]);
free_dst:
1977 1978
	if (xdst0)
		dst_release_immediate(&xdst0->u.dst);
1979 1980

	return ERR_PTR(err);
1981 1982
}

1983
static int xfrm_expand_policies(const struct flowi *fl, u16 family,
1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004
				struct xfrm_policy **pols,
				int *num_pols, int *num_xfrms)
{
	int i;

	if (*num_pols == 0 || !pols[0]) {
		*num_pols = 0;
		*num_xfrms = 0;
		return 0;
	}
	if (IS_ERR(pols[0]))
		return PTR_ERR(pols[0]);

	*num_xfrms = pols[0]->xfrm_nr;

#ifdef CONFIG_XFRM_SUB_POLICY
	if (pols[0] && pols[0]->action == XFRM_POLICY_ALLOW &&
	    pols[0]->type != XFRM_POLICY_TYPE_MAIN) {
		pols[1] = xfrm_policy_lookup_bytype(xp_net(pols[0]),
						    XFRM_POLICY_TYPE_MAIN,
						    fl, family,
2005 2006
						    XFRM_POLICY_OUT,
						    pols[0]->if_id);
2007 2008 2009 2010 2011
		if (pols[1]) {
			if (IS_ERR(pols[1])) {
				xfrm_pols_put(pols, *num_pols);
				return PTR_ERR(pols[1]);
			}
2012
			(*num_pols)++;
2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029
			(*num_xfrms) += pols[1]->xfrm_nr;
		}
	}
#endif
	for (i = 0; i < *num_pols; i++) {
		if (pols[i]->action != XFRM_POLICY_ALLOW) {
			*num_xfrms = -1;
			break;
		}
	}

	return 0;

}

static struct xfrm_dst *
xfrm_resolve_and_create_bundle(struct xfrm_policy **pols, int num_pols,
2030
			       const struct flowi *fl, u16 family,
2031 2032 2033 2034
			       struct dst_entry *dst_orig)
{
	struct net *net = xp_net(pols[0]);
	struct xfrm_state *xfrm[XFRM_MAX_DEPTH];
2035
	struct xfrm_dst *bundle[XFRM_MAX_DEPTH];
2036
	struct xfrm_dst *xdst;
2037 2038 2039
	struct dst_entry *dst;
	int err;

2040 2041 2042
	/* Try to instantiate a bundle */
	err = xfrm_tmpl_resolve(pols, num_pols, fl, xfrm, family);
	if (err <= 0) {
2043 2044 2045 2046
		if (err == 0)
			return NULL;

		if (err != -EAGAIN)
2047 2048 2049 2050
			XFRM_INC_STATS(net, LINUX_MIB_XFRMOUTPOLERROR);
		return ERR_PTR(err);
	}

2051
	dst = xfrm_bundle_create(pols[0], xfrm, bundle, err, fl, dst_orig);
2052 2053 2054 2055 2056 2057 2058 2059
	if (IS_ERR(dst)) {
		XFRM_INC_STATS(net, LINUX_MIB_XFRMOUTBUNDLEGENERROR);
		return ERR_CAST(dst);
	}

	xdst = (struct xfrm_dst *)dst;
	xdst->num_xfrms = err;
	xdst->num_pols = num_pols;
2060
	memcpy(xdst->pols, pols, sizeof(struct xfrm_policy *) * num_pols);
2061 2062 2063 2064 2065
	xdst->policy_genid = atomic_read(&pols[0]->genid);

	return xdst;
}

2066
static void xfrm_policy_queue_process(struct timer_list *t)
2067 2068 2069 2070
{
	struct sk_buff *skb;
	struct sock *sk;
	struct dst_entry *dst;
2071
	struct xfrm_policy *pol = from_timer(pol, t, polq.hold_timer);
2072
	struct net *net = xp_net(pol);
2073 2074 2075 2076 2077 2078
	struct xfrm_policy_queue *pq = &pol->polq;
	struct flowi fl;
	struct sk_buff_head list;

	spin_lock(&pq->hold_queue.lock);
	skb = skb_peek(&pq->hold_queue);
2079 2080 2081 2082
	if (!skb) {
		spin_unlock(&pq->hold_queue.lock);
		goto out;
	}
2083 2084 2085 2086 2087
	dst = skb_dst(skb);
	sk = skb->sk;
	xfrm_decode_session(skb, &fl, dst->ops->family);
	spin_unlock(&pq->hold_queue.lock);

2088
	dst_hold(xfrm_dst_path(dst));
2089
	dst = xfrm_lookup(net, xfrm_dst_path(dst), &fl, sk, XFRM_LOOKUP_QUEUE);
2090 2091 2092 2093 2094 2095 2096 2097 2098 2099
	if (IS_ERR(dst))
		goto purge_queue;

	if (dst->flags & DST_XFRM_QUEUE) {
		dst_release(dst);

		if (pq->timeout >= XFRM_QUEUE_TMO_MAX)
			goto purge_queue;

		pq->timeout = pq->timeout << 1;
2100 2101 2102
		if (!mod_timer(&pq->hold_timer, jiffies + pq->timeout))
			xfrm_pol_hold(pol);
	goto out;
2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115 2116 2117
	}

	dst_release(dst);

	__skb_queue_head_init(&list);

	spin_lock(&pq->hold_queue.lock);
	pq->timeout = 0;
	skb_queue_splice_init(&pq->hold_queue, &list);
	spin_unlock(&pq->hold_queue.lock);

	while (!skb_queue_empty(&list)) {
		skb = __skb_dequeue(&list);

		xfrm_decode_session(skb, &fl, skb_dst(skb)->ops->family);
2118 2119
		dst_hold(xfrm_dst_path(skb_dst(skb)));
		dst = xfrm_lookup(net, xfrm_dst_path(skb_dst(skb)), &fl, skb->sk, 0);
2120 2121 2122 2123 2124 2125 2126 2127 2128
		if (IS_ERR(dst)) {
			kfree_skb(skb);
			continue;
		}

		nf_reset(skb);
		skb_dst_drop(skb);
		skb_dst_set(skb, dst);

2129
		dst_output(net, skb->sk, skb);
2130 2131
	}

2132 2133
out:
	xfrm_pol_put(pol);
2134 2135 2136 2137
	return;

purge_queue:
	pq->timeout = 0;
2138
	skb_queue_purge(&pq->hold_queue);
2139
	xfrm_pol_put(pol);
2140 2141
}

E
Eric W. Biederman 已提交
2142
static int xdst_queue_output(struct net *net, struct sock *sk, struct sk_buff *skb)
2143 2144 2145 2146
{
	unsigned long sched_next;
	struct dst_entry *dst = skb_dst(skb);
	struct xfrm_dst *xdst = (struct xfrm_dst *) dst;
2147 2148
	struct xfrm_policy *pol = xdst->pols[0];
	struct xfrm_policy_queue *pq = &pol->polq;
2149

2150
	if (unlikely(skb_fclone_busy(sk, skb))) {
2151 2152 2153
		kfree_skb(skb);
		return 0;
	}
2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171

	if (pq->hold_queue.qlen > XFRM_MAX_QUEUE_LEN) {
		kfree_skb(skb);
		return -EAGAIN;
	}

	skb_dst_force(skb);

	spin_lock_bh(&pq->hold_queue.lock);

	if (!pq->timeout)
		pq->timeout = XFRM_QUEUE_TMO_MIN;

	sched_next = jiffies + pq->timeout;

	if (del_timer(&pq->hold_timer)) {
		if (time_before(pq->hold_timer.expires, sched_next))
			sched_next = pq->hold_timer.expires;
2172
		xfrm_pol_put(pol);
2173 2174 2175
	}

	__skb_queue_tail(&pq->hold_queue, skb);
2176 2177
	if (!mod_timer(&pq->hold_timer, sched_next))
		xfrm_pol_hold(pol);
2178 2179 2180 2181 2182 2183 2184

	spin_unlock_bh(&pq->hold_queue.lock);

	return 0;
}

static struct xfrm_dst *xfrm_create_dummy_bundle(struct net *net,
2185
						 struct xfrm_flo *xflo,
2186 2187 2188 2189 2190 2191
						 const struct flowi *fl,
						 int num_xfrms,
						 u16 family)
{
	int err;
	struct net_device *dev;
2192
	struct dst_entry *dst;
2193 2194 2195 2196 2197 2198 2199
	struct dst_entry *dst1;
	struct xfrm_dst *xdst;

	xdst = xfrm_alloc_dst(net, family);
	if (IS_ERR(xdst))
		return xdst;

2200 2201 2202
	if (!(xflo->flags & XFRM_LOOKUP_QUEUE) ||
	    net->xfrm.sysctl_larval_drop ||
	    num_xfrms <= 0)
2203 2204
		return xdst;

2205
	dst = xflo->dst_orig;
2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219
	dst1 = &xdst->u.dst;
	dst_hold(dst);
	xdst->route = dst;

	dst_copy_metrics(dst1, dst);

	dst1->obsolete = DST_OBSOLETE_FORCE_CHK;
	dst1->flags |= DST_HOST | DST_XFRM_QUEUE;
	dst1->lastuse = jiffies;

	dst1->input = dst_discard;
	dst1->output = xdst_queue_output;

	dst_hold(dst);
2220
	xfrm_dst_set_child(xdst, dst);
2221
	xdst->path = dst;
2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232 2233 2234 2235 2236 2237 2238 2239 2240 2241 2242

	xfrm_init_path((struct xfrm_dst *)dst1, dst, 0);

	err = -ENODEV;
	dev = dst->dev;
	if (!dev)
		goto free_dst;

	err = xfrm_fill_dst(xdst, dev, fl);
	if (err)
		goto free_dst;

out:
	return xdst;

free_dst:
	dst_release(dst1);
	xdst = ERR_PTR(err);
	goto out;
}

2243 2244 2245 2246
static struct xfrm_dst *xfrm_bundle_lookup(struct net *net,
					   const struct flowi *fl,
					   u16 family, u8 dir,
					   struct xfrm_flo *xflo, u32 if_id)
2247 2248
{
	struct xfrm_policy *pols[XFRM_POLICY_TYPE_MAX];
2249
	int num_pols = 0, num_xfrms = 0, err;
2250
	struct xfrm_dst *xdst;
2251 2252 2253

	/* Resolve policies to use if we couldn't get them from
	 * previous cache entry */
2254
	num_pols = 1;
2255
	pols[0] = xfrm_policy_lookup(net, fl, family, dir, if_id);
2256
	err = xfrm_expand_policies(fl, family, pols,
2257
					   &num_pols, &num_xfrms);
2258 2259 2260 2261 2262 2263
	if (err < 0)
		goto inc_error;
	if (num_pols == 0)
		return NULL;
	if (num_xfrms <= 0)
		goto make_dummy_bundle;
2264

2265
	xdst = xfrm_resolve_and_create_bundle(pols, num_pols, fl, family,
2266
					      xflo->dst_orig);
2267 2268
	if (IS_ERR(xdst)) {
		err = PTR_ERR(xdst);
2269 2270 2271 2272 2273
		if (err == -EREMOTE) {
			xfrm_pols_put(pols, num_pols);
			return NULL;
		}

2274 2275
		if (err != -EAGAIN)
			goto error;
2276
		goto make_dummy_bundle;
2277
	} else if (xdst == NULL) {
2278
		num_xfrms = 0;
2279
		goto make_dummy_bundle;
2280 2281
	}

2282
	return xdst;
2283 2284 2285 2286 2287

make_dummy_bundle:
	/* We found policies, but there's no bundles to instantiate:
	 * either because the policy blocks, has no transformations or
	 * we could not build template (no xfrm_states).*/
2288
	xdst = xfrm_create_dummy_bundle(net, xflo, fl, num_xfrms, family);
2289 2290 2291 2292 2293 2294
	if (IS_ERR(xdst)) {
		xfrm_pols_put(pols, num_pols);
		return ERR_CAST(xdst);
	}
	xdst->num_pols = num_pols;
	xdst->num_xfrms = num_xfrms;
2295
	memcpy(xdst->pols, pols, sizeof(struct xfrm_policy *) * num_pols);
2296

2297
	return xdst;
2298 2299 2300 2301

inc_error:
	XFRM_INC_STATS(net, LINUX_MIB_XFRMOUTPOLERROR);
error:
2302
	xfrm_pols_put(pols, num_pols);
2303 2304
	return ERR_PTR(err);
}
L
Linus Torvalds 已提交
2305

2306 2307 2308
static struct dst_entry *make_blackhole(struct net *net, u16 family,
					struct dst_entry *dst_orig)
{
2309
	const struct xfrm_policy_afinfo *afinfo = xfrm_policy_get_afinfo(family);
2310 2311 2312 2313
	struct dst_entry *ret;

	if (!afinfo) {
		dst_release(dst_orig);
2314
		return ERR_PTR(-EINVAL);
2315 2316 2317
	} else {
		ret = afinfo->blackhole_route(net, dst_orig);
	}
2318
	rcu_read_unlock();
2319 2320 2321 2322

	return ret;
}

2323
/* Finds/creates a bundle for given flow and if_id
L
Linus Torvalds 已提交
2324 2325 2326
 *
 * At the moment we eat a raw IP route. Mostly to speed up lookups
 * on interfaces with disabled IPsec.
2327 2328 2329
 *
 * xfrm_lookup uses an if_id of 0 by default, and is provided for
 * compatibility
L
Linus Torvalds 已提交
2330
 */
2331 2332 2333 2334 2335
struct dst_entry *xfrm_lookup_with_ifid(struct net *net,
					struct dst_entry *dst_orig,
					const struct flowi *fl,
					const struct sock *sk,
					int flags, u32 if_id)
L
Linus Torvalds 已提交
2336
{
2337
	struct xfrm_policy *pols[XFRM_POLICY_TYPE_MAX];
2338
	struct xfrm_dst *xdst;
2339
	struct dst_entry *dst, *route;
2340
	u16 family = dst_orig->ops->family;
2341
	u8 dir = XFRM_POLICY_OUT;
2342
	int i, err, num_pols, num_xfrms = 0, drop_pols = 0;
2343

2344 2345 2346
	dst = NULL;
	xdst = NULL;
	route = NULL;
2347

E
Eric Dumazet 已提交
2348
	sk = sk_const_to_full_sk(sk);
2349
	if (sk && sk->sk_policy[XFRM_POLICY_OUT]) {
2350
		num_pols = 1;
2351 2352
		pols[0] = xfrm_sk_policy_lookup(sk, XFRM_POLICY_OUT, fl, family,
						if_id);
2353 2354 2355
		err = xfrm_expand_policies(fl, family, pols,
					   &num_pols, &num_xfrms);
		if (err < 0)
2356
			goto dropdst;
2357 2358 2359 2360 2361 2362 2363 2364 2365 2366

		if (num_pols) {
			if (num_xfrms <= 0) {
				drop_pols = num_pols;
				goto no_transform;
			}

			xdst = xfrm_resolve_and_create_bundle(
					pols, num_pols, fl,
					family, dst_orig);
2367

2368 2369 2370
			if (IS_ERR(xdst)) {
				xfrm_pols_put(pols, num_pols);
				err = PTR_ERR(xdst);
2371 2372 2373
				if (err == -EREMOTE)
					goto nopol;

2374
				goto dropdst;
2375 2376 2377 2378
			} else if (xdst == NULL) {
				num_xfrms = 0;
				drop_pols = num_pols;
				goto no_transform;
2379 2380 2381
			}

			route = xdst->route;
2382
		}
2383
	}
L
Linus Torvalds 已提交
2384

2385
	if (xdst == NULL) {
2386 2387 2388 2389 2390
		struct xfrm_flo xflo;

		xflo.dst_orig = dst_orig;
		xflo.flags = flags;

L
Linus Torvalds 已提交
2391
		/* To accelerate a bit...  */
2392
		if ((dst_orig->flags & DST_NOXFRM) ||
A
Alexey Dobriyan 已提交
2393
		    !net->xfrm.policy_count[XFRM_POLICY_OUT])
2394
			goto nopol;
L
Linus Torvalds 已提交
2395

2396
		xdst = xfrm_bundle_lookup(net, fl, family, dir, &xflo, if_id);
2397
		if (xdst == NULL)
2398
			goto nopol;
2399 2400
		if (IS_ERR(xdst)) {
			err = PTR_ERR(xdst);
2401
			goto dropdst;
2402
		}
2403 2404 2405

		num_pols = xdst->num_pols;
		num_xfrms = xdst->num_xfrms;
2406
		memcpy(pols, xdst->pols, sizeof(struct xfrm_policy *) * num_pols);
2407 2408 2409 2410 2411 2412 2413 2414 2415 2416 2417 2418 2419
		route = xdst->route;
	}

	dst = &xdst->u.dst;
	if (route == NULL && num_xfrms > 0) {
		/* The only case when xfrm_bundle_lookup() returns a
		 * bundle with null route, is when the template could
		 * not be resolved. It means policies are there, but
		 * bundle could not be created, since we don't yet
		 * have the xfrm_state's. We need to wait for KM to
		 * negotiate new SA's or bail out with error.*/
		if (net->xfrm.sysctl_larval_drop) {
			XFRM_INC_STATS(net, LINUX_MIB_XFRMOUTNOSTATES);
2420 2421
			err = -EREMOTE;
			goto error;
2422 2423
		}

2424
		err = -EAGAIN;
2425 2426 2427

		XFRM_INC_STATS(net, LINUX_MIB_XFRMOUTNOSTATES);
		goto error;
L
Linus Torvalds 已提交
2428 2429
	}

2430 2431
no_transform:
	if (num_pols == 0)
2432
		goto nopol;
L
Linus Torvalds 已提交
2433

2434 2435 2436
	if ((flags & XFRM_LOOKUP_ICMP) &&
	    !(pols[0]->flags & XFRM_POLICY_ICMP)) {
		err = -ENOENT;
2437
		goto error;
2438
	}
2439

2440
	for (i = 0; i < num_pols; i++)
2441
		pols[i]->curlft.use_time = ktime_get_real_seconds();
2442

2443
	if (num_xfrms < 0) {
L
Linus Torvalds 已提交
2444
		/* Prohibit the flow */
A
Alexey Dobriyan 已提交
2445
		XFRM_INC_STATS(net, LINUX_MIB_XFRMOUTPOLBLOCK);
2446 2447
		err = -EPERM;
		goto error;
2448 2449 2450 2451 2452 2453
	} else if (num_xfrms > 0) {
		/* Flow transformed */
		dst_release(dst_orig);
	} else {
		/* Flow passes untransformed */
		dst_release(dst);
2454
		dst = dst_orig;
L
Linus Torvalds 已提交
2455
	}
2456 2457
ok:
	xfrm_pols_put(pols, drop_pols);
G
Gao feng 已提交
2458 2459 2460
	if (dst && dst->xfrm &&
	    dst->xfrm->props.mode == XFRM_MODE_TUNNEL)
		dst->flags |= DST_XFRM_TUNNEL;
2461
	return dst;
L
Linus Torvalds 已提交
2462

2463
nopol:
2464 2465
	if (!(flags & XFRM_LOOKUP_ICMP)) {
		dst = dst_orig;
2466
		goto ok;
2467
	}
2468
	err = -ENOENT;
L
Linus Torvalds 已提交
2469
error:
2470
	dst_release(dst);
2471
dropdst:
2472 2473
	if (!(flags & XFRM_LOOKUP_KEEP_DST_REF))
		dst_release(dst_orig);
2474
	xfrm_pols_put(pols, drop_pols);
2475
	return ERR_PTR(err);
L
Linus Torvalds 已提交
2476
}
2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489
EXPORT_SYMBOL(xfrm_lookup_with_ifid);

/* Main function: finds/creates a bundle for given flow.
 *
 * At the moment we eat a raw IP route. Mostly to speed up lookups
 * on interfaces with disabled IPsec.
 */
struct dst_entry *xfrm_lookup(struct net *net, struct dst_entry *dst_orig,
			      const struct flowi *fl, const struct sock *sk,
			      int flags)
{
	return xfrm_lookup_with_ifid(net, dst_orig, fl, sk, flags, 0);
}
L
Linus Torvalds 已提交
2490 2491
EXPORT_SYMBOL(xfrm_lookup);

2492 2493 2494 2495 2496
/* Callers of xfrm_lookup_route() must ensure a call to dst_output().
 * Otherwise we may send out blackholed packets.
 */
struct dst_entry *xfrm_lookup_route(struct net *net, struct dst_entry *dst_orig,
				    const struct flowi *fl,
2497
				    const struct sock *sk, int flags)
2498
{
2499
	struct dst_entry *dst = xfrm_lookup(net, dst_orig, fl, sk,
2500 2501
					    flags | XFRM_LOOKUP_QUEUE |
					    XFRM_LOOKUP_KEEP_DST_REF);
2502 2503 2504 2505

	if (IS_ERR(dst) && PTR_ERR(dst) == -EREMOTE)
		return make_blackhole(net, dst_orig->ops->family, dst_orig);

2506 2507 2508
	if (IS_ERR(dst))
		dst_release(dst_orig);

2509 2510 2511 2512
	return dst;
}
EXPORT_SYMBOL(xfrm_lookup_route);

2513
static inline int
2514
xfrm_secpath_reject(int idx, struct sk_buff *skb, const struct flowi *fl)
2515 2516 2517 2518 2519 2520 2521 2522
{
	struct xfrm_state *x;

	if (!skb->sp || idx < 0 || idx >= skb->sp->len)
		return 0;
	x = skb->sp->xvec[idx];
	if (!x->type->reject)
		return 0;
2523
	return x->type->reject(x, skb, fl);
2524 2525
}

L
Linus Torvalds 已提交
2526 2527 2528 2529 2530 2531 2532
/* When skb is transformed back to its "native" form, we have to
 * check policy restrictions. At the moment we make this in maximally
 * stupid way. Shame on me. :-) Of course, connected sockets must
 * have policy cached at them.
 */

static inline int
2533
xfrm_state_ok(const struct xfrm_tmpl *tmpl, const struct xfrm_state *x,
L
Linus Torvalds 已提交
2534 2535 2536
	      unsigned short family)
{
	if (xfrm_state_kern(x))
2537
		return tmpl->optional && !xfrm_state_addr_cmp(tmpl, x, tmpl->encap_family);
L
Linus Torvalds 已提交
2538 2539 2540 2541
	return	x->id.proto == tmpl->id.proto &&
		(x->id.spi == tmpl->id.spi || !tmpl->id.spi) &&
		(x->props.reqid == tmpl->reqid || !tmpl->reqid) &&
		x->props.mode == tmpl->mode &&
2542
		(tmpl->allalgs || (tmpl->aalgos & (1<<x->props.aalgo)) ||
2543
		 !(xfrm_id_proto_match(tmpl->id.proto, IPSEC_PROTO_ANY))) &&
2544 2545
		!(x->props.mode != XFRM_MODE_TRANSPORT &&
		  xfrm_state_addr_cmp(tmpl, x, family));
L
Linus Torvalds 已提交
2546 2547
}

2548 2549 2550 2551 2552 2553 2554
/*
 * 0 or more than 0 is returned when validation is succeeded (either bypass
 * because of optional transport mode, or next index of the mathced secpath
 * state with the template.
 * -1 is returned when no matching template is found.
 * Otherwise "-2 - errored_index" is returned.
 */
L
Linus Torvalds 已提交
2555
static inline int
2556
xfrm_policy_ok(const struct xfrm_tmpl *tmpl, const struct sec_path *sp, int start,
L
Linus Torvalds 已提交
2557 2558 2559 2560 2561
	       unsigned short family)
{
	int idx = start;

	if (tmpl->optional) {
2562
		if (tmpl->mode == XFRM_MODE_TRANSPORT)
L
Linus Torvalds 已提交
2563 2564 2565 2566
			return start;
	} else
		start = -1;
	for (; idx < sp->len; idx++) {
2567
		if (xfrm_state_ok(tmpl, sp->xvec[idx], family))
L
Linus Torvalds 已提交
2568
			return ++idx;
2569 2570 2571
		if (sp->xvec[idx]->props.mode != XFRM_MODE_TRANSPORT) {
			if (start == -1)
				start = -2-idx;
L
Linus Torvalds 已提交
2572
			break;
2573
		}
L
Linus Torvalds 已提交
2574 2575 2576 2577
	}
	return start;
}

2578 2579
int __xfrm_decode_session(struct sk_buff *skb, struct flowi *fl,
			  unsigned int family, int reverse)
L
Linus Torvalds 已提交
2580
{
2581
	const struct xfrm_policy_afinfo *afinfo = xfrm_policy_get_afinfo(family);
2582
	int err;
L
Linus Torvalds 已提交
2583 2584 2585 2586

	if (unlikely(afinfo == NULL))
		return -EAFNOSUPPORT;

2587
	afinfo->decode_session(skb, fl, reverse);
2588

2589
	err = security_xfrm_decode_session(skb, &fl->flowi_secid);
2590
	rcu_read_unlock();
2591
	return err;
L
Linus Torvalds 已提交
2592
}
2593
EXPORT_SYMBOL(__xfrm_decode_session);
L
Linus Torvalds 已提交
2594

2595
static inline int secpath_has_nontransport(const struct sec_path *sp, int k, int *idxp)
L
Linus Torvalds 已提交
2596 2597
{
	for (; k < sp->len; k++) {
2598
		if (sp->xvec[k]->props.mode != XFRM_MODE_TRANSPORT) {
2599
			*idxp = k;
L
Linus Torvalds 已提交
2600
			return 1;
2601
		}
L
Linus Torvalds 已提交
2602 2603 2604 2605 2606
	}

	return 0;
}

2607
int __xfrm_policy_check(struct sock *sk, int dir, struct sk_buff *skb,
L
Linus Torvalds 已提交
2608 2609
			unsigned short family)
{
2610
	struct net *net = dev_net(skb->dev);
L
Linus Torvalds 已提交
2611
	struct xfrm_policy *pol;
2612 2613 2614 2615
	struct xfrm_policy *pols[XFRM_POLICY_TYPE_MAX];
	int npols = 0;
	int xfrm_nr;
	int pi;
2616
	int reverse;
L
Linus Torvalds 已提交
2617
	struct flowi fl;
2618
	int xerr_idx = -1;
2619 2620 2621 2622 2623 2624 2625 2626 2627 2628 2629 2630 2631
	const struct xfrm_if_cb *ifcb;
	struct xfrm_if *xi;
	u32 if_id = 0;

	rcu_read_lock();
	ifcb = xfrm_if_get_cb();

	if (ifcb) {
		xi = ifcb->decode_session(skb);
		if (xi)
			if_id = xi->p.if_id;
	}
	rcu_read_unlock();
L
Linus Torvalds 已提交
2632

2633 2634 2635
	reverse = dir & ~XFRM_POLICY_MASK;
	dir &= XFRM_POLICY_MASK;

2636
	if (__xfrm_decode_session(skb, &fl, family, reverse) < 0) {
A
Alexey Dobriyan 已提交
2637
		XFRM_INC_STATS(net, LINUX_MIB_XFRMINHDRERROR);
L
Linus Torvalds 已提交
2638
		return 0;
2639 2640
	}

2641
	nf_nat_decode_session(skb, &fl, family);
L
Linus Torvalds 已提交
2642 2643 2644 2645 2646

	/* First, check used SA against their selectors. */
	if (skb->sp) {
		int i;

2647
		for (i = skb->sp->len-1; i >= 0; i--) {
2648
			struct xfrm_state *x = skb->sp->xvec[i];
2649
			if (!xfrm_selector_match(&x->sel, &fl, family)) {
A
Alexey Dobriyan 已提交
2650
				XFRM_INC_STATS(net, LINUX_MIB_XFRMINSTATEMISMATCH);
L
Linus Torvalds 已提交
2651
				return 0;
2652
			}
L
Linus Torvalds 已提交
2653 2654 2655 2656
		}
	}

	pol = NULL;
E
Eric Dumazet 已提交
2657
	sk = sk_to_full_sk(sk);
2658
	if (sk && sk->sk_policy[dir]) {
2659
		pol = xfrm_sk_policy_lookup(sk, dir, &fl, family, if_id);
2660
		if (IS_ERR(pol)) {
A
Alexey Dobriyan 已提交
2661
			XFRM_INC_STATS(net, LINUX_MIB_XFRMINPOLERROR);
2662
			return 0;
2663
		}
2664
	}
L
Linus Torvalds 已提交
2665

2666
	if (!pol)
2667
		pol = xfrm_policy_lookup(net, &fl, family, dir, if_id);
L
Linus Torvalds 已提交
2668

2669
	if (IS_ERR(pol)) {
A
Alexey Dobriyan 已提交
2670
		XFRM_INC_STATS(net, LINUX_MIB_XFRMINPOLERROR);
2671
		return 0;
2672
	}
2673

2674
	if (!pol) {
2675
		if (skb->sp && secpath_has_nontransport(skb->sp, 0, &xerr_idx)) {
2676
			xfrm_secpath_reject(xerr_idx, skb, &fl);
A
Alexey Dobriyan 已提交
2677
			XFRM_INC_STATS(net, LINUX_MIB_XFRMINNOPOLS);
2678 2679 2680 2681
			return 0;
		}
		return 1;
	}
L
Linus Torvalds 已提交
2682

2683
	pol->curlft.use_time = ktime_get_real_seconds();
L
Linus Torvalds 已提交
2684

2685
	pols[0] = pol;
2686
	npols++;
2687 2688
#ifdef CONFIG_XFRM_SUB_POLICY
	if (pols[0]->type != XFRM_POLICY_TYPE_MAIN) {
2689
		pols[1] = xfrm_policy_lookup_bytype(net, XFRM_POLICY_TYPE_MAIN,
2690
						    &fl, family,
2691
						    XFRM_POLICY_IN, if_id);
2692
		if (pols[1]) {
2693
			if (IS_ERR(pols[1])) {
A
Alexey Dobriyan 已提交
2694
				XFRM_INC_STATS(net, LINUX_MIB_XFRMINPOLERROR);
2695
				return 0;
2696
			}
2697
			pols[1]->curlft.use_time = ktime_get_real_seconds();
2698
			npols++;
2699 2700 2701 2702
		}
	}
#endif

L
Linus Torvalds 已提交
2703 2704 2705
	if (pol->action == XFRM_POLICY_ALLOW) {
		struct sec_path *sp;
		static struct sec_path dummy;
2706
		struct xfrm_tmpl *tp[XFRM_MAX_DEPTH];
2707
		struct xfrm_tmpl *stp[XFRM_MAX_DEPTH];
2708 2709
		struct xfrm_tmpl **tpp = tp;
		int ti = 0;
L
Linus Torvalds 已提交
2710 2711 2712 2713 2714
		int i, k;

		if ((sp = skb->sp) == NULL)
			sp = &dummy;

2715 2716
		for (pi = 0; pi < npols; pi++) {
			if (pols[pi] != pol &&
2717
			    pols[pi]->action != XFRM_POLICY_ALLOW) {
A
Alexey Dobriyan 已提交
2718
				XFRM_INC_STATS(net, LINUX_MIB_XFRMINPOLBLOCK);
2719
				goto reject;
2720 2721
			}
			if (ti + pols[pi]->xfrm_nr >= XFRM_MAX_DEPTH) {
A
Alexey Dobriyan 已提交
2722
				XFRM_INC_STATS(net, LINUX_MIB_XFRMINBUFFERERROR);
2723
				goto reject_error;
2724
			}
2725 2726 2727 2728
			for (i = 0; i < pols[pi]->xfrm_nr; i++)
				tpp[ti++] = &pols[pi]->xfrm_vec[i];
		}
		xfrm_nr = ti;
2729
		if (npols > 1) {
F
Fan Du 已提交
2730
			xfrm_tmpl_sort(stp, tpp, xfrm_nr, family, net);
2731 2732
			tpp = stp;
		}
2733

L
Linus Torvalds 已提交
2734 2735 2736 2737 2738 2739
		/* For each tunnel xfrm, find the first matching tmpl.
		 * For each tmpl before that, find corresponding xfrm.
		 * Order is _important_. Later we will implement
		 * some barriers, but at the moment barriers
		 * are implied between each two transformations.
		 */
2740 2741
		for (i = xfrm_nr-1, k = 0; i >= 0; i--) {
			k = xfrm_policy_ok(tpp[i], sp, k, family);
2742
			if (k < 0) {
2743 2744 2745
				if (k < -1)
					/* "-2 - errored_index" returned */
					xerr_idx = -(2+k);
A
Alexey Dobriyan 已提交
2746
				XFRM_INC_STATS(net, LINUX_MIB_XFRMINTMPLMISMATCH);
L
Linus Torvalds 已提交
2747
				goto reject;
2748
			}
L
Linus Torvalds 已提交
2749 2750
		}

2751
		if (secpath_has_nontransport(sp, k, &xerr_idx)) {
A
Alexey Dobriyan 已提交
2752
			XFRM_INC_STATS(net, LINUX_MIB_XFRMINTMPLMISMATCH);
L
Linus Torvalds 已提交
2753
			goto reject;
2754
		}
L
Linus Torvalds 已提交
2755

2756
		xfrm_pols_put(pols, npols);
L
Linus Torvalds 已提交
2757 2758
		return 1;
	}
A
Alexey Dobriyan 已提交
2759
	XFRM_INC_STATS(net, LINUX_MIB_XFRMINPOLBLOCK);
L
Linus Torvalds 已提交
2760 2761

reject:
2762
	xfrm_secpath_reject(xerr_idx, skb, &fl);
2763 2764
reject_error:
	xfrm_pols_put(pols, npols);
L
Linus Torvalds 已提交
2765 2766 2767 2768 2769 2770
	return 0;
}
EXPORT_SYMBOL(__xfrm_policy_check);

int __xfrm_route_forward(struct sk_buff *skb, unsigned short family)
{
2771
	struct net *net = dev_net(skb->dev);
L
Linus Torvalds 已提交
2772
	struct flowi fl;
E
Eric Dumazet 已提交
2773
	struct dst_entry *dst;
E
Eric Dumazet 已提交
2774
	int res = 1;
L
Linus Torvalds 已提交
2775

2776
	if (xfrm_decode_session(skb, &fl, family) < 0) {
2777
		XFRM_INC_STATS(net, LINUX_MIB_XFRMFWDHDRERROR);
L
Linus Torvalds 已提交
2778
		return 0;
2779
	}
L
Linus Torvalds 已提交
2780

2781
	skb_dst_force(skb);
2782 2783 2784 2785
	if (!skb_dst(skb)) {
		XFRM_INC_STATS(net, LINUX_MIB_XFRMFWDHDRERROR);
		return 0;
	}
E
Eric Dumazet 已提交
2786

2787
	dst = xfrm_lookup(net, skb_dst(skb), &fl, NULL, XFRM_LOOKUP_QUEUE);
2788
	if (IS_ERR(dst)) {
E
Eric Dumazet 已提交
2789
		res = 0;
2790 2791
		dst = NULL;
	}
E
Eric Dumazet 已提交
2792 2793
	skb_dst_set(skb, dst);
	return res;
L
Linus Torvalds 已提交
2794 2795 2796
}
EXPORT_SYMBOL(__xfrm_route_forward);

2797 2798
/* Optimize later using cookies and generation ids. */

L
Linus Torvalds 已提交
2799 2800
static struct dst_entry *xfrm_dst_check(struct dst_entry *dst, u32 cookie)
{
2801
	/* Code (such as __xfrm4_bundle_create()) sets dst->obsolete
2802 2803 2804 2805 2806 2807 2808
	 * to DST_OBSOLETE_FORCE_CHK to force all XFRM destinations to
	 * get validated by dst_ops->check on every use.  We do this
	 * because when a normal route referenced by an XFRM dst is
	 * obsoleted we do not go looking around for all parent
	 * referencing XFRM dsts so that we can invalidate them.  It
	 * is just too much work.  Instead we make the checks here on
	 * every use.  For example:
2809 2810 2811 2812 2813 2814 2815 2816
	 *
	 *	XFRM dst A --> IPv4 dst X
	 *
	 * X is the "xdst->route" of A (X is also the "dst->path" of A
	 * in this example).  If X is marked obsolete, "A" will not
	 * notice.  That's what we are validating here via the
	 * stale_bundle() check.
	 *
2817 2818
	 * When a dst is removed from the fib tree, DST_OBSOLETE_DEAD will
	 * be marked on it.
F
Florian Westphal 已提交
2819
	 * This will force stale_bundle() to fail on any xdst bundle with
2820
	 * this dst linked in it.
2821
	 */
2822 2823 2824
	if (dst->obsolete < 0 && !stale_bundle(dst))
		return dst;

L
Linus Torvalds 已提交
2825 2826 2827 2828 2829
	return NULL;
}

static int stale_bundle(struct dst_entry *dst)
{
2830
	return !xfrm_bundle_ok((struct xfrm_dst *)dst);
L
Linus Torvalds 已提交
2831 2832
}

H
Herbert Xu 已提交
2833
void xfrm_dst_ifdown(struct dst_entry *dst, struct net_device *dev)
L
Linus Torvalds 已提交
2834
{
2835
	while ((dst = xfrm_dst_child(dst)) && dst->xfrm && dst->dev == dev) {
2836
		dst->dev = dev_net(dev)->loopback_dev;
2837
		dev_hold(dst->dev);
L
Linus Torvalds 已提交
2838 2839 2840
		dev_put(dev);
	}
}
H
Herbert Xu 已提交
2841
EXPORT_SYMBOL(xfrm_dst_ifdown);
L
Linus Torvalds 已提交
2842 2843 2844 2845 2846 2847 2848 2849 2850 2851 2852 2853 2854 2855 2856 2857 2858

static void xfrm_link_failure(struct sk_buff *skb)
{
	/* Impossible. Such dst must be popped before reaches point of failure. */
}

static struct dst_entry *xfrm_negative_advice(struct dst_entry *dst)
{
	if (dst) {
		if (dst->obsolete) {
			dst_release(dst);
			dst = NULL;
		}
	}
	return dst;
}

2859
static void xfrm_init_pmtu(struct xfrm_dst **bundle, int nr)
L
Linus Torvalds 已提交
2860
{
2861 2862
	while (nr--) {
		struct xfrm_dst *xdst = bundle[nr];
L
Linus Torvalds 已提交
2863
		u32 pmtu, route_mtu_cached;
2864
		struct dst_entry *dst;
L
Linus Torvalds 已提交
2865

2866
		dst = &xdst->u.dst;
2867
		pmtu = dst_mtu(xfrm_dst_child(dst));
L
Linus Torvalds 已提交
2868 2869 2870 2871 2872 2873 2874 2875 2876 2877
		xdst->child_mtu_cached = pmtu;

		pmtu = xfrm_state_mtu(dst->xfrm, pmtu);

		route_mtu_cached = dst_mtu(xdst->route);
		xdst->route_mtu_cached = route_mtu_cached;

		if (pmtu > route_mtu_cached)
			pmtu = route_mtu_cached;

2878
		dst_metric_set(dst, RTAX_MTU, pmtu);
2879
	}
L
Linus Torvalds 已提交
2880 2881 2882 2883 2884 2885
}

/* Check that the bundle accepts the flow and its components are
 * still valid.
 */

2886
static int xfrm_bundle_ok(struct xfrm_dst *first)
L
Linus Torvalds 已提交
2887
{
2888
	struct xfrm_dst *bundle[XFRM_MAX_DEPTH];
L
Linus Torvalds 已提交
2889
	struct dst_entry *dst = &first->u.dst;
2890 2891
	struct xfrm_dst *xdst;
	int start_from, nr;
L
Linus Torvalds 已提交
2892 2893
	u32 mtu;

2894
	if (!dst_check(xfrm_dst_path(dst), ((struct xfrm_dst *)dst)->path_cookie) ||
L
Linus Torvalds 已提交
2895 2896 2897
	    (dst->dev && !netif_running(dst->dev)))
		return 0;

2898 2899 2900
	if (dst->flags & DST_XFRM_QUEUE)
		return 1;

2901
	start_from = nr = 0;
L
Linus Torvalds 已提交
2902 2903 2904 2905 2906
	do {
		struct xfrm_dst *xdst = (struct xfrm_dst *)dst;

		if (dst->xfrm->km.state != XFRM_STATE_VALID)
			return 0;
2907 2908
		if (xdst->xfrm_genid != dst->xfrm->genid)
			return 0;
2909 2910
		if (xdst->num_pols > 0 &&
		    xdst->policy_genid != atomic_read(&xdst->pols[0]->genid))
2911
			return 0;
2912

2913 2914
		bundle[nr++] = xdst;

2915
		mtu = dst_mtu(xfrm_dst_child(dst));
L
Linus Torvalds 已提交
2916
		if (xdst->child_mtu_cached != mtu) {
2917
			start_from = nr;
L
Linus Torvalds 已提交
2918 2919 2920
			xdst->child_mtu_cached = mtu;
		}

2921
		if (!dst_check(xdst->route, xdst->route_cookie))
L
Linus Torvalds 已提交
2922 2923 2924
			return 0;
		mtu = dst_mtu(xdst->route);
		if (xdst->route_mtu_cached != mtu) {
2925
			start_from = nr;
L
Linus Torvalds 已提交
2926 2927 2928
			xdst->route_mtu_cached = mtu;
		}

2929
		dst = xfrm_dst_child(dst);
L
Linus Torvalds 已提交
2930 2931
	} while (dst->xfrm);

2932
	if (likely(!start_from))
L
Linus Torvalds 已提交
2933 2934
		return 1;

2935 2936 2937 2938
	xdst = bundle[start_from - 1];
	mtu = xdst->child_mtu_cached;
	while (start_from--) {
		dst = &xdst->u.dst;
L
Linus Torvalds 已提交
2939 2940

		mtu = xfrm_state_mtu(dst->xfrm, mtu);
2941 2942
		if (mtu > xdst->route_mtu_cached)
			mtu = xdst->route_mtu_cached;
2943
		dst_metric_set(dst, RTAX_MTU, mtu);
2944
		if (!start_from)
L
Linus Torvalds 已提交
2945 2946
			break;

2947 2948
		xdst = bundle[start_from - 1];
		xdst->child_mtu_cached = mtu;
L
Linus Torvalds 已提交
2949 2950 2951 2952 2953
	}

	return 1;
}

2954 2955
static unsigned int xfrm_default_advmss(const struct dst_entry *dst)
{
2956
	return dst_metric_advmss(xfrm_dst_path(dst));
2957 2958
}

2959
static unsigned int xfrm_mtu(const struct dst_entry *dst)
2960
{
2961 2962
	unsigned int mtu = dst_metric_raw(dst, RTAX_MTU);

2963
	return mtu ? : dst_mtu(xfrm_dst_path(dst));
2964 2965
}

2966 2967
static const void *xfrm_get_dst_nexthop(const struct dst_entry *dst,
					const void *daddr)
2968
{
2969
	while (dst->xfrm) {
2970 2971
		const struct xfrm_state *xfrm = dst->xfrm;

2972 2973
		dst = xfrm_dst_child(dst);

2974 2975 2976 2977 2978 2979 2980
		if (xfrm->props.mode == XFRM_MODE_TRANSPORT)
			continue;
		if (xfrm->type->flags & XFRM_TYPE_REMOTE_COADDR)
			daddr = xfrm->coaddr;
		else if (!(xfrm->type->flags & XFRM_TYPE_LOCAL_COADDR))
			daddr = &xfrm->id.daddr;
	}
2981 2982 2983 2984 2985 2986 2987
	return daddr;
}

static struct neighbour *xfrm_neigh_lookup(const struct dst_entry *dst,
					   struct sk_buff *skb,
					   const void *daddr)
{
2988
	const struct dst_entry *path = xfrm_dst_path(dst);
2989 2990 2991 2992 2993 2994 2995 2996

	if (!skb)
		daddr = xfrm_get_dst_nexthop(dst, daddr);
	return path->ops->neigh_lookup(path, skb, daddr);
}

static void xfrm_confirm_neigh(const struct dst_entry *dst, const void *daddr)
{
2997
	const struct dst_entry *path = xfrm_dst_path(dst);
2998 2999

	daddr = xfrm_get_dst_nexthop(dst, daddr);
3000 3001 3002
	path->ops->confirm_neigh(path, daddr);
}

3003
int xfrm_policy_register_afinfo(const struct xfrm_policy_afinfo *afinfo, int family)
L
Linus Torvalds 已提交
3004 3005
{
	int err = 0;
3006 3007

	if (WARN_ON(family >= ARRAY_SIZE(xfrm_policy_afinfo)))
L
Linus Torvalds 已提交
3008
		return -EAFNOSUPPORT;
3009

E
Eric Dumazet 已提交
3010
	spin_lock(&xfrm_policy_afinfo_lock);
3011
	if (unlikely(xfrm_policy_afinfo[family] != NULL))
3012
		err = -EEXIST;
L
Linus Torvalds 已提交
3013 3014 3015 3016 3017 3018
	else {
		struct dst_ops *dst_ops = afinfo->dst_ops;
		if (likely(dst_ops->kmem_cachep == NULL))
			dst_ops->kmem_cachep = xfrm_dst_cache;
		if (likely(dst_ops->check == NULL))
			dst_ops->check = xfrm_dst_check;
3019 3020
		if (likely(dst_ops->default_advmss == NULL))
			dst_ops->default_advmss = xfrm_default_advmss;
3021 3022
		if (likely(dst_ops->mtu == NULL))
			dst_ops->mtu = xfrm_mtu;
L
Linus Torvalds 已提交
3023 3024 3025 3026
		if (likely(dst_ops->negative_advice == NULL))
			dst_ops->negative_advice = xfrm_negative_advice;
		if (likely(dst_ops->link_failure == NULL))
			dst_ops->link_failure = xfrm_link_failure;
3027 3028
		if (likely(dst_ops->neigh_lookup == NULL))
			dst_ops->neigh_lookup = xfrm_neigh_lookup;
3029 3030
		if (likely(!dst_ops->confirm_neigh))
			dst_ops->confirm_neigh = xfrm_confirm_neigh;
3031
		rcu_assign_pointer(xfrm_policy_afinfo[family], afinfo);
L
Linus Torvalds 已提交
3032
	}
E
Eric Dumazet 已提交
3033
	spin_unlock(&xfrm_policy_afinfo_lock);
3034

L
Linus Torvalds 已提交
3035 3036 3037 3038
	return err;
}
EXPORT_SYMBOL(xfrm_policy_register_afinfo);

3039
void xfrm_policy_unregister_afinfo(const struct xfrm_policy_afinfo *afinfo)
L
Linus Torvalds 已提交
3040
{
3041
	struct dst_ops *dst_ops = afinfo->dst_ops;
3042
	int i;
3043

3044 3045 3046 3047 3048
	for (i = 0; i < ARRAY_SIZE(xfrm_policy_afinfo); i++) {
		if (xfrm_policy_afinfo[i] != afinfo)
			continue;
		RCU_INIT_POINTER(xfrm_policy_afinfo[i], NULL);
		break;
E
Eric Dumazet 已提交
3049 3050
	}

3051
	synchronize_rcu();
E
Eric Dumazet 已提交
3052

3053 3054 3055 3056
	dst_ops->kmem_cachep = NULL;
	dst_ops->check = NULL;
	dst_ops->negative_advice = NULL;
	dst_ops->link_failure = NULL;
L
Linus Torvalds 已提交
3057 3058 3059
}
EXPORT_SYMBOL(xfrm_policy_unregister_afinfo);

3060 3061 3062 3063 3064 3065 3066 3067 3068 3069 3070 3071 3072 3073 3074
void xfrm_if_register_cb(const struct xfrm_if_cb *ifcb)
{
	spin_lock(&xfrm_if_cb_lock);
	rcu_assign_pointer(xfrm_if_cb, ifcb);
	spin_unlock(&xfrm_if_cb_lock);
}
EXPORT_SYMBOL(xfrm_if_register_cb);

void xfrm_if_unregister_cb(void)
{
	RCU_INIT_POINTER(xfrm_if_cb, NULL);
	synchronize_rcu();
}
EXPORT_SYMBOL(xfrm_if_unregister_cb);

3075
#ifdef CONFIG_XFRM_STATISTICS
A
Alexey Dobriyan 已提交
3076
static int __net_init xfrm_statistics_init(struct net *net)
3077
{
3078
	int rv;
W
WANG Cong 已提交
3079 3080
	net->mib.xfrm_statistics = alloc_percpu(struct linux_xfrm_mib);
	if (!net->mib.xfrm_statistics)
3081
		return -ENOMEM;
3082 3083
	rv = xfrm_proc_init(net);
	if (rv < 0)
W
WANG Cong 已提交
3084
		free_percpu(net->mib.xfrm_statistics);
3085
	return rv;
3086
}
A
Alexey Dobriyan 已提交
3087 3088 3089

static void xfrm_statistics_fini(struct net *net)
{
3090
	xfrm_proc_fini(net);
W
WANG Cong 已提交
3091
	free_percpu(net->mib.xfrm_statistics);
A
Alexey Dobriyan 已提交
3092 3093 3094 3095 3096 3097 3098 3099 3100 3101
}
#else
static int __net_init xfrm_statistics_init(struct net *net)
{
	return 0;
}

static void xfrm_statistics_fini(struct net *net)
{
}
3102 3103
#endif

3104
static int __net_init xfrm_policy_init(struct net *net)
L
Linus Torvalds 已提交
3105
{
3106
	unsigned int hmask, sz;
3107
	int dir, err;
3108

3109
	if (net_eq(net, &init_net)) {
3110
		xfrm_dst_cache = kmem_cache_create("xfrm_dst_cache",
L
Linus Torvalds 已提交
3111
					   sizeof(struct xfrm_dst),
A
Alexey Dobriyan 已提交
3112
					   0, SLAB_HWCACHE_ALIGN|SLAB_PANIC,
3113
					   NULL);
3114 3115 3116 3117
		err = rhashtable_init(&xfrm_policy_inexact_table,
				      &xfrm_pol_inexact_params);
		BUG_ON(err);
	}
L
Linus Torvalds 已提交
3118

3119 3120 3121
	hmask = 8 - 1;
	sz = (hmask+1) * sizeof(struct hlist_head);

3122 3123 3124
	net->xfrm.policy_byidx = xfrm_hash_alloc(sz);
	if (!net->xfrm.policy_byidx)
		goto out_byidx;
3125
	net->xfrm.policy_idx_hmask = hmask;
3126

H
Herbert Xu 已提交
3127
	for (dir = 0; dir < XFRM_POLICY_MAX; dir++) {
3128 3129
		struct xfrm_policy_hash *htab;

3130
		net->xfrm.policy_count[dir] = 0;
H
Herbert Xu 已提交
3131
		net->xfrm.policy_count[XFRM_POLICY_MAX + dir] = 0;
3132
		INIT_HLIST_HEAD(&net->xfrm.policy_inexact[dir]);
3133

3134
		htab = &net->xfrm.policy_bydst[dir];
3135
		htab->table = xfrm_hash_alloc(sz);
3136
		if (!htab->table)
3137 3138
			goto out_bydst;
		htab->hmask = hmask;
3139 3140 3141 3142
		htab->dbits4 = 32;
		htab->sbits4 = 32;
		htab->dbits6 = 128;
		htab->sbits6 = 128;
3143
	}
3144 3145 3146 3147 3148 3149
	net->xfrm.policy_hthresh.lbits4 = 32;
	net->xfrm.policy_hthresh.rbits4 = 32;
	net->xfrm.policy_hthresh.lbits6 = 128;
	net->xfrm.policy_hthresh.rbits6 = 128;

	seqlock_init(&net->xfrm.policy_hthresh.lock);
3150

3151
	INIT_LIST_HEAD(&net->xfrm.policy_all);
3152
	INIT_LIST_HEAD(&net->xfrm.inexact_bins);
3153
	INIT_WORK(&net->xfrm.policy_hash_work, xfrm_hash_resize);
3154
	INIT_WORK(&net->xfrm.policy_hthresh.work, xfrm_hash_rebuild);
3155
	return 0;
3156

3157 3158 3159 3160 3161 3162 3163 3164
out_bydst:
	for (dir--; dir >= 0; dir--) {
		struct xfrm_policy_hash *htab;

		htab = &net->xfrm.policy_bydst[dir];
		xfrm_hash_free(htab->table, sz);
	}
	xfrm_hash_free(net->xfrm.policy_byidx, sz);
3165 3166
out_byidx:
	return -ENOMEM;
3167 3168 3169 3170
}

static void xfrm_policy_fini(struct net *net)
{
3171
	struct xfrm_pol_inexact_bin *bin, *tmp;
3172
	unsigned int sz;
3173
	int dir;
3174

3175 3176
	flush_work(&net->xfrm.policy_hash_work);
#ifdef CONFIG_XFRM_SUB_POLICY
3177
	xfrm_policy_flush(net, XFRM_POLICY_TYPE_SUB, false);
3178
#endif
3179
	xfrm_policy_flush(net, XFRM_POLICY_TYPE_MAIN, false);
3180

3181
	WARN_ON(!list_empty(&net->xfrm.policy_all));
3182

H
Herbert Xu 已提交
3183
	for (dir = 0; dir < XFRM_POLICY_MAX; dir++) {
3184 3185
		struct xfrm_policy_hash *htab;

3186
		WARN_ON(!hlist_empty(&net->xfrm.policy_inexact[dir]));
3187 3188

		htab = &net->xfrm.policy_bydst[dir];
3189
		sz = (htab->hmask + 1) * sizeof(struct hlist_head);
3190 3191
		WARN_ON(!hlist_empty(htab->table));
		xfrm_hash_free(htab->table, sz);
3192 3193
	}

3194
	sz = (net->xfrm.policy_idx_hmask + 1) * sizeof(struct hlist_head);
3195 3196
	WARN_ON(!hlist_empty(net->xfrm.policy_byidx));
	xfrm_hash_free(net->xfrm.policy_byidx, sz);
3197 3198 3199 3200 3201 3202

	list_for_each_entry_safe(bin, tmp, &net->xfrm.inexact_bins,
				 inexact_bins) {
		WARN_ON(!hlist_empty(&bin->hhead));
		xfrm_policy_inexact_delete_bin(net, bin);
	}
L
Linus Torvalds 已提交
3203 3204
}

3205 3206 3207 3208
static int __net_init xfrm_net_init(struct net *net)
{
	int rv;

3209 3210 3211 3212 3213
	/* Initialize the per-net locks here */
	spin_lock_init(&net->xfrm.xfrm_state_lock);
	spin_lock_init(&net->xfrm.xfrm_policy_lock);
	mutex_init(&net->xfrm.xfrm_cfg_mutex);

A
Alexey Dobriyan 已提交
3214 3215 3216
	rv = xfrm_statistics_init(net);
	if (rv < 0)
		goto out_statistics;
3217 3218 3219 3220 3221 3222
	rv = xfrm_state_init(net);
	if (rv < 0)
		goto out_state;
	rv = xfrm_policy_init(net);
	if (rv < 0)
		goto out_policy;
A
Alexey Dobriyan 已提交
3223 3224 3225
	rv = xfrm_sysctl_init(net);
	if (rv < 0)
		goto out_sysctl;
F
Fan Du 已提交
3226

3227 3228
	return 0;

A
Alexey Dobriyan 已提交
3229 3230
out_sysctl:
	xfrm_policy_fini(net);
3231 3232 3233
out_policy:
	xfrm_state_fini(net);
out_state:
A
Alexey Dobriyan 已提交
3234 3235
	xfrm_statistics_fini(net);
out_statistics:
3236 3237 3238 3239 3240
	return rv;
}

static void __net_exit xfrm_net_exit(struct net *net)
{
A
Alexey Dobriyan 已提交
3241
	xfrm_sysctl_fini(net);
3242 3243
	xfrm_policy_fini(net);
	xfrm_state_fini(net);
A
Alexey Dobriyan 已提交
3244
	xfrm_statistics_fini(net);
3245 3246 3247 3248 3249 3250 3251
}

static struct pernet_operations __net_initdata xfrm_net_ops = {
	.init = xfrm_net_init,
	.exit = xfrm_net_exit,
};

L
Linus Torvalds 已提交
3252 3253
void __init xfrm_init(void)
{
3254
	register_pernet_subsys(&xfrm_net_ops);
3255
	xfrm_dev_init();
3256
	seqcount_init(&xfrm_policy_hash_generation);
L
Linus Torvalds 已提交
3257
	xfrm_input_init();
3258 3259 3260

	RCU_INIT_POINTER(xfrm_if_cb, NULL);
	synchronize_rcu();
L
Linus Torvalds 已提交
3261 3262
}

J
Joy Latten 已提交
3263
#ifdef CONFIG_AUDITSYSCALL
3264 3265
static void xfrm_audit_common_policyinfo(struct xfrm_policy *xp,
					 struct audit_buffer *audit_buf)
J
Joy Latten 已提交
3266
{
3267 3268 3269 3270
	struct xfrm_sec_ctx *ctx = xp->security;
	struct xfrm_selector *sel = &xp->selector;

	if (ctx)
J
Joy Latten 已提交
3271
		audit_log_format(audit_buf, " sec_alg=%u sec_doi=%u sec_obj=%s",
3272
				 ctx->ctx_alg, ctx->ctx_doi, ctx->ctx_str);
J
Joy Latten 已提交
3273

3274
	switch (sel->family) {
J
Joy Latten 已提交
3275
	case AF_INET:
H
Harvey Harrison 已提交
3276
		audit_log_format(audit_buf, " src=%pI4", &sel->saddr.a4);
3277 3278 3279
		if (sel->prefixlen_s != 32)
			audit_log_format(audit_buf, " src_prefixlen=%d",
					 sel->prefixlen_s);
H
Harvey Harrison 已提交
3280
		audit_log_format(audit_buf, " dst=%pI4", &sel->daddr.a4);
3281 3282 3283
		if (sel->prefixlen_d != 32)
			audit_log_format(audit_buf, " dst_prefixlen=%d",
					 sel->prefixlen_d);
J
Joy Latten 已提交
3284 3285
		break;
	case AF_INET6:
H
Harvey Harrison 已提交
3286
		audit_log_format(audit_buf, " src=%pI6", sel->saddr.a6);
3287 3288 3289
		if (sel->prefixlen_s != 128)
			audit_log_format(audit_buf, " src_prefixlen=%d",
					 sel->prefixlen_s);
H
Harvey Harrison 已提交
3290
		audit_log_format(audit_buf, " dst=%pI6", sel->daddr.a6);
3291 3292 3293
		if (sel->prefixlen_d != 128)
			audit_log_format(audit_buf, " dst_prefixlen=%d",
					 sel->prefixlen_d);
J
Joy Latten 已提交
3294 3295 3296 3297
		break;
	}
}

3298
void xfrm_audit_policy_add(struct xfrm_policy *xp, int result, bool task_valid)
J
Joy Latten 已提交
3299 3300 3301
{
	struct audit_buffer *audit_buf;

P
Paul Moore 已提交
3302
	audit_buf = xfrm_audit_start("SPD-add");
J
Joy Latten 已提交
3303 3304
	if (audit_buf == NULL)
		return;
3305
	xfrm_audit_helper_usrinfo(task_valid, audit_buf);
P
Paul Moore 已提交
3306
	audit_log_format(audit_buf, " res=%u", result);
J
Joy Latten 已提交
3307 3308 3309 3310 3311
	xfrm_audit_common_policyinfo(xp, audit_buf);
	audit_log_end(audit_buf);
}
EXPORT_SYMBOL_GPL(xfrm_audit_policy_add);

P
Paul Moore 已提交
3312
void xfrm_audit_policy_delete(struct xfrm_policy *xp, int result,
3313
			      bool task_valid)
J
Joy Latten 已提交
3314 3315 3316
{
	struct audit_buffer *audit_buf;

P
Paul Moore 已提交
3317
	audit_buf = xfrm_audit_start("SPD-delete");
J
Joy Latten 已提交
3318 3319
	if (audit_buf == NULL)
		return;
3320
	xfrm_audit_helper_usrinfo(task_valid, audit_buf);
P
Paul Moore 已提交
3321
	audit_log_format(audit_buf, " res=%u", result);
J
Joy Latten 已提交
3322 3323 3324 3325 3326 3327
	xfrm_audit_common_policyinfo(xp, audit_buf);
	audit_log_end(audit_buf);
}
EXPORT_SYMBOL_GPL(xfrm_audit_policy_delete);
#endif

3328
#ifdef CONFIG_XFRM_MIGRATE
3329 3330
static bool xfrm_migrate_selector_match(const struct xfrm_selector *sel_cmp,
					const struct xfrm_selector *sel_tgt)
3331 3332 3333
{
	if (sel_cmp->proto == IPSEC_ULPROTO_ANY) {
		if (sel_tgt->family == sel_cmp->family &&
3334 3335 3336 3337
		    xfrm_addr_equal(&sel_tgt->daddr, &sel_cmp->daddr,
				    sel_cmp->family) &&
		    xfrm_addr_equal(&sel_tgt->saddr, &sel_cmp->saddr,
				    sel_cmp->family) &&
3338 3339
		    sel_tgt->prefixlen_d == sel_cmp->prefixlen_d &&
		    sel_tgt->prefixlen_s == sel_cmp->prefixlen_s) {
3340
			return true;
3341 3342 3343
		}
	} else {
		if (memcmp(sel_tgt, sel_cmp, sizeof(*sel_tgt)) == 0) {
3344
			return true;
3345 3346
		}
	}
3347
	return false;
3348 3349
}

3350 3351
static struct xfrm_policy *xfrm_migrate_policy_find(const struct xfrm_selector *sel,
						    u8 dir, u8 type, struct net *net)
3352 3353 3354 3355 3356
{
	struct xfrm_policy *pol, *ret = NULL;
	struct hlist_head *chain;
	u32 priority = ~0U;

3357
	spin_lock_bh(&net->xfrm.xfrm_policy_lock);
3358
	chain = policy_hash_direct(net, &sel->daddr, &sel->saddr, sel->family, dir);
3359
	hlist_for_each_entry(pol, chain, bydst) {
3360 3361 3362 3363 3364 3365 3366
		if (xfrm_migrate_selector_match(sel, &pol->selector) &&
		    pol->type == type) {
			ret = pol;
			priority = ret->priority;
			break;
		}
	}
3367
	chain = &net->xfrm.policy_inexact[dir];
3368
	hlist_for_each_entry(pol, chain, bydst_inexact_list) {
3369 3370 3371
		if ((pol->priority >= priority) && ret)
			break;

3372
		if (xfrm_migrate_selector_match(sel, &pol->selector) &&
3373
		    pol->type == type) {
3374 3375 3376 3377 3378
			ret = pol;
			break;
		}
	}

3379
	xfrm_pol_hold(ret);
3380

3381
	spin_unlock_bh(&net->xfrm.xfrm_policy_lock);
3382 3383 3384 3385

	return ret;
}

3386
static int migrate_tmpl_match(const struct xfrm_migrate *m, const struct xfrm_tmpl *t)
3387 3388 3389 3390 3391 3392 3393 3394
{
	int match = 0;

	if (t->mode == m->mode && t->id.proto == m->proto &&
	    (m->reqid == 0 || t->reqid == m->reqid)) {
		switch (t->mode) {
		case XFRM_MODE_TUNNEL:
		case XFRM_MODE_BEET:
3395 3396 3397 3398
			if (xfrm_addr_equal(&t->id.daddr, &m->old_daddr,
					    m->old_family) &&
			    xfrm_addr_equal(&t->saddr, &m->old_saddr,
					    m->old_family)) {
3399 3400 3401 3402 3403 3404 3405 3406 3407 3408 3409 3410 3411 3412 3413 3414 3415 3416 3417 3418 3419 3420 3421 3422
				match = 1;
			}
			break;
		case XFRM_MODE_TRANSPORT:
			/* in case of transport mode, template does not store
			   any IP addresses, hence we just compare mode and
			   protocol */
			match = 1;
			break;
		default:
			break;
		}
	}
	return match;
}

/* update endpoint address(es) of template(s) */
static int xfrm_policy_migrate(struct xfrm_policy *pol,
			       struct xfrm_migrate *m, int num_migrate)
{
	struct xfrm_migrate *mp;
	int i, j, n = 0;

	write_lock_bh(&pol->lock);
H
Herbert Xu 已提交
3423
	if (unlikely(pol->walk.dead)) {
3424 3425 3426 3427 3428 3429 3430 3431 3432 3433
		/* target policy has been deleted */
		write_unlock_bh(&pol->lock);
		return -ENOENT;
	}

	for (i = 0; i < pol->xfrm_nr; i++) {
		for (j = 0, mp = m; j < num_migrate; j++, mp++) {
			if (!migrate_tmpl_match(mp, &pol->xfrm_vec[i]))
				continue;
			n++;
H
Herbert Xu 已提交
3434 3435
			if (pol->xfrm_vec[i].mode != XFRM_MODE_TUNNEL &&
			    pol->xfrm_vec[i].mode != XFRM_MODE_BEET)
3436 3437 3438 3439 3440 3441 3442 3443
				continue;
			/* update endpoints */
			memcpy(&pol->xfrm_vec[i].id.daddr, &mp->new_daddr,
			       sizeof(pol->xfrm_vec[i].id.daddr));
			memcpy(&pol->xfrm_vec[i].saddr, &mp->new_saddr,
			       sizeof(pol->xfrm_vec[i].saddr));
			pol->xfrm_vec[i].encap_family = mp->new_family;
			/* flush bundles */
3444
			atomic_inc(&pol->genid);
3445 3446 3447 3448 3449 3450 3451 3452 3453 3454 3455
		}
	}

	write_unlock_bh(&pol->lock);

	if (!n)
		return -ENODATA;

	return 0;
}

3456
static int xfrm_migrate_check(const struct xfrm_migrate *m, int num_migrate)
3457 3458 3459 3460 3461 3462 3463 3464 3465 3466 3467 3468 3469 3470 3471 3472 3473 3474 3475 3476 3477 3478 3479 3480 3481 3482 3483 3484
{
	int i, j;

	if (num_migrate < 1 || num_migrate > XFRM_MAX_DEPTH)
		return -EINVAL;

	for (i = 0; i < num_migrate; i++) {
		if (xfrm_addr_any(&m[i].new_daddr, m[i].new_family) ||
		    xfrm_addr_any(&m[i].new_saddr, m[i].new_family))
			return -EINVAL;

		/* check if there is any duplicated entry */
		for (j = i + 1; j < num_migrate; j++) {
			if (!memcmp(&m[i].old_daddr, &m[j].old_daddr,
				    sizeof(m[i].old_daddr)) &&
			    !memcmp(&m[i].old_saddr, &m[j].old_saddr,
				    sizeof(m[i].old_saddr)) &&
			    m[i].proto == m[j].proto &&
			    m[i].mode == m[j].mode &&
			    m[i].reqid == m[j].reqid &&
			    m[i].old_family == m[j].old_family)
				return -EINVAL;
		}
	}

	return 0;
}

3485
int xfrm_migrate(const struct xfrm_selector *sel, u8 dir, u8 type,
3486
		 struct xfrm_migrate *m, int num_migrate,
3487 3488
		 struct xfrm_kmaddress *k, struct net *net,
		 struct xfrm_encap_tmpl *encap)
3489 3490 3491 3492 3493 3494 3495 3496
{
	int i, err, nx_cur = 0, nx_new = 0;
	struct xfrm_policy *pol = NULL;
	struct xfrm_state *x, *xc;
	struct xfrm_state *x_cur[XFRM_MAX_DEPTH];
	struct xfrm_state *x_new[XFRM_MAX_DEPTH];
	struct xfrm_migrate *mp;

3497
	/* Stage 0 - sanity checks */
3498 3499 3500
	if ((err = xfrm_migrate_check(m, num_migrate)) < 0)
		goto out;

3501 3502 3503 3504 3505
	if (dir >= XFRM_POLICY_MAX) {
		err = -EINVAL;
		goto out;
	}

3506
	/* Stage 1 - find policy */
3507
	if ((pol = xfrm_migrate_policy_find(sel, dir, type, net)) == NULL) {
3508 3509 3510 3511 3512 3513
		err = -ENOENT;
		goto out;
	}

	/* Stage 2 - find and update state(s) */
	for (i = 0, mp = m; i < num_migrate; i++, mp++) {
F
Fan Du 已提交
3514
		if ((x = xfrm_migrate_state_find(mp, net))) {
3515 3516
			x_cur[nx_cur] = x;
			nx_cur++;
3517 3518
			xc = xfrm_state_migrate(x, mp, encap);
			if (xc) {
3519 3520 3521 3522 3523 3524 3525 3526 3527 3528 3529 3530 3531 3532 3533 3534 3535 3536 3537 3538
				x_new[nx_new] = xc;
				nx_new++;
			} else {
				err = -ENODATA;
				goto restore_state;
			}
		}
	}

	/* Stage 3 - update policy */
	if ((err = xfrm_policy_migrate(pol, m, num_migrate)) < 0)
		goto restore_state;

	/* Stage 4 - delete old state(s) */
	if (nx_cur) {
		xfrm_states_put(x_cur, nx_cur);
		xfrm_states_delete(x_cur, nx_cur);
	}

	/* Stage 5 - announce */
3539
	km_migrate(sel, dir, type, m, num_migrate, k, encap);
3540 3541 3542 3543 3544 3545 3546 3547 3548 3549 3550 3551 3552 3553 3554 3555 3556

	xfrm_pol_put(pol);

	return 0;
out:
	return err;

restore_state:
	if (pol)
		xfrm_pol_put(pol);
	if (nx_cur)
		xfrm_states_put(x_cur, nx_cur);
	if (nx_new)
		xfrm_states_delete(x_new, nx_new);

	return err;
}
3557
EXPORT_SYMBOL(xfrm_migrate);
3558
#endif