xfrm_state.c 66.5 KB
Newer Older
1
// SPDX-License-Identifier: GPL-2.0-only
L
Linus Torvalds 已提交
2 3 4 5 6 7 8 9 10 11 12 13
/*
 * xfrm_state.c
 *
 * Changes:
 *	Mitsuru KANDA @USAGI
 * 	Kazunori MIYAZAWA @USAGI
 * 	Kunihiro Ishiguro <kunihiro@ipinfusion.com>
 * 		IPv6 support
 * 	YOSHIFUJI Hideaki @USAGI
 * 		Split up af-specific functions
 *	Derek Atkins <derek@ihtfp.com>
 *		Add UDP Encapsulation
14
 *
L
Linus Torvalds 已提交
15 16 17 18 19 20 21
 */

#include <linux/workqueue.h>
#include <net/xfrm.h>
#include <linux/pfkeyv2.h>
#include <linux/ipsec.h>
#include <linux/module.h>
22
#include <linux/cache.h>
P
Paul Moore 已提交
23
#include <linux/audit.h>
24
#include <linux/uaccess.h>
25
#include <linux/ktime.h>
26
#include <linux/slab.h>
27 28
#include <linux/interrupt.h>
#include <linux/kernel.h>
L
Linus Torvalds 已提交
29

30 31
#include <crypto/aead.h>

32 33
#include "xfrm_hash.h"

34 35 36
#define xfrm_state_deref_prot(table, net) \
	rcu_dereference_protected((table), lockdep_is_held(&(net)->xfrm.xfrm_state_lock))

37 38
static void xfrm_state_gc_task(struct work_struct *work);

L
Linus Torvalds 已提交
39 40 41
/* Each xfrm_state may be linked to two tables:

   1. Hash table by (spi,daddr,ah/esp) to find SA by SPI. (input,ctl)
42
   2. Hash table by (daddr,family,reqid) to find what SAs exist for given
L
Linus Torvalds 已提交
43 44 45
      destination/tunnel endpoint. (output)
 */

46
static unsigned int xfrm_state_hashmax __read_mostly = 1 * 1024 * 1024;
47
static __read_mostly seqcount_t xfrm_state_hash_generation = SEQCNT_ZERO(xfrm_state_hash_generation);
48
static struct kmem_cache *xfrm_state_cache __ro_after_init;
49

50 51 52
static DECLARE_WORK(xfrm_state_gc_work, xfrm_state_gc_task);
static HLIST_HEAD(xfrm_state_gc_list);

53 54
static inline bool xfrm_state_hold_rcu(struct xfrm_state __rcu *x)
{
55
	return refcount_inc_not_zero(&x->refcnt);
56 57
}

58
static inline unsigned int xfrm_dst_hash(struct net *net,
59 60
					 const xfrm_address_t *daddr,
					 const xfrm_address_t *saddr,
61
					 u32 reqid,
62
					 unsigned short family)
63
{
64
	return __xfrm_dst_hash(daddr, saddr, reqid, family, net->xfrm.state_hmask);
65 66
}

67
static inline unsigned int xfrm_src_hash(struct net *net,
68 69
					 const xfrm_address_t *daddr,
					 const xfrm_address_t *saddr,
70
					 unsigned short family)
71
{
72
	return __xfrm_src_hash(daddr, saddr, family, net->xfrm.state_hmask);
73 74 75
}

static inline unsigned int
76 77
xfrm_spi_hash(struct net *net, const xfrm_address_t *daddr,
	      __be32 spi, u8 proto, unsigned short family)
78
{
79
	return __xfrm_spi_hash(daddr, spi, proto, family, net->xfrm.state_hmask);
80 81 82 83 84 85 86 87
}

static void xfrm_hash_transfer(struct hlist_head *list,
			       struct hlist_head *ndsttable,
			       struct hlist_head *nsrctable,
			       struct hlist_head *nspitable,
			       unsigned int nhashmask)
{
88
	struct hlist_node *tmp;
89 90
	struct xfrm_state *x;

91
	hlist_for_each_entry_safe(x, tmp, list, bydst) {
92 93
		unsigned int h;

94 95 96
		h = __xfrm_dst_hash(&x->id.daddr, &x->props.saddr,
				    x->props.reqid, x->props.family,
				    nhashmask);
97
		hlist_add_head_rcu(&x->bydst, ndsttable + h);
98

99 100
		h = __xfrm_src_hash(&x->id.daddr, &x->props.saddr,
				    x->props.family,
101
				    nhashmask);
102
		hlist_add_head_rcu(&x->bysrc, nsrctable + h);
103

104 105 106 107
		if (x->id.spi) {
			h = __xfrm_spi_hash(&x->id.daddr, x->id.spi,
					    x->id.proto, x->props.family,
					    nhashmask);
108
			hlist_add_head_rcu(&x->byspi, nspitable + h);
109
		}
110 111 112
	}
}

113
static unsigned long xfrm_hash_new_size(unsigned int state_hmask)
114
{
115
	return ((state_hmask + 1) << 1) * sizeof(struct hlist_head);
116 117
}

118
static void xfrm_hash_resize(struct work_struct *work)
119
{
120
	struct net *net = container_of(work, struct net, xfrm.state_hash_work);
121 122 123 124 125
	struct hlist_head *ndst, *nsrc, *nspi, *odst, *osrc, *ospi;
	unsigned long nsize, osize;
	unsigned int nhashmask, ohashmask;
	int i;

126
	nsize = xfrm_hash_new_size(net->xfrm.state_hmask);
127
	ndst = xfrm_hash_alloc(nsize);
128
	if (!ndst)
129
		return;
130
	nsrc = xfrm_hash_alloc(nsize);
131
	if (!nsrc) {
132
		xfrm_hash_free(ndst, nsize);
133
		return;
134
	}
135
	nspi = xfrm_hash_alloc(nsize);
136
	if (!nspi) {
137 138
		xfrm_hash_free(ndst, nsize);
		xfrm_hash_free(nsrc, nsize);
139
		return;
140 141
	}

F
Fan Du 已提交
142
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
143
	write_seqcount_begin(&xfrm_state_hash_generation);
144 145

	nhashmask = (nsize / sizeof(struct hlist_head)) - 1U;
146
	odst = xfrm_state_deref_prot(net->xfrm.state_bydst, net);
147
	for (i = net->xfrm.state_hmask; i >= 0; i--)
148
		xfrm_hash_transfer(odst + i, ndst, nsrc, nspi, nhashmask);
149

150 151
	osrc = xfrm_state_deref_prot(net->xfrm.state_bysrc, net);
	ospi = xfrm_state_deref_prot(net->xfrm.state_byspi, net);
152
	ohashmask = net->xfrm.state_hmask;
153

154 155 156
	rcu_assign_pointer(net->xfrm.state_bydst, ndst);
	rcu_assign_pointer(net->xfrm.state_bysrc, nsrc);
	rcu_assign_pointer(net->xfrm.state_byspi, nspi);
157
	net->xfrm.state_hmask = nhashmask;
158

159
	write_seqcount_end(&xfrm_state_hash_generation);
F
Fan Du 已提交
160
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
161 162

	osize = (ohashmask + 1) * sizeof(struct hlist_head);
163 164 165

	synchronize_rcu();

166 167 168
	xfrm_hash_free(odst, osize);
	xfrm_hash_free(osrc, osize);
	xfrm_hash_free(ospi, osize);
169 170
}

171 172
static DEFINE_SPINLOCK(xfrm_state_afinfo_lock);
static struct xfrm_state_afinfo __rcu *xfrm_state_afinfo[NPROTO];
L
Linus Torvalds 已提交
173 174 175

static DEFINE_SPINLOCK(xfrm_state_gc_lock);

176
int __xfrm_state_delete(struct xfrm_state *x);
L
Linus Torvalds 已提交
177

178
int km_query(struct xfrm_state *x, struct xfrm_tmpl *t, struct xfrm_policy *pol);
179
static bool km_is_alive(const struct km_event *c);
180
void km_state_expired(struct xfrm_state *x, int hard, u32 portid);
L
Linus Torvalds 已提交
181

182
int xfrm_register_type(const struct xfrm_type *type, unsigned short family)
183
{
184
	struct xfrm_state_afinfo *afinfo = xfrm_state_get_afinfo(family);
185 186
	int err = 0;

187
	if (!afinfo)
188
		return -EAFNOSUPPORT;
189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222

#define X(afi, T, name) do {			\
		WARN_ON((afi)->type_ ## name);	\
		(afi)->type_ ## name = (T);	\
	} while (0)

	switch (type->proto) {
	case IPPROTO_COMP:
		X(afinfo, type, comp);
		break;
	case IPPROTO_AH:
		X(afinfo, type, ah);
		break;
	case IPPROTO_ESP:
		X(afinfo, type, esp);
		break;
	case IPPROTO_IPIP:
		X(afinfo, type, ipip);
		break;
	case IPPROTO_DSTOPTS:
		X(afinfo, type, dstopts);
		break;
	case IPPROTO_ROUTING:
		X(afinfo, type, routing);
		break;
	case IPPROTO_IPV6:
		X(afinfo, type, ipip6);
		break;
	default:
		WARN_ON(1);
		err = -EPROTONOSUPPORT;
		break;
	}
#undef X
223
	rcu_read_unlock();
224 225 226 227
	return err;
}
EXPORT_SYMBOL(xfrm_register_type);

228
void xfrm_unregister_type(const struct xfrm_type *type, unsigned short family)
229
{
230
	struct xfrm_state_afinfo *afinfo = xfrm_state_get_afinfo(family);
231 232

	if (unlikely(afinfo == NULL))
233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266
		return;

#define X(afi, T, name) do {				\
		WARN_ON((afi)->type_ ## name != (T));	\
		(afi)->type_ ## name = NULL;		\
	} while (0)

	switch (type->proto) {
	case IPPROTO_COMP:
		X(afinfo, type, comp);
		break;
	case IPPROTO_AH:
		X(afinfo, type, ah);
		break;
	case IPPROTO_ESP:
		X(afinfo, type, esp);
		break;
	case IPPROTO_IPIP:
		X(afinfo, type, ipip);
		break;
	case IPPROTO_DSTOPTS:
		X(afinfo, type, dstopts);
		break;
	case IPPROTO_ROUTING:
		X(afinfo, type, routing);
		break;
	case IPPROTO_IPV6:
		X(afinfo, type, ipip6);
		break;
	default:
		WARN_ON(1);
		break;
	}
#undef X
267
	rcu_read_unlock();
268 269 270
}
EXPORT_SYMBOL(xfrm_unregister_type);

271
static const struct xfrm_type *xfrm_get_type(u8 proto, unsigned short family)
272
{
273
	const struct xfrm_type *type = NULL;
274 275 276 277 278 279 280 281
	struct xfrm_state_afinfo *afinfo;
	int modload_attempted = 0;

retry:
	afinfo = xfrm_state_get_afinfo(family);
	if (unlikely(afinfo == NULL))
		return NULL;

282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307
	switch (proto) {
	case IPPROTO_COMP:
		type = afinfo->type_comp;
		break;
	case IPPROTO_AH:
		type = afinfo->type_ah;
		break;
	case IPPROTO_ESP:
		type = afinfo->type_esp;
		break;
	case IPPROTO_IPIP:
		type = afinfo->type_ipip;
		break;
	case IPPROTO_DSTOPTS:
		type = afinfo->type_dstopts;
		break;
	case IPPROTO_ROUTING:
		type = afinfo->type_routing;
		break;
	case IPPROTO_IPV6:
		type = afinfo->type_ipip6;
		break;
	default:
		break;
	}

308 309
	if (unlikely(type && !try_module_get(type->owner)))
		type = NULL;
310 311 312

	rcu_read_unlock();

313 314 315 316 317 318 319 320 321
	if (!type && !modload_attempted) {
		request_module("xfrm-type-%d-%d", family, proto);
		modload_attempted = 1;
		goto retry;
	}

	return type;
}

322
static void xfrm_put_type(const struct xfrm_type *type)
323 324 325 326
{
	module_put(type->owner);
}

327 328 329 330 331 332 333 334
int xfrm_register_type_offload(const struct xfrm_type_offload *type,
			       unsigned short family)
{
	struct xfrm_state_afinfo *afinfo = xfrm_state_get_afinfo(family);
	int err = 0;

	if (unlikely(afinfo == NULL))
		return -EAFNOSUPPORT;
335 336 337 338 339 340 341 342 343 344 345 346

	switch (type->proto) {
	case IPPROTO_ESP:
		WARN_ON(afinfo->type_offload_esp);
		afinfo->type_offload_esp = type;
		break;
	default:
		WARN_ON(1);
		err = -EPROTONOSUPPORT;
		break;
	}

347 348 349 350 351
	rcu_read_unlock();
	return err;
}
EXPORT_SYMBOL(xfrm_register_type_offload);

352 353
void xfrm_unregister_type_offload(const struct xfrm_type_offload *type,
				  unsigned short family)
354 355 356 357
{
	struct xfrm_state_afinfo *afinfo = xfrm_state_get_afinfo(family);

	if (unlikely(afinfo == NULL))
358 359 360 361 362 363 364 365 366 367 368
		return;

	switch (type->proto) {
	case IPPROTO_ESP:
		WARN_ON(afinfo->type_offload_esp != type);
		afinfo->type_offload_esp = NULL;
		break;
	default:
		WARN_ON(1);
		break;
	}
369 370 371 372
	rcu_read_unlock();
}
EXPORT_SYMBOL(xfrm_unregister_type_offload);

373 374
static const struct xfrm_type_offload *
xfrm_get_type_offload(u8 proto, unsigned short family, bool try_load)
375
{
376
	const struct xfrm_type_offload *type = NULL;
377 378
	struct xfrm_state_afinfo *afinfo;

379
retry:
380 381 382 383
	afinfo = xfrm_state_get_afinfo(family);
	if (unlikely(afinfo == NULL))
		return NULL;

384 385 386 387 388 389 390 391
	switch (proto) {
	case IPPROTO_ESP:
		type = afinfo->type_offload_esp;
		break;
	default:
		break;
	}

392 393 394
	if ((type && !try_module_get(type->owner)))
		type = NULL;

395 396
	rcu_read_unlock();

397 398
	if (!type && try_load) {
		request_module("xfrm-offload-%d-%d", family, proto);
399
		try_load = false;
400 401 402
		goto retry;
	}

403 404 405 406 407 408 409 410
	return type;
}

static void xfrm_put_type_offload(const struct xfrm_type_offload *type)
{
	module_put(type->owner);
}

F
Florian Westphal 已提交
411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451
static const struct xfrm_mode xfrm4_mode_map[XFRM_MODE_MAX] = {
	[XFRM_MODE_BEET] = {
		.encap = XFRM_MODE_BEET,
		.flags = XFRM_MODE_FLAG_TUNNEL,
		.family = AF_INET,
	},
	[XFRM_MODE_TRANSPORT] = {
		.encap = XFRM_MODE_TRANSPORT,
		.family = AF_INET,
	},
	[XFRM_MODE_TUNNEL] = {
		.encap = XFRM_MODE_TUNNEL,
		.flags = XFRM_MODE_FLAG_TUNNEL,
		.family = AF_INET,
	},
};

static const struct xfrm_mode xfrm6_mode_map[XFRM_MODE_MAX] = {
	[XFRM_MODE_BEET] = {
		.encap = XFRM_MODE_BEET,
		.flags = XFRM_MODE_FLAG_TUNNEL,
		.family = AF_INET6,
	},
	[XFRM_MODE_ROUTEOPTIMIZATION] = {
		.encap = XFRM_MODE_ROUTEOPTIMIZATION,
		.family = AF_INET6,
	},
	[XFRM_MODE_TRANSPORT] = {
		.encap = XFRM_MODE_TRANSPORT,
		.family = AF_INET6,
	},
	[XFRM_MODE_TUNNEL] = {
		.encap = XFRM_MODE_TUNNEL,
		.flags = XFRM_MODE_FLAG_TUNNEL,
		.family = AF_INET6,
	},
};

static const struct xfrm_mode *xfrm_get_mode(unsigned int encap, int family)
{
	const struct xfrm_mode *mode;
452 453 454 455

	if (unlikely(encap >= XFRM_MODE_MAX))
		return NULL;

F
Florian Westphal 已提交
456 457 458 459 460 461 462 463 464 465 466 467 468
	switch (family) {
	case AF_INET:
		mode = &xfrm4_mode_map[encap];
		if (mode->family == family)
			return mode;
		break;
	case AF_INET6:
		mode = &xfrm6_mode_map[encap];
		if (mode->family == family)
			return mode;
		break;
	default:
		break;
469 470
	}

F
Florian Westphal 已提交
471
	return NULL;
472 473
}

474 475 476 477 478 479
void xfrm_state_free(struct xfrm_state *x)
{
	kmem_cache_free(xfrm_state_cache, x);
}
EXPORT_SYMBOL(xfrm_state_free);

480
static void ___xfrm_state_destroy(struct xfrm_state *x)
L
Linus Torvalds 已提交
481
{
482
	hrtimer_cancel(&x->mtimer);
483
	del_timer_sync(&x->rtimer);
484
	kfree(x->aead);
J
Jesper Juhl 已提交
485 486 487 488
	kfree(x->aalg);
	kfree(x->ealg);
	kfree(x->calg);
	kfree(x->encap);
489
	kfree(x->coaddr);
490 491
	kfree(x->replay_esn);
	kfree(x->preplay_esn);
492 493
	if (x->type_offload)
		xfrm_put_type_offload(x->type_offload);
L
Linus Torvalds 已提交
494 495 496 497
	if (x->type) {
		x->type->destructor(x);
		xfrm_put_type(x->type);
	}
498 499
	if (x->xfrag.page)
		put_page(x->xfrag.page);
500
	xfrm_dev_state_free(x);
501
	security_xfrm_state_free(x);
502
	xfrm_state_free(x);
L
Linus Torvalds 已提交
503 504
}

505
static void xfrm_state_gc_task(struct work_struct *work)
L
Linus Torvalds 已提交
506
{
H
Herbert Xu 已提交
507
	struct xfrm_state *x;
508
	struct hlist_node *tmp;
H
Herbert Xu 已提交
509
	struct hlist_head gc_list;
L
Linus Torvalds 已提交
510 511

	spin_lock_bh(&xfrm_state_gc_lock);
512
	hlist_move_list(&xfrm_state_gc_list, &gc_list);
L
Linus Torvalds 已提交
513 514
	spin_unlock_bh(&xfrm_state_gc_lock);

515 516
	synchronize_rcu();

517
	hlist_for_each_entry_safe(x, tmp, &gc_list, gclist)
518
		___xfrm_state_destroy(x);
L
Linus Torvalds 已提交
519 520
}

521
static enum hrtimer_restart xfrm_timer_handler(struct hrtimer *me)
L
Linus Torvalds 已提交
522
{
523 524
	struct xfrm_state *x = container_of(me, struct xfrm_state, mtimer);
	enum hrtimer_restart ret = HRTIMER_NORESTART;
525 526
	time64_t now = ktime_get_real_seconds();
	time64_t next = TIME64_MAX;
L
Linus Torvalds 已提交
527
	int warn = 0;
J
Joy Latten 已提交
528
	int err = 0;
L
Linus Torvalds 已提交
529 530 531 532 533 534 535 536 537

	spin_lock(&x->lock);
	if (x->km.state == XFRM_STATE_DEAD)
		goto out;
	if (x->km.state == XFRM_STATE_EXPIRED)
		goto expired;
	if (x->lft.hard_add_expires_seconds) {
		long tmo = x->lft.hard_add_expires_seconds +
			x->curlft.add_time - now;
538 539 540 541
		if (tmo <= 0) {
			if (x->xflags & XFRM_SOFT_EXPIRE) {
				/* enter hard expire without soft expire first?!
				 * setting a new date could trigger this.
A
Alexander Alemayhu 已提交
542
				 * workaround: fix x->curflt.add_time by below:
543 544 545 546 547 548
				 */
				x->curlft.add_time = now - x->saved_tmo - 1;
				tmo = x->lft.hard_add_expires_seconds - x->saved_tmo;
			} else
				goto expired;
		}
L
Linus Torvalds 已提交
549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564
		if (tmo < next)
			next = tmo;
	}
	if (x->lft.hard_use_expires_seconds) {
		long tmo = x->lft.hard_use_expires_seconds +
			(x->curlft.use_time ? : now) - now;
		if (tmo <= 0)
			goto expired;
		if (tmo < next)
			next = tmo;
	}
	if (x->km.dying)
		goto resched;
	if (x->lft.soft_add_expires_seconds) {
		long tmo = x->lft.soft_add_expires_seconds +
			x->curlft.add_time - now;
565
		if (tmo <= 0) {
L
Linus Torvalds 已提交
566
			warn = 1;
567 568
			x->xflags &= ~XFRM_SOFT_EXPIRE;
		} else if (tmo < next) {
L
Linus Torvalds 已提交
569
			next = tmo;
570 571 572
			x->xflags |= XFRM_SOFT_EXPIRE;
			x->saved_tmo = tmo;
		}
L
Linus Torvalds 已提交
573 574 575 576 577 578 579 580 581 582
	}
	if (x->lft.soft_use_expires_seconds) {
		long tmo = x->lft.soft_use_expires_seconds +
			(x->curlft.use_time ? : now) - now;
		if (tmo <= 0)
			warn = 1;
		else if (tmo < next)
			next = tmo;
	}

583
	x->km.dying = warn;
L
Linus Torvalds 已提交
584
	if (warn)
585
		km_state_expired(x, 0, 0);
L
Linus Torvalds 已提交
586
resched:
587
	if (next != TIME64_MAX) {
588 589
		hrtimer_forward_now(&x->mtimer, ktime_set(next, 0));
		ret = HRTIMER_RESTART;
590
	}
591

L
Linus Torvalds 已提交
592 593 594
	goto out;

expired:
595
	if (x->km.state == XFRM_STATE_ACQ && x->id.spi == 0)
L
Linus Torvalds 已提交
596
		x->km.state = XFRM_STATE_EXPIRED;
J
Joy Latten 已提交
597 598

	err = __xfrm_state_delete(x);
599
	if (!err)
600
		km_state_expired(x, 1, 0);
L
Linus Torvalds 已提交
601

602
	xfrm_audit_state_delete(x, err ? 0 : 1, true);
J
Joy Latten 已提交
603

L
Linus Torvalds 已提交
604 605
out:
	spin_unlock(&x->lock);
606
	return ret;
L
Linus Torvalds 已提交
607 608
}

609
static void xfrm_replay_timer_handler(struct timer_list *t);
610

611
struct xfrm_state *xfrm_state_alloc(struct net *net)
L
Linus Torvalds 已提交
612 613 614
{
	struct xfrm_state *x;

615
	x = kmem_cache_zalloc(xfrm_state_cache, GFP_ATOMIC);
L
Linus Torvalds 已提交
616 617

	if (x) {
618
		write_pnet(&x->xs_net, net);
619
		refcount_set(&x->refcnt, 1);
L
Linus Torvalds 已提交
620
		atomic_set(&x->tunnel_users, 0);
H
Herbert Xu 已提交
621
		INIT_LIST_HEAD(&x->km.all);
622 623 624
		INIT_HLIST_NODE(&x->bydst);
		INIT_HLIST_NODE(&x->bysrc);
		INIT_HLIST_NODE(&x->byspi);
625 626
		hrtimer_init(&x->mtimer, CLOCK_BOOTTIME, HRTIMER_MODE_ABS_SOFT);
		x->mtimer.function = xfrm_timer_handler;
627
		timer_setup(&x->rtimer, xfrm_replay_timer_handler, 0);
628
		x->curlft.add_time = ktime_get_real_seconds();
L
Linus Torvalds 已提交
629 630 631 632
		x->lft.soft_byte_limit = XFRM_INF;
		x->lft.soft_packet_limit = XFRM_INF;
		x->lft.hard_byte_limit = XFRM_INF;
		x->lft.hard_packet_limit = XFRM_INF;
633 634
		x->replay_maxage = 0;
		x->replay_maxdiff = 0;
L
Linus Torvalds 已提交
635 636 637 638 639 640
		spin_lock_init(&x->lock);
	}
	return x;
}
EXPORT_SYMBOL(xfrm_state_alloc);

641
void __xfrm_state_destroy(struct xfrm_state *x, bool sync)
L
Linus Torvalds 已提交
642
{
643
	WARN_ON(x->km.state != XFRM_STATE_DEAD);
L
Linus Torvalds 已提交
644

645 646 647 648 649 650 651 652 653
	if (sync) {
		synchronize_rcu();
		___xfrm_state_destroy(x);
	} else {
		spin_lock_bh(&xfrm_state_gc_lock);
		hlist_add_head(&x->gclist, &xfrm_state_gc_list);
		spin_unlock_bh(&xfrm_state_gc_lock);
		schedule_work(&xfrm_state_gc_work);
	}
L
Linus Torvalds 已提交
654 655 656
}
EXPORT_SYMBOL(__xfrm_state_destroy);

657
int __xfrm_state_delete(struct xfrm_state *x)
L
Linus Torvalds 已提交
658
{
659
	struct net *net = xs_net(x);
660 661
	int err = -ESRCH;

L
Linus Torvalds 已提交
662 663
	if (x->km.state != XFRM_STATE_DEAD) {
		x->km.state = XFRM_STATE_DEAD;
F
Fan Du 已提交
664
		spin_lock(&net->xfrm.xfrm_state_lock);
H
Herbert Xu 已提交
665
		list_del(&x->km.all);
666 667
		hlist_del_rcu(&x->bydst);
		hlist_del_rcu(&x->bysrc);
668
		if (x->id.spi)
669
			hlist_del_rcu(&x->byspi);
670
		net->xfrm.state_num--;
F
Fan Du 已提交
671
		spin_unlock(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
672

S
Sabrina Dubroca 已提交
673 674 675
		if (x->encap_sk)
			sock_put(rcu_dereference_raw(x->encap_sk));

676 677
		xfrm_dev_state_delete(x);

L
Linus Torvalds 已提交
678 679 680 681
		/* All xfrm_state objects are created by xfrm_state_alloc.
		 * The xfrm_state_alloc call gives a reference, and that
		 * is what we are dropping here.
		 */
682
		xfrm_state_put(x);
683
		err = 0;
L
Linus Torvalds 已提交
684
	}
685 686

	return err;
L
Linus Torvalds 已提交
687
}
688
EXPORT_SYMBOL(__xfrm_state_delete);
L
Linus Torvalds 已提交
689

690
int xfrm_state_delete(struct xfrm_state *x)
L
Linus Torvalds 已提交
691
{
692 693
	int err;

L
Linus Torvalds 已提交
694
	spin_lock_bh(&x->lock);
695
	err = __xfrm_state_delete(x);
L
Linus Torvalds 已提交
696
	spin_unlock_bh(&x->lock);
697 698

	return err;
L
Linus Torvalds 已提交
699 700 701
}
EXPORT_SYMBOL(xfrm_state_delete);

702 703
#ifdef CONFIG_SECURITY_NETWORK_XFRM
static inline int
704
xfrm_state_flush_secctx_check(struct net *net, u8 proto, bool task_valid)
L
Linus Torvalds 已提交
705
{
706 707
	int i, err = 0;

A
Alexey Dobriyan 已提交
708
	for (i = 0; i <= net->xfrm.state_hmask; i++) {
709 710
		struct xfrm_state *x;

711
		hlist_for_each_entry(x, net->xfrm.state_bydst+i, bydst) {
712 713
			if (xfrm_id_proto_match(x->id.proto, proto) &&
			   (err = security_xfrm_state_delete(x)) != 0) {
714
				xfrm_audit_state_delete(x, 0, task_valid);
715 716 717 718 719 720 721
				return err;
			}
		}
	}

	return err;
}
722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744

static inline int
xfrm_dev_state_flush_secctx_check(struct net *net, struct net_device *dev, bool task_valid)
{
	int i, err = 0;

	for (i = 0; i <= net->xfrm.state_hmask; i++) {
		struct xfrm_state *x;
		struct xfrm_state_offload *xso;

		hlist_for_each_entry(x, net->xfrm.state_bydst+i, bydst) {
			xso = &x->xso;

			if (xso->dev == dev &&
			   (err = security_xfrm_state_delete(x)) != 0) {
				xfrm_audit_state_delete(x, 0, task_valid);
				return err;
			}
		}
	}

	return err;
}
745 746
#else
static inline int
747
xfrm_state_flush_secctx_check(struct net *net, u8 proto, bool task_valid)
748 749 750
{
	return 0;
}
751 752 753 754 755 756

static inline int
xfrm_dev_state_flush_secctx_check(struct net *net, struct net_device *dev, bool task_valid)
{
	return 0;
}
757 758
#endif

759
int xfrm_state_flush(struct net *net, u8 proto, bool task_valid, bool sync)
760
{
761
	int i, err = 0, cnt = 0;
L
Linus Torvalds 已提交
762

F
Fan Du 已提交
763
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
764
	err = xfrm_state_flush_secctx_check(net, proto, task_valid);
765 766 767
	if (err)
		goto out;

768
	err = -ESRCH;
A
Alexey Dobriyan 已提交
769
	for (i = 0; i <= net->xfrm.state_hmask; i++) {
770
		struct xfrm_state *x;
L
Linus Torvalds 已提交
771
restart:
772
		hlist_for_each_entry(x, net->xfrm.state_bydst+i, bydst) {
L
Linus Torvalds 已提交
773
			if (!xfrm_state_kern(x) &&
774
			    xfrm_id_proto_match(x->id.proto, proto)) {
L
Linus Torvalds 已提交
775
				xfrm_state_hold(x);
F
Fan Du 已提交
776
				spin_unlock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
777

J
Joy Latten 已提交
778
				err = xfrm_state_delete(x);
J
Joy Latten 已提交
779
				xfrm_audit_state_delete(x, err ? 0 : 1,
780
							task_valid);
781 782 783 784
				if (sync)
					xfrm_state_put_sync(x);
				else
					xfrm_state_put(x);
785 786
				if (!err)
					cnt++;
L
Linus Torvalds 已提交
787

F
Fan Du 已提交
788
				spin_lock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
789 790 791 792
				goto restart;
			}
		}
	}
793 794
out:
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
795
	if (cnt)
796
		err = 0;
797

798
	return err;
L
Linus Torvalds 已提交
799 800 801
}
EXPORT_SYMBOL(xfrm_state_flush);

802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843
int xfrm_dev_state_flush(struct net *net, struct net_device *dev, bool task_valid)
{
	int i, err = 0, cnt = 0;

	spin_lock_bh(&net->xfrm.xfrm_state_lock);
	err = xfrm_dev_state_flush_secctx_check(net, dev, task_valid);
	if (err)
		goto out;

	err = -ESRCH;
	for (i = 0; i <= net->xfrm.state_hmask; i++) {
		struct xfrm_state *x;
		struct xfrm_state_offload *xso;
restart:
		hlist_for_each_entry(x, net->xfrm.state_bydst+i, bydst) {
			xso = &x->xso;

			if (!xfrm_state_kern(x) && xso->dev == dev) {
				xfrm_state_hold(x);
				spin_unlock_bh(&net->xfrm.xfrm_state_lock);

				err = xfrm_state_delete(x);
				xfrm_audit_state_delete(x, err ? 0 : 1,
							task_valid);
				xfrm_state_put(x);
				if (!err)
					cnt++;

				spin_lock_bh(&net->xfrm.xfrm_state_lock);
				goto restart;
			}
		}
	}
	if (cnt)
		err = 0;

out:
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
	return err;
}
EXPORT_SYMBOL(xfrm_dev_state_flush);

844
void xfrm_sad_getinfo(struct net *net, struct xfrmk_sadinfo *si)
J
Jamal Hadi Salim 已提交
845
{
F
Fan Du 已提交
846
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
847
	si->sadcnt = net->xfrm.state_num;
848
	si->sadhcnt = net->xfrm.state_hmask + 1;
J
Jamal Hadi Salim 已提交
849
	si->sadhmcnt = xfrm_state_hashmax;
F
Fan Du 已提交
850
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
J
Jamal Hadi Salim 已提交
851 852 853
}
EXPORT_SYMBOL(xfrm_sad_getinfo);

854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890
static void
__xfrm4_init_tempsel(struct xfrm_selector *sel, const struct flowi *fl)
{
	const struct flowi4 *fl4 = &fl->u.ip4;

	sel->daddr.a4 = fl4->daddr;
	sel->saddr.a4 = fl4->saddr;
	sel->dport = xfrm_flowi_dport(fl, &fl4->uli);
	sel->dport_mask = htons(0xffff);
	sel->sport = xfrm_flowi_sport(fl, &fl4->uli);
	sel->sport_mask = htons(0xffff);
	sel->family = AF_INET;
	sel->prefixlen_d = 32;
	sel->prefixlen_s = 32;
	sel->proto = fl4->flowi4_proto;
	sel->ifindex = fl4->flowi4_oif;
}

static void
__xfrm6_init_tempsel(struct xfrm_selector *sel, const struct flowi *fl)
{
	const struct flowi6 *fl6 = &fl->u.ip6;

	/* Initialize temporary selector matching only to current session. */
	*(struct in6_addr *)&sel->daddr = fl6->daddr;
	*(struct in6_addr *)&sel->saddr = fl6->saddr;
	sel->dport = xfrm_flowi_dport(fl, &fl6->uli);
	sel->dport_mask = htons(0xffff);
	sel->sport = xfrm_flowi_sport(fl, &fl6->uli);
	sel->sport_mask = htons(0xffff);
	sel->family = AF_INET6;
	sel->prefixlen_d = 128;
	sel->prefixlen_s = 128;
	sel->proto = fl6->flowi6_proto;
	sel->ifindex = fl6->flowi6_oif;
}

891
static void
892
xfrm_init_tempstate(struct xfrm_state *x, const struct flowi *fl,
893
		    const struct xfrm_tmpl *tmpl,
894
		    const xfrm_address_t *daddr, const xfrm_address_t *saddr,
895
		    unsigned short family)
L
Linus Torvalds 已提交
896
{
897 898 899 900 901 902 903 904 905
	switch (family) {
	case AF_INET:
		__xfrm4_init_tempsel(&x->sel, fl);
		break;
	case AF_INET6:
		__xfrm6_init_tempsel(&x->sel, fl);
		break;
	}

906
	x->id = tmpl->id;
907

908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923
	switch (tmpl->encap_family) {
	case AF_INET:
		if (x->id.daddr.a4 == 0)
			x->id.daddr.a4 = daddr->a4;
		x->props.saddr = tmpl->saddr;
		if (x->props.saddr.a4 == 0)
			x->props.saddr.a4 = saddr->a4;
		break;
	case AF_INET6:
		if (ipv6_addr_any((struct in6_addr *)&x->id.daddr))
			memcpy(&x->id.daddr, daddr, sizeof(x->sel.daddr));
		memcpy(&x->props.saddr, &tmpl->saddr, sizeof(x->props.saddr));
		if (ipv6_addr_any((struct in6_addr *)&x->props.saddr))
			memcpy(&x->props.saddr, saddr, sizeof(x->props.saddr));
		break;
	}
924

925 926 927
	x->props.mode = tmpl->mode;
	x->props.reqid = tmpl->reqid;
	x->props.family = tmpl->encap_family;
L
Linus Torvalds 已提交
928 929
}

930 931 932 933
static struct xfrm_state *__xfrm_state_lookup(struct net *net, u32 mark,
					      const xfrm_address_t *daddr,
					      __be32 spi, u8 proto,
					      unsigned short family)
934
{
935
	unsigned int h = xfrm_spi_hash(net, daddr, spi, proto, family);
936 937
	struct xfrm_state *x;

938
	hlist_for_each_entry_rcu(x, net->xfrm.state_byspi + h, byspi) {
939 940
		if (x->props.family != family ||
		    x->id.spi       != spi ||
941
		    x->id.proto     != proto ||
942
		    !xfrm_addr_equal(&x->id.daddr, daddr, family))
943 944
			continue;

J
Jamal Hadi Salim 已提交
945 946
		if ((mark & x->mark.m) != x->mark.v)
			continue;
947 948
		if (!xfrm_state_hold_rcu(x))
			continue;
949 950 951 952 953 954
		return x;
	}

	return NULL;
}

955 956 957 958
static struct xfrm_state *__xfrm_state_lookup_byaddr(struct net *net, u32 mark,
						     const xfrm_address_t *daddr,
						     const xfrm_address_t *saddr,
						     u8 proto, unsigned short family)
959
{
960
	unsigned int h = xfrm_src_hash(net, daddr, saddr, family);
961 962
	struct xfrm_state *x;

963
	hlist_for_each_entry_rcu(x, net->xfrm.state_bysrc + h, bysrc) {
964
		if (x->props.family != family ||
965
		    x->id.proto     != proto ||
966 967
		    !xfrm_addr_equal(&x->id.daddr, daddr, family) ||
		    !xfrm_addr_equal(&x->props.saddr, saddr, family))
968 969
			continue;

J
Jamal Hadi Salim 已提交
970 971
		if ((mark & x->mark.m) != x->mark.v)
			continue;
972 973
		if (!xfrm_state_hold_rcu(x))
			continue;
974 975 976 977 978 979 980 981 982
		return x;
	}

	return NULL;
}

static inline struct xfrm_state *
__xfrm_state_locate(struct xfrm_state *x, int use_spi, int family)
{
983
	struct net *net = xs_net(x);
984
	u32 mark = x->mark.v & x->mark.m;
985

986
	if (use_spi)
987 988
		return __xfrm_state_lookup(net, mark, &x->id.daddr,
					   x->id.spi, x->id.proto, family);
989
	else
990 991
		return __xfrm_state_lookup_byaddr(net, mark,
						  &x->id.daddr,
992 993 994 995
						  &x->props.saddr,
						  x->id.proto, family);
}

996
static void xfrm_hash_grow_check(struct net *net, int have_hash_collision)
997 998
{
	if (have_hash_collision &&
999 1000 1001
	    (net->xfrm.state_hmask + 1) < xfrm_state_hashmax &&
	    net->xfrm.state_num > net->xfrm.state_hmask)
		schedule_work(&net->xfrm.state_hash_work);
1002 1003
}

1004
static void xfrm_state_look_at(struct xfrm_policy *pol, struct xfrm_state *x,
1005
			       const struct flowi *fl, unsigned short family,
1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021
			       struct xfrm_state **best, int *acq_in_progress,
			       int *error)
{
	/* Resolution logic:
	 * 1. There is a valid state with matching selector. Done.
	 * 2. Valid state with inappropriate selector. Skip.
	 *
	 * Entering area of "sysdeps".
	 *
	 * 3. If state is not valid, selector is temporary, it selects
	 *    only session which triggered previous resolution. Key
	 *    manager will do something to install a state with proper
	 *    selector.
	 */
	if (x->km.state == XFRM_STATE_VALID) {
		if ((x->sel.family &&
1022 1023
		     (x->sel.family != family ||
		      !xfrm_selector_match(&x->sel, fl, family))) ||
1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035
		    !security_xfrm_state_pol_flow_match(x, pol, fl))
			return;

		if (!*best ||
		    (*best)->km.dying > x->km.dying ||
		    ((*best)->km.dying == x->km.dying &&
		     (*best)->curlft.add_time < x->curlft.add_time))
			*best = x;
	} else if (x->km.state == XFRM_STATE_ACQ) {
		*acq_in_progress = 1;
	} else if (x->km.state == XFRM_STATE_ERROR ||
		   x->km.state == XFRM_STATE_EXPIRED) {
1036 1037 1038
		if ((!x->sel.family ||
		     (x->sel.family == family &&
		      xfrm_selector_match(&x->sel, fl, family))) &&
1039 1040 1041 1042 1043
		    security_xfrm_state_pol_flow_match(x, pol, fl))
			*error = -ESRCH;
	}
}

L
Linus Torvalds 已提交
1044
struct xfrm_state *
1045
xfrm_state_find(const xfrm_address_t *daddr, const xfrm_address_t *saddr,
1046
		const struct flowi *fl, struct xfrm_tmpl *tmpl,
L
Linus Torvalds 已提交
1047
		struct xfrm_policy *pol, int *err,
1048
		unsigned short family, u32 if_id)
L
Linus Torvalds 已提交
1049
{
1050
	static xfrm_address_t saddr_wildcard = { };
1051
	struct net *net = xp_net(pol);
1052
	unsigned int h, h_wildcard;
1053
	struct xfrm_state *x, *x0, *to_put;
L
Linus Torvalds 已提交
1054 1055 1056
	int acquire_in_progress = 0;
	int error = 0;
	struct xfrm_state *best = NULL;
1057
	u32 mark = pol->mark.v & pol->mark.m;
1058
	unsigned short encap_family = tmpl->encap_family;
1059
	unsigned int sequence;
1060
	struct km_event c;
1061

1062 1063
	to_put = NULL;

1064 1065
	sequence = read_seqcount_begin(&xfrm_state_hash_generation);

1066
	rcu_read_lock();
1067
	h = xfrm_dst_hash(net, daddr, saddr, tmpl->reqid, encap_family);
1068
	hlist_for_each_entry_rcu(x, net->xfrm.state_bydst + h, bydst) {
1069
		if (x->props.family == encap_family &&
L
Linus Torvalds 已提交
1070
		    x->props.reqid == tmpl->reqid &&
J
Jamal Hadi Salim 已提交
1071
		    (mark & x->mark.m) == x->mark.v &&
1072
		    x->if_id == if_id &&
1073
		    !(x->props.flags & XFRM_STATE_WILDRECV) &&
1074
		    xfrm_state_addr_check(x, daddr, saddr, encap_family) &&
L
Linus Torvalds 已提交
1075 1076
		    tmpl->mode == x->props.mode &&
		    tmpl->id.proto == x->id.proto &&
1077
		    (tmpl->id.spi == x->id.spi || !tmpl->id.spi))
1078
			xfrm_state_look_at(pol, x, fl, family,
1079 1080
					   &best, &acquire_in_progress, &error);
	}
1081
	if (best || acquire_in_progress)
1082 1083
		goto found;

1084
	h_wildcard = xfrm_dst_hash(net, daddr, &saddr_wildcard, tmpl->reqid, encap_family);
1085
	hlist_for_each_entry_rcu(x, net->xfrm.state_bydst + h_wildcard, bydst) {
1086
		if (x->props.family == encap_family &&
1087
		    x->props.reqid == tmpl->reqid &&
J
Jamal Hadi Salim 已提交
1088
		    (mark & x->mark.m) == x->mark.v &&
1089
		    x->if_id == if_id &&
1090
		    !(x->props.flags & XFRM_STATE_WILDRECV) &&
1091
		    xfrm_addr_equal(&x->id.daddr, daddr, encap_family) &&
1092 1093 1094
		    tmpl->mode == x->props.mode &&
		    tmpl->id.proto == x->id.proto &&
		    (tmpl->id.spi == x->id.spi || !tmpl->id.spi))
1095
			xfrm_state_look_at(pol, x, fl, family,
1096
					   &best, &acquire_in_progress, &error);
L
Linus Torvalds 已提交
1097 1098
	}

1099
found:
L
Linus Torvalds 已提交
1100 1101
	x = best;
	if (!x && !error && !acquire_in_progress) {
1102
		if (tmpl->id.spi &&
1103
		    (x0 = __xfrm_state_lookup(net, mark, daddr, tmpl->id.spi,
1104
					      tmpl->id.proto, encap_family)) != NULL) {
1105
			to_put = x0;
L
Linus Torvalds 已提交
1106 1107 1108
			error = -EEXIST;
			goto out;
		}
1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119

		c.net = net;
		/* If the KMs have no listeners (yet...), avoid allocating an SA
		 * for each and every packet - garbage collection might not
		 * handle the flood.
		 */
		if (!km_is_alive(&c)) {
			error = -ESRCH;
			goto out;
		}

1120
		x = xfrm_state_alloc(net);
L
Linus Torvalds 已提交
1121 1122 1123 1124
		if (x == NULL) {
			error = -ENOMEM;
			goto out;
		}
1125
		/* Initialize temporary state matching only
L
Linus Torvalds 已提交
1126
		 * to current session. */
1127
		xfrm_init_tempstate(x, fl, tmpl, daddr, saddr, family);
1128
		memcpy(&x->mark, &pol->mark, sizeof(x->mark));
1129
		x->if_id = if_id;
L
Linus Torvalds 已提交
1130

1131
		error = security_xfrm_state_alloc_acquire(x, pol->security, fl->flowi_secid);
1132 1133
		if (error) {
			x->km.state = XFRM_STATE_DEAD;
1134
			to_put = x;
1135 1136 1137 1138
			x = NULL;
			goto out;
		}

L
Linus Torvalds 已提交
1139
		if (km_query(x, tmpl, pol) == 0) {
1140
			spin_lock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
1141
			x->km.state = XFRM_STATE_ACQ;
1142
			list_add(&x->km.all, &net->xfrm.state_all);
1143
			hlist_add_head_rcu(&x->bydst, net->xfrm.state_bydst + h);
1144
			h = xfrm_src_hash(net, daddr, saddr, encap_family);
1145
			hlist_add_head_rcu(&x->bysrc, net->xfrm.state_bysrc + h);
L
Linus Torvalds 已提交
1146
			if (x->id.spi) {
1147
				h = xfrm_spi_hash(net, &x->id.daddr, x->id.spi, x->id.proto, encap_family);
1148
				hlist_add_head_rcu(&x->byspi, net->xfrm.state_byspi + h);
L
Linus Torvalds 已提交
1149
			}
A
Alexey Dobriyan 已提交
1150
			x->lft.hard_add_expires_seconds = net->xfrm.sysctl_acq_expires;
1151 1152 1153
			hrtimer_start(&x->mtimer,
				      ktime_set(net->xfrm.sysctl_acq_expires, 0),
				      HRTIMER_MODE_REL_SOFT);
1154 1155
			net->xfrm.state_num++;
			xfrm_hash_grow_check(net, x->bydst.next != NULL);
1156
			spin_unlock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
1157 1158
		} else {
			x->km.state = XFRM_STATE_DEAD;
1159
			to_put = x;
L
Linus Torvalds 已提交
1160 1161 1162 1163 1164
			x = NULL;
			error = -ESRCH;
		}
	}
out:
1165 1166 1167 1168 1169 1170
	if (x) {
		if (!xfrm_state_hold_rcu(x)) {
			*err = -EAGAIN;
			x = NULL;
		}
	} else {
L
Linus Torvalds 已提交
1171
		*err = acquire_in_progress ? -EAGAIN : error;
1172
	}
1173
	rcu_read_unlock();
1174 1175
	if (to_put)
		xfrm_state_put(to_put);
1176 1177 1178 1179 1180 1181 1182 1183 1184

	if (read_seqcount_retry(&xfrm_state_hash_generation, sequence)) {
		*err = -EAGAIN;
		if (x) {
			xfrm_state_put(x);
			x = NULL;
		}
	}

L
Linus Torvalds 已提交
1185 1186 1187
	return x;
}

1188
struct xfrm_state *
1189
xfrm_stateonly_find(struct net *net, u32 mark, u32 if_id,
1190
		    xfrm_address_t *daddr, xfrm_address_t *saddr,
1191 1192
		    unsigned short family, u8 mode, u8 proto, u32 reqid)
{
1193
	unsigned int h;
1194 1195
	struct xfrm_state *rx = NULL, *x = NULL;

1196
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1197
	h = xfrm_dst_hash(net, daddr, saddr, reqid, family);
1198
	hlist_for_each_entry(x, net->xfrm.state_bydst+h, bydst) {
1199 1200
		if (x->props.family == family &&
		    x->props.reqid == reqid &&
J
Jamal Hadi Salim 已提交
1201
		    (mark & x->mark.m) == x->mark.v &&
1202
		    x->if_id == if_id &&
1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214
		    !(x->props.flags & XFRM_STATE_WILDRECV) &&
		    xfrm_state_addr_check(x, daddr, saddr, family) &&
		    mode == x->props.mode &&
		    proto == x->id.proto &&
		    x->km.state == XFRM_STATE_VALID) {
			rx = x;
			break;
		}
	}

	if (rx)
		xfrm_state_hold(rx);
1215
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1216 1217 1218 1219 1220 1221


	return rx;
}
EXPORT_SYMBOL(xfrm_stateonly_find);

1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235
struct xfrm_state *xfrm_state_lookup_byspi(struct net *net, __be32 spi,
					      unsigned short family)
{
	struct xfrm_state *x;
	struct xfrm_state_walk *w;

	spin_lock_bh(&net->xfrm.xfrm_state_lock);
	list_for_each_entry(w, &net->xfrm.state_all, all) {
		x = container_of(w, struct xfrm_state, km);
		if (x->props.family != family ||
			x->id.spi != spi)
			continue;

		xfrm_state_hold(x);
1236
		spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1237 1238 1239 1240 1241 1242 1243
		return x;
	}
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
	return NULL;
}
EXPORT_SYMBOL(xfrm_state_lookup_byspi);

L
Linus Torvalds 已提交
1244 1245
static void __xfrm_state_insert(struct xfrm_state *x)
{
1246
	struct net *net = xs_net(x);
1247
	unsigned int h;
L
Linus Torvalds 已提交
1248

1249
	list_add(&x->km.all, &net->xfrm.state_all);
1250

1251
	h = xfrm_dst_hash(net, &x->id.daddr, &x->props.saddr,
1252
			  x->props.reqid, x->props.family);
1253
	hlist_add_head_rcu(&x->bydst, net->xfrm.state_bydst + h);
L
Linus Torvalds 已提交
1254

1255
	h = xfrm_src_hash(net, &x->id.daddr, &x->props.saddr, x->props.family);
1256
	hlist_add_head_rcu(&x->bysrc, net->xfrm.state_bysrc + h);
L
Linus Torvalds 已提交
1257

1258
	if (x->id.spi) {
1259
		h = xfrm_spi_hash(net, &x->id.daddr, x->id.spi, x->id.proto,
1260 1261
				  x->props.family);

1262
		hlist_add_head_rcu(&x->byspi, net->xfrm.state_byspi + h);
1263 1264
	}

1265
	hrtimer_start(&x->mtimer, ktime_set(1, 0), HRTIMER_MODE_REL_SOFT);
1266 1267
	if (x->replay_maxage)
		mod_timer(&x->rtimer, jiffies + x->replay_maxage);
1268

1269
	net->xfrm.state_num++;
1270

1271
	xfrm_hash_grow_check(net, x->bydst.next != NULL);
L
Linus Torvalds 已提交
1272 1273
}

F
Fan Du 已提交
1274
/* net->xfrm.xfrm_state_lock is held */
1275 1276
static void __xfrm_state_bump_genids(struct xfrm_state *xnew)
{
1277
	struct net *net = xs_net(xnew);
1278 1279 1280 1281
	unsigned short family = xnew->props.family;
	u32 reqid = xnew->props.reqid;
	struct xfrm_state *x;
	unsigned int h;
J
Jamal Hadi Salim 已提交
1282
	u32 mark = xnew->mark.v & xnew->mark.m;
1283
	u32 if_id = xnew->if_id;
1284

1285
	h = xfrm_dst_hash(net, &xnew->id.daddr, &xnew->props.saddr, reqid, family);
1286
	hlist_for_each_entry(x, net->xfrm.state_bydst+h, bydst) {
1287 1288
		if (x->props.family	== family &&
		    x->props.reqid	== reqid &&
1289
		    x->if_id		== if_id &&
J
Jamal Hadi Salim 已提交
1290
		    (mark & x->mark.m) == x->mark.v &&
1291 1292
		    xfrm_addr_equal(&x->id.daddr, &xnew->id.daddr, family) &&
		    xfrm_addr_equal(&x->props.saddr, &xnew->props.saddr, family))
H
Herbert Xu 已提交
1293
			x->genid++;
1294 1295 1296
	}
}

L
Linus Torvalds 已提交
1297 1298
void xfrm_state_insert(struct xfrm_state *x)
{
F
Fan Du 已提交
1299 1300 1301
	struct net *net = xs_net(x);

	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1302
	__xfrm_state_bump_genids(x);
L
Linus Torvalds 已提交
1303
	__xfrm_state_insert(x);
F
Fan Du 已提交
1304
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
1305 1306 1307
}
EXPORT_SYMBOL(xfrm_state_insert);

F
Fan Du 已提交
1308
/* net->xfrm.xfrm_state_lock is held */
1309 1310
static struct xfrm_state *__find_acq_core(struct net *net,
					  const struct xfrm_mark *m,
1311
					  unsigned short family, u8 mode,
1312
					  u32 reqid, u32 if_id, u8 proto,
1313
					  const xfrm_address_t *daddr,
1314 1315
					  const xfrm_address_t *saddr,
					  int create)
1316
{
1317
	unsigned int h = xfrm_dst_hash(net, daddr, saddr, reqid, family);
1318
	struct xfrm_state *x;
J
Jamal Hadi Salim 已提交
1319
	u32 mark = m->v & m->m;
1320

1321
	hlist_for_each_entry(x, net->xfrm.state_bydst+h, bydst) {
1322 1323 1324 1325
		if (x->props.reqid  != reqid ||
		    x->props.mode   != mode ||
		    x->props.family != family ||
		    x->km.state     != XFRM_STATE_ACQ ||
1326
		    x->id.spi       != 0 ||
1327
		    x->id.proto	    != proto ||
J
Jamal Hadi Salim 已提交
1328
		    (mark & x->mark.m) != x->mark.v ||
1329 1330
		    !xfrm_addr_equal(&x->id.daddr, daddr, family) ||
		    !xfrm_addr_equal(&x->props.saddr, saddr, family))
1331 1332 1333 1334 1335 1336 1337 1338 1339
			continue;

		xfrm_state_hold(x);
		return x;
	}

	if (!create)
		return NULL;

1340
	x = xfrm_state_alloc(net);
1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352
	if (likely(x)) {
		switch (family) {
		case AF_INET:
			x->sel.daddr.a4 = daddr->a4;
			x->sel.saddr.a4 = saddr->a4;
			x->sel.prefixlen_d = 32;
			x->sel.prefixlen_s = 32;
			x->props.saddr.a4 = saddr->a4;
			x->id.daddr.a4 = daddr->a4;
			break;

		case AF_INET6:
J
Jiri Benc 已提交
1353 1354
			x->sel.daddr.in6 = daddr->in6;
			x->sel.saddr.in6 = saddr->in6;
1355 1356
			x->sel.prefixlen_d = 128;
			x->sel.prefixlen_s = 128;
J
Jiri Benc 已提交
1357 1358
			x->props.saddr.in6 = saddr->in6;
			x->id.daddr.in6 = daddr->in6;
1359
			break;
1360
		}
1361 1362 1363 1364 1365 1366

		x->km.state = XFRM_STATE_ACQ;
		x->id.proto = proto;
		x->props.family = family;
		x->props.mode = mode;
		x->props.reqid = reqid;
1367
		x->if_id = if_id;
1368 1369
		x->mark.v = m->v;
		x->mark.m = m->m;
A
Alexey Dobriyan 已提交
1370
		x->lft.hard_add_expires_seconds = net->xfrm.sysctl_acq_expires;
1371
		xfrm_state_hold(x);
1372 1373 1374
		hrtimer_start(&x->mtimer,
			      ktime_set(net->xfrm.sysctl_acq_expires, 0),
			      HRTIMER_MODE_REL_SOFT);
1375
		list_add(&x->km.all, &net->xfrm.state_all);
1376
		hlist_add_head_rcu(&x->bydst, net->xfrm.state_bydst + h);
1377
		h = xfrm_src_hash(net, daddr, saddr, family);
1378
		hlist_add_head_rcu(&x->bysrc, net->xfrm.state_bysrc + h);
1379

1380
		net->xfrm.state_num++;
1381

1382
		xfrm_hash_grow_check(net, x->bydst.next != NULL);
1383 1384 1385 1386 1387
	}

	return x;
}

1388
static struct xfrm_state *__xfrm_find_acq_byseq(struct net *net, u32 mark, u32 seq);
L
Linus Torvalds 已提交
1389 1390 1391

int xfrm_state_add(struct xfrm_state *x)
{
1392
	struct net *net = xs_net(x);
1393
	struct xfrm_state *x1, *to_put;
L
Linus Torvalds 已提交
1394 1395
	int family;
	int err;
1396
	u32 mark = x->mark.v & x->mark.m;
1397
	int use_spi = xfrm_id_proto_match(x->id.proto, IPSEC_PROTO_ANY);
L
Linus Torvalds 已提交
1398 1399 1400

	family = x->props.family;

1401 1402
	to_put = NULL;

F
Fan Du 已提交
1403
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
1404

1405
	x1 = __xfrm_state_locate(x, use_spi, family);
L
Linus Torvalds 已提交
1406
	if (x1) {
1407
		to_put = x1;
L
Linus Torvalds 已提交
1408 1409 1410 1411 1412
		x1 = NULL;
		err = -EEXIST;
		goto out;
	}

1413
	if (use_spi && x->km.seq) {
1414
		x1 = __xfrm_find_acq_byseq(net, mark, x->km.seq);
1415
		if (x1 && ((x1->id.proto != x->id.proto) ||
1416
		    !xfrm_addr_equal(&x1->id.daddr, &x->id.daddr, family))) {
1417
			to_put = x1;
L
Linus Torvalds 已提交
1418 1419 1420 1421
			x1 = NULL;
		}
	}

1422
	if (use_spi && !x1)
1423
		x1 = __find_acq_core(net, &x->mark, family, x->props.mode,
1424
				     x->props.reqid, x->if_id, x->id.proto,
1425
				     &x->id.daddr, &x->props.saddr, 0);
L
Linus Torvalds 已提交
1426

1427
	__xfrm_state_bump_genids(x);
L
Linus Torvalds 已提交
1428 1429 1430 1431
	__xfrm_state_insert(x);
	err = 0;

out:
F
Fan Du 已提交
1432
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
1433 1434 1435 1436 1437 1438

	if (x1) {
		xfrm_state_delete(x1);
		xfrm_state_put(x1);
	}

1439 1440 1441
	if (to_put)
		xfrm_state_put(to_put);

L
Linus Torvalds 已提交
1442 1443 1444 1445
	return err;
}
EXPORT_SYMBOL(xfrm_state_add);

1446
#ifdef CONFIG_XFRM_MIGRATE
1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470
static inline int clone_security(struct xfrm_state *x, struct xfrm_sec_ctx *security)
{
	struct xfrm_user_sec_ctx *uctx;
	int size = sizeof(*uctx) + security->ctx_len;
	int err;

	uctx = kmalloc(size, GFP_KERNEL);
	if (!uctx)
		return -ENOMEM;

	uctx->exttype = XFRMA_SEC_CTX;
	uctx->len = size;
	uctx->ctx_doi = security->ctx_doi;
	uctx->ctx_alg = security->ctx_alg;
	uctx->ctx_len = security->ctx_len;
	memcpy(uctx + 1, security->ctx_str, security->ctx_len);
	err = security_xfrm_state_alloc(x, uctx);
	kfree(uctx);
	if (err)
		return err;

	return 0;
}

1471 1472
static struct xfrm_state *xfrm_state_clone(struct xfrm_state *orig,
					   struct xfrm_encap_tmpl *encap)
1473
{
1474 1475
	struct net *net = xs_net(orig);
	struct xfrm_state *x = xfrm_state_alloc(net);
1476
	if (!x)
H
Herbert Xu 已提交
1477
		goto out;
1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488

	memcpy(&x->id, &orig->id, sizeof(x->id));
	memcpy(&x->sel, &orig->sel, sizeof(x->sel));
	memcpy(&x->lft, &orig->lft, sizeof(x->lft));
	x->props.mode = orig->props.mode;
	x->props.replay_window = orig->props.replay_window;
	x->props.reqid = orig->props.reqid;
	x->props.family = orig->props.family;
	x->props.saddr = orig->props.saddr;

	if (orig->aalg) {
1489
		x->aalg = xfrm_algo_auth_clone(orig->aalg);
1490 1491 1492 1493 1494
		if (!x->aalg)
			goto error;
	}
	x->props.aalgo = orig->props.aalgo;

1495 1496
	if (orig->aead) {
		x->aead = xfrm_algo_aead_clone(orig->aead);
1497
		x->geniv = orig->geniv;
1498 1499 1500
		if (!x->aead)
			goto error;
	}
1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514
	if (orig->ealg) {
		x->ealg = xfrm_algo_clone(orig->ealg);
		if (!x->ealg)
			goto error;
	}
	x->props.ealgo = orig->props.ealgo;

	if (orig->calg) {
		x->calg = xfrm_algo_clone(orig->calg);
		if (!x->calg)
			goto error;
	}
	x->props.calgo = orig->props.calgo;

1515 1516 1517 1518 1519 1520 1521 1522
	if (encap || orig->encap) {
		if (encap)
			x->encap = kmemdup(encap, sizeof(*x->encap),
					GFP_KERNEL);
		else
			x->encap = kmemdup(orig->encap, sizeof(*x->encap),
					GFP_KERNEL);

1523 1524 1525 1526
		if (!x->encap)
			goto error;
	}

1527 1528 1529 1530
	if (orig->security)
		if (clone_security(x, orig->security))
			goto error;

1531 1532 1533 1534 1535 1536 1537
	if (orig->coaddr) {
		x->coaddr = kmemdup(orig->coaddr, sizeof(*x->coaddr),
				    GFP_KERNEL);
		if (!x->coaddr)
			goto error;
	}

1538
	if (orig->replay_esn) {
1539
		if (xfrm_replay_clone(x, orig))
1540 1541 1542
			goto error;
	}

1543
	memcpy(&x->mark, &orig->mark, sizeof(x->mark));
1544
	memcpy(&x->props.smark, &orig->props.smark, sizeof(x->props.smark));
1545

1546
	if (xfrm_init_state(x) < 0)
1547 1548 1549
		goto error;

	x->props.flags = orig->props.flags;
1550
	x->props.extra_flags = orig->props.extra_flags;
1551

1552
	x->if_id = orig->if_id;
1553 1554 1555
	x->tfcpad = orig->tfcpad;
	x->replay_maxdiff = orig->replay_maxdiff;
	x->replay_maxage = orig->replay_maxage;
1556
	memcpy(&x->curlft, &orig->curlft, sizeof(x->curlft));
1557 1558
	x->km.state = orig->km.state;
	x->km.seq = orig->km.seq;
1559 1560
	x->replay = orig->replay;
	x->preplay = orig->preplay;
1561 1562 1563 1564

	return x;

 error:
H
Herbert Xu 已提交
1565 1566
	xfrm_state_put(x);
out:
1567 1568 1569
	return NULL;
}

F
Fan Du 已提交
1570
struct xfrm_state *xfrm_migrate_state_find(struct xfrm_migrate *m, struct net *net)
1571 1572
{
	unsigned int h;
1573 1574 1575
	struct xfrm_state *x = NULL;

	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1576 1577

	if (m->reqid) {
F
Fan Du 已提交
1578
		h = xfrm_dst_hash(net, &m->old_daddr, &m->old_saddr,
1579
				  m->reqid, m->old_family);
F
Fan Du 已提交
1580
		hlist_for_each_entry(x, net->xfrm.state_bydst+h, bydst) {
1581 1582 1583 1584 1585
			if (x->props.mode != m->mode ||
			    x->id.proto != m->proto)
				continue;
			if (m->reqid && x->props.reqid != m->reqid)
				continue;
1586 1587 1588 1589
			if (!xfrm_addr_equal(&x->id.daddr, &m->old_daddr,
					     m->old_family) ||
			    !xfrm_addr_equal(&x->props.saddr, &m->old_saddr,
					     m->old_family))
1590 1591
				continue;
			xfrm_state_hold(x);
1592
			break;
1593 1594
		}
	} else {
F
Fan Du 已提交
1595
		h = xfrm_src_hash(net, &m->old_daddr, &m->old_saddr,
1596
				  m->old_family);
F
Fan Du 已提交
1597
		hlist_for_each_entry(x, net->xfrm.state_bysrc+h, bysrc) {
1598 1599 1600
			if (x->props.mode != m->mode ||
			    x->id.proto != m->proto)
				continue;
1601 1602 1603 1604
			if (!xfrm_addr_equal(&x->id.daddr, &m->old_daddr,
					     m->old_family) ||
			    !xfrm_addr_equal(&x->props.saddr, &m->old_saddr,
					     m->old_family))
1605 1606
				continue;
			xfrm_state_hold(x);
1607
			break;
1608 1609 1610
		}
	}

1611 1612 1613
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);

	return x;
1614 1615 1616
}
EXPORT_SYMBOL(xfrm_migrate_state_find);

1617
struct xfrm_state *xfrm_state_migrate(struct xfrm_state *x,
1618 1619
				      struct xfrm_migrate *m,
				      struct xfrm_encap_tmpl *encap)
1620 1621 1622
{
	struct xfrm_state *xc;

1623
	xc = xfrm_state_clone(x, encap);
1624 1625 1626 1627 1628 1629 1630
	if (!xc)
		return NULL;

	memcpy(&xc->id.daddr, &m->new_daddr, sizeof(xc->id.daddr));
	memcpy(&xc->props.saddr, &m->new_saddr, sizeof(xc->props.saddr));

	/* add state */
1631
	if (xfrm_addr_equal(&x->id.daddr, &m->new_daddr, m->new_family)) {
1632 1633 1634 1635
		/* a care is needed when the destination address of the
		   state is to be updated as it is a part of triplet */
		xfrm_state_insert(xc);
	} else {
1636
		if (xfrm_state_add(xc) < 0)
1637 1638 1639 1640 1641
			goto error;
	}

	return xc;
error:
T
Thomas Egerer 已提交
1642
	xfrm_state_put(xc);
1643 1644 1645 1646 1647
	return NULL;
}
EXPORT_SYMBOL(xfrm_state_migrate);
#endif

L
Linus Torvalds 已提交
1648 1649
int xfrm_state_update(struct xfrm_state *x)
{
1650
	struct xfrm_state *x1, *to_put;
L
Linus Torvalds 已提交
1651
	int err;
1652
	int use_spi = xfrm_id_proto_match(x->id.proto, IPSEC_PROTO_ANY);
F
Fan Du 已提交
1653
	struct net *net = xs_net(x);
L
Linus Torvalds 已提交
1654

1655 1656
	to_put = NULL;

F
Fan Du 已提交
1657
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1658
	x1 = __xfrm_state_locate(x, use_spi, x->props.family);
L
Linus Torvalds 已提交
1659 1660 1661 1662 1663 1664

	err = -ESRCH;
	if (!x1)
		goto out;

	if (xfrm_state_kern(x1)) {
1665
		to_put = x1;
L
Linus Torvalds 已提交
1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676
		err = -EEXIST;
		goto out;
	}

	if (x1->km.state == XFRM_STATE_ACQ) {
		__xfrm_state_insert(x);
		x = NULL;
	}
	err = 0;

out:
F
Fan Du 已提交
1677
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
1678

1679 1680 1681
	if (to_put)
		xfrm_state_put(to_put);

L
Linus Torvalds 已提交
1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693
	if (err)
		return err;

	if (!x) {
		xfrm_state_delete(x1);
		xfrm_state_put(x1);
		return 0;
	}

	err = -EINVAL;
	spin_lock_bh(&x1->lock);
	if (likely(x1->km.state == XFRM_STATE_VALID)) {
1694 1695
		if (x->encap && x1->encap &&
		    x->encap->encap_type == x1->encap->encap_type)
L
Linus Torvalds 已提交
1696
			memcpy(x1->encap, x->encap, sizeof(*x1->encap));
1697 1698 1699
		else if (x->encap || x1->encap)
			goto fail;

1700 1701 1702 1703 1704
		if (x->coaddr && x1->coaddr) {
			memcpy(x1->coaddr, x->coaddr, sizeof(*x1->coaddr));
		}
		if (!use_spi && memcmp(&x1->sel, &x->sel, sizeof(x1->sel)))
			memcpy(&x1->sel, &x->sel, sizeof(x1->sel));
L
Linus Torvalds 已提交
1705 1706 1707
		memcpy(&x1->lft, &x->lft, sizeof(x1->lft));
		x1->km.dying = 0;

1708 1709
		hrtimer_start(&x1->mtimer, ktime_set(1, 0),
			      HRTIMER_MODE_REL_SOFT);
L
Linus Torvalds 已提交
1710 1711 1712
		if (x1->curlft.use_time)
			xfrm_state_check_expire(x1);

1713
		if (x->props.smark.m || x->props.smark.v || x->if_id) {
1714 1715
			spin_lock_bh(&net->xfrm.xfrm_state_lock);

1716 1717 1718 1719 1720
			if (x->props.smark.m || x->props.smark.v)
				x1->props.smark = x->props.smark;

			if (x->if_id)
				x1->if_id = x->if_id;
1721 1722 1723 1724 1725

			__xfrm_state_bump_genids(x1);
			spin_unlock_bh(&net->xfrm.xfrm_state_lock);
		}

L
Linus Torvalds 已提交
1726
		err = 0;
1727 1728
		x->km.state = XFRM_STATE_DEAD;
		__xfrm_state_put(x);
L
Linus Torvalds 已提交
1729
	}
1730 1731

fail:
L
Linus Torvalds 已提交
1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742
	spin_unlock_bh(&x1->lock);

	xfrm_state_put(x1);

	return err;
}
EXPORT_SYMBOL(xfrm_state_update);

int xfrm_state_check_expire(struct xfrm_state *x)
{
	if (!x->curlft.use_time)
1743
		x->curlft.use_time = ktime_get_real_seconds();
L
Linus Torvalds 已提交
1744 1745 1746

	if (x->curlft.bytes >= x->lft.hard_byte_limit ||
	    x->curlft.packets >= x->lft.hard_packet_limit) {
1747
		x->km.state = XFRM_STATE_EXPIRED;
1748
		hrtimer_start(&x->mtimer, 0, HRTIMER_MODE_REL_SOFT);
L
Linus Torvalds 已提交
1749 1750 1751 1752 1753
		return -EINVAL;
	}

	if (!x->km.dying &&
	    (x->curlft.bytes >= x->lft.soft_byte_limit ||
1754 1755
	     x->curlft.packets >= x->lft.soft_packet_limit)) {
		x->km.dying = 1;
1756
		km_state_expired(x, 0, 0);
1757
	}
L
Linus Torvalds 已提交
1758 1759 1760 1761 1762
	return 0;
}
EXPORT_SYMBOL(xfrm_state_check_expire);

struct xfrm_state *
1763
xfrm_state_lookup(struct net *net, u32 mark, const xfrm_address_t *daddr, __be32 spi,
1764
		  u8 proto, unsigned short family)
L
Linus Torvalds 已提交
1765 1766 1767
{
	struct xfrm_state *x;

1768
	rcu_read_lock();
1769
	x = __xfrm_state_lookup(net, mark, daddr, spi, proto, family);
1770
	rcu_read_unlock();
L
Linus Torvalds 已提交
1771 1772 1773 1774 1775
	return x;
}
EXPORT_SYMBOL(xfrm_state_lookup);

struct xfrm_state *
1776
xfrm_state_lookup_byaddr(struct net *net, u32 mark,
1777
			 const xfrm_address_t *daddr, const xfrm_address_t *saddr,
1778 1779 1780 1781
			 u8 proto, unsigned short family)
{
	struct xfrm_state *x;

F
Fan Du 已提交
1782
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1783
	x = __xfrm_state_lookup_byaddr(net, mark, daddr, saddr, proto, family);
F
Fan Du 已提交
1784
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1785 1786 1787 1788 1789
	return x;
}
EXPORT_SYMBOL(xfrm_state_lookup_byaddr);

struct xfrm_state *
1790
xfrm_find_acq(struct net *net, const struct xfrm_mark *mark, u8 mode, u32 reqid,
1791
	      u32 if_id, u8 proto, const xfrm_address_t *daddr,
1792
	      const xfrm_address_t *saddr, int create, unsigned short family)
L
Linus Torvalds 已提交
1793 1794 1795
{
	struct xfrm_state *x;

F
Fan Du 已提交
1796
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1797
	x = __find_acq_core(net, mark, family, mode, reqid, if_id, proto, daddr, saddr, create);
F
Fan Du 已提交
1798
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1799

L
Linus Torvalds 已提交
1800 1801 1802 1803
	return x;
}
EXPORT_SYMBOL(xfrm_find_acq);

1804
#ifdef CONFIG_XFRM_SUB_POLICY
1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 1900 1901
#if IS_ENABLED(CONFIG_IPV6)
/* distribution counting sort function for xfrm_state and xfrm_tmpl */
static void
__xfrm6_sort(void **dst, void **src, int n,
	     int (*cmp)(const void *p), int maxclass)
{
	int count[XFRM_MAX_DEPTH] = { };
	int class[XFRM_MAX_DEPTH];
	int i;

	for (i = 0; i < n; i++) {
		int c = cmp(src[i]);

		class[i] = c;
		count[c]++;
	}

	for (i = 2; i < maxclass; i++)
		count[i] += count[i - 1];

	for (i = 0; i < n; i++) {
		dst[count[class[i] - 1]++] = src[i];
		src[i] = NULL;
	}
}

/* Rule for xfrm_state:
 *
 * rule 1: select IPsec transport except AH
 * rule 2: select MIPv6 RO or inbound trigger
 * rule 3: select IPsec transport AH
 * rule 4: select IPsec tunnel
 * rule 5: others
 */
static int __xfrm6_state_sort_cmp(const void *p)
{
	const struct xfrm_state *v = p;

	switch (v->props.mode) {
	case XFRM_MODE_TRANSPORT:
		if (v->id.proto != IPPROTO_AH)
			return 1;
		else
			return 3;
#if IS_ENABLED(CONFIG_IPV6_MIP6)
	case XFRM_MODE_ROUTEOPTIMIZATION:
	case XFRM_MODE_IN_TRIGGER:
		return 2;
#endif
	case XFRM_MODE_TUNNEL:
	case XFRM_MODE_BEET:
		return 4;
	}
	return 5;
}

/* Rule for xfrm_tmpl:
 *
 * rule 1: select IPsec transport
 * rule 2: select MIPv6 RO or inbound trigger
 * rule 3: select IPsec tunnel
 * rule 4: others
 */
static int __xfrm6_tmpl_sort_cmp(const void *p)
{
	const struct xfrm_tmpl *v = p;

	switch (v->mode) {
	case XFRM_MODE_TRANSPORT:
		return 1;
#if IS_ENABLED(CONFIG_IPV6_MIP6)
	case XFRM_MODE_ROUTEOPTIMIZATION:
	case XFRM_MODE_IN_TRIGGER:
		return 2;
#endif
	case XFRM_MODE_TUNNEL:
	case XFRM_MODE_BEET:
		return 3;
	}
	return 4;
}
#else
static inline int __xfrm6_state_sort_cmp(const void *p) { return 5; }
static inline int __xfrm6_tmpl_sort_cmp(const void *p) { return 4; }

static inline void
__xfrm6_sort(void **dst, void **src, int n,
	     int (*cmp)(const void *p), int maxclass)
{
	int i;

	for (i = 0; i < n; i++)
		dst[i] = src[i];
}
#endif /* CONFIG_IPV6 */

void
1902
xfrm_tmpl_sort(struct xfrm_tmpl **dst, struct xfrm_tmpl **src, int n,
1903
	       unsigned short family)
1904
{
1905
	int i;
1906

1907 1908 1909
	if (family == AF_INET6)
		__xfrm6_sort((void **)dst, (void **)src, n,
			     __xfrm6_tmpl_sort_cmp, 5);
1910 1911 1912
	else
		for (i = 0; i < n; i++)
			dst[i] = src[i];
1913 1914
}

1915
void
1916 1917 1918
xfrm_state_sort(struct xfrm_state **dst, struct xfrm_state **src, int n,
		unsigned short family)
{
1919
	int i;
F
Fan Du 已提交
1920

1921 1922 1923
	if (family == AF_INET6)
		__xfrm6_sort((void **)dst, (void **)src, n,
			     __xfrm6_state_sort_cmp, 6);
1924 1925 1926
	else
		for (i = 0; i < n; i++)
			dst[i] = src[i];
1927 1928 1929
}
#endif

L
Linus Torvalds 已提交
1930 1931
/* Silly enough, but I'm lazy to build resolution list */

1932
static struct xfrm_state *__xfrm_find_acq_byseq(struct net *net, u32 mark, u32 seq)
L
Linus Torvalds 已提交
1933 1934 1935
{
	int i;

1936
	for (i = 0; i <= net->xfrm.state_hmask; i++) {
1937 1938
		struct xfrm_state *x;

1939
		hlist_for_each_entry(x, net->xfrm.state_bydst+i, bydst) {
1940
			if (x->km.seq == seq &&
J
Jamal Hadi Salim 已提交
1941
			    (mark & x->mark.m) == x->mark.v &&
1942
			    x->km.state == XFRM_STATE_ACQ) {
L
Linus Torvalds 已提交
1943 1944 1945 1946 1947 1948 1949 1950
				xfrm_state_hold(x);
				return x;
			}
		}
	}
	return NULL;
}

1951
struct xfrm_state *xfrm_find_acq_byseq(struct net *net, u32 mark, u32 seq)
L
Linus Torvalds 已提交
1952 1953 1954
{
	struct xfrm_state *x;

F
Fan Du 已提交
1955
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1956
	x = __xfrm_find_acq_byseq(net, mark, seq);
F
Fan Du 已提交
1957
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
1958 1959 1960 1961 1962 1963 1964
	return x;
}
EXPORT_SYMBOL(xfrm_find_acq_byseq);

u32 xfrm_get_acqseq(void)
{
	u32 res;
1965 1966 1967 1968 1969
	static atomic_t acqseq;

	do {
		res = atomic_inc_return(&acqseq);
	} while (!res);
L
Linus Torvalds 已提交
1970 1971 1972 1973 1974

	return res;
}
EXPORT_SYMBOL(xfrm_get_acqseq);

1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998
int verify_spi_info(u8 proto, u32 min, u32 max)
{
	switch (proto) {
	case IPPROTO_AH:
	case IPPROTO_ESP:
		break;

	case IPPROTO_COMP:
		/* IPCOMP spi is 16-bits. */
		if (max >= 0x10000)
			return -EINVAL;
		break;

	default:
		return -EINVAL;
	}

	if (min > max)
		return -EINVAL;

	return 0;
}
EXPORT_SYMBOL(verify_spi_info);

1999
int xfrm_alloc_spi(struct xfrm_state *x, u32 low, u32 high)
L
Linus Torvalds 已提交
2000
{
2001
	struct net *net = xs_net(x);
2002
	unsigned int h;
L
Linus Torvalds 已提交
2003
	struct xfrm_state *x0;
2004 2005 2006
	int err = -ENOENT;
	__be32 minspi = htonl(low);
	__be32 maxspi = htonl(high);
2007
	__be32 newspi = 0;
2008
	u32 mark = x->mark.v & x->mark.m;
L
Linus Torvalds 已提交
2009

2010 2011 2012 2013 2014
	spin_lock_bh(&x->lock);
	if (x->km.state == XFRM_STATE_DEAD)
		goto unlock;

	err = 0;
L
Linus Torvalds 已提交
2015
	if (x->id.spi)
2016 2017 2018
		goto unlock;

	err = -ENOENT;
L
Linus Torvalds 已提交
2019 2020

	if (minspi == maxspi) {
2021
		x0 = xfrm_state_lookup(net, mark, &x->id.daddr, minspi, x->id.proto, x->props.family);
L
Linus Torvalds 已提交
2022 2023
		if (x0) {
			xfrm_state_put(x0);
2024
			goto unlock;
L
Linus Torvalds 已提交
2025
		}
2026
		newspi = minspi;
L
Linus Torvalds 已提交
2027 2028
	} else {
		u32 spi = 0;
2029
		for (h = 0; h < high-low+1; h++) {
2030
			spi = low + prandom_u32()%(high-low+1);
2031
			x0 = xfrm_state_lookup(net, mark, &x->id.daddr, htonl(spi), x->id.proto, x->props.family);
L
Linus Torvalds 已提交
2032
			if (x0 == NULL) {
2033
				newspi = htonl(spi);
L
Linus Torvalds 已提交
2034 2035 2036 2037 2038
				break;
			}
			xfrm_state_put(x0);
		}
	}
2039
	if (newspi) {
F
Fan Du 已提交
2040
		spin_lock_bh(&net->xfrm.xfrm_state_lock);
2041
		x->id.spi = newspi;
2042
		h = xfrm_spi_hash(net, &x->id.daddr, x->id.spi, x->id.proto, x->props.family);
2043
		hlist_add_head_rcu(&x->byspi, net->xfrm.state_byspi + h);
F
Fan Du 已提交
2044
		spin_unlock_bh(&net->xfrm.xfrm_state_lock);
2045 2046

		err = 0;
L
Linus Torvalds 已提交
2047
	}
2048 2049 2050 2051 2052

unlock:
	spin_unlock_bh(&x->lock);

	return err;
L
Linus Torvalds 已提交
2053 2054 2055
}
EXPORT_SYMBOL(xfrm_alloc_spi);

2056
static bool __xfrm_state_filter_match(struct xfrm_state *x,
2057
				      struct xfrm_address_filter *filter)
2058 2059 2060 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071 2072
{
	if (filter) {
		if ((filter->family == AF_INET ||
		     filter->family == AF_INET6) &&
		    x->props.family != filter->family)
			return false;

		return addr_match(&x->props.saddr, &filter->saddr,
				  filter->splen) &&
		       addr_match(&x->id.daddr, &filter->daddr,
				  filter->dplen);
	}
	return true;
}

2073
int xfrm_state_walk(struct net *net, struct xfrm_state_walk *walk,
2074
		    int (*func)(struct xfrm_state *, int, void*),
L
Linus Torvalds 已提交
2075 2076
		    void *data)
{
H
Herbert Xu 已提交
2077 2078
	struct xfrm_state *state;
	struct xfrm_state_walk *x;
L
Linus Torvalds 已提交
2079 2080
	int err = 0;

H
Herbert Xu 已提交
2081
	if (walk->seq != 0 && list_empty(&walk->all))
2082 2083
		return 0;

F
Fan Du 已提交
2084
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
H
Herbert Xu 已提交
2085
	if (list_empty(&walk->all))
2086
		x = list_first_entry(&net->xfrm.state_all, struct xfrm_state_walk, all);
H
Herbert Xu 已提交
2087
	else
2088
		x = list_first_entry(&walk->all, struct xfrm_state_walk, all);
2089
	list_for_each_entry_from(x, &net->xfrm.state_all, all) {
H
Herbert Xu 已提交
2090
		if (x->state == XFRM_STATE_DEAD)
2091
			continue;
H
Herbert Xu 已提交
2092 2093
		state = container_of(x, struct xfrm_state, km);
		if (!xfrm_id_proto_match(state->id.proto, walk->proto))
2094
			continue;
2095 2096
		if (!__xfrm_state_filter_match(state, walk->filter))
			continue;
H
Herbert Xu 已提交
2097 2098 2099 2100
		err = func(state, walk->seq, data);
		if (err) {
			list_move_tail(&walk->all, &x->all);
			goto out;
L
Linus Torvalds 已提交
2101
		}
H
Herbert Xu 已提交
2102
		walk->seq++;
L
Linus Torvalds 已提交
2103
	}
H
Herbert Xu 已提交
2104
	if (walk->seq == 0) {
L
Linus Torvalds 已提交
2105 2106 2107
		err = -ENOENT;
		goto out;
	}
H
Herbert Xu 已提交
2108
	list_del_init(&walk->all);
L
Linus Torvalds 已提交
2109
out:
F
Fan Du 已提交
2110
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
2111 2112 2113 2114
	return err;
}
EXPORT_SYMBOL(xfrm_state_walk);

2115
void xfrm_state_walk_init(struct xfrm_state_walk *walk, u8 proto,
2116
			  struct xfrm_address_filter *filter)
H
Herbert Xu 已提交
2117
{
H
Herbert Xu 已提交
2118
	INIT_LIST_HEAD(&walk->all);
H
Herbert Xu 已提交
2119
	walk->proto = proto;
H
Herbert Xu 已提交
2120 2121
	walk->state = XFRM_STATE_DEAD;
	walk->seq = 0;
2122
	walk->filter = filter;
H
Herbert Xu 已提交
2123 2124 2125
}
EXPORT_SYMBOL(xfrm_state_walk_init);

F
Fan Du 已提交
2126
void xfrm_state_walk_done(struct xfrm_state_walk *walk, struct net *net)
2127
{
2128 2129
	kfree(walk->filter);

H
Herbert Xu 已提交
2130
	if (list_empty(&walk->all))
H
Herbert Xu 已提交
2131 2132
		return;

F
Fan Du 已提交
2133
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
H
Herbert Xu 已提交
2134
	list_del(&walk->all);
F
Fan Du 已提交
2135
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
2136 2137 2138
}
EXPORT_SYMBOL(xfrm_state_walk_done);

2139
static void xfrm_replay_timer_handler(struct timer_list *t)
2140
{
2141
	struct xfrm_state *x = from_timer(x, t, rtimer);
2142 2143 2144

	spin_lock(&x->lock);

J
Jamal Hadi Salim 已提交
2145
	if (x->km.state == XFRM_STATE_VALID) {
2146
		if (xfrm_aevent_is_on(xs_net(x)))
2147
			x->repl->notify(x, XFRM_REPLAY_TIMEOUT);
J
Jamal Hadi Salim 已提交
2148 2149 2150
		else
			x->xflags |= XFRM_TIME_DEFER;
	}
2151 2152 2153 2154

	spin_unlock(&x->lock);
}

2155
static LIST_HEAD(xfrm_km_list);
L
Linus Torvalds 已提交
2156

2157
void km_policy_notify(struct xfrm_policy *xp, int dir, const struct km_event *c)
L
Linus Torvalds 已提交
2158 2159 2160
{
	struct xfrm_mgr *km;

2161 2162
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list)
2163 2164
		if (km->notify_policy)
			km->notify_policy(xp, dir, c);
2165
	rcu_read_unlock();
2166
}
L
Linus Torvalds 已提交
2167

2168
void km_state_notify(struct xfrm_state *x, const struct km_event *c)
2169 2170
{
	struct xfrm_mgr *km;
2171 2172
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list)
2173 2174
		if (km->notify)
			km->notify(x, c);
2175
	rcu_read_unlock();
2176 2177 2178 2179 2180
}

EXPORT_SYMBOL(km_policy_notify);
EXPORT_SYMBOL(km_state_notify);

2181
void km_state_expired(struct xfrm_state *x, int hard, u32 portid)
2182 2183 2184
{
	struct km_event c;

2185
	c.data.hard = hard;
2186
	c.portid = portid;
2187
	c.event = XFRM_MSG_EXPIRE;
2188
	km_state_notify(x, &c);
L
Linus Torvalds 已提交
2189 2190
}

2191
EXPORT_SYMBOL(km_state_expired);
2192 2193 2194 2195
/*
 * We send to all registered managers regardless of failure
 * We are happy with one success
*/
2196
int km_query(struct xfrm_state *x, struct xfrm_tmpl *t, struct xfrm_policy *pol)
L
Linus Torvalds 已提交
2197
{
2198
	int err = -EINVAL, acqret;
L
Linus Torvalds 已提交
2199 2200
	struct xfrm_mgr *km;

2201 2202
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
2203
		acqret = km->acquire(x, t, pol);
2204 2205
		if (!acqret)
			err = acqret;
L
Linus Torvalds 已提交
2206
	}
2207
	rcu_read_unlock();
L
Linus Torvalds 已提交
2208 2209
	return err;
}
2210
EXPORT_SYMBOL(km_query);
L
Linus Torvalds 已提交
2211

A
Al Viro 已提交
2212
int km_new_mapping(struct xfrm_state *x, xfrm_address_t *ipaddr, __be16 sport)
L
Linus Torvalds 已提交
2213 2214 2215 2216
{
	int err = -EINVAL;
	struct xfrm_mgr *km;

2217 2218
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
L
Linus Torvalds 已提交
2219 2220 2221 2222 2223
		if (km->new_mapping)
			err = km->new_mapping(x, ipaddr, sport);
		if (!err)
			break;
	}
2224
	rcu_read_unlock();
L
Linus Torvalds 已提交
2225 2226 2227 2228
	return err;
}
EXPORT_SYMBOL(km_new_mapping);

2229
void km_policy_expired(struct xfrm_policy *pol, int dir, int hard, u32 portid)
L
Linus Torvalds 已提交
2230
{
2231
	struct km_event c;
L
Linus Torvalds 已提交
2232

2233
	c.data.hard = hard;
2234
	c.portid = portid;
2235
	c.event = XFRM_MSG_POLEXPIRE;
2236
	km_policy_notify(pol, dir, &c);
L
Linus Torvalds 已提交
2237
}
2238
EXPORT_SYMBOL(km_policy_expired);
L
Linus Torvalds 已提交
2239

2240
#ifdef CONFIG_XFRM_MIGRATE
2241 2242
int km_migrate(const struct xfrm_selector *sel, u8 dir, u8 type,
	       const struct xfrm_migrate *m, int num_migrate,
2243 2244
	       const struct xfrm_kmaddress *k,
	       const struct xfrm_encap_tmpl *encap)
2245 2246 2247 2248 2249
{
	int err = -EINVAL;
	int ret;
	struct xfrm_mgr *km;

2250 2251
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
2252
		if (km->migrate) {
2253 2254
			ret = km->migrate(sel, dir, type, m, num_migrate, k,
					  encap);
2255 2256 2257 2258
			if (!ret)
				err = ret;
		}
	}
2259
	rcu_read_unlock();
2260 2261 2262
	return err;
}
EXPORT_SYMBOL(km_migrate);
2263
#endif
2264

2265
int km_report(struct net *net, u8 proto, struct xfrm_selector *sel, xfrm_address_t *addr)
2266 2267 2268 2269 2270
{
	int err = -EINVAL;
	int ret;
	struct xfrm_mgr *km;

2271 2272
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
2273
		if (km->report) {
2274
			ret = km->report(net, proto, sel, addr);
2275 2276 2277 2278
			if (!ret)
				err = ret;
		}
	}
2279
	rcu_read_unlock();
2280 2281 2282 2283
	return err;
}
EXPORT_SYMBOL(km_report);

2284
static bool km_is_alive(const struct km_event *c)
2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2299 2300
{
	struct xfrm_mgr *km;
	bool is_alive = false;

	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
		if (km->is_alive && km->is_alive(c)) {
			is_alive = true;
			break;
		}
	}
	rcu_read_unlock();

	return is_alive;
}

2301 2302 2303 2304 2305 2306 2307 2308 2309 2310 2311 2312 2313 2314 2315 2316 2317 2318 2319 2320 2321 2322 2323 2324 2325 2326 2327 2328 2329 2330 2331 2332 2333 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2359 2360
#if IS_ENABLED(CONFIG_XFRM_USER_COMPAT)
static DEFINE_SPINLOCK(xfrm_translator_lock);
static struct xfrm_translator __rcu *xfrm_translator;

struct xfrm_translator *xfrm_get_translator(void)
{
	struct xfrm_translator *xtr;

	rcu_read_lock();
	xtr = rcu_dereference(xfrm_translator);
	if (unlikely(!xtr))
		goto out;
	if (!try_module_get(xtr->owner))
		xtr = NULL;
out:
	rcu_read_unlock();
	return xtr;
}
EXPORT_SYMBOL_GPL(xfrm_get_translator);

void xfrm_put_translator(struct xfrm_translator *xtr)
{
	module_put(xtr->owner);
}
EXPORT_SYMBOL_GPL(xfrm_put_translator);

int xfrm_register_translator(struct xfrm_translator *xtr)
{
	int err = 0;

	spin_lock_bh(&xfrm_translator_lock);
	if (unlikely(xfrm_translator != NULL))
		err = -EEXIST;
	else
		rcu_assign_pointer(xfrm_translator, xtr);
	spin_unlock_bh(&xfrm_translator_lock);

	return err;
}
EXPORT_SYMBOL_GPL(xfrm_register_translator);

int xfrm_unregister_translator(struct xfrm_translator *xtr)
{
	int err = 0;

	spin_lock_bh(&xfrm_translator_lock);
	if (likely(xfrm_translator != NULL)) {
		if (rcu_access_pointer(xfrm_translator) != xtr)
			err = -EINVAL;
		else
			RCU_INIT_POINTER(xfrm_translator, NULL);
	}
	spin_unlock_bh(&xfrm_translator_lock);
	synchronize_rcu();

	return err;
}
EXPORT_SYMBOL_GPL(xfrm_unregister_translator);
#endif

2361
int xfrm_user_policy(struct sock *sk, int optname, sockptr_t optval, int optlen)
L
Linus Torvalds 已提交
2362 2363 2364 2365 2366 2367
{
	int err;
	u8 *data;
	struct xfrm_mgr *km;
	struct xfrm_policy *pol = NULL;

2368
	if (sockptr_is_null(optval) && !optlen) {
2369 2370 2371 2372 2373 2374
		xfrm_sk_policy_insert(sk, XFRM_POLICY_IN, NULL);
		xfrm_sk_policy_insert(sk, XFRM_POLICY_OUT, NULL);
		__sk_dst_reset(sk);
		return 0;
	}

L
Linus Torvalds 已提交
2375 2376 2377
	if (optlen <= 0 || optlen > PAGE_SIZE)
		return -EMSGSIZE;

2378
	data = memdup_sockptr(optval, optlen);
G
Geliang Tang 已提交
2379 2380
	if (IS_ERR(data))
		return PTR_ERR(data);
L
Linus Torvalds 已提交
2381

2382 2383 2384
	if (in_compat_syscall()) {
		struct xfrm_translator *xtr = xfrm_get_translator();

2385 2386
		if (!xtr) {
			kfree(data);
2387
			return -EOPNOTSUPP;
2388
		}
2389 2390 2391 2392 2393 2394 2395 2396 2397

		err = xtr->xlate_user_policy_sockptr(&data, optlen);
		xfrm_put_translator(xtr);
		if (err) {
			kfree(data);
			return err;
		}
	}

L
Linus Torvalds 已提交
2398
	err = -EINVAL;
2399 2400
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
2401
		pol = km->compile_policy(sk, optname, data,
L
Linus Torvalds 已提交
2402 2403 2404 2405
					 optlen, &err);
		if (err >= 0)
			break;
	}
2406
	rcu_read_unlock();
L
Linus Torvalds 已提交
2407 2408 2409 2410

	if (err >= 0) {
		xfrm_sk_policy_insert(sk, err, pol);
		xfrm_pol_put(pol);
2411
		__sk_dst_reset(sk);
L
Linus Torvalds 已提交
2412 2413 2414 2415 2416 2417 2418 2419
		err = 0;
	}

	kfree(data);
	return err;
}
EXPORT_SYMBOL(xfrm_user_policy);

2420 2421
static DEFINE_SPINLOCK(xfrm_km_lock);

L
Linus Torvalds 已提交
2422 2423
int xfrm_register_km(struct xfrm_mgr *km)
{
2424 2425 2426
	spin_lock_bh(&xfrm_km_lock);
	list_add_tail_rcu(&km->list, &xfrm_km_list);
	spin_unlock_bh(&xfrm_km_lock);
L
Linus Torvalds 已提交
2427 2428 2429 2430 2431 2432
	return 0;
}
EXPORT_SYMBOL(xfrm_register_km);

int xfrm_unregister_km(struct xfrm_mgr *km)
{
2433 2434 2435 2436
	spin_lock_bh(&xfrm_km_lock);
	list_del_rcu(&km->list);
	spin_unlock_bh(&xfrm_km_lock);
	synchronize_rcu();
L
Linus Torvalds 已提交
2437 2438 2439 2440 2441 2442 2443
	return 0;
}
EXPORT_SYMBOL(xfrm_unregister_km);

int xfrm_state_register_afinfo(struct xfrm_state_afinfo *afinfo)
{
	int err = 0;
2444 2445

	if (WARN_ON(afinfo->family >= NPROTO))
L
Linus Torvalds 已提交
2446
		return -EAFNOSUPPORT;
2447

2448
	spin_lock_bh(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
2449
	if (unlikely(xfrm_state_afinfo[afinfo->family] != NULL))
2450
		err = -EEXIST;
2451
	else
2452 2453
		rcu_assign_pointer(xfrm_state_afinfo[afinfo->family], afinfo);
	spin_unlock_bh(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
2454 2455 2456 2457 2458 2459
	return err;
}
EXPORT_SYMBOL(xfrm_state_register_afinfo);

int xfrm_state_unregister_afinfo(struct xfrm_state_afinfo *afinfo)
{
2460 2461 2462
	int err = 0, family = afinfo->family;

	if (WARN_ON(family >= NPROTO))
L
Linus Torvalds 已提交
2463
		return -EAFNOSUPPORT;
2464

2465
	spin_lock_bh(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
2466
	if (likely(xfrm_state_afinfo[afinfo->family] != NULL)) {
2467
		if (rcu_access_pointer(xfrm_state_afinfo[family]) != afinfo)
L
Linus Torvalds 已提交
2468
			err = -EINVAL;
2469
		else
2470
			RCU_INIT_POINTER(xfrm_state_afinfo[afinfo->family], NULL);
L
Linus Torvalds 已提交
2471
	}
2472 2473
	spin_unlock_bh(&xfrm_state_afinfo_lock);
	synchronize_rcu();
L
Linus Torvalds 已提交
2474 2475 2476 2477
	return err;
}
EXPORT_SYMBOL(xfrm_state_unregister_afinfo);

2478 2479 2480 2481 2482 2483 2484
struct xfrm_state_afinfo *xfrm_state_afinfo_get_rcu(unsigned int family)
{
	if (unlikely(family >= NPROTO))
		return NULL;

	return rcu_dereference(xfrm_state_afinfo[family]);
}
2485
EXPORT_SYMBOL_GPL(xfrm_state_afinfo_get_rcu);
2486

2487
struct xfrm_state_afinfo *xfrm_state_get_afinfo(unsigned int family)
L
Linus Torvalds 已提交
2488 2489 2490 2491
{
	struct xfrm_state_afinfo *afinfo;
	if (unlikely(family >= NPROTO))
		return NULL;
2492 2493
	rcu_read_lock();
	afinfo = rcu_dereference(xfrm_state_afinfo[family]);
2494
	if (unlikely(!afinfo))
2495
		rcu_read_unlock();
L
Linus Torvalds 已提交
2496 2497 2498
	return afinfo;
}

2499 2500 2501 2502 2503 2504
void xfrm_flush_gc(void)
{
	flush_work(&xfrm_state_gc_work);
}
EXPORT_SYMBOL(xfrm_flush_gc);

L
Linus Torvalds 已提交
2505 2506 2507 2508 2509 2510 2511 2512 2513
/* Temporarily located here until net/xfrm/xfrm_tunnel.c is created */
void xfrm_state_delete_tunnel(struct xfrm_state *x)
{
	if (x->tunnel) {
		struct xfrm_state *t = x->tunnel;

		if (atomic_read(&t->tunnel_users) == 2)
			xfrm_state_delete(t);
		atomic_dec(&t->tunnel_users);
2514
		xfrm_state_put_sync(t);
L
Linus Torvalds 已提交
2515 2516 2517 2518 2519
		x->tunnel = NULL;
	}
}
EXPORT_SYMBOL(xfrm_state_delete_tunnel);

2520
u32 xfrm_state_mtu(struct xfrm_state *x, int mtu)
L
Linus Torvalds 已提交
2521
{
2522
	const struct xfrm_type *type = READ_ONCE(x->type);
2523 2524 2525 2526 2527 2528 2529 2530 2531
	struct crypto_aead *aead;
	u32 blksize, net_adj = 0;

	if (x->km.state != XFRM_STATE_VALID ||
	    !type || type->proto != IPPROTO_ESP)
		return mtu - x->props.header_len;

	aead = x->data;
	blksize = ALIGN(crypto_aead_blocksize(aead), 4);
L
Linus Torvalds 已提交
2532

2533 2534 2535 2536 2537 2538 2539 2540 2541 2542 2543 2544 2545 2546
	switch (x->props.mode) {
	case XFRM_MODE_TRANSPORT:
	case XFRM_MODE_BEET:
		if (x->props.family == AF_INET)
			net_adj = sizeof(struct iphdr);
		else if (x->props.family == AF_INET6)
			net_adj = sizeof(struct ipv6hdr);
		break;
	case XFRM_MODE_TUNNEL:
		break;
	default:
		WARN_ON_ONCE(1);
		break;
	}
2547

2548 2549
	return ((mtu - x->props.header_len - crypto_aead_authsize(aead) -
		 net_adj) & ~(blksize - 1)) + net_adj - 2;
L
Linus Torvalds 已提交
2550
}
2551
EXPORT_SYMBOL_GPL(xfrm_state_mtu);
L
Linus Torvalds 已提交
2552

2553
int __xfrm_init_state(struct xfrm_state *x, bool init_replay, bool offload)
H
Herbert Xu 已提交
2554
{
2555 2556
	const struct xfrm_mode *inner_mode;
	const struct xfrm_mode *outer_mode;
2557
	int family = x->props.family;
H
Herbert Xu 已提交
2558 2559
	int err;

2560 2561 2562
	if (family == AF_INET &&
	    xs_net(x)->ipv4.sysctl_ip_no_pmtu_disc)
		x->props.flags |= XFRM_STATE_NOPMTUDISC;
2563 2564

	err = -EPROTONOSUPPORT;
2565

2566 2567 2568 2569 2570 2571
	if (x->sel.family != AF_UNSPEC) {
		inner_mode = xfrm_get_mode(x->props.mode, x->sel.family);
		if (inner_mode == NULL)
			goto error;

		if (!(inner_mode->flags & XFRM_MODE_FLAG_TUNNEL) &&
F
Florian Westphal 已提交
2572
		    family != x->sel.family)
2573 2574
			goto error;

2575
		x->inner_mode = *inner_mode;
2576
	} else {
F
Florian Westphal 已提交
2577
		const struct xfrm_mode *inner_mode_iaf;
2578
		int iafamily = AF_INET;
2579

2580
		inner_mode = xfrm_get_mode(x->props.mode, x->props.family);
2581 2582 2583
		if (inner_mode == NULL)
			goto error;

F
Florian Westphal 已提交
2584
		if (!(inner_mode->flags & XFRM_MODE_FLAG_TUNNEL))
2585
			goto error;
F
Florian Westphal 已提交
2586

2587
		x->inner_mode = *inner_mode;
2588

2589 2590
		if (x->props.family == AF_INET)
			iafamily = AF_INET6;
2591

2592 2593 2594
		inner_mode_iaf = xfrm_get_mode(x->props.mode, iafamily);
		if (inner_mode_iaf) {
			if (inner_mode_iaf->flags & XFRM_MODE_FLAG_TUNNEL)
2595
				x->inner_mode_iaf = *inner_mode_iaf;
2596 2597
		}
	}
2598

2599
	x->type = xfrm_get_type(x->id.proto, family);
H
Herbert Xu 已提交
2600 2601 2602
	if (x->type == NULL)
		goto error;

2603
	x->type_offload = xfrm_get_type_offload(x->id.proto, family, offload);
2604

H
Herbert Xu 已提交
2605 2606 2607 2608
	err = x->type->init_state(x);
	if (err)
		goto error;

2609 2610
	outer_mode = xfrm_get_mode(x->props.mode, family);
	if (!outer_mode) {
2611
		err = -EPROTONOSUPPORT;
2612
		goto error;
2613
	}
2614

2615
	x->outer_mode = *outer_mode;
2616 2617 2618 2619 2620 2621
	if (init_replay) {
		err = xfrm_init_replay(x);
		if (err)
			goto error;
	}

H
Herbert Xu 已提交
2622 2623 2624 2625
error:
	return err;
}

2626 2627 2628 2629
EXPORT_SYMBOL(__xfrm_init_state);

int xfrm_init_state(struct xfrm_state *x)
{
2630 2631 2632 2633 2634 2635 2636
	int err;

	err = __xfrm_init_state(x, true, false);
	if (!err)
		x->km.state = XFRM_STATE_VALID;

	return err;
2637 2638
}

H
Herbert Xu 已提交
2639
EXPORT_SYMBOL(xfrm_init_state);
2640

2641
int __net_init xfrm_state_init(struct net *net)
L
Linus Torvalds 已提交
2642
{
2643 2644
	unsigned int sz;

2645 2646 2647 2648
	if (net_eq(net, &init_net))
		xfrm_state_cache = KMEM_CACHE(xfrm_state,
					      SLAB_HWCACHE_ALIGN | SLAB_PANIC);

2649 2650
	INIT_LIST_HEAD(&net->xfrm.state_all);

2651 2652
	sz = sizeof(struct hlist_head) * 8;

2653 2654 2655
	net->xfrm.state_bydst = xfrm_hash_alloc(sz);
	if (!net->xfrm.state_bydst)
		goto out_bydst;
2656 2657 2658
	net->xfrm.state_bysrc = xfrm_hash_alloc(sz);
	if (!net->xfrm.state_bysrc)
		goto out_bysrc;
2659 2660 2661
	net->xfrm.state_byspi = xfrm_hash_alloc(sz);
	if (!net->xfrm.state_byspi)
		goto out_byspi;
2662
	net->xfrm.state_hmask = ((sz / sizeof(struct hlist_head)) - 1);
L
Linus Torvalds 已提交
2663

2664
	net->xfrm.state_num = 0;
2665
	INIT_WORK(&net->xfrm.state_hash_work, xfrm_hash_resize);
F
Fan Du 已提交
2666
	spin_lock_init(&net->xfrm.xfrm_state_lock);
2667
	return 0;
2668

2669 2670
out_byspi:
	xfrm_hash_free(net->xfrm.state_bysrc, sz);
2671 2672
out_bysrc:
	xfrm_hash_free(net->xfrm.state_bydst, sz);
2673 2674
out_bydst:
	return -ENOMEM;
2675 2676 2677 2678
}

void xfrm_state_fini(struct net *net)
{
2679 2680
	unsigned int sz;

2681
	flush_work(&net->xfrm.state_hash_work);
2682
	flush_work(&xfrm_state_gc_work);
C
Cong Wang 已提交
2683
	xfrm_state_flush(net, 0, false, true);
2684

2685
	WARN_ON(!list_empty(&net->xfrm.state_all));
2686

2687
	sz = (net->xfrm.state_hmask + 1) * sizeof(struct hlist_head);
2688 2689
	WARN_ON(!hlist_empty(net->xfrm.state_byspi));
	xfrm_hash_free(net->xfrm.state_byspi, sz);
2690 2691
	WARN_ON(!hlist_empty(net->xfrm.state_bysrc));
	xfrm_hash_free(net->xfrm.state_bysrc, sz);
2692 2693
	WARN_ON(!hlist_empty(net->xfrm.state_bydst));
	xfrm_hash_free(net->xfrm.state_bydst, sz);
L
Linus Torvalds 已提交
2694 2695
}

J
Joy Latten 已提交
2696
#ifdef CONFIG_AUDITSYSCALL
I
Ilpo Järvinen 已提交
2697 2698
static void xfrm_audit_helper_sainfo(struct xfrm_state *x,
				     struct audit_buffer *audit_buf)
J
Joy Latten 已提交
2699
{
P
Paul Moore 已提交
2700 2701 2702 2703
	struct xfrm_sec_ctx *ctx = x->security;
	u32 spi = ntohl(x->id.spi);

	if (ctx)
J
Joy Latten 已提交
2704
		audit_log_format(audit_buf, " sec_alg=%u sec_doi=%u sec_obj=%s",
P
Paul Moore 已提交
2705
				 ctx->ctx_alg, ctx->ctx_doi, ctx->ctx_str);
J
Joy Latten 已提交
2706

2707
	switch (x->props.family) {
J
Joy Latten 已提交
2708
	case AF_INET:
H
Harvey Harrison 已提交
2709 2710
		audit_log_format(audit_buf, " src=%pI4 dst=%pI4",
				 &x->props.saddr.a4, &x->id.daddr.a4);
J
Joy Latten 已提交
2711 2712
		break;
	case AF_INET6:
H
Harvey Harrison 已提交
2713
		audit_log_format(audit_buf, " src=%pI6 dst=%pI6",
2714
				 x->props.saddr.a6, x->id.daddr.a6);
J
Joy Latten 已提交
2715 2716
		break;
	}
P
Paul Moore 已提交
2717 2718

	audit_log_format(audit_buf, " spi=%u(0x%x)", spi, spi);
J
Joy Latten 已提交
2719 2720
}

I
Ilpo Järvinen 已提交
2721 2722
static void xfrm_audit_helper_pktinfo(struct sk_buff *skb, u16 family,
				      struct audit_buffer *audit_buf)
P
Paul Moore 已提交
2723
{
2724 2725
	const struct iphdr *iph4;
	const struct ipv6hdr *iph6;
P
Paul Moore 已提交
2726 2727 2728 2729

	switch (family) {
	case AF_INET:
		iph4 = ip_hdr(skb);
H
Harvey Harrison 已提交
2730 2731
		audit_log_format(audit_buf, " src=%pI4 dst=%pI4",
				 &iph4->saddr, &iph4->daddr);
P
Paul Moore 已提交
2732 2733 2734 2735
		break;
	case AF_INET6:
		iph6 = ipv6_hdr(skb);
		audit_log_format(audit_buf,
H
Harvey Harrison 已提交
2736
				 " src=%pI6 dst=%pI6 flowlbl=0x%x%02x%02x",
2737
				 &iph6->saddr, &iph6->daddr,
P
Paul Moore 已提交
2738 2739 2740 2741 2742 2743 2744
				 iph6->flow_lbl[0] & 0x0f,
				 iph6->flow_lbl[1],
				 iph6->flow_lbl[2]);
		break;
	}
}

2745
void xfrm_audit_state_add(struct xfrm_state *x, int result, bool task_valid)
J
Joy Latten 已提交
2746 2747 2748
{
	struct audit_buffer *audit_buf;

P
Paul Moore 已提交
2749
	audit_buf = xfrm_audit_start("SAD-add");
J
Joy Latten 已提交
2750 2751
	if (audit_buf == NULL)
		return;
2752
	xfrm_audit_helper_usrinfo(task_valid, audit_buf);
P
Paul Moore 已提交
2753 2754
	xfrm_audit_helper_sainfo(x, audit_buf);
	audit_log_format(audit_buf, " res=%u", result);
J
Joy Latten 已提交
2755 2756 2757 2758
	audit_log_end(audit_buf);
}
EXPORT_SYMBOL_GPL(xfrm_audit_state_add);

2759
void xfrm_audit_state_delete(struct xfrm_state *x, int result, bool task_valid)
J
Joy Latten 已提交
2760 2761 2762
{
	struct audit_buffer *audit_buf;

P
Paul Moore 已提交
2763
	audit_buf = xfrm_audit_start("SAD-delete");
J
Joy Latten 已提交
2764 2765
	if (audit_buf == NULL)
		return;
2766
	xfrm_audit_helper_usrinfo(task_valid, audit_buf);
P
Paul Moore 已提交
2767 2768
	xfrm_audit_helper_sainfo(x, audit_buf);
	audit_log_format(audit_buf, " res=%u", result);
J
Joy Latten 已提交
2769 2770 2771
	audit_log_end(audit_buf);
}
EXPORT_SYMBOL_GPL(xfrm_audit_state_delete);
P
Paul Moore 已提交
2772 2773 2774 2775 2776 2777 2778 2779 2780 2781 2782 2783 2784 2785 2786 2787 2788 2789 2790

void xfrm_audit_state_replay_overflow(struct xfrm_state *x,
				      struct sk_buff *skb)
{
	struct audit_buffer *audit_buf;
	u32 spi;

	audit_buf = xfrm_audit_start("SA-replay-overflow");
	if (audit_buf == NULL)
		return;
	xfrm_audit_helper_pktinfo(skb, x->props.family, audit_buf);
	/* don't record the sequence number because it's inherent in this kind
	 * of audit message */
	spi = ntohl(x->id.spi);
	audit_log_format(audit_buf, " spi=%u(0x%x)", spi, spi);
	audit_log_end(audit_buf);
}
EXPORT_SYMBOL_GPL(xfrm_audit_state_replay_overflow);

2791
void xfrm_audit_state_replay(struct xfrm_state *x,
P
Paul Moore 已提交
2792 2793 2794 2795 2796 2797 2798 2799 2800 2801 2802 2803 2804 2805
			     struct sk_buff *skb, __be32 net_seq)
{
	struct audit_buffer *audit_buf;
	u32 spi;

	audit_buf = xfrm_audit_start("SA-replayed-pkt");
	if (audit_buf == NULL)
		return;
	xfrm_audit_helper_pktinfo(skb, x->props.family, audit_buf);
	spi = ntohl(x->id.spi);
	audit_log_format(audit_buf, " spi=%u(0x%x) seqno=%u",
			 spi, spi, ntohl(net_seq));
	audit_log_end(audit_buf);
}
2806
EXPORT_SYMBOL_GPL(xfrm_audit_state_replay);
P
Paul Moore 已提交
2807 2808 2809 2810 2811 2812 2813 2814 2815 2816 2817 2818 2819 2820 2821 2822 2823 2824 2825 2826 2827 2828 2829 2830 2831 2832 2833 2834 2835 2836 2837 2838 2839 2840 2841 2842 2843 2844 2845 2846 2847 2848 2849 2850 2851 2852 2853 2854 2855

void xfrm_audit_state_notfound_simple(struct sk_buff *skb, u16 family)
{
	struct audit_buffer *audit_buf;

	audit_buf = xfrm_audit_start("SA-notfound");
	if (audit_buf == NULL)
		return;
	xfrm_audit_helper_pktinfo(skb, family, audit_buf);
	audit_log_end(audit_buf);
}
EXPORT_SYMBOL_GPL(xfrm_audit_state_notfound_simple);

void xfrm_audit_state_notfound(struct sk_buff *skb, u16 family,
			       __be32 net_spi, __be32 net_seq)
{
	struct audit_buffer *audit_buf;
	u32 spi;

	audit_buf = xfrm_audit_start("SA-notfound");
	if (audit_buf == NULL)
		return;
	xfrm_audit_helper_pktinfo(skb, family, audit_buf);
	spi = ntohl(net_spi);
	audit_log_format(audit_buf, " spi=%u(0x%x) seqno=%u",
			 spi, spi, ntohl(net_seq));
	audit_log_end(audit_buf);
}
EXPORT_SYMBOL_GPL(xfrm_audit_state_notfound);

void xfrm_audit_state_icvfail(struct xfrm_state *x,
			      struct sk_buff *skb, u8 proto)
{
	struct audit_buffer *audit_buf;
	__be32 net_spi;
	__be32 net_seq;

	audit_buf = xfrm_audit_start("SA-icv-failure");
	if (audit_buf == NULL)
		return;
	xfrm_audit_helper_pktinfo(skb, x->props.family, audit_buf);
	if (xfrm_parse_spi(skb, proto, &net_spi, &net_seq) == 0) {
		u32 spi = ntohl(net_spi);
		audit_log_format(audit_buf, " spi=%u(0x%x) seqno=%u",
				 spi, spi, ntohl(net_seq));
	}
	audit_log_end(audit_buf);
}
EXPORT_SYMBOL_GPL(xfrm_audit_state_icvfail);
J
Joy Latten 已提交
2856
#endif /* CONFIG_AUDITSYSCALL */