xfrm_state.c 58.8 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
static struct xfrm_state *xfrm_state_clone(struct xfrm_state *orig)
1313
{
1314 1315
	struct net *net = xs_net(orig);
	struct xfrm_state *x = xfrm_state_alloc(net);
1316
	if (!x)
H
Herbert Xu 已提交
1317
		goto out;
1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328

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

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

1354
	if (orig->encap) {
1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366
		x->encap = kmemdup(orig->encap, sizeof(*x->encap), GFP_KERNEL);
		if (!x->encap)
			goto error;
	}

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

1367
	if (orig->replay_esn) {
1368
		if (xfrm_replay_clone(x, orig))
1369 1370 1371
			goto error;
	}

1372 1373
	memcpy(&x->mark, &orig->mark, sizeof(x->mark));

1374
	if (xfrm_init_state(x) < 0)
1375 1376 1377
		goto error;

	x->props.flags = orig->props.flags;
1378
	x->props.extra_flags = orig->props.extra_flags;
1379

1380 1381 1382
	x->tfcpad = orig->tfcpad;
	x->replay_maxdiff = orig->replay_maxdiff;
	x->replay_maxage = orig->replay_maxage;
1383 1384 1385 1386 1387 1388 1389
	x->curlft.add_time = orig->curlft.add_time;
	x->km.state = orig->km.state;
	x->km.seq = orig->km.seq;

	return x;

 error:
H
Herbert Xu 已提交
1390 1391
	xfrm_state_put(x);
out:
1392 1393 1394
	return NULL;
}

F
Fan Du 已提交
1395
struct xfrm_state *xfrm_migrate_state_find(struct xfrm_migrate *m, struct net *net)
1396 1397
{
	unsigned int h;
1398 1399 1400
	struct xfrm_state *x = NULL;

	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1401 1402

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

1436 1437 1438
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);

	return x;
1439 1440 1441
}
EXPORT_SYMBOL(xfrm_migrate_state_find);

1442 1443
struct xfrm_state *xfrm_state_migrate(struct xfrm_state *x,
				      struct xfrm_migrate *m)
1444 1445 1446
{
	struct xfrm_state *xc;

1447
	xc = xfrm_state_clone(x);
1448 1449 1450 1451 1452 1453 1454
	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 */
1455
	if (xfrm_addr_equal(&x->id.daddr, &m->new_daddr, m->new_family)) {
1456 1457 1458 1459
		/* 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 {
1460
		if (xfrm_state_add(xc) < 0)
1461 1462 1463 1464 1465
			goto error;
	}

	return xc;
error:
T
Thomas Egerer 已提交
1466
	xfrm_state_put(xc);
1467 1468 1469 1470 1471
	return NULL;
}
EXPORT_SYMBOL(xfrm_state_migrate);
#endif

L
Linus Torvalds 已提交
1472 1473
int xfrm_state_update(struct xfrm_state *x)
{
1474
	struct xfrm_state *x1, *to_put;
L
Linus Torvalds 已提交
1475
	int err;
1476
	int use_spi = xfrm_id_proto_match(x->id.proto, IPSEC_PROTO_ANY);
F
Fan Du 已提交
1477
	struct net *net = xs_net(x);
L
Linus Torvalds 已提交
1478

1479 1480
	to_put = NULL;

F
Fan Du 已提交
1481
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1482
	x1 = __xfrm_state_locate(x, use_spi, x->props.family);
L
Linus Torvalds 已提交
1483 1484 1485 1486 1487 1488

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

	if (xfrm_state_kern(x1)) {
1489
		to_put = x1;
L
Linus Torvalds 已提交
1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500
		err = -EEXIST;
		goto out;
	}

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

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

1503 1504 1505
	if (to_put)
		xfrm_state_put(to_put);

L
Linus Torvalds 已提交
1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519
	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));
1520 1521 1522 1523 1524
		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 已提交
1525 1526 1527
		memcpy(&x1->lft, &x->lft, sizeof(x1->lft));
		x1->km.dying = 0;

1528
		tasklet_hrtimer_start(&x1->mtimer, ktime_set(1, 0), HRTIMER_MODE_REL);
L
Linus Torvalds 已提交
1529 1530 1531 1532
		if (x1->curlft.use_time)
			xfrm_state_check_expire(x1);

		err = 0;
1533 1534
		x->km.state = XFRM_STATE_DEAD;
		__xfrm_state_put(x);
L
Linus Torvalds 已提交
1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546
	}
	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)
1547
		x->curlft.use_time = get_seconds();
L
Linus Torvalds 已提交
1548 1549 1550

	if (x->curlft.bytes >= x->lft.hard_byte_limit ||
	    x->curlft.packets >= x->lft.hard_packet_limit) {
1551
		x->km.state = XFRM_STATE_EXPIRED;
T
Thomas Gleixner 已提交
1552
		tasklet_hrtimer_start(&x->mtimer, 0, HRTIMER_MODE_REL);
L
Linus Torvalds 已提交
1553 1554 1555 1556 1557
		return -EINVAL;
	}

	if (!x->km.dying &&
	    (x->curlft.bytes >= x->lft.soft_byte_limit ||
1558 1559
	     x->curlft.packets >= x->lft.soft_packet_limit)) {
		x->km.dying = 1;
1560
		km_state_expired(x, 0, 0);
1561
	}
L
Linus Torvalds 已提交
1562 1563 1564 1565 1566
	return 0;
}
EXPORT_SYMBOL(xfrm_state_check_expire);

struct xfrm_state *
1567
xfrm_state_lookup(struct net *net, u32 mark, const xfrm_address_t *daddr, __be32 spi,
1568
		  u8 proto, unsigned short family)
L
Linus Torvalds 已提交
1569 1570 1571
{
	struct xfrm_state *x;

1572
	rcu_read_lock();
1573
	x = __xfrm_state_lookup(net, mark, daddr, spi, proto, family);
1574
	rcu_read_unlock();
L
Linus Torvalds 已提交
1575 1576 1577 1578 1579
	return x;
}
EXPORT_SYMBOL(xfrm_state_lookup);

struct xfrm_state *
1580
xfrm_state_lookup_byaddr(struct net *net, u32 mark,
1581
			 const xfrm_address_t *daddr, const xfrm_address_t *saddr,
1582 1583 1584 1585
			 u8 proto, unsigned short family)
{
	struct xfrm_state *x;

F
Fan Du 已提交
1586
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1587
	x = __xfrm_state_lookup_byaddr(net, mark, daddr, saddr, proto, family);
F
Fan Du 已提交
1588
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1589 1590 1591 1592 1593
	return x;
}
EXPORT_SYMBOL(xfrm_state_lookup_byaddr);

struct xfrm_state *
1594 1595 1596
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 已提交
1597 1598 1599
{
	struct xfrm_state *x;

F
Fan Du 已提交
1600
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1601
	x = __find_acq_core(net, mark, family, mode, reqid, proto, daddr, saddr, create);
F
Fan Du 已提交
1602
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1603

L
Linus Torvalds 已提交
1604 1605 1606 1607
	return x;
}
EXPORT_SYMBOL(xfrm_find_acq);

1608 1609 1610
#ifdef CONFIG_XFRM_SUB_POLICY
int
xfrm_tmpl_sort(struct xfrm_tmpl **dst, struct xfrm_tmpl **src, int n,
F
Fan Du 已提交
1611
	       unsigned short family, struct net *net)
1612 1613 1614 1615 1616 1617
{
	int err = 0;
	struct xfrm_state_afinfo *afinfo = xfrm_state_get_afinfo(family);
	if (!afinfo)
		return -EAFNOSUPPORT;

F
Fan Du 已提交
1618
	spin_lock_bh(&net->xfrm.xfrm_state_lock); /*FIXME*/
1619 1620
	if (afinfo->tmpl_sort)
		err = afinfo->tmpl_sort(dst, src, n);
F
Fan Du 已提交
1621
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1622
	rcu_read_unlock();
1623 1624 1625 1626 1627 1628 1629 1630 1631 1632
	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);
1633
	struct net *net = xs_net(*src);
F
Fan Du 已提交
1634

1635 1636 1637
	if (!afinfo)
		return -EAFNOSUPPORT;

F
Fan Du 已提交
1638
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1639 1640
	if (afinfo->state_sort)
		err = afinfo->state_sort(dst, src, n);
F
Fan Du 已提交
1641
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1642
	rcu_read_unlock();
1643 1644 1645 1646 1647
	return err;
}
EXPORT_SYMBOL(xfrm_state_sort);
#endif

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

1650
static struct xfrm_state *__xfrm_find_acq_byseq(struct net *net, u32 mark, u32 seq)
L
Linus Torvalds 已提交
1651 1652 1653
{
	int i;

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

1657
		hlist_for_each_entry(x, net->xfrm.state_bydst+i, bydst) {
1658
			if (x->km.seq == seq &&
J
Jamal Hadi Salim 已提交
1659
			    (mark & x->mark.m) == x->mark.v &&
1660
			    x->km.state == XFRM_STATE_ACQ) {
L
Linus Torvalds 已提交
1661 1662 1663 1664 1665 1666 1667 1668
				xfrm_state_hold(x);
				return x;
			}
		}
	}
	return NULL;
}

1669
struct xfrm_state *xfrm_find_acq_byseq(struct net *net, u32 mark, u32 seq)
L
Linus Torvalds 已提交
1670 1671 1672
{
	struct xfrm_state *x;

F
Fan Du 已提交
1673
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
1674
	x = __xfrm_find_acq_byseq(net, mark, seq);
F
Fan Du 已提交
1675
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
L
Linus Torvalds 已提交
1676 1677 1678 1679 1680 1681 1682
	return x;
}
EXPORT_SYMBOL(xfrm_find_acq_byseq);

u32 xfrm_get_acqseq(void)
{
	u32 res;
1683 1684 1685 1686 1687
	static atomic_t acqseq;

	do {
		res = atomic_inc_return(&acqseq);
	} while (!res);
L
Linus Torvalds 已提交
1688 1689 1690 1691 1692

	return res;
}
EXPORT_SYMBOL(xfrm_get_acqseq);

1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716
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);

1717
int xfrm_alloc_spi(struct xfrm_state *x, u32 low, u32 high)
L
Linus Torvalds 已提交
1718
{
1719
	struct net *net = xs_net(x);
1720
	unsigned int h;
L
Linus Torvalds 已提交
1721
	struct xfrm_state *x0;
1722 1723 1724
	int err = -ENOENT;
	__be32 minspi = htonl(low);
	__be32 maxspi = htonl(high);
1725
	u32 mark = x->mark.v & x->mark.m;
L
Linus Torvalds 已提交
1726

1727 1728 1729 1730 1731
	spin_lock_bh(&x->lock);
	if (x->km.state == XFRM_STATE_DEAD)
		goto unlock;

	err = 0;
L
Linus Torvalds 已提交
1732
	if (x->id.spi)
1733 1734 1735
		goto unlock;

	err = -ENOENT;
L
Linus Torvalds 已提交
1736 1737

	if (minspi == maxspi) {
1738
		x0 = xfrm_state_lookup(net, mark, &x->id.daddr, minspi, x->id.proto, x->props.family);
L
Linus Torvalds 已提交
1739 1740
		if (x0) {
			xfrm_state_put(x0);
1741
			goto unlock;
L
Linus Torvalds 已提交
1742 1743 1744 1745
		}
		x->id.spi = minspi;
	} else {
		u32 spi = 0;
1746
		for (h = 0; h < high-low+1; h++) {
1747
			spi = low + prandom_u32()%(high-low+1);
1748
			x0 = xfrm_state_lookup(net, mark, &x->id.daddr, htonl(spi), x->id.proto, x->props.family);
L
Linus Torvalds 已提交
1749 1750 1751 1752 1753 1754 1755 1756
			if (x0 == NULL) {
				x->id.spi = htonl(spi);
				break;
			}
			xfrm_state_put(x0);
		}
	}
	if (x->id.spi) {
F
Fan Du 已提交
1757
		spin_lock_bh(&net->xfrm.xfrm_state_lock);
1758
		h = xfrm_spi_hash(net, &x->id.daddr, x->id.spi, x->id.proto, x->props.family);
1759
		hlist_add_head_rcu(&x->byspi, net->xfrm.state_byspi + h);
F
Fan Du 已提交
1760
		spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1761 1762

		err = 0;
L
Linus Torvalds 已提交
1763
	}
1764 1765 1766 1767 1768

unlock:
	spin_unlock_bh(&x->lock);

	return err;
L
Linus Torvalds 已提交
1769 1770 1771
}
EXPORT_SYMBOL(xfrm_alloc_spi);

1772
static bool __xfrm_state_filter_match(struct xfrm_state *x,
1773
				      struct xfrm_address_filter *filter)
1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788
{
	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;
}

1789
int xfrm_state_walk(struct net *net, struct xfrm_state_walk *walk,
1790
		    int (*func)(struct xfrm_state *, int, void*),
L
Linus Torvalds 已提交
1791 1792
		    void *data)
{
H
Herbert Xu 已提交
1793 1794
	struct xfrm_state *state;
	struct xfrm_state_walk *x;
L
Linus Torvalds 已提交
1795 1796
	int err = 0;

H
Herbert Xu 已提交
1797
	if (walk->seq != 0 && list_empty(&walk->all))
1798 1799
		return 0;

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

1831
void xfrm_state_walk_init(struct xfrm_state_walk *walk, u8 proto,
1832
			  struct xfrm_address_filter *filter)
H
Herbert Xu 已提交
1833
{
H
Herbert Xu 已提交
1834
	INIT_LIST_HEAD(&walk->all);
H
Herbert Xu 已提交
1835
	walk->proto = proto;
H
Herbert Xu 已提交
1836 1837
	walk->state = XFRM_STATE_DEAD;
	walk->seq = 0;
1838
	walk->filter = filter;
H
Herbert Xu 已提交
1839 1840 1841
}
EXPORT_SYMBOL(xfrm_state_walk_init);

F
Fan Du 已提交
1842
void xfrm_state_walk_done(struct xfrm_state_walk *walk, struct net *net)
1843
{
1844 1845
	kfree(walk->filter);

H
Herbert Xu 已提交
1846
	if (list_empty(&walk->all))
H
Herbert Xu 已提交
1847 1848
		return;

F
Fan Du 已提交
1849
	spin_lock_bh(&net->xfrm.xfrm_state_lock);
H
Herbert Xu 已提交
1850
	list_del(&walk->all);
F
Fan Du 已提交
1851
	spin_unlock_bh(&net->xfrm.xfrm_state_lock);
1852 1853 1854
}
EXPORT_SYMBOL(xfrm_state_walk_done);

1855 1856
static void xfrm_replay_timer_handler(unsigned long data)
{
1857
	struct xfrm_state *x = (struct xfrm_state *)data;
1858 1859 1860

	spin_lock(&x->lock);

J
Jamal Hadi Salim 已提交
1861
	if (x->km.state == XFRM_STATE_VALID) {
1862
		if (xfrm_aevent_is_on(xs_net(x)))
1863
			x->repl->notify(x, XFRM_REPLAY_TIMEOUT);
J
Jamal Hadi Salim 已提交
1864 1865 1866
		else
			x->xflags |= XFRM_TIME_DEFER;
	}
1867 1868 1869 1870

	spin_unlock(&x->lock);
}

1871
static LIST_HEAD(xfrm_km_list);
L
Linus Torvalds 已提交
1872

1873
void km_policy_notify(struct xfrm_policy *xp, int dir, const struct km_event *c)
L
Linus Torvalds 已提交
1874 1875 1876
{
	struct xfrm_mgr *km;

1877 1878
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list)
1879 1880
		if (km->notify_policy)
			km->notify_policy(xp, dir, c);
1881
	rcu_read_unlock();
1882
}
L
Linus Torvalds 已提交
1883

1884
void km_state_notify(struct xfrm_state *x, const struct km_event *c)
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)
			km->notify(x, c);
1891
	rcu_read_unlock();
1892 1893 1894 1895 1896
}

EXPORT_SYMBOL(km_policy_notify);
EXPORT_SYMBOL(km_state_notify);

1897
void km_state_expired(struct xfrm_state *x, int hard, u32 portid)
1898 1899 1900
{
	struct km_event c;

1901
	c.data.hard = hard;
1902
	c.portid = portid;
1903
	c.event = XFRM_MSG_EXPIRE;
1904
	km_state_notify(x, &c);
L
Linus Torvalds 已提交
1905 1906
}

1907
EXPORT_SYMBOL(km_state_expired);
1908 1909 1910 1911
/*
 * We send to all registered managers regardless of failure
 * We are happy with one success
*/
1912
int km_query(struct xfrm_state *x, struct xfrm_tmpl *t, struct xfrm_policy *pol)
L
Linus Torvalds 已提交
1913
{
1914
	int err = -EINVAL, acqret;
L
Linus Torvalds 已提交
1915 1916
	struct xfrm_mgr *km;

1917 1918
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
1919
		acqret = km->acquire(x, t, pol);
1920 1921
		if (!acqret)
			err = acqret;
L
Linus Torvalds 已提交
1922
	}
1923
	rcu_read_unlock();
L
Linus Torvalds 已提交
1924 1925
	return err;
}
1926
EXPORT_SYMBOL(km_query);
L
Linus Torvalds 已提交
1927

A
Al Viro 已提交
1928
int km_new_mapping(struct xfrm_state *x, xfrm_address_t *ipaddr, __be16 sport)
L
Linus Torvalds 已提交
1929 1930 1931 1932
{
	int err = -EINVAL;
	struct xfrm_mgr *km;

1933 1934
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
L
Linus Torvalds 已提交
1935 1936 1937 1938 1939
		if (km->new_mapping)
			err = km->new_mapping(x, ipaddr, sport);
		if (!err)
			break;
	}
1940
	rcu_read_unlock();
L
Linus Torvalds 已提交
1941 1942 1943 1944
	return err;
}
EXPORT_SYMBOL(km_new_mapping);

1945
void km_policy_expired(struct xfrm_policy *pol, int dir, int hard, u32 portid)
L
Linus Torvalds 已提交
1946
{
1947
	struct km_event c;
L
Linus Torvalds 已提交
1948

1949
	c.data.hard = hard;
1950
	c.portid = portid;
1951
	c.event = XFRM_MSG_POLEXPIRE;
1952
	km_policy_notify(pol, dir, &c);
L
Linus Torvalds 已提交
1953
}
1954
EXPORT_SYMBOL(km_policy_expired);
L
Linus Torvalds 已提交
1955

1956
#ifdef CONFIG_XFRM_MIGRATE
1957 1958 1959
int km_migrate(const struct xfrm_selector *sel, u8 dir, u8 type,
	       const struct xfrm_migrate *m, int num_migrate,
	       const struct xfrm_kmaddress *k)
1960 1961 1962 1963 1964
{
	int err = -EINVAL;
	int ret;
	struct xfrm_mgr *km;

1965 1966
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
1967
		if (km->migrate) {
1968
			ret = km->migrate(sel, dir, type, m, num_migrate, k);
1969 1970 1971 1972
			if (!ret)
				err = ret;
		}
	}
1973
	rcu_read_unlock();
1974 1975 1976
	return err;
}
EXPORT_SYMBOL(km_migrate);
1977
#endif
1978

1979
int km_report(struct net *net, u8 proto, struct xfrm_selector *sel, xfrm_address_t *addr)
1980 1981 1982 1983 1984
{
	int err = -EINVAL;
	int ret;
	struct xfrm_mgr *km;

1985 1986
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
1987
		if (km->report) {
1988
			ret = km->report(net, proto, sel, addr);
1989 1990 1991 1992
			if (!ret)
				err = ret;
		}
	}
1993
	rcu_read_unlock();
1994 1995 1996 1997
	return err;
}
EXPORT_SYMBOL(km_report);

1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015
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 已提交
2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034
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;

	data = kmalloc(optlen, GFP_KERNEL);
	if (!data)
		return -ENOMEM;

	err = -EFAULT;
	if (copy_from_user(data, optval, optlen))
		goto out;

	err = -EINVAL;
2035 2036
	rcu_read_lock();
	list_for_each_entry_rcu(km, &xfrm_km_list, list) {
2037
		pol = km->compile_policy(sk, optname, data,
L
Linus Torvalds 已提交
2038 2039 2040 2041
					 optlen, &err);
		if (err >= 0)
			break;
	}
2042
	rcu_read_unlock();
L
Linus Torvalds 已提交
2043 2044 2045 2046 2047 2048 2049 2050 2051 2052 2053 2054 2055

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

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

2056 2057
static DEFINE_SPINLOCK(xfrm_km_lock);

L
Linus Torvalds 已提交
2058 2059
int xfrm_register_km(struct xfrm_mgr *km)
{
2060 2061 2062
	spin_lock_bh(&xfrm_km_lock);
	list_add_tail_rcu(&km->list, &xfrm_km_list);
	spin_unlock_bh(&xfrm_km_lock);
L
Linus Torvalds 已提交
2063 2064 2065 2066 2067 2068
	return 0;
}
EXPORT_SYMBOL(xfrm_register_km);

int xfrm_unregister_km(struct xfrm_mgr *km)
{
2069 2070 2071 2072
	spin_lock_bh(&xfrm_km_lock);
	list_del_rcu(&km->list);
	spin_unlock_bh(&xfrm_km_lock);
	synchronize_rcu();
L
Linus Torvalds 已提交
2073 2074 2075 2076 2077 2078 2079
	return 0;
}
EXPORT_SYMBOL(xfrm_unregister_km);

int xfrm_state_register_afinfo(struct xfrm_state_afinfo *afinfo)
{
	int err = 0;
2080 2081

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

2084
	spin_lock_bh(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
2085
	if (unlikely(xfrm_state_afinfo[afinfo->family] != NULL))
2086
		err = -EEXIST;
2087
	else
2088 2089
		rcu_assign_pointer(xfrm_state_afinfo[afinfo->family], afinfo);
	spin_unlock_bh(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
2090 2091 2092 2093 2094 2095
	return err;
}
EXPORT_SYMBOL(xfrm_state_register_afinfo);

int xfrm_state_unregister_afinfo(struct xfrm_state_afinfo *afinfo)
{
2096 2097 2098
	int err = 0, family = afinfo->family;

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

2101
	spin_lock_bh(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
2102
	if (likely(xfrm_state_afinfo[afinfo->family] != NULL)) {
2103
		if (rcu_access_pointer(xfrm_state_afinfo[family]) != afinfo)
L
Linus Torvalds 已提交
2104
			err = -EINVAL;
2105
		else
2106
			RCU_INIT_POINTER(xfrm_state_afinfo[afinfo->family], NULL);
L
Linus Torvalds 已提交
2107
	}
2108 2109
	spin_unlock_bh(&xfrm_state_afinfo_lock);
	synchronize_rcu();
L
Linus Torvalds 已提交
2110 2111 2112 2113
	return err;
}
EXPORT_SYMBOL(xfrm_state_unregister_afinfo);

2114 2115 2116 2117 2118 2119 2120 2121
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]);
}

2122
struct xfrm_state_afinfo *xfrm_state_get_afinfo(unsigned int family)
L
Linus Torvalds 已提交
2123 2124 2125 2126
{
	struct xfrm_state_afinfo *afinfo;
	if (unlikely(family >= NPROTO))
		return NULL;
2127 2128
	rcu_read_lock();
	afinfo = rcu_dereference(xfrm_state_afinfo[family]);
2129
	if (unlikely(!afinfo))
2130
		rcu_read_unlock();
L
Linus Torvalds 已提交
2131 2132 2133 2134 2135 2136 2137 2138 2139 2140 2141 2142 2143 2144 2145 2146 2147 2148 2149 2150
	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)
{
2151
	const struct xfrm_type *type = READ_ONCE(x->type);
L
Linus Torvalds 已提交
2152

2153
	if (x->km.state == XFRM_STATE_VALID &&
2154 2155 2156 2157
	    type && type->get_mtu)
		return type->get_mtu(x, mtu);

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

2160
int __xfrm_init_state(struct xfrm_state *x, bool init_replay)
H
Herbert Xu 已提交
2161
{
2162
	struct xfrm_state_afinfo *afinfo;
2163
	struct xfrm_mode *inner_mode;
2164
	int family = x->props.family;
H
Herbert Xu 已提交
2165 2166
	int err;

2167 2168 2169 2170 2171 2172 2173 2174 2175
	err = -EAFNOSUPPORT;
	afinfo = xfrm_state_get_afinfo(family);
	if (!afinfo)
		goto error;

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

2176
	rcu_read_unlock();
2177 2178 2179 2180 2181

	if (err)
		goto error;

	err = -EPROTONOSUPPORT;
2182

2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 2193 2194 2195 2196
	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;
2197
		int iafamily = AF_INET;
2198

2199
		inner_mode = xfrm_get_mode(x->props.mode, x->props.family);
2200 2201 2202 2203 2204 2205 2206
		if (inner_mode == NULL)
			goto error;

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

2209 2210
		if (x->props.family == AF_INET)
			iafamily = AF_INET6;
2211

2212 2213 2214 2215 2216 2217
		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);
2218 2219
		}
	}
2220

2221
	x->type = xfrm_get_type(x->id.proto, family);
H
Herbert Xu 已提交
2222 2223 2224
	if (x->type == NULL)
		goto error;

2225 2226
	x->type_offload = xfrm_get_type_offload(x->id.proto, family);

H
Herbert Xu 已提交
2227 2228 2229 2230
	err = x->type->init_state(x);
	if (err)
		goto error;

2231
	x->outer_mode = xfrm_get_mode(x->props.mode, family);
2232 2233
	if (x->outer_mode == NULL) {
		err = -EPROTONOSUPPORT;
2234
		goto error;
2235
	}
2236

2237 2238 2239 2240 2241 2242
	if (init_replay) {
		err = xfrm_init_replay(x);
		if (err)
			goto error;
	}

H
Herbert Xu 已提交
2243 2244 2245 2246 2247 2248
	x->km.state = XFRM_STATE_VALID;

error:
	return err;
}

2249 2250 2251 2252 2253 2254 2255
EXPORT_SYMBOL(__xfrm_init_state);

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

H
Herbert Xu 已提交
2256
EXPORT_SYMBOL(xfrm_init_state);
2257

2258
int __net_init xfrm_state_init(struct net *net)
L
Linus Torvalds 已提交
2259
{
2260 2261
	unsigned int sz;

2262 2263
	INIT_LIST_HEAD(&net->xfrm.state_all);

2264 2265
	sz = sizeof(struct hlist_head) * 8;

2266 2267 2268
	net->xfrm.state_bydst = xfrm_hash_alloc(sz);
	if (!net->xfrm.state_bydst)
		goto out_bydst;
2269 2270 2271
	net->xfrm.state_bysrc = xfrm_hash_alloc(sz);
	if (!net->xfrm.state_bysrc)
		goto out_bysrc;
2272 2273 2274
	net->xfrm.state_byspi = xfrm_hash_alloc(sz);
	if (!net->xfrm.state_byspi)
		goto out_byspi;
2275
	net->xfrm.state_hmask = ((sz / sizeof(struct hlist_head)) - 1);
L
Linus Torvalds 已提交
2276

2277
	net->xfrm.state_num = 0;
2278
	INIT_WORK(&net->xfrm.state_hash_work, xfrm_hash_resize);
F
Fan Du 已提交
2279
	spin_lock_init(&net->xfrm.xfrm_state_lock);
2280
	return 0;
2281

2282 2283
out_byspi:
	xfrm_hash_free(net->xfrm.state_bysrc, sz);
2284 2285
out_bysrc:
	xfrm_hash_free(net->xfrm.state_bydst, sz);
2286 2287
out_bydst:
	return -ENOMEM;
2288 2289 2290 2291
}

void xfrm_state_fini(struct net *net)
{
2292 2293
	unsigned int sz;

2294
	flush_work(&net->xfrm.state_hash_work);
2295
	xfrm_state_flush(net, IPSEC_PROTO_ANY, false);
2296
	flush_work(&xfrm_state_gc_work);
2297

2298
	WARN_ON(!list_empty(&net->xfrm.state_all));
2299

2300
	sz = (net->xfrm.state_hmask + 1) * sizeof(struct hlist_head);
2301 2302
	WARN_ON(!hlist_empty(net->xfrm.state_byspi));
	xfrm_hash_free(net->xfrm.state_byspi, sz);
2303 2304
	WARN_ON(!hlist_empty(net->xfrm.state_bysrc));
	xfrm_hash_free(net->xfrm.state_bysrc, sz);
2305 2306
	WARN_ON(!hlist_empty(net->xfrm.state_bydst));
	xfrm_hash_free(net->xfrm.state_bydst, sz);
L
Linus Torvalds 已提交
2307 2308
}

J
Joy Latten 已提交
2309
#ifdef CONFIG_AUDITSYSCALL
I
Ilpo Järvinen 已提交
2310 2311
static void xfrm_audit_helper_sainfo(struct xfrm_state *x,
				     struct audit_buffer *audit_buf)
J
Joy Latten 已提交
2312
{
P
Paul Moore 已提交
2313 2314 2315 2316
	struct xfrm_sec_ctx *ctx = x->security;
	u32 spi = ntohl(x->id.spi);

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

2320
	switch (x->props.family) {
J
Joy Latten 已提交
2321
	case AF_INET:
H
Harvey Harrison 已提交
2322 2323
		audit_log_format(audit_buf, " src=%pI4 dst=%pI4",
				 &x->props.saddr.a4, &x->id.daddr.a4);
J
Joy Latten 已提交
2324 2325
		break;
	case AF_INET6:
H
Harvey Harrison 已提交
2326
		audit_log_format(audit_buf, " src=%pI6 dst=%pI6",
2327
				 x->props.saddr.a6, x->id.daddr.a6);
J
Joy Latten 已提交
2328 2329
		break;
	}
P
Paul Moore 已提交
2330 2331

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

I
Ilpo Järvinen 已提交
2334 2335
static void xfrm_audit_helper_pktinfo(struct sk_buff *skb, u16 family,
				      struct audit_buffer *audit_buf)
P
Paul Moore 已提交
2336
{
2337 2338
	const struct iphdr *iph4;
	const struct ipv6hdr *iph6;
P
Paul Moore 已提交
2339 2340 2341 2342

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

2358
void xfrm_audit_state_add(struct xfrm_state *x, int result, bool task_valid)
J
Joy Latten 已提交
2359 2360 2361
{
	struct audit_buffer *audit_buf;

P
Paul Moore 已提交
2362
	audit_buf = xfrm_audit_start("SAD-add");
J
Joy Latten 已提交
2363 2364
	if (audit_buf == NULL)
		return;
2365
	xfrm_audit_helper_usrinfo(task_valid, audit_buf);
P
Paul Moore 已提交
2366 2367
	xfrm_audit_helper_sainfo(x, audit_buf);
	audit_log_format(audit_buf, " res=%u", result);
J
Joy Latten 已提交
2368 2369 2370 2371
	audit_log_end(audit_buf);
}
EXPORT_SYMBOL_GPL(xfrm_audit_state_add);

2372
void xfrm_audit_state_delete(struct xfrm_state *x, int result, bool task_valid)
J
Joy Latten 已提交
2373 2374 2375
{
	struct audit_buffer *audit_buf;

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

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

2404
void xfrm_audit_state_replay(struct xfrm_state *x,
P
Paul Moore 已提交
2405 2406 2407 2408 2409 2410 2411 2412 2413 2414 2415 2416 2417 2418
			     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);
}
2419
EXPORT_SYMBOL_GPL(xfrm_audit_state_replay);
P
Paul Moore 已提交
2420 2421 2422 2423 2424 2425 2426 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

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