xfrm_state.c 59.0 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5 6 7 8 9 10 11 12
/*
 * 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
13
 *
L
Linus Torvalds 已提交
14 15 16 17 18 19 20
 */

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

29 30
#include "xfrm_hash.h"

31 32 33
#define xfrm_state_deref_prot(table, net) \
	rcu_dereference_protected((table), lockdep_is_held(&(net)->xfrm.xfrm_state_lock))

34 35
static void xfrm_state_gc_task(struct work_struct *work);

L
Linus Torvalds 已提交
36 37 38
/* Each xfrm_state may be linked to two tables:

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

43
static unsigned int xfrm_state_hashmax __read_mostly = 1 * 1024 * 1024;
44
static __read_mostly seqcount_t xfrm_state_hash_generation = SEQCNT_ZERO(xfrm_state_hash_generation);
45

46 47 48
static DECLARE_WORK(xfrm_state_gc_work, xfrm_state_gc_task);
static HLIST_HEAD(xfrm_state_gc_list);

49 50 51 52 53
static inline bool xfrm_state_hold_rcu(struct xfrm_state __rcu *x)
{
	return atomic_inc_not_zero(&x->refcnt);
}

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

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

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

static void xfrm_hash_transfer(struct hlist_head *list,
			       struct hlist_head *ndsttable,
			       struct hlist_head *nsrctable,
			       struct hlist_head *nspitable,
			       unsigned int nhashmask)
{
84
	struct hlist_node *tmp;
85 86
	struct xfrm_state *x;

87
	hlist_for_each_entry_safe(x, tmp, list, bydst) {
88 89
		unsigned int h;

90 91 92
		h = __xfrm_dst_hash(&x->id.daddr, &x->props.saddr,
				    x->props.reqid, x->props.family,
				    nhashmask);
93
		hlist_add_head_rcu(&x->bydst, ndsttable + h);
94

95 96
		h = __xfrm_src_hash(&x->id.daddr, &x->props.saddr,
				    x->props.family,
97
				    nhashmask);
98
		hlist_add_head_rcu(&x->bysrc, nsrctable + h);
99

100 101 102 103
		if (x->id.spi) {
			h = __xfrm_spi_hash(&x->id.daddr, x->id.spi,
					    x->id.proto, x->props.family,
					    nhashmask);
104
			hlist_add_head_rcu(&x->byspi, nspitable + h);
105
		}
106 107 108
	}
}

109
static unsigned long xfrm_hash_new_size(unsigned int state_hmask)
110
{
111
	return ((state_hmask + 1) << 1) * sizeof(struct hlist_head);
112 113
}

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

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

F
Fan Du 已提交
138
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
139
	write_seqcount_begin(&xfrm_state_hash_generation);
140 141

	nhashmask = (nsize / sizeof(struct hlist_head)) - 1U;
142
	odst = xfrm_state_deref_prot(net->xfrm.state_bydst, net);
143
	for (i = net->xfrm.state_hmask; i >= 0; i--)
144
		xfrm_hash_transfer(odst + i, ndst, nsrc, nspi, nhashmask);
145

146 147
	osrc = xfrm_state_deref_prot(net->xfrm.state_bysrc, net);
	ospi = xfrm_state_deref_prot(net->xfrm.state_byspi, net);
148
	ohashmask = net->xfrm.state_hmask;
149

150 151 152
	rcu_assign_pointer(net->xfrm.state_bydst, ndst);
	rcu_assign_pointer(net->xfrm.state_bysrc, nsrc);
	rcu_assign_pointer(net->xfrm.state_byspi, nspi);
153
	net->xfrm.state_hmask = nhashmask;
154

155
	write_seqcount_end(&xfrm_state_hash_generation);
F
Fan Du 已提交
156
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
157 158

	osize = (ohashmask + 1) * sizeof(struct hlist_head);
159 160 161

	synchronize_rcu();

162 163 164
	xfrm_hash_free(odst, osize);
	xfrm_hash_free(osrc, osize);
	xfrm_hash_free(ospi, osize);
165 166
}

167 168
static DEFINE_SPINLOCK(xfrm_state_afinfo_lock);
static struct xfrm_state_afinfo __rcu *xfrm_state_afinfo[NPROTO];
L
Linus Torvalds 已提交
169 170 171

static DEFINE_SPINLOCK(xfrm_state_gc_lock);

172
int __xfrm_state_delete(struct xfrm_state *x);
L
Linus Torvalds 已提交
173

174
int km_query(struct xfrm_state *x, struct xfrm_tmpl *t, struct xfrm_policy *pol);
175
bool km_is_alive(const struct km_event *c);
176
void km_state_expired(struct xfrm_state *x, int hard, u32 portid);
L
Linus Torvalds 已提交
177

178
static DEFINE_SPINLOCK(xfrm_type_lock);
179
int xfrm_register_type(const struct xfrm_type *type, unsigned short family)
180
{
181
	struct xfrm_state_afinfo *afinfo = xfrm_state_get_afinfo(family);
182
	const struct xfrm_type **typemap;
183 184 185 186 187
	int err = 0;

	if (unlikely(afinfo == NULL))
		return -EAFNOSUPPORT;
	typemap = afinfo->type_map;
188
	spin_lock_bh(&xfrm_type_lock);
189 190 191 192 193

	if (likely(typemap[type->proto] == NULL))
		typemap[type->proto] = type;
	else
		err = -EEXIST;
194
	spin_unlock_bh(&xfrm_type_lock);
195
	rcu_read_unlock();
196 197 198 199
	return err;
}
EXPORT_SYMBOL(xfrm_register_type);

200
int xfrm_unregister_type(const struct xfrm_type *type, unsigned short family)
201
{
202
	struct xfrm_state_afinfo *afinfo = xfrm_state_get_afinfo(family);
203
	const struct xfrm_type **typemap;
204 205 206 207 208
	int err = 0;

	if (unlikely(afinfo == NULL))
		return -EAFNOSUPPORT;
	typemap = afinfo->type_map;
209
	spin_lock_bh(&xfrm_type_lock);
210 211 212 213 214

	if (unlikely(typemap[type->proto] != type))
		err = -ENOENT;
	else
		typemap[type->proto] = NULL;
215
	spin_unlock_bh(&xfrm_type_lock);
216
	rcu_read_unlock();
217 218 219 220
	return err;
}
EXPORT_SYMBOL(xfrm_unregister_type);

221
static const struct xfrm_type *xfrm_get_type(u8 proto, unsigned short family)
222 223
{
	struct xfrm_state_afinfo *afinfo;
224 225
	const struct xfrm_type **typemap;
	const struct xfrm_type *type;
226 227 228 229 230 231 232 233
	int modload_attempted = 0;

retry:
	afinfo = xfrm_state_get_afinfo(family);
	if (unlikely(afinfo == NULL))
		return NULL;
	typemap = afinfo->type_map;

234
	type = READ_ONCE(typemap[proto]);
235 236
	if (unlikely(type && !try_module_get(type->owner)))
		type = NULL;
237 238 239

	rcu_read_unlock();

240 241 242 243 244 245 246 247 248
	if (!type && !modload_attempted) {
		request_module("xfrm-type-%d-%d", family, proto);
		modload_attempted = 1;
		goto retry;
	}

	return type;
}

249
static void xfrm_put_type(const struct xfrm_type *type)
250 251 252 253
{
	module_put(type->owner);
}

254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 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 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322
static DEFINE_SPINLOCK(xfrm_type_offload_lock);
int xfrm_register_type_offload(const struct xfrm_type_offload *type,
			       unsigned short family)
{
	struct xfrm_state_afinfo *afinfo = xfrm_state_get_afinfo(family);
	const struct xfrm_type_offload **typemap;
	int err = 0;

	if (unlikely(afinfo == NULL))
		return -EAFNOSUPPORT;
	typemap = afinfo->type_offload_map;
	spin_lock_bh(&xfrm_type_offload_lock);

	if (likely(typemap[type->proto] == NULL))
		typemap[type->proto] = type;
	else
		err = -EEXIST;
	spin_unlock_bh(&xfrm_type_offload_lock);
	rcu_read_unlock();
	return err;
}
EXPORT_SYMBOL(xfrm_register_type_offload);

int xfrm_unregister_type_offload(const struct xfrm_type_offload *type,
				 unsigned short family)
{
	struct xfrm_state_afinfo *afinfo = xfrm_state_get_afinfo(family);
	const struct xfrm_type_offload **typemap;
	int err = 0;

	if (unlikely(afinfo == NULL))
		return -EAFNOSUPPORT;
	typemap = afinfo->type_offload_map;
	spin_lock_bh(&xfrm_type_offload_lock);

	if (unlikely(typemap[type->proto] != type))
		err = -ENOENT;
	else
		typemap[type->proto] = NULL;
	spin_unlock_bh(&xfrm_type_offload_lock);
	rcu_read_unlock();
	return err;
}
EXPORT_SYMBOL(xfrm_unregister_type_offload);

static const struct xfrm_type_offload *xfrm_get_type_offload(u8 proto, unsigned short family)
{
	struct xfrm_state_afinfo *afinfo;
	const struct xfrm_type_offload **typemap;
	const struct xfrm_type_offload *type;

	afinfo = xfrm_state_get_afinfo(family);
	if (unlikely(afinfo == NULL))
		return NULL;
	typemap = afinfo->type_offload_map;

	type = typemap[proto];
	if ((type && !try_module_get(type->owner)))
		type = NULL;

	rcu_read_unlock();
	return type;
}

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

323
static DEFINE_SPINLOCK(xfrm_mode_lock);
324 325 326 327 328 329 330 331 332
int xfrm_register_mode(struct xfrm_mode *mode, int family)
{
	struct xfrm_state_afinfo *afinfo;
	struct xfrm_mode **modemap;
	int err;

	if (unlikely(mode->encap >= XFRM_MODE_MAX))
		return -EINVAL;

333
	afinfo = xfrm_state_get_afinfo(family);
334 335 336 337 338
	if (unlikely(afinfo == NULL))
		return -EAFNOSUPPORT;

	err = -EEXIST;
	modemap = afinfo->mode_map;
339
	spin_lock_bh(&xfrm_mode_lock);
340 341
	if (modemap[mode->encap])
		goto out;
342

343 344 345 346 347 348 349 350 351
	err = -ENOENT;
	if (!try_module_get(afinfo->owner))
		goto out;

	mode->afinfo = afinfo;
	modemap[mode->encap] = mode;
	err = 0;

out:
352
	spin_unlock_bh(&xfrm_mode_lock);
353
	rcu_read_unlock();
354 355 356 357 358 359 360 361 362 363 364 365 366
	return err;
}
EXPORT_SYMBOL(xfrm_register_mode);

int xfrm_unregister_mode(struct xfrm_mode *mode, int family)
{
	struct xfrm_state_afinfo *afinfo;
	struct xfrm_mode **modemap;
	int err;

	if (unlikely(mode->encap >= XFRM_MODE_MAX))
		return -EINVAL;

367
	afinfo = xfrm_state_get_afinfo(family);
368 369 370 371 372
	if (unlikely(afinfo == NULL))
		return -EAFNOSUPPORT;

	err = -ENOENT;
	modemap = afinfo->mode_map;
373
	spin_lock_bh(&xfrm_mode_lock);
374 375
	if (likely(modemap[mode->encap] == mode)) {
		modemap[mode->encap] = NULL;
376
		module_put(mode->afinfo->owner);
377 378 379
		err = 0;
	}

380
	spin_unlock_bh(&xfrm_mode_lock);
381
	rcu_read_unlock();
382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399
	return err;
}
EXPORT_SYMBOL(xfrm_unregister_mode);

static struct xfrm_mode *xfrm_get_mode(unsigned int encap, int family)
{
	struct xfrm_state_afinfo *afinfo;
	struct xfrm_mode *mode;
	int modload_attempted = 0;

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

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

400
	mode = READ_ONCE(afinfo->mode_map[encap]);
401 402
	if (unlikely(mode && !try_module_get(mode->owner)))
		mode = NULL;
403 404

	rcu_read_unlock();
405 406 407 408 409 410 411 412 413 414 415 416 417 418
	if (!mode && !modload_attempted) {
		request_module("xfrm-mode-%d-%d", family, encap);
		modload_attempted = 1;
		goto retry;
	}

	return mode;
}

static void xfrm_put_mode(struct xfrm_mode *mode)
{
	module_put(mode->owner);
}

L
Linus Torvalds 已提交
419 420
static void xfrm_state_gc_destroy(struct xfrm_state *x)
{
421
	tasklet_hrtimer_cancel(&x->mtimer);
422
	del_timer_sync(&x->rtimer);
423
	kfree(x->aead);
J
Jesper Juhl 已提交
424 425 426 427
	kfree(x->aalg);
	kfree(x->ealg);
	kfree(x->calg);
	kfree(x->encap);
428
	kfree(x->coaddr);
429 430
	kfree(x->replay_esn);
	kfree(x->preplay_esn);
431 432
	if (x->inner_mode)
		xfrm_put_mode(x->inner_mode);
433 434
	if (x->inner_mode_iaf)
		xfrm_put_mode(x->inner_mode_iaf);
435 436
	if (x->outer_mode)
		xfrm_put_mode(x->outer_mode);
437 438
	if (x->type_offload)
		xfrm_put_type_offload(x->type_offload);
L
Linus Torvalds 已提交
439 440 441 442
	if (x->type) {
		x->type->destructor(x);
		xfrm_put_type(x->type);
	}
443
	xfrm_dev_state_free(x);
444
	security_xfrm_state_free(x);
L
Linus Torvalds 已提交
445 446 447
	kfree(x);
}

448
static void xfrm_state_gc_task(struct work_struct *work)
L
Linus Torvalds 已提交
449
{
H
Herbert Xu 已提交
450
	struct xfrm_state *x;
451
	struct hlist_node *tmp;
H
Herbert Xu 已提交
452
	struct hlist_head gc_list;
L
Linus Torvalds 已提交
453 454

	spin_lock_bh(&xfrm_state_gc_lock);
455
	hlist_move_list(&xfrm_state_gc_list, &gc_list);
L
Linus Torvalds 已提交
456 457
	spin_unlock_bh(&xfrm_state_gc_lock);

458 459
	synchronize_rcu();

460
	hlist_for_each_entry_safe(x, tmp, &gc_list, gclist)
L
Linus Torvalds 已提交
461 462 463
		xfrm_state_gc_destroy(x);
}

464
static enum hrtimer_restart xfrm_timer_handler(struct hrtimer *me)
L
Linus Torvalds 已提交
465
{
466 467
	struct tasklet_hrtimer *thr = container_of(me, struct tasklet_hrtimer, timer);
	struct xfrm_state *x = container_of(thr, struct xfrm_state, mtimer);
468
	unsigned long now = get_seconds();
L
Linus Torvalds 已提交
469 470
	long next = LONG_MAX;
	int warn = 0;
J
Joy Latten 已提交
471
	int err = 0;
L
Linus Torvalds 已提交
472 473 474 475 476 477 478 479 480

	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;
481 482 483 484
		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 已提交
485
				 * workaround: fix x->curflt.add_time by below:
486 487 488 489 490 491
				 */
				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 已提交
492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507
		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;
508
		if (tmo <= 0) {
L
Linus Torvalds 已提交
509
			warn = 1;
510 511
			x->xflags &= ~XFRM_SOFT_EXPIRE;
		} else if (tmo < next) {
L
Linus Torvalds 已提交
512
			next = tmo;
513 514 515
			x->xflags |= XFRM_SOFT_EXPIRE;
			x->saved_tmo = tmo;
		}
L
Linus Torvalds 已提交
516 517 518 519 520 521 522 523 524 525
	}
	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;
	}

526
	x->km.dying = warn;
L
Linus Torvalds 已提交
527
	if (warn)
528
		km_state_expired(x, 0, 0);
L
Linus Torvalds 已提交
529
resched:
530
	if (next != LONG_MAX) {
531 532
		tasklet_hrtimer_start(&x->mtimer, ktime_set(next, 0), HRTIMER_MODE_REL);
	}
533

L
Linus Torvalds 已提交
534 535 536
	goto out;

expired:
537
	if (x->km.state == XFRM_STATE_ACQ && x->id.spi == 0)
L
Linus Torvalds 已提交
538
		x->km.state = XFRM_STATE_EXPIRED;
J
Joy Latten 已提交
539 540

	err = __xfrm_state_delete(x);
541
	if (!err)
542
		km_state_expired(x, 1, 0);
L
Linus Torvalds 已提交
543

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

L
Linus Torvalds 已提交
546 547
out:
	spin_unlock(&x->lock);
548
	return HRTIMER_NORESTART;
L
Linus Torvalds 已提交
549 550
}

551 552
static void xfrm_replay_timer_handler(unsigned long data);

553
struct xfrm_state *xfrm_state_alloc(struct net *net)
L
Linus Torvalds 已提交
554 555 556
{
	struct xfrm_state *x;

557
	x = kzalloc(sizeof(struct xfrm_state), GFP_ATOMIC);
L
Linus Torvalds 已提交
558 559

	if (x) {
560
		write_pnet(&x->xs_net, net);
L
Linus Torvalds 已提交
561 562
		atomic_set(&x->refcnt, 1);
		atomic_set(&x->tunnel_users, 0);
H
Herbert Xu 已提交
563
		INIT_LIST_HEAD(&x->km.all);
564 565 566
		INIT_HLIST_NODE(&x->bydst);
		INIT_HLIST_NODE(&x->bysrc);
		INIT_HLIST_NODE(&x->byspi);
F
Fan Du 已提交
567 568
		tasklet_hrtimer_init(&x->mtimer, xfrm_timer_handler,
					CLOCK_BOOTTIME, HRTIMER_MODE_ABS);
569 570
		setup_timer(&x->rtimer, xfrm_replay_timer_handler,
				(unsigned long)x);
571
		x->curlft.add_time = get_seconds();
L
Linus Torvalds 已提交
572 573 574 575
		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;
576 577
		x->replay_maxage = 0;
		x->replay_maxdiff = 0;
578 579
		x->inner_mode = NULL;
		x->inner_mode_iaf = NULL;
L
Linus Torvalds 已提交
580 581 582 583 584 585 586 587
		spin_lock_init(&x->lock);
	}
	return x;
}
EXPORT_SYMBOL(xfrm_state_alloc);

void __xfrm_state_destroy(struct xfrm_state *x)
{
588
	WARN_ON(x->km.state != XFRM_STATE_DEAD);
L
Linus Torvalds 已提交
589 590

	spin_lock_bh(&xfrm_state_gc_lock);
591
	hlist_add_head(&x->gclist, &xfrm_state_gc_list);
L
Linus Torvalds 已提交
592
	spin_unlock_bh(&xfrm_state_gc_lock);
593
	schedule_work(&xfrm_state_gc_work);
L
Linus Torvalds 已提交
594 595 596
}
EXPORT_SYMBOL(__xfrm_state_destroy);

597
int __xfrm_state_delete(struct xfrm_state *x)
L
Linus Torvalds 已提交
598
{
599
	struct net *net = xs_net(x);
600 601
	int err = -ESRCH;

L
Linus Torvalds 已提交
602 603
	if (x->km.state != XFRM_STATE_DEAD) {
		x->km.state = XFRM_STATE_DEAD;
F
Fan Du 已提交
604
		spin_lock(&net->xfrm.xfrm_state_lock);
H
Herbert Xu 已提交
605
		list_del(&x->km.all);
606 607
		hlist_del_rcu(&x->bydst);
		hlist_del_rcu(&x->bysrc);
608
		if (x->id.spi)
609
			hlist_del_rcu(&x->byspi);
610
		net->xfrm.state_num--;
F
Fan Du 已提交
611
		spin_unlock(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
612

613 614
		xfrm_dev_state_delete(x);

L
Linus Torvalds 已提交
615 616 617 618
		/* 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.
		 */
619
		xfrm_state_put(x);
620
		err = 0;
L
Linus Torvalds 已提交
621
	}
622 623

	return err;
L
Linus Torvalds 已提交
624
}
625
EXPORT_SYMBOL(__xfrm_state_delete);
L
Linus Torvalds 已提交
626

627
int xfrm_state_delete(struct xfrm_state *x)
L
Linus Torvalds 已提交
628
{
629 630
	int err;

L
Linus Torvalds 已提交
631
	spin_lock_bh(&x->lock);
632
	err = __xfrm_state_delete(x);
L
Linus Torvalds 已提交
633
	spin_unlock_bh(&x->lock);
634 635

	return err;
L
Linus Torvalds 已提交
636 637 638
}
EXPORT_SYMBOL(xfrm_state_delete);

639 640
#ifdef CONFIG_SECURITY_NETWORK_XFRM
static inline int
641
xfrm_state_flush_secctx_check(struct net *net, u8 proto, bool task_valid)
L
Linus Torvalds 已提交
642
{
643 644
	int i, err = 0;

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

648
		hlist_for_each_entry(x, net->xfrm.state_bydst+i, bydst) {
649 650
			if (xfrm_id_proto_match(x->id.proto, proto) &&
			   (err = security_xfrm_state_delete(x)) != 0) {
651
				xfrm_audit_state_delete(x, 0, task_valid);
652 653 654 655 656 657 658
				return err;
			}
		}
	}

	return err;
}
659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681

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;
}
682 683
#else
static inline int
684
xfrm_state_flush_secctx_check(struct net *net, u8 proto, bool task_valid)
685 686 687
{
	return 0;
}
688 689 690 691 692 693

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

696
int xfrm_state_flush(struct net *net, u8 proto, bool task_valid)
697
{
698
	int i, err = 0, cnt = 0;
L
Linus Torvalds 已提交
699

F
Fan Du 已提交
700
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
701
	err = xfrm_state_flush_secctx_check(net, proto, task_valid);
702 703 704
	if (err)
		goto out;

705
	err = -ESRCH;
A
Alexey Dobriyan 已提交
706
	for (i = 0; i <= net->xfrm.state_hmask; i++) {
707
		struct xfrm_state *x;
L
Linus Torvalds 已提交
708
restart:
709
		hlist_for_each_entry(x, net->xfrm.state_bydst+i, bydst) {
L
Linus Torvalds 已提交
710
			if (!xfrm_state_kern(x) &&
711
			    xfrm_id_proto_match(x->id.proto, proto)) {
L
Linus Torvalds 已提交
712
				xfrm_state_hold(x);
F
Fan Du 已提交
713
				spin_unlock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
714

J
Joy Latten 已提交
715
				err = xfrm_state_delete(x);
J
Joy Latten 已提交
716
				xfrm_audit_state_delete(x, err ? 0 : 1,
717
							task_valid);
L
Linus Torvalds 已提交
718
				xfrm_state_put(x);
719 720
				if (!err)
					cnt++;
L
Linus Torvalds 已提交
721

F
Fan Du 已提交
722
				spin_lock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
723 724 725 726
				goto restart;
			}
		}
	}
727 728
	if (cnt)
		err = 0;
729 730

out:
F
Fan Du 已提交
731
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
732
	return err;
L
Linus Torvalds 已提交
733 734 735
}
EXPORT_SYMBOL(xfrm_state_flush);

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 768 769 770 771 772 773 774 775 776 777
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);

778
void xfrm_sad_getinfo(struct net *net, struct xfrmk_sadinfo *si)
J
Jamal Hadi Salim 已提交
779
{
F
Fan Du 已提交
780
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
781 782
	si->sadcnt = net->xfrm.state_num;
	si->sadhcnt = net->xfrm.state_hmask;
J
Jamal Hadi Salim 已提交
783
	si->sadhmcnt = xfrm_state_hashmax;
F
Fan Du 已提交
784
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
J
Jamal Hadi Salim 已提交
785 786 787
}
EXPORT_SYMBOL(xfrm_sad_getinfo);

788
static void
789
xfrm_init_tempstate(struct xfrm_state *x, const struct flowi *fl,
790
		    const struct xfrm_tmpl *tmpl,
791
		    const xfrm_address_t *daddr, const xfrm_address_t *saddr,
792
		    unsigned short family)
L
Linus Torvalds 已提交
793
{
794 795
	struct xfrm_state_afinfo *afinfo = xfrm_state_afinfo_get_rcu(family);

796 797 798 799
	if (!afinfo)
		return;

	afinfo->init_tempsel(&x->sel, fl);
800 801

	if (family != tmpl->encap_family) {
802
		afinfo = xfrm_state_afinfo_get_rcu(tmpl->encap_family);
803
		if (!afinfo)
804
			return;
805 806
	}
	afinfo->init_temprop(x, tmpl, daddr, saddr);
L
Linus Torvalds 已提交
807 808
}

809 810 811 812
static struct xfrm_state *__xfrm_state_lookup(struct net *net, u32 mark,
					      const xfrm_address_t *daddr,
					      __be32 spi, u8 proto,
					      unsigned short family)
813
{
814
	unsigned int h = xfrm_spi_hash(net, daddr, spi, proto, family);
815 816
	struct xfrm_state *x;

817
	hlist_for_each_entry_rcu(x, net->xfrm.state_byspi + h, byspi) {
818 819
		if (x->props.family != family ||
		    x->id.spi       != spi ||
820
		    x->id.proto     != proto ||
821
		    !xfrm_addr_equal(&x->id.daddr, daddr, family))
822 823
			continue;

J
Jamal Hadi Salim 已提交
824 825
		if ((mark & x->mark.m) != x->mark.v)
			continue;
826 827
		if (!xfrm_state_hold_rcu(x))
			continue;
828 829 830 831 832 833
		return x;
	}

	return NULL;
}

834 835 836 837
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)
838
{
839
	unsigned int h = xfrm_src_hash(net, daddr, saddr, family);
840 841
	struct xfrm_state *x;

842
	hlist_for_each_entry_rcu(x, net->xfrm.state_bysrc + h, bysrc) {
843
		if (x->props.family != family ||
844
		    x->id.proto     != proto ||
845 846
		    !xfrm_addr_equal(&x->id.daddr, daddr, family) ||
		    !xfrm_addr_equal(&x->props.saddr, saddr, family))
847 848
			continue;

J
Jamal Hadi Salim 已提交
849 850
		if ((mark & x->mark.m) != x->mark.v)
			continue;
851 852
		if (!xfrm_state_hold_rcu(x))
			continue;
853 854 855 856 857 858 859 860 861
		return x;
	}

	return NULL;
}

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

865
	if (use_spi)
866 867
		return __xfrm_state_lookup(net, mark, &x->id.daddr,
					   x->id.spi, x->id.proto, family);
868
	else
869 870
		return __xfrm_state_lookup_byaddr(net, mark,
						  &x->id.daddr,
871 872 873 874
						  &x->props.saddr,
						  x->id.proto, family);
}

875
static void xfrm_hash_grow_check(struct net *net, int have_hash_collision)
876 877
{
	if (have_hash_collision &&
878 879 880
	    (net->xfrm.state_hmask + 1) < xfrm_state_hashmax &&
	    net->xfrm.state_num > net->xfrm.state_hmask)
		schedule_work(&net->xfrm.state_hash_work);
881 882
}

883
static void xfrm_state_look_at(struct xfrm_policy *pol, struct xfrm_state *x,
884
			       const struct flowi *fl, unsigned short family,
885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919
			       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 &&
		     !xfrm_selector_match(&x->sel, fl, x->sel.family)) ||
		    !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) {
		if (xfrm_selector_match(&x->sel, fl, x->sel.family) &&
		    security_xfrm_state_pol_flow_match(x, pol, fl))
			*error = -ESRCH;
	}
}

L
Linus Torvalds 已提交
920
struct xfrm_state *
921
xfrm_state_find(const xfrm_address_t *daddr, const xfrm_address_t *saddr,
922
		const struct flowi *fl, struct xfrm_tmpl *tmpl,
L
Linus Torvalds 已提交
923 924 925
		struct xfrm_policy *pol, int *err,
		unsigned short family)
{
926
	static xfrm_address_t saddr_wildcard = { };
927
	struct net *net = xp_net(pol);
928
	unsigned int h, h_wildcard;
929
	struct xfrm_state *x, *x0, *to_put;
L
Linus Torvalds 已提交
930 931 932
	int acquire_in_progress = 0;
	int error = 0;
	struct xfrm_state *best = NULL;
933
	u32 mark = pol->mark.v & pol->mark.m;
934
	unsigned short encap_family = tmpl->encap_family;
935
	unsigned int sequence;
936
	struct km_event c;
937

938 939
	to_put = NULL;

940 941
	sequence = read_seqcount_begin(&xfrm_state_hash_generation);

942
	rcu_read_lock();
943
	h = xfrm_dst_hash(net, daddr, saddr, tmpl->reqid, encap_family);
944
	hlist_for_each_entry_rcu(x, net->xfrm.state_bydst + h, bydst) {
945
		if (x->props.family == encap_family &&
L
Linus Torvalds 已提交
946
		    x->props.reqid == tmpl->reqid &&
J
Jamal Hadi Salim 已提交
947
		    (mark & x->mark.m) == x->mark.v &&
948
		    !(x->props.flags & XFRM_STATE_WILDRECV) &&
949
		    xfrm_state_addr_check(x, daddr, saddr, encap_family) &&
L
Linus Torvalds 已提交
950 951
		    tmpl->mode == x->props.mode &&
		    tmpl->id.proto == x->id.proto &&
952
		    (tmpl->id.spi == x->id.spi || !tmpl->id.spi))
953
			xfrm_state_look_at(pol, x, fl, encap_family,
954 955
					   &best, &acquire_in_progress, &error);
	}
956
	if (best || acquire_in_progress)
957 958
		goto found;

959
	h_wildcard = xfrm_dst_hash(net, daddr, &saddr_wildcard, tmpl->reqid, encap_family);
960
	hlist_for_each_entry_rcu(x, net->xfrm.state_bydst + h_wildcard, bydst) {
961
		if (x->props.family == encap_family &&
962
		    x->props.reqid == tmpl->reqid &&
J
Jamal Hadi Salim 已提交
963
		    (mark & x->mark.m) == x->mark.v &&
964
		    !(x->props.flags & XFRM_STATE_WILDRECV) &&
965
		    xfrm_addr_equal(&x->id.daddr, daddr, encap_family) &&
966 967 968
		    tmpl->mode == x->props.mode &&
		    tmpl->id.proto == x->id.proto &&
		    (tmpl->id.spi == x->id.spi || !tmpl->id.spi))
969
			xfrm_state_look_at(pol, x, fl, encap_family,
970
					   &best, &acquire_in_progress, &error);
L
Linus Torvalds 已提交
971 972
	}

973
found:
L
Linus Torvalds 已提交
974 975
	x = best;
	if (!x && !error && !acquire_in_progress) {
976
		if (tmpl->id.spi &&
977
		    (x0 = __xfrm_state_lookup(net, mark, daddr, tmpl->id.spi,
978
					      tmpl->id.proto, encap_family)) != NULL) {
979
			to_put = x0;
L
Linus Torvalds 已提交
980 981 982
			error = -EEXIST;
			goto out;
		}
983 984 985 986 987 988 989 990 991 992 993

		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;
		}

994
		x = xfrm_state_alloc(net);
L
Linus Torvalds 已提交
995 996 997 998
		if (x == NULL) {
			error = -ENOMEM;
			goto out;
		}
999
		/* Initialize temporary state matching only
L
Linus Torvalds 已提交
1000
		 * to current session. */
1001
		xfrm_init_tempstate(x, fl, tmpl, daddr, saddr, family);
1002
		memcpy(&x->mark, &pol->mark, sizeof(x->mark));
L
Linus Torvalds 已提交
1003

1004
		error = security_xfrm_state_alloc_acquire(x, pol->security, fl->flowi_secid);
1005 1006
		if (error) {
			x->km.state = XFRM_STATE_DEAD;
1007
			to_put = x;
1008 1009 1010 1011
			x = NULL;
			goto out;
		}

L
Linus Torvalds 已提交
1012
		if (km_query(x, tmpl, pol) == 0) {
1013
			spin_lock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
1014
			x->km.state = XFRM_STATE_ACQ;
1015
			list_add(&x->km.all, &net->xfrm.state_all);
1016
			hlist_add_head_rcu(&x->bydst, net->xfrm.state_bydst + h);
1017
			h = xfrm_src_hash(net, daddr, saddr, encap_family);
1018
			hlist_add_head_rcu(&x->bysrc, net->xfrm.state_bysrc + h);
L
Linus Torvalds 已提交
1019
			if (x->id.spi) {
1020
				h = xfrm_spi_hash(net, &x->id.daddr, x->id.spi, x->id.proto, encap_family);
1021
				hlist_add_head_rcu(&x->byspi, net->xfrm.state_byspi + h);
L
Linus Torvalds 已提交
1022
			}
A
Alexey Dobriyan 已提交
1023
			x->lft.hard_add_expires_seconds = net->xfrm.sysctl_acq_expires;
1024
			tasklet_hrtimer_start(&x->mtimer, ktime_set(net->xfrm.sysctl_acq_expires, 0), HRTIMER_MODE_REL);
1025 1026
			net->xfrm.state_num++;
			xfrm_hash_grow_check(net, x->bydst.next != NULL);
1027
			spin_unlock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
1028 1029
		} else {
			x->km.state = XFRM_STATE_DEAD;
1030
			to_put = x;
L
Linus Torvalds 已提交
1031 1032 1033 1034 1035
			x = NULL;
			error = -ESRCH;
		}
	}
out:
1036 1037 1038 1039 1040 1041
	if (x) {
		if (!xfrm_state_hold_rcu(x)) {
			*err = -EAGAIN;
			x = NULL;
		}
	} else {
L
Linus Torvalds 已提交
1042
		*err = acquire_in_progress ? -EAGAIN : error;
1043
	}
1044
	rcu_read_unlock();
1045 1046
	if (to_put)
		xfrm_state_put(to_put);
1047 1048 1049 1050 1051 1052 1053 1054 1055

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

L
Linus Torvalds 已提交
1056 1057 1058
	return x;
}

1059
struct xfrm_state *
1060
xfrm_stateonly_find(struct net *net, u32 mark,
1061
		    xfrm_address_t *daddr, xfrm_address_t *saddr,
1062 1063
		    unsigned short family, u8 mode, u8 proto, u32 reqid)
{
1064
	unsigned int h;
1065 1066
	struct xfrm_state *rx = NULL, *x = NULL;

1067
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1068
	h = xfrm_dst_hash(net, daddr, saddr, reqid, family);
1069
	hlist_for_each_entry(x, net->xfrm.state_bydst+h, bydst) {
1070 1071
		if (x->props.family == family &&
		    x->props.reqid == reqid &&
J
Jamal Hadi Salim 已提交
1072
		    (mark & x->mark.m) == x->mark.v &&
1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084
		    !(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);
1085
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1086 1087 1088 1089 1090 1091


	return rx;
}
EXPORT_SYMBOL(xfrm_stateonly_find);

1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105
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);
1106
		spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1107 1108 1109 1110 1111 1112 1113
		return x;
	}
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
	return NULL;
}
EXPORT_SYMBOL(xfrm_state_lookup_byspi);

L
Linus Torvalds 已提交
1114 1115
static void __xfrm_state_insert(struct xfrm_state *x)
{
1116
	struct net *net = xs_net(x);
1117
	unsigned int h;
L
Linus Torvalds 已提交
1118

1119
	list_add(&x->km.all, &net->xfrm.state_all);
1120

1121
	h = xfrm_dst_hash(net, &x->id.daddr, &x->props.saddr,
1122
			  x->props.reqid, x->props.family);
1123
	hlist_add_head_rcu(&x->bydst, net->xfrm.state_bydst + h);
L
Linus Torvalds 已提交
1124

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

1128
	if (x->id.spi) {
1129
		h = xfrm_spi_hash(net, &x->id.daddr, x->id.spi, x->id.proto,
1130 1131
				  x->props.family);

1132
		hlist_add_head_rcu(&x->byspi, net->xfrm.state_byspi + h);
1133 1134
	}

1135
	tasklet_hrtimer_start(&x->mtimer, ktime_set(1, 0), HRTIMER_MODE_REL);
1136 1137
	if (x->replay_maxage)
		mod_timer(&x->rtimer, jiffies + x->replay_maxage);
1138

1139
	net->xfrm.state_num++;
1140

1141
	xfrm_hash_grow_check(net, x->bydst.next != NULL);
L
Linus Torvalds 已提交
1142 1143
}

F
Fan Du 已提交
1144
/* net->xfrm.xfrm_state_lock is held */
1145 1146
static void __xfrm_state_bump_genids(struct xfrm_state *xnew)
{
1147
	struct net *net = xs_net(xnew);
1148 1149 1150 1151
	unsigned short family = xnew->props.family;
	u32 reqid = xnew->props.reqid;
	struct xfrm_state *x;
	unsigned int h;
J
Jamal Hadi Salim 已提交
1152
	u32 mark = xnew->mark.v & xnew->mark.m;
1153

1154
	h = xfrm_dst_hash(net, &xnew->id.daddr, &xnew->props.saddr, reqid, family);
1155
	hlist_for_each_entry(x, net->xfrm.state_bydst+h, bydst) {
1156 1157
		if (x->props.family	== family &&
		    x->props.reqid	== reqid &&
J
Jamal Hadi Salim 已提交
1158
		    (mark & x->mark.m) == x->mark.v &&
1159 1160
		    xfrm_addr_equal(&x->id.daddr, &xnew->id.daddr, family) &&
		    xfrm_addr_equal(&x->props.saddr, &xnew->props.saddr, family))
H
Herbert Xu 已提交
1161
			x->genid++;
1162 1163 1164
	}
}

L
Linus Torvalds 已提交
1165 1166
void xfrm_state_insert(struct xfrm_state *x)
{
F
Fan Du 已提交
1167 1168 1169
	struct net *net = xs_net(x);

	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1170
	__xfrm_state_bump_genids(x);
L
Linus Torvalds 已提交
1171
	__xfrm_state_insert(x);
F
Fan Du 已提交
1172
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
1173 1174 1175
}
EXPORT_SYMBOL(xfrm_state_insert);

F
Fan Du 已提交
1176
/* net->xfrm.xfrm_state_lock is held */
1177 1178
static struct xfrm_state *__find_acq_core(struct net *net,
					  const struct xfrm_mark *m,
1179 1180 1181
					  unsigned short family, u8 mode,
					  u32 reqid, u8 proto,
					  const xfrm_address_t *daddr,
1182 1183
					  const xfrm_address_t *saddr,
					  int create)
1184
{
1185
	unsigned int h = xfrm_dst_hash(net, daddr, saddr, reqid, family);
1186
	struct xfrm_state *x;
J
Jamal Hadi Salim 已提交
1187
	u32 mark = m->v & m->m;
1188

1189
	hlist_for_each_entry(x, net->xfrm.state_bydst+h, bydst) {
1190 1191 1192 1193
		if (x->props.reqid  != reqid ||
		    x->props.mode   != mode ||
		    x->props.family != family ||
		    x->km.state     != XFRM_STATE_ACQ ||
1194
		    x->id.spi       != 0 ||
1195
		    x->id.proto	    != proto ||
J
Jamal Hadi Salim 已提交
1196
		    (mark & x->mark.m) != x->mark.v ||
1197 1198
		    !xfrm_addr_equal(&x->id.daddr, daddr, family) ||
		    !xfrm_addr_equal(&x->props.saddr, saddr, family))
1199 1200 1201 1202 1203 1204 1205 1206 1207
			continue;

		xfrm_state_hold(x);
		return x;
	}

	if (!create)
		return NULL;

1208
	x = xfrm_state_alloc(net);
1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220
	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 已提交
1221 1222
			x->sel.daddr.in6 = daddr->in6;
			x->sel.saddr.in6 = saddr->in6;
1223 1224
			x->sel.prefixlen_d = 128;
			x->sel.prefixlen_s = 128;
J
Jiri Benc 已提交
1225 1226
			x->props.saddr.in6 = saddr->in6;
			x->id.daddr.in6 = daddr->in6;
1227
			break;
1228
		}
1229 1230 1231 1232 1233 1234

		x->km.state = XFRM_STATE_ACQ;
		x->id.proto = proto;
		x->props.family = family;
		x->props.mode = mode;
		x->props.reqid = reqid;
1235 1236
		x->mark.v = m->v;
		x->mark.m = m->m;
A
Alexey Dobriyan 已提交
1237
		x->lft.hard_add_expires_seconds = net->xfrm.sysctl_acq_expires;
1238
		xfrm_state_hold(x);
1239
		tasklet_hrtimer_start(&x->mtimer, ktime_set(net->xfrm.sysctl_acq_expires, 0), HRTIMER_MODE_REL);
1240
		list_add(&x->km.all, &net->xfrm.state_all);
1241
		hlist_add_head_rcu(&x->bydst, net->xfrm.state_bydst + h);
1242
		h = xfrm_src_hash(net, daddr, saddr, family);
1243
		hlist_add_head_rcu(&x->bysrc, net->xfrm.state_bysrc + h);
1244

1245
		net->xfrm.state_num++;
1246

1247
		xfrm_hash_grow_check(net, x->bydst.next != NULL);
1248 1249 1250 1251 1252
	}

	return x;
}

1253
static struct xfrm_state *__xfrm_find_acq_byseq(struct net *net, u32 mark, u32 seq);
L
Linus Torvalds 已提交
1254 1255 1256

int xfrm_state_add(struct xfrm_state *x)
{
1257
	struct net *net = xs_net(x);
1258
	struct xfrm_state *x1, *to_put;
L
Linus Torvalds 已提交
1259 1260
	int family;
	int err;
1261
	u32 mark = x->mark.v & x->mark.m;
1262
	int use_spi = xfrm_id_proto_match(x->id.proto, IPSEC_PROTO_ANY);
L
Linus Torvalds 已提交
1263 1264 1265

	family = x->props.family;

1266 1267
	to_put = NULL;

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

1270
	x1 = __xfrm_state_locate(x, use_spi, family);
L
Linus Torvalds 已提交
1271
	if (x1) {
1272
		to_put = x1;
L
Linus Torvalds 已提交
1273 1274 1275 1276 1277
		x1 = NULL;
		err = -EEXIST;
		goto out;
	}

1278
	if (use_spi && x->km.seq) {
1279
		x1 = __xfrm_find_acq_byseq(net, mark, x->km.seq);
1280
		if (x1 && ((x1->id.proto != x->id.proto) ||
1281
		    !xfrm_addr_equal(&x1->id.daddr, &x->id.daddr, family))) {
1282
			to_put = x1;
L
Linus Torvalds 已提交
1283 1284 1285 1286
			x1 = NULL;
		}
	}

1287
	if (use_spi && !x1)
1288 1289
		x1 = __find_acq_core(net, &x->mark, family, x->props.mode,
				     x->props.reqid, x->id.proto,
1290
				     &x->id.daddr, &x->props.saddr, 0);
L
Linus Torvalds 已提交
1291

1292
	__xfrm_state_bump_genids(x);
L
Linus Torvalds 已提交
1293 1294 1295 1296
	__xfrm_state_insert(x);
	err = 0;

out:
F
Fan Du 已提交
1297
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
1298 1299 1300 1301 1302 1303

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

1304 1305 1306
	if (to_put)
		xfrm_state_put(to_put);

L
Linus Torvalds 已提交
1307 1308 1309 1310
	return err;
}
EXPORT_SYMBOL(xfrm_state_add);

1311
#ifdef CONFIG_XFRM_MIGRATE
1312 1313
static struct xfrm_state *xfrm_state_clone(struct xfrm_state *orig,
					   struct xfrm_encap_tmpl *encap)
1314
{
1315 1316
	struct net *net = xs_net(orig);
	struct xfrm_state *x = xfrm_state_alloc(net);
1317
	if (!x)
H
Herbert Xu 已提交
1318
		goto out;
1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329

	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) {
1330
		x->aalg = xfrm_algo_auth_clone(orig->aalg);
1331 1332 1333 1334 1335
		if (!x->aalg)
			goto error;
	}
	x->props.aalgo = orig->props.aalgo;

1336 1337 1338 1339 1340
	if (orig->aead) {
		x->aead = xfrm_algo_aead_clone(orig->aead);
		if (!x->aead)
			goto error;
	}
1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354
	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;

1355 1356 1357 1358 1359 1360 1361 1362
	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);

1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373
		if (!x->encap)
			goto error;
	}

	if (orig->coaddr) {
		x->coaddr = kmemdup(orig->coaddr, sizeof(*x->coaddr),
				    GFP_KERNEL);
		if (!x->coaddr)
			goto error;
	}

1374
	if (orig->replay_esn) {
1375
		if (xfrm_replay_clone(x, orig))
1376 1377 1378
			goto error;
	}

1379 1380
	memcpy(&x->mark, &orig->mark, sizeof(x->mark));

1381
	if (xfrm_init_state(x) < 0)
1382 1383 1384
		goto error;

	x->props.flags = orig->props.flags;
1385
	x->props.extra_flags = orig->props.extra_flags;
1386

1387 1388 1389
	x->tfcpad = orig->tfcpad;
	x->replay_maxdiff = orig->replay_maxdiff;
	x->replay_maxage = orig->replay_maxage;
1390 1391 1392
	x->curlft.add_time = orig->curlft.add_time;
	x->km.state = orig->km.state;
	x->km.seq = orig->km.seq;
1393 1394
	x->replay = orig->replay;
	x->preplay = orig->preplay;
1395 1396 1397 1398

	return x;

 error:
H
Herbert Xu 已提交
1399 1400
	xfrm_state_put(x);
out:
1401 1402 1403
	return NULL;
}

F
Fan Du 已提交
1404
struct xfrm_state *xfrm_migrate_state_find(struct xfrm_migrate *m, struct net *net)
1405 1406
{
	unsigned int h;
1407 1408 1409
	struct xfrm_state *x = NULL;

	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1410 1411

	if (m->reqid) {
F
Fan Du 已提交
1412
		h = xfrm_dst_hash(net, &m->old_daddr, &m->old_saddr,
1413
				  m->reqid, m->old_family);
F
Fan Du 已提交
1414
		hlist_for_each_entry(x, net->xfrm.state_bydst+h, bydst) {
1415 1416 1417 1418 1419
			if (x->props.mode != m->mode ||
			    x->id.proto != m->proto)
				continue;
			if (m->reqid && x->props.reqid != m->reqid)
				continue;
1420 1421 1422 1423
			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))
1424 1425
				continue;
			xfrm_state_hold(x);
1426
			break;
1427 1428
		}
	} else {
F
Fan Du 已提交
1429
		h = xfrm_src_hash(net, &m->old_daddr, &m->old_saddr,
1430
				  m->old_family);
F
Fan Du 已提交
1431
		hlist_for_each_entry(x, net->xfrm.state_bysrc+h, bysrc) {
1432 1433 1434
			if (x->props.mode != m->mode ||
			    x->id.proto != m->proto)
				continue;
1435 1436 1437 1438
			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))
1439 1440
				continue;
			xfrm_state_hold(x);
1441
			break;
1442 1443 1444
		}
	}

1445 1446 1447
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);

	return x;
1448 1449 1450
}
EXPORT_SYMBOL(xfrm_migrate_state_find);

1451
struct xfrm_state *xfrm_state_migrate(struct xfrm_state *x,
1452 1453
				      struct xfrm_migrate *m,
				      struct xfrm_encap_tmpl *encap)
1454 1455 1456
{
	struct xfrm_state *xc;

1457
	xc = xfrm_state_clone(x, encap);
1458 1459 1460 1461 1462 1463 1464
	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 */
1465
	if (xfrm_addr_equal(&x->id.daddr, &m->new_daddr, m->new_family)) {
1466 1467 1468 1469
		/* 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 {
1470
		if (xfrm_state_add(xc) < 0)
1471 1472 1473 1474 1475
			goto error;
	}

	return xc;
error:
T
Thomas Egerer 已提交
1476
	xfrm_state_put(xc);
1477 1478 1479 1480 1481
	return NULL;
}
EXPORT_SYMBOL(xfrm_state_migrate);
#endif

L
Linus Torvalds 已提交
1482 1483
int xfrm_state_update(struct xfrm_state *x)
{
1484
	struct xfrm_state *x1, *to_put;
L
Linus Torvalds 已提交
1485
	int err;
1486
	int use_spi = xfrm_id_proto_match(x->id.proto, IPSEC_PROTO_ANY);
F
Fan Du 已提交
1487
	struct net *net = xs_net(x);
L
Linus Torvalds 已提交
1488

1489 1490
	to_put = NULL;

F
Fan Du 已提交
1491
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1492
	x1 = __xfrm_state_locate(x, use_spi, x->props.family);
L
Linus Torvalds 已提交
1493 1494 1495 1496 1497 1498

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

	if (xfrm_state_kern(x1)) {
1499
		to_put = x1;
L
Linus Torvalds 已提交
1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510
		err = -EEXIST;
		goto out;
	}

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

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

1513 1514 1515
	if (to_put)
		xfrm_state_put(to_put);

L
Linus Torvalds 已提交
1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529
	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)) {
		if (x->encap && x1->encap)
			memcpy(x1->encap, x->encap, sizeof(*x1->encap));
1530 1531 1532 1533 1534
		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 已提交
1535 1536 1537
		memcpy(&x1->lft, &x->lft, sizeof(x1->lft));
		x1->km.dying = 0;

1538
		tasklet_hrtimer_start(&x1->mtimer, ktime_set(1, 0), HRTIMER_MODE_REL);
L
Linus Torvalds 已提交
1539 1540 1541 1542
		if (x1->curlft.use_time)
			xfrm_state_check_expire(x1);

		err = 0;
1543 1544
		x->km.state = XFRM_STATE_DEAD;
		__xfrm_state_put(x);
L
Linus Torvalds 已提交
1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556
	}
	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)
1557
		x->curlft.use_time = get_seconds();
L
Linus Torvalds 已提交
1558 1559 1560

	if (x->curlft.bytes >= x->lft.hard_byte_limit ||
	    x->curlft.packets >= x->lft.hard_packet_limit) {
1561
		x->km.state = XFRM_STATE_EXPIRED;
T
Thomas Gleixner 已提交
1562
		tasklet_hrtimer_start(&x->mtimer, 0, HRTIMER_MODE_REL);
L
Linus Torvalds 已提交
1563 1564 1565 1566 1567
		return -EINVAL;
	}

	if (!x->km.dying &&
	    (x->curlft.bytes >= x->lft.soft_byte_limit ||
1568 1569
	     x->curlft.packets >= x->lft.soft_packet_limit)) {
		x->km.dying = 1;
1570
		km_state_expired(x, 0, 0);
1571
	}
L
Linus Torvalds 已提交
1572 1573 1574 1575 1576
	return 0;
}
EXPORT_SYMBOL(xfrm_state_check_expire);

struct xfrm_state *
1577
xfrm_state_lookup(struct net *net, u32 mark, const xfrm_address_t *daddr, __be32 spi,
1578
		  u8 proto, unsigned short family)
L
Linus Torvalds 已提交
1579 1580 1581
{
	struct xfrm_state *x;

1582
	rcu_read_lock();
1583
	x = __xfrm_state_lookup(net, mark, daddr, spi, proto, family);
1584
	rcu_read_unlock();
L
Linus Torvalds 已提交
1585 1586 1587 1588 1589
	return x;
}
EXPORT_SYMBOL(xfrm_state_lookup);

struct xfrm_state *
1590
xfrm_state_lookup_byaddr(struct net *net, u32 mark,
1591
			 const xfrm_address_t *daddr, const xfrm_address_t *saddr,
1592 1593 1594 1595
			 u8 proto, unsigned short family)
{
	struct xfrm_state *x;

F
Fan Du 已提交
1596
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1597
	x = __xfrm_state_lookup_byaddr(net, mark, daddr, saddr, proto, family);
F
Fan Du 已提交
1598
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1599 1600 1601 1602 1603
	return x;
}
EXPORT_SYMBOL(xfrm_state_lookup_byaddr);

struct xfrm_state *
1604 1605 1606
xfrm_find_acq(struct net *net, const struct xfrm_mark *mark, u8 mode, u32 reqid,
	      u8 proto, const xfrm_address_t *daddr,
	      const xfrm_address_t *saddr, int create, unsigned short family)
L
Linus Torvalds 已提交
1607 1608 1609
{
	struct xfrm_state *x;

F
Fan Du 已提交
1610
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1611
	x = __find_acq_core(net, mark, family, mode, reqid, proto, daddr, saddr, create);
F
Fan Du 已提交
1612
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1613

L
Linus Torvalds 已提交
1614 1615 1616 1617
	return x;
}
EXPORT_SYMBOL(xfrm_find_acq);

1618 1619 1620
#ifdef CONFIG_XFRM_SUB_POLICY
int
xfrm_tmpl_sort(struct xfrm_tmpl **dst, struct xfrm_tmpl **src, int n,
F
Fan Du 已提交
1621
	       unsigned short family, struct net *net)
1622 1623 1624 1625 1626 1627
{
	int err = 0;
	struct xfrm_state_afinfo *afinfo = xfrm_state_get_afinfo(family);
	if (!afinfo)
		return -EAFNOSUPPORT;

F
Fan Du 已提交
1628
	spin_lock_bh(&net->xfrm.xfrm_state_lock); /*FIXME*/
1629 1630
	if (afinfo->tmpl_sort)
		err = afinfo->tmpl_sort(dst, src, n);
F
Fan Du 已提交
1631
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1632
	rcu_read_unlock();
1633 1634 1635 1636 1637 1638 1639 1640 1641 1642
	return err;
}
EXPORT_SYMBOL(xfrm_tmpl_sort);

int
xfrm_state_sort(struct xfrm_state **dst, struct xfrm_state **src, int n,
		unsigned short family)
{
	int err = 0;
	struct xfrm_state_afinfo *afinfo = xfrm_state_get_afinfo(family);
1643
	struct net *net = xs_net(*src);
F
Fan Du 已提交
1644

1645 1646 1647
	if (!afinfo)
		return -EAFNOSUPPORT;

F
Fan Du 已提交
1648
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1649 1650
	if (afinfo->state_sort)
		err = afinfo->state_sort(dst, src, n);
F
Fan Du 已提交
1651
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1652
	rcu_read_unlock();
1653 1654 1655 1656 1657
	return err;
}
EXPORT_SYMBOL(xfrm_state_sort);
#endif

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

1660
static struct xfrm_state *__xfrm_find_acq_byseq(struct net *net, u32 mark, u32 seq)
L
Linus Torvalds 已提交
1661 1662 1663
{
	int i;

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

1667
		hlist_for_each_entry(x, net->xfrm.state_bydst+i, bydst) {
1668
			if (x->km.seq == seq &&
J
Jamal Hadi Salim 已提交
1669
			    (mark & x->mark.m) == x->mark.v &&
1670
			    x->km.state == XFRM_STATE_ACQ) {
L
Linus Torvalds 已提交
1671 1672 1673 1674 1675 1676 1677 1678
				xfrm_state_hold(x);
				return x;
			}
		}
	}
	return NULL;
}

1679
struct xfrm_state *xfrm_find_acq_byseq(struct net *net, u32 mark, u32 seq)
L
Linus Torvalds 已提交
1680 1681 1682
{
	struct xfrm_state *x;

F
Fan Du 已提交
1683
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1684
	x = __xfrm_find_acq_byseq(net, mark, seq);
F
Fan Du 已提交
1685
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
1686 1687 1688 1689 1690 1691 1692
	return x;
}
EXPORT_SYMBOL(xfrm_find_acq_byseq);

u32 xfrm_get_acqseq(void)
{
	u32 res;
1693 1694 1695 1696 1697
	static atomic_t acqseq;

	do {
		res = atomic_inc_return(&acqseq);
	} while (!res);
L
Linus Torvalds 已提交
1698 1699 1700 1701 1702

	return res;
}
EXPORT_SYMBOL(xfrm_get_acqseq);

1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726
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);

1727
int xfrm_alloc_spi(struct xfrm_state *x, u32 low, u32 high)
L
Linus Torvalds 已提交
1728
{
1729
	struct net *net = xs_net(x);
1730
	unsigned int h;
L
Linus Torvalds 已提交
1731
	struct xfrm_state *x0;
1732 1733 1734
	int err = -ENOENT;
	__be32 minspi = htonl(low);
	__be32 maxspi = htonl(high);
1735
	u32 mark = x->mark.v & x->mark.m;
L
Linus Torvalds 已提交
1736

1737 1738 1739 1740 1741
	spin_lock_bh(&x->lock);
	if (x->km.state == XFRM_STATE_DEAD)
		goto unlock;

	err = 0;
L
Linus Torvalds 已提交
1742
	if (x->id.spi)
1743 1744 1745
		goto unlock;

	err = -ENOENT;
L
Linus Torvalds 已提交
1746 1747

	if (minspi == maxspi) {
1748
		x0 = xfrm_state_lookup(net, mark, &x->id.daddr, minspi, x->id.proto, x->props.family);
L
Linus Torvalds 已提交
1749 1750
		if (x0) {
			xfrm_state_put(x0);
1751
			goto unlock;
L
Linus Torvalds 已提交
1752 1753 1754 1755
		}
		x->id.spi = minspi;
	} else {
		u32 spi = 0;
1756
		for (h = 0; h < high-low+1; h++) {
1757
			spi = low + prandom_u32()%(high-low+1);
1758
			x0 = xfrm_state_lookup(net, mark, &x->id.daddr, htonl(spi), x->id.proto, x->props.family);
L
Linus Torvalds 已提交
1759 1760 1761 1762 1763 1764 1765 1766
			if (x0 == NULL) {
				x->id.spi = htonl(spi);
				break;
			}
			xfrm_state_put(x0);
		}
	}
	if (x->id.spi) {
F
Fan Du 已提交
1767
		spin_lock_bh(&net->xfrm.xfrm_state_lock);
1768
		h = xfrm_spi_hash(net, &x->id.daddr, x->id.spi, x->id.proto, x->props.family);
1769
		hlist_add_head_rcu(&x->byspi, net->xfrm.state_byspi + h);
F
Fan Du 已提交
1770
		spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1771 1772

		err = 0;
L
Linus Torvalds 已提交
1773
	}
1774 1775 1776 1777 1778

unlock:
	spin_unlock_bh(&x->lock);

	return err;
L
Linus Torvalds 已提交
1779 1780 1781
}
EXPORT_SYMBOL(xfrm_alloc_spi);

1782
static bool __xfrm_state_filter_match(struct xfrm_state *x,
1783
				      struct xfrm_address_filter *filter)
1784 1785 1786 1787 1788 1789 1790 1791 1792 1793 1794 1795 1796 1797 1798
{
	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;
}

1799
int xfrm_state_walk(struct net *net, struct xfrm_state_walk *walk,
1800
		    int (*func)(struct xfrm_state *, int, void*),
L
Linus Torvalds 已提交
1801 1802
		    void *data)
{
H
Herbert Xu 已提交
1803 1804
	struct xfrm_state *state;
	struct xfrm_state_walk *x;
L
Linus Torvalds 已提交
1805 1806
	int err = 0;

H
Herbert Xu 已提交
1807
	if (walk->seq != 0 && list_empty(&walk->all))
1808 1809
		return 0;

F
Fan Du 已提交
1810
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
H
Herbert Xu 已提交
1811
	if (list_empty(&walk->all))
1812
		x = list_first_entry(&net->xfrm.state_all, struct xfrm_state_walk, all);
H
Herbert Xu 已提交
1813
	else
1814
		x = list_first_entry(&walk->all, struct xfrm_state_walk, all);
1815
	list_for_each_entry_from(x, &net->xfrm.state_all, all) {
H
Herbert Xu 已提交
1816
		if (x->state == XFRM_STATE_DEAD)
1817
			continue;
H
Herbert Xu 已提交
1818 1819
		state = container_of(x, struct xfrm_state, km);
		if (!xfrm_id_proto_match(state->id.proto, walk->proto))
1820
			continue;
1821 1822
		if (!__xfrm_state_filter_match(state, walk->filter))
			continue;
H
Herbert Xu 已提交
1823 1824 1825 1826
		err = func(state, walk->seq, data);
		if (err) {
			list_move_tail(&walk->all, &x->all);
			goto out;
L
Linus Torvalds 已提交
1827
		}
H
Herbert Xu 已提交
1828
		walk->seq++;
L
Linus Torvalds 已提交
1829
	}
H
Herbert Xu 已提交
1830
	if (walk->seq == 0) {
L
Linus Torvalds 已提交
1831 1832 1833
		err = -ENOENT;
		goto out;
	}
H
Herbert Xu 已提交
1834
	list_del_init(&walk->all);
L
Linus Torvalds 已提交
1835
out:
F
Fan Du 已提交
1836
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
1837 1838 1839 1840
	return err;
}
EXPORT_SYMBOL(xfrm_state_walk);

1841
void xfrm_state_walk_init(struct xfrm_state_walk *walk, u8 proto,
1842
			  struct xfrm_address_filter *filter)
H
Herbert Xu 已提交
1843
{
H
Herbert Xu 已提交
1844
	INIT_LIST_HEAD(&walk->all);
H
Herbert Xu 已提交
1845
	walk->proto = proto;
H
Herbert Xu 已提交
1846 1847
	walk->state = XFRM_STATE_DEAD;
	walk->seq = 0;
1848
	walk->filter = filter;
H
Herbert Xu 已提交
1849 1850 1851
}
EXPORT_SYMBOL(xfrm_state_walk_init);

F
Fan Du 已提交
1852
void xfrm_state_walk_done(struct xfrm_state_walk *walk, struct net *net)
1853
{
1854 1855
	kfree(walk->filter);

H
Herbert Xu 已提交
1856
	if (list_empty(&walk->all))
H
Herbert Xu 已提交
1857 1858
		return;

F
Fan Du 已提交
1859
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
H
Herbert Xu 已提交
1860
	list_del(&walk->all);
F
Fan Du 已提交
1861
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1862 1863 1864
}
EXPORT_SYMBOL(xfrm_state_walk_done);

1865 1866
static void xfrm_replay_timer_handler(unsigned long data)
{
1867
	struct xfrm_state *x = (struct xfrm_state *)data;
1868 1869 1870

	spin_lock(&x->lock);

J
Jamal Hadi Salim 已提交
1871
	if (x->km.state == XFRM_STATE_VALID) {
1872
		if (xfrm_aevent_is_on(xs_net(x)))
1873
			x->repl->notify(x, XFRM_REPLAY_TIMEOUT);
J
Jamal Hadi Salim 已提交
1874 1875 1876
		else
			x->xflags |= XFRM_TIME_DEFER;
	}
1877 1878 1879 1880

	spin_unlock(&x->lock);
}

1881
static LIST_HEAD(xfrm_km_list);
L
Linus Torvalds 已提交
1882

1883
void km_policy_notify(struct xfrm_policy *xp, int dir, const struct km_event *c)
L
Linus Torvalds 已提交
1884 1885 1886
{
	struct xfrm_mgr *km;

1887 1888
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list)
1889 1890
		if (km->notify_policy)
			km->notify_policy(xp, dir, c);
1891
	rcu_read_unlock();
1892
}
L
Linus Torvalds 已提交
1893

1894
void km_state_notify(struct xfrm_state *x, const struct km_event *c)
1895 1896
{
	struct xfrm_mgr *km;
1897 1898
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list)
1899 1900
		if (km->notify)
			km->notify(x, c);
1901
	rcu_read_unlock();
1902 1903 1904 1905 1906
}

EXPORT_SYMBOL(km_policy_notify);
EXPORT_SYMBOL(km_state_notify);

1907
void km_state_expired(struct xfrm_state *x, int hard, u32 portid)
1908 1909 1910
{
	struct km_event c;

1911
	c.data.hard = hard;
1912
	c.portid = portid;
1913
	c.event = XFRM_MSG_EXPIRE;
1914
	km_state_notify(x, &c);
L
Linus Torvalds 已提交
1915 1916
}

1917
EXPORT_SYMBOL(km_state_expired);
1918 1919 1920 1921
/*
 * We send to all registered managers regardless of failure
 * We are happy with one success
*/
1922
int km_query(struct xfrm_state *x, struct xfrm_tmpl *t, struct xfrm_policy *pol)
L
Linus Torvalds 已提交
1923
{
1924
	int err = -EINVAL, acqret;
L
Linus Torvalds 已提交
1925 1926
	struct xfrm_mgr *km;

1927 1928
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
1929
		acqret = km->acquire(x, t, pol);
1930 1931
		if (!acqret)
			err = acqret;
L
Linus Torvalds 已提交
1932
	}
1933
	rcu_read_unlock();
L
Linus Torvalds 已提交
1934 1935
	return err;
}
1936
EXPORT_SYMBOL(km_query);
L
Linus Torvalds 已提交
1937

A
Al Viro 已提交
1938
int km_new_mapping(struct xfrm_state *x, xfrm_address_t *ipaddr, __be16 sport)
L
Linus Torvalds 已提交
1939 1940 1941 1942
{
	int err = -EINVAL;
	struct xfrm_mgr *km;

1943 1944
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
L
Linus Torvalds 已提交
1945 1946 1947 1948 1949
		if (km->new_mapping)
			err = km->new_mapping(x, ipaddr, sport);
		if (!err)
			break;
	}
1950
	rcu_read_unlock();
L
Linus Torvalds 已提交
1951 1952 1953 1954
	return err;
}
EXPORT_SYMBOL(km_new_mapping);

1955
void km_policy_expired(struct xfrm_policy *pol, int dir, int hard, u32 portid)
L
Linus Torvalds 已提交
1956
{
1957
	struct km_event c;
L
Linus Torvalds 已提交
1958

1959
	c.data.hard = hard;
1960
	c.portid = portid;
1961
	c.event = XFRM_MSG_POLEXPIRE;
1962
	km_policy_notify(pol, dir, &c);
L
Linus Torvalds 已提交
1963
}
1964
EXPORT_SYMBOL(km_policy_expired);
L
Linus Torvalds 已提交
1965

1966
#ifdef CONFIG_XFRM_MIGRATE
1967 1968
int km_migrate(const struct xfrm_selector *sel, u8 dir, u8 type,
	       const struct xfrm_migrate *m, int num_migrate,
1969 1970
	       const struct xfrm_kmaddress *k,
	       const struct xfrm_encap_tmpl *encap)
1971 1972 1973 1974 1975
{
	int err = -EINVAL;
	int ret;
	struct xfrm_mgr *km;

1976 1977
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
1978
		if (km->migrate) {
1979 1980
			ret = km->migrate(sel, dir, type, m, num_migrate, k,
					  encap);
1981 1982 1983 1984
			if (!ret)
				err = ret;
		}
	}
1985
	rcu_read_unlock();
1986 1987 1988
	return err;
}
EXPORT_SYMBOL(km_migrate);
1989
#endif
1990

1991
int km_report(struct net *net, u8 proto, struct xfrm_selector *sel, xfrm_address_t *addr)
1992 1993 1994 1995 1996
{
	int err = -EINVAL;
	int ret;
	struct xfrm_mgr *km;

1997 1998
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
1999
		if (km->report) {
2000
			ret = km->report(net, proto, sel, addr);
2001 2002 2003 2004
			if (!ret)
				err = ret;
		}
	}
2005
	rcu_read_unlock();
2006 2007 2008 2009
	return err;
}
EXPORT_SYMBOL(km_report);

2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027
bool km_is_alive(const struct km_event *c)
{
	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;
}
EXPORT_SYMBOL(km_is_alive);

L
Linus Torvalds 已提交
2028 2029 2030 2031 2032 2033 2034 2035 2036 2037
int xfrm_user_policy(struct sock *sk, int optname, u8 __user *optval, int optlen)
{
	int err;
	u8 *data;
	struct xfrm_mgr *km;
	struct xfrm_policy *pol = NULL;

	if (optlen <= 0 || optlen > PAGE_SIZE)
		return -EMSGSIZE;

G
Geliang Tang 已提交
2038 2039 2040
	data = memdup_user(optval, optlen);
	if (IS_ERR(data))
		return PTR_ERR(data);
L
Linus Torvalds 已提交
2041 2042

	err = -EINVAL;
2043 2044
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
2045
		pol = km->compile_policy(sk, optname, data,
L
Linus Torvalds 已提交
2046 2047 2048 2049
					 optlen, &err);
		if (err >= 0)
			break;
	}
2050
	rcu_read_unlock();
L
Linus Torvalds 已提交
2051 2052 2053 2054 2055 2056 2057 2058 2059 2060 2061 2062

	if (err >= 0) {
		xfrm_sk_policy_insert(sk, err, pol);
		xfrm_pol_put(pol);
		err = 0;
	}

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

2063 2064
static DEFINE_SPINLOCK(xfrm_km_lock);

L
Linus Torvalds 已提交
2065 2066
int xfrm_register_km(struct xfrm_mgr *km)
{
2067 2068 2069
	spin_lock_bh(&xfrm_km_lock);
	list_add_tail_rcu(&km->list, &xfrm_km_list);
	spin_unlock_bh(&xfrm_km_lock);
L
Linus Torvalds 已提交
2070 2071 2072 2073 2074 2075
	return 0;
}
EXPORT_SYMBOL(xfrm_register_km);

int xfrm_unregister_km(struct xfrm_mgr *km)
{
2076 2077 2078 2079
	spin_lock_bh(&xfrm_km_lock);
	list_del_rcu(&km->list);
	spin_unlock_bh(&xfrm_km_lock);
	synchronize_rcu();
L
Linus Torvalds 已提交
2080 2081 2082 2083 2084 2085 2086
	return 0;
}
EXPORT_SYMBOL(xfrm_unregister_km);

int xfrm_state_register_afinfo(struct xfrm_state_afinfo *afinfo)
{
	int err = 0;
2087 2088

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

2091
	spin_lock_bh(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
2092
	if (unlikely(xfrm_state_afinfo[afinfo->family] != NULL))
2093
		err = -EEXIST;
2094
	else
2095 2096
		rcu_assign_pointer(xfrm_state_afinfo[afinfo->family], afinfo);
	spin_unlock_bh(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
2097 2098 2099 2100 2101 2102
	return err;
}
EXPORT_SYMBOL(xfrm_state_register_afinfo);

int xfrm_state_unregister_afinfo(struct xfrm_state_afinfo *afinfo)
{
2103 2104 2105
	int err = 0, family = afinfo->family;

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

2108
	spin_lock_bh(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
2109
	if (likely(xfrm_state_afinfo[afinfo->family] != NULL)) {
2110
		if (rcu_access_pointer(xfrm_state_afinfo[family]) != afinfo)
L
Linus Torvalds 已提交
2111
			err = -EINVAL;
2112
		else
2113
			RCU_INIT_POINTER(xfrm_state_afinfo[afinfo->family], NULL);
L
Linus Torvalds 已提交
2114
	}
2115 2116
	spin_unlock_bh(&xfrm_state_afinfo_lock);
	synchronize_rcu();
L
Linus Torvalds 已提交
2117 2118 2119 2120
	return err;
}
EXPORT_SYMBOL(xfrm_state_unregister_afinfo);

2121 2122 2123 2124 2125 2126 2127 2128
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]);
}

2129
struct xfrm_state_afinfo *xfrm_state_get_afinfo(unsigned int family)
L
Linus Torvalds 已提交
2130 2131 2132 2133
{
	struct xfrm_state_afinfo *afinfo;
	if (unlikely(family >= NPROTO))
		return NULL;
2134 2135
	rcu_read_lock();
	afinfo = rcu_dereference(xfrm_state_afinfo[family]);
2136
	if (unlikely(!afinfo))
2137
		rcu_read_unlock();
L
Linus Torvalds 已提交
2138 2139 2140 2141 2142 2143 2144 2145 2146 2147 2148 2149 2150 2151 2152 2153 2154 2155 2156 2157
	return afinfo;
}

/* 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);
		xfrm_state_put(t);
		x->tunnel = NULL;
	}
}
EXPORT_SYMBOL(xfrm_state_delete_tunnel);

int xfrm_state_mtu(struct xfrm_state *x, int mtu)
{
2158
	const struct xfrm_type *type = READ_ONCE(x->type);
L
Linus Torvalds 已提交
2159

2160
	if (x->km.state == XFRM_STATE_VALID &&
2161 2162 2163 2164
	    type && type->get_mtu)
		return type->get_mtu(x, mtu);

	return mtu - x->props.header_len;
L
Linus Torvalds 已提交
2165 2166
}

2167
int __xfrm_init_state(struct xfrm_state *x, bool init_replay)
H
Herbert Xu 已提交
2168
{
2169
	struct xfrm_state_afinfo *afinfo;
2170
	struct xfrm_mode *inner_mode;
2171
	int family = x->props.family;
H
Herbert Xu 已提交
2172 2173
	int err;

2174 2175 2176 2177 2178 2179 2180 2181 2182
	err = -EAFNOSUPPORT;
	afinfo = xfrm_state_get_afinfo(family);
	if (!afinfo)
		goto error;

	err = 0;
	if (afinfo->init_flags)
		err = afinfo->init_flags(x);

2183
	rcu_read_unlock();
2184 2185 2186 2187 2188

	if (err)
		goto error;

	err = -EPROTONOSUPPORT;
2189

2190 2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203
	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) &&
		    family != x->sel.family) {
			xfrm_put_mode(inner_mode);
			goto error;
		}

		x->inner_mode = inner_mode;
	} else {
		struct xfrm_mode *inner_mode_iaf;
2204
		int iafamily = AF_INET;
2205

2206
		inner_mode = xfrm_get_mode(x->props.mode, x->props.family);
2207 2208 2209 2210 2211 2212 2213
		if (inner_mode == NULL)
			goto error;

		if (!(inner_mode->flags & XFRM_MODE_FLAG_TUNNEL)) {
			xfrm_put_mode(inner_mode);
			goto error;
		}
2214
		x->inner_mode = inner_mode;
2215

2216 2217
		if (x->props.family == AF_INET)
			iafamily = AF_INET6;
2218

2219 2220 2221 2222 2223 2224
		inner_mode_iaf = xfrm_get_mode(x->props.mode, iafamily);
		if (inner_mode_iaf) {
			if (inner_mode_iaf->flags & XFRM_MODE_FLAG_TUNNEL)
				x->inner_mode_iaf = inner_mode_iaf;
			else
				xfrm_put_mode(inner_mode_iaf);
2225 2226
		}
	}
2227

2228
	x->type = xfrm_get_type(x->id.proto, family);
H
Herbert Xu 已提交
2229 2230 2231
	if (x->type == NULL)
		goto error;

2232 2233
	x->type_offload = xfrm_get_type_offload(x->id.proto, family);

H
Herbert Xu 已提交
2234 2235 2236 2237
	err = x->type->init_state(x);
	if (err)
		goto error;

2238
	x->outer_mode = xfrm_get_mode(x->props.mode, family);
2239 2240
	if (x->outer_mode == NULL) {
		err = -EPROTONOSUPPORT;
2241
		goto error;
2242
	}
2243

2244 2245 2246 2247 2248 2249
	if (init_replay) {
		err = xfrm_init_replay(x);
		if (err)
			goto error;
	}

H
Herbert Xu 已提交
2250 2251 2252 2253 2254 2255
	x->km.state = XFRM_STATE_VALID;

error:
	return err;
}

2256 2257 2258 2259 2260 2261 2262
EXPORT_SYMBOL(__xfrm_init_state);

int xfrm_init_state(struct xfrm_state *x)
{
	return __xfrm_init_state(x, true);
}

H
Herbert Xu 已提交
2263
EXPORT_SYMBOL(xfrm_init_state);
2264

2265
int __net_init xfrm_state_init(struct net *net)
L
Linus Torvalds 已提交
2266
{
2267 2268
	unsigned int sz;

2269 2270
	INIT_LIST_HEAD(&net->xfrm.state_all);

2271 2272
	sz = sizeof(struct hlist_head) * 8;

2273 2274 2275
	net->xfrm.state_bydst = xfrm_hash_alloc(sz);
	if (!net->xfrm.state_bydst)
		goto out_bydst;
2276 2277 2278
	net->xfrm.state_bysrc = xfrm_hash_alloc(sz);
	if (!net->xfrm.state_bysrc)
		goto out_bysrc;
2279 2280 2281
	net->xfrm.state_byspi = xfrm_hash_alloc(sz);
	if (!net->xfrm.state_byspi)
		goto out_byspi;
2282
	net->xfrm.state_hmask = ((sz / sizeof(struct hlist_head)) - 1);
L
Linus Torvalds 已提交
2283

2284
	net->xfrm.state_num = 0;
2285
	INIT_WORK(&net->xfrm.state_hash_work, xfrm_hash_resize);
F
Fan Du 已提交
2286
	spin_lock_init(&net->xfrm.xfrm_state_lock);
2287
	return 0;
2288

2289 2290
out_byspi:
	xfrm_hash_free(net->xfrm.state_bysrc, sz);
2291 2292
out_bysrc:
	xfrm_hash_free(net->xfrm.state_bydst, sz);
2293 2294
out_bydst:
	return -ENOMEM;
2295 2296 2297 2298
}

void xfrm_state_fini(struct net *net)
{
2299 2300
	unsigned int sz;

2301
	flush_work(&net->xfrm.state_hash_work);
2302
	xfrm_state_flush(net, IPSEC_PROTO_ANY, false);
2303
	flush_work(&xfrm_state_gc_work);
2304

2305
	WARN_ON(!list_empty(&net->xfrm.state_all));
2306

2307
	sz = (net->xfrm.state_hmask + 1) * sizeof(struct hlist_head);
2308 2309
	WARN_ON(!hlist_empty(net->xfrm.state_byspi));
	xfrm_hash_free(net->xfrm.state_byspi, sz);
2310 2311
	WARN_ON(!hlist_empty(net->xfrm.state_bysrc));
	xfrm_hash_free(net->xfrm.state_bysrc, sz);
2312 2313
	WARN_ON(!hlist_empty(net->xfrm.state_bydst));
	xfrm_hash_free(net->xfrm.state_bydst, sz);
L
Linus Torvalds 已提交
2314 2315
}

J
Joy Latten 已提交
2316
#ifdef CONFIG_AUDITSYSCALL
I
Ilpo Järvinen 已提交
2317 2318
static void xfrm_audit_helper_sainfo(struct xfrm_state *x,
				     struct audit_buffer *audit_buf)
J
Joy Latten 已提交
2319
{
P
Paul Moore 已提交
2320 2321 2322 2323
	struct xfrm_sec_ctx *ctx = x->security;
	u32 spi = ntohl(x->id.spi);

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

2327
	switch (x->props.family) {
J
Joy Latten 已提交
2328
	case AF_INET:
H
Harvey Harrison 已提交
2329 2330
		audit_log_format(audit_buf, " src=%pI4 dst=%pI4",
				 &x->props.saddr.a4, &x->id.daddr.a4);
J
Joy Latten 已提交
2331 2332
		break;
	case AF_INET6:
H
Harvey Harrison 已提交
2333
		audit_log_format(audit_buf, " src=%pI6 dst=%pI6",
2334
				 x->props.saddr.a6, x->id.daddr.a6);
J
Joy Latten 已提交
2335 2336
		break;
	}
P
Paul Moore 已提交
2337 2338

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

I
Ilpo Järvinen 已提交
2341 2342
static void xfrm_audit_helper_pktinfo(struct sk_buff *skb, u16 family,
				      struct audit_buffer *audit_buf)
P
Paul Moore 已提交
2343
{
2344 2345
	const struct iphdr *iph4;
	const struct ipv6hdr *iph6;
P
Paul Moore 已提交
2346 2347 2348 2349

	switch (family) {
	case AF_INET:
		iph4 = ip_hdr(skb);
H
Harvey Harrison 已提交
2350 2351
		audit_log_format(audit_buf, " src=%pI4 dst=%pI4",
				 &iph4->saddr, &iph4->daddr);
P
Paul Moore 已提交
2352 2353 2354 2355
		break;
	case AF_INET6:
		iph6 = ipv6_hdr(skb);
		audit_log_format(audit_buf,
H
Harvey Harrison 已提交
2356
				 " src=%pI6 dst=%pI6 flowlbl=0x%x%02x%02x",
2357
				 &iph6->saddr, &iph6->daddr,
P
Paul Moore 已提交
2358 2359 2360 2361 2362 2363 2364
				 iph6->flow_lbl[0] & 0x0f,
				 iph6->flow_lbl[1],
				 iph6->flow_lbl[2]);
		break;
	}
}

2365
void xfrm_audit_state_add(struct xfrm_state *x, int result, bool task_valid)
J
Joy Latten 已提交
2366 2367 2368
{
	struct audit_buffer *audit_buf;

P
Paul Moore 已提交
2369
	audit_buf = xfrm_audit_start("SAD-add");
J
Joy Latten 已提交
2370 2371
	if (audit_buf == NULL)
		return;
2372
	xfrm_audit_helper_usrinfo(task_valid, audit_buf);
P
Paul Moore 已提交
2373 2374
	xfrm_audit_helper_sainfo(x, audit_buf);
	audit_log_format(audit_buf, " res=%u", result);
J
Joy Latten 已提交
2375 2376 2377 2378
	audit_log_end(audit_buf);
}
EXPORT_SYMBOL_GPL(xfrm_audit_state_add);

2379
void xfrm_audit_state_delete(struct xfrm_state *x, int result, bool task_valid)
J
Joy Latten 已提交
2380 2381 2382
{
	struct audit_buffer *audit_buf;

P
Paul Moore 已提交
2383
	audit_buf = xfrm_audit_start("SAD-delete");
J
Joy Latten 已提交
2384 2385
	if (audit_buf == NULL)
		return;
2386
	xfrm_audit_helper_usrinfo(task_valid, audit_buf);
P
Paul Moore 已提交
2387 2388
	xfrm_audit_helper_sainfo(x, audit_buf);
	audit_log_format(audit_buf, " res=%u", result);
J
Joy Latten 已提交
2389 2390 2391
	audit_log_end(audit_buf);
}
EXPORT_SYMBOL_GPL(xfrm_audit_state_delete);
P
Paul Moore 已提交
2392 2393 2394 2395 2396 2397 2398 2399 2400 2401 2402 2403 2404 2405 2406 2407 2408 2409 2410

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);

2411
void xfrm_audit_state_replay(struct xfrm_state *x,
P
Paul Moore 已提交
2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422 2423 2424 2425
			     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);
}
2426
EXPORT_SYMBOL_GPL(xfrm_audit_state_replay);
P
Paul Moore 已提交
2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474 2475

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 已提交
2476
#endif /* CONFIG_AUDITSYSCALL */