xfrm_state.c 54.1 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 <asm/uaccess.h>
24 25 26
#include <linux/ktime.h>
#include <linux/interrupt.h>
#include <linux/kernel.h>
L
Linus Torvalds 已提交
27

28 29
#include "xfrm_hash.h"

L
Linus Torvalds 已提交
30 31 32
/* Each xfrm_state may be linked to two tables:

   1. Hash table by (spi,daddr,ah/esp) to find SA by SPI. (input,ctl)
33
   2. Hash table by (daddr,family,reqid) to find what SAs exist for given
L
Linus Torvalds 已提交
34 35 36 37 38
      destination/tunnel endpoint. (output)
 */

static DEFINE_SPINLOCK(xfrm_state_lock);

39
static unsigned int xfrm_state_hashmax __read_mostly = 1 * 1024 * 1024;
40
static unsigned int xfrm_state_genid;
41

42 43 44
static struct xfrm_state_afinfo *xfrm_state_get_afinfo(unsigned int family);
static void xfrm_state_put_afinfo(struct xfrm_state_afinfo *afinfo);

P
Paul Moore 已提交
45 46 47 48 49 50 51
#ifdef CONFIG_AUDITSYSCALL
static void xfrm_audit_state_replay(struct xfrm_state *x,
				    struct sk_buff *skb, __be32 net_seq);
#else
#define xfrm_audit_state_replay(x, s, sq)	do { ; } while (0)
#endif /* CONFIG_AUDITSYSCALL */

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

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

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

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

	hlist_for_each_entry_safe(x, entry, tmp, list, bydst) {
		unsigned int h;

87 88 89
		h = __xfrm_dst_hash(&x->id.daddr, &x->props.saddr,
				    x->props.reqid, x->props.family,
				    nhashmask);
90 91
		hlist_add_head(&x->bydst, ndsttable+h);

92 93
		h = __xfrm_src_hash(&x->id.daddr, &x->props.saddr,
				    x->props.family,
94 95 96
				    nhashmask);
		hlist_add_head(&x->bysrc, nsrctable+h);

97 98 99 100 101 102
		if (x->id.spi) {
			h = __xfrm_spi_hash(&x->id.daddr, x->id.spi,
					    x->id.proto, x->props.family,
					    nhashmask);
			hlist_add_head(&x->byspi, nspitable+h);
		}
103 104 105
	}
}

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

static DEFINE_MUTEX(hash_resize_mutex);

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

	mutex_lock(&hash_resize_mutex);

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

	spin_lock_bh(&xfrm_state_lock);

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

146 147 148 149
	odst = net->xfrm.state_bydst;
	osrc = net->xfrm.state_bysrc;
	ospi = net->xfrm.state_byspi;
	ohashmask = net->xfrm.state_hmask;
150

151 152 153 154
	net->xfrm.state_bydst = ndst;
	net->xfrm.state_bysrc = nsrc;
	net->xfrm.state_byspi = nspi;
	net->xfrm.state_hmask = nhashmask;
155 156 157 158

	spin_unlock_bh(&xfrm_state_lock);

	osize = (ohashmask + 1) * sizeof(struct hlist_head);
159 160 161
	xfrm_hash_free(odst, osize);
	xfrm_hash_free(osrc, osize);
	xfrm_hash_free(ospi, osize);
162 163 164 165 166

out_unlock:
	mutex_unlock(&hash_resize_mutex);
}

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

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
void km_state_expired(struct xfrm_state *x, int hard, u32 pid);
L
Linus Torvalds 已提交
176

177 178 179 180 181 182 183 184 185 186 187 188 189
static struct xfrm_state_afinfo *xfrm_state_lock_afinfo(unsigned int family)
{
	struct xfrm_state_afinfo *afinfo;
	if (unlikely(family >= NPROTO))
		return NULL;
	write_lock_bh(&xfrm_state_afinfo_lock);
	afinfo = xfrm_state_afinfo[family];
	if (unlikely(!afinfo))
		write_unlock_bh(&xfrm_state_afinfo_lock);
	return afinfo;
}

static void xfrm_state_unlock_afinfo(struct xfrm_state_afinfo *afinfo)
190
	__releases(xfrm_state_afinfo_lock)
191 192 193 194
{
	write_unlock_bh(&xfrm_state_afinfo_lock);
}

195
int xfrm_register_type(const struct xfrm_type *type, unsigned short family)
196 197
{
	struct xfrm_state_afinfo *afinfo = xfrm_state_lock_afinfo(family);
198
	const struct xfrm_type **typemap;
199 200 201 202 203 204 205 206 207 208 209 210 211 212 213
	int err = 0;

	if (unlikely(afinfo == NULL))
		return -EAFNOSUPPORT;
	typemap = afinfo->type_map;

	if (likely(typemap[type->proto] == NULL))
		typemap[type->proto] = type;
	else
		err = -EEXIST;
	xfrm_state_unlock_afinfo(afinfo);
	return err;
}
EXPORT_SYMBOL(xfrm_register_type);

214
int xfrm_unregister_type(const struct xfrm_type *type, unsigned short family)
215 216
{
	struct xfrm_state_afinfo *afinfo = xfrm_state_lock_afinfo(family);
217
	const struct xfrm_type **typemap;
218 219 220 221 222 223 224 225 226 227 228 229 230 231 232
	int err = 0;

	if (unlikely(afinfo == NULL))
		return -EAFNOSUPPORT;
	typemap = afinfo->type_map;

	if (unlikely(typemap[type->proto] != type))
		err = -ENOENT;
	else
		typemap[type->proto] = NULL;
	xfrm_state_unlock_afinfo(afinfo);
	return err;
}
EXPORT_SYMBOL(xfrm_unregister_type);

233
static const struct xfrm_type *xfrm_get_type(u8 proto, unsigned short family)
234 235
{
	struct xfrm_state_afinfo *afinfo;
236 237
	const struct xfrm_type **typemap;
	const struct xfrm_type *type;
238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259
	int modload_attempted = 0;

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

	type = typemap[proto];
	if (unlikely(type && !try_module_get(type->owner)))
		type = NULL;
	if (!type && !modload_attempted) {
		xfrm_state_put_afinfo(afinfo);
		request_module("xfrm-type-%d-%d", family, proto);
		modload_attempted = 1;
		goto retry;
	}

	xfrm_state_put_afinfo(afinfo);
	return type;
}

260
static void xfrm_put_type(const struct xfrm_type *type)
261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279
{
	module_put(type->owner);
}

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;

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

	err = -EEXIST;
	modemap = afinfo->mode_map;
280 281
	if (modemap[mode->encap])
		goto out;
282

283 284 285 286 287 288 289 290 291
	err = -ENOENT;
	if (!try_module_get(afinfo->owner))
		goto out;

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

out:
292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313
	xfrm_state_unlock_afinfo(afinfo);
	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;

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

	err = -ENOENT;
	modemap = afinfo->mode_map;
	if (likely(modemap[mode->encap] == mode)) {
		modemap[mode->encap] = NULL;
314
		module_put(mode->afinfo->owner);
315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355
		err = 0;
	}

	xfrm_state_unlock_afinfo(afinfo);
	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;

	mode = afinfo->mode_map[encap];
	if (unlikely(mode && !try_module_get(mode->owner)))
		mode = NULL;
	if (!mode && !modload_attempted) {
		xfrm_state_put_afinfo(afinfo);
		request_module("xfrm-mode-%d-%d", family, encap);
		modload_attempted = 1;
		goto retry;
	}

	xfrm_state_put_afinfo(afinfo);
	return mode;
}

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

L
Linus Torvalds 已提交
356 357
static void xfrm_state_gc_destroy(struct xfrm_state *x)
{
358
	tasklet_hrtimer_cancel(&x->mtimer);
359
	del_timer_sync(&x->rtimer);
J
Jesper Juhl 已提交
360 361 362 363
	kfree(x->aalg);
	kfree(x->ealg);
	kfree(x->calg);
	kfree(x->encap);
364
	kfree(x->coaddr);
365 366
	if (x->inner_mode)
		xfrm_put_mode(x->inner_mode);
367 368
	if (x->inner_mode_iaf)
		xfrm_put_mode(x->inner_mode_iaf);
369 370
	if (x->outer_mode)
		xfrm_put_mode(x->outer_mode);
L
Linus Torvalds 已提交
371 372 373 374
	if (x->type) {
		x->type->destructor(x);
		xfrm_put_type(x->type);
	}
375
	security_xfrm_state_free(x);
L
Linus Torvalds 已提交
376 377 378
	kfree(x);
}

379
static void xfrm_state_gc_task(struct work_struct *work)
L
Linus Torvalds 已提交
380
{
381
	struct net *net = container_of(work, struct net, xfrm.state_gc_work);
H
Herbert Xu 已提交
382 383 384
	struct xfrm_state *x;
	struct hlist_node *entry, *tmp;
	struct hlist_head gc_list;
L
Linus Torvalds 已提交
385 386

	spin_lock_bh(&xfrm_state_gc_lock);
387
	hlist_move_list(&net->xfrm.state_gc_list, &gc_list);
L
Linus Torvalds 已提交
388 389
	spin_unlock_bh(&xfrm_state_gc_lock);

H
Herbert Xu 已提交
390
	hlist_for_each_entry_safe(x, entry, tmp, &gc_list, gclist)
L
Linus Torvalds 已提交
391
		xfrm_state_gc_destroy(x);
392

A
Alexey Dobriyan 已提交
393
	wake_up(&net->xfrm.km_waitq);
L
Linus Torvalds 已提交
394 395 396 397 398 399 400
}

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

404
static enum hrtimer_restart xfrm_timer_handler(struct hrtimer * me)
L
Linus Torvalds 已提交
405
{
406 407
	struct tasklet_hrtimer *thr = container_of(me, struct tasklet_hrtimer, timer);
	struct xfrm_state *x = container_of(thr, struct xfrm_state, mtimer);
408
	struct net *net = xs_net(x);
409
	unsigned long now = get_seconds();
L
Linus Torvalds 已提交
410 411
	long next = LONG_MAX;
	int warn = 0;
J
Joy Latten 已提交
412
	int err = 0;
L
Linus Torvalds 已提交
413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453

	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;
		if (tmo <= 0)
			goto expired;
		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;
		if (tmo <= 0)
			warn = 1;
		else if (tmo < next)
			next = tmo;
	}
	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;
	}

454
	x->km.dying = warn;
L
Linus Torvalds 已提交
455
	if (warn)
456
		km_state_expired(x, 0, 0);
L
Linus Torvalds 已提交
457
resched:
458 459 460
	if (next != LONG_MAX){
		tasklet_hrtimer_start(&x->mtimer, ktime_set(next, 0), HRTIMER_MODE_REL);
	}
461

L
Linus Torvalds 已提交
462 463 464 465 466
	goto out;

expired:
	if (x->km.state == XFRM_STATE_ACQ && x->id.spi == 0) {
		x->km.state = XFRM_STATE_EXPIRED;
467
		wake_up(&net->xfrm.km_waitq);
L
Linus Torvalds 已提交
468 469 470
		next = 2;
		goto resched;
	}
J
Joy Latten 已提交
471 472 473

	err = __xfrm_state_delete(x);
	if (!err && x->id.spi)
474
		km_state_expired(x, 1, 0);
L
Linus Torvalds 已提交
475

J
Joy Latten 已提交
476
	xfrm_audit_state_delete(x, err ? 0 : 1,
477 478
				audit_get_loginuid(current),
				audit_get_sessionid(current), 0);
J
Joy Latten 已提交
479

L
Linus Torvalds 已提交
480 481
out:
	spin_unlock(&x->lock);
482
	return HRTIMER_NORESTART;
L
Linus Torvalds 已提交
483 484
}

485 486
static void xfrm_replay_timer_handler(unsigned long data);

487
struct xfrm_state *xfrm_state_alloc(struct net *net)
L
Linus Torvalds 已提交
488 489 490
{
	struct xfrm_state *x;

491
	x = kzalloc(sizeof(struct xfrm_state), GFP_ATOMIC);
L
Linus Torvalds 已提交
492 493

	if (x) {
494
		write_pnet(&x->xs_net, net);
L
Linus Torvalds 已提交
495 496
		atomic_set(&x->refcnt, 1);
		atomic_set(&x->tunnel_users, 0);
H
Herbert Xu 已提交
497
		INIT_LIST_HEAD(&x->km.all);
498 499 500
		INIT_HLIST_NODE(&x->bydst);
		INIT_HLIST_NODE(&x->bysrc);
		INIT_HLIST_NODE(&x->byspi);
501
		tasklet_hrtimer_init(&x->mtimer, xfrm_timer_handler, CLOCK_REALTIME, HRTIMER_MODE_ABS);
502 503
		setup_timer(&x->rtimer, xfrm_replay_timer_handler,
				(unsigned long)x);
504
		x->curlft.add_time = get_seconds();
L
Linus Torvalds 已提交
505 506 507 508
		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;
509 510
		x->replay_maxage = 0;
		x->replay_maxdiff = 0;
511 512
		x->inner_mode = NULL;
		x->inner_mode_iaf = NULL;
L
Linus Torvalds 已提交
513 514 515 516 517 518 519 520
		spin_lock_init(&x->lock);
	}
	return x;
}
EXPORT_SYMBOL(xfrm_state_alloc);

void __xfrm_state_destroy(struct xfrm_state *x)
{
521 522
	struct net *net = xs_net(x);

523
	WARN_ON(x->km.state != XFRM_STATE_DEAD);
L
Linus Torvalds 已提交
524 525

	spin_lock_bh(&xfrm_state_gc_lock);
526
	hlist_add_head(&x->gclist, &net->xfrm.state_gc_list);
L
Linus Torvalds 已提交
527
	spin_unlock_bh(&xfrm_state_gc_lock);
528
	schedule_work(&net->xfrm.state_gc_work);
L
Linus Torvalds 已提交
529 530 531
}
EXPORT_SYMBOL(__xfrm_state_destroy);

532
int __xfrm_state_delete(struct xfrm_state *x)
L
Linus Torvalds 已提交
533
{
534
	struct net *net = xs_net(x);
535 536
	int err = -ESRCH;

L
Linus Torvalds 已提交
537 538 539
	if (x->km.state != XFRM_STATE_DEAD) {
		x->km.state = XFRM_STATE_DEAD;
		spin_lock(&xfrm_state_lock);
H
Herbert Xu 已提交
540
		list_del(&x->km.all);
541 542
		hlist_del(&x->bydst);
		hlist_del(&x->bysrc);
543
		if (x->id.spi)
544
			hlist_del(&x->byspi);
545
		net->xfrm.state_num--;
L
Linus Torvalds 已提交
546 547 548 549 550 551
		spin_unlock(&xfrm_state_lock);

		/* 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.
		 */
552
		xfrm_state_put(x);
553
		err = 0;
L
Linus Torvalds 已提交
554
	}
555 556

	return err;
L
Linus Torvalds 已提交
557
}
558
EXPORT_SYMBOL(__xfrm_state_delete);
L
Linus Torvalds 已提交
559

560
int xfrm_state_delete(struct xfrm_state *x)
L
Linus Torvalds 已提交
561
{
562 563
	int err;

L
Linus Torvalds 已提交
564
	spin_lock_bh(&x->lock);
565
	err = __xfrm_state_delete(x);
L
Linus Torvalds 已提交
566
	spin_unlock_bh(&x->lock);
567 568

	return err;
L
Linus Torvalds 已提交
569 570 571
}
EXPORT_SYMBOL(xfrm_state_delete);

572 573
#ifdef CONFIG_SECURITY_NETWORK_XFRM
static inline int
A
Alexey Dobriyan 已提交
574
xfrm_state_flush_secctx_check(struct net *net, u8 proto, struct xfrm_audit *audit_info)
L
Linus Torvalds 已提交
575
{
576 577
	int i, err = 0;

A
Alexey Dobriyan 已提交
578
	for (i = 0; i <= net->xfrm.state_hmask; i++) {
579 580 581
		struct hlist_node *entry;
		struct xfrm_state *x;

A
Alexey Dobriyan 已提交
582
		hlist_for_each_entry(x, entry, net->xfrm.state_bydst+i, bydst) {
583 584
			if (xfrm_id_proto_match(x->id.proto, proto) &&
			   (err = security_xfrm_state_delete(x)) != 0) {
J
Joy Latten 已提交
585 586
				xfrm_audit_state_delete(x, 0,
							audit_info->loginuid,
587
							audit_info->sessionid,
J
Joy Latten 已提交
588
							audit_info->secid);
589 590 591 592 593 594 595 596 597
				return err;
			}
		}
	}

	return err;
}
#else
static inline int
A
Alexey Dobriyan 已提交
598
xfrm_state_flush_secctx_check(struct net *net, u8 proto, struct xfrm_audit *audit_info)
599 600 601 602 603
{
	return 0;
}
#endif

A
Alexey Dobriyan 已提交
604
int xfrm_state_flush(struct net *net, u8 proto, struct xfrm_audit *audit_info)
605
{
606
	int i, err = 0;
L
Linus Torvalds 已提交
607 608

	spin_lock_bh(&xfrm_state_lock);
A
Alexey Dobriyan 已提交
609
	err = xfrm_state_flush_secctx_check(net, proto, audit_info);
610 611 612
	if (err)
		goto out;

A
Alexey Dobriyan 已提交
613
	for (i = 0; i <= net->xfrm.state_hmask; i++) {
614 615
		struct hlist_node *entry;
		struct xfrm_state *x;
L
Linus Torvalds 已提交
616
restart:
A
Alexey Dobriyan 已提交
617
		hlist_for_each_entry(x, entry, net->xfrm.state_bydst+i, bydst) {
L
Linus Torvalds 已提交
618
			if (!xfrm_state_kern(x) &&
619
			    xfrm_id_proto_match(x->id.proto, proto)) {
L
Linus Torvalds 已提交
620 621 622
				xfrm_state_hold(x);
				spin_unlock_bh(&xfrm_state_lock);

J
Joy Latten 已提交
623
				err = xfrm_state_delete(x);
J
Joy Latten 已提交
624 625
				xfrm_audit_state_delete(x, err ? 0 : 1,
							audit_info->loginuid,
626
							audit_info->sessionid,
J
Joy Latten 已提交
627
							audit_info->secid);
L
Linus Torvalds 已提交
628 629 630 631 632 633 634
				xfrm_state_put(x);

				spin_lock_bh(&xfrm_state_lock);
				goto restart;
			}
		}
	}
635
	err = 0;
636 637

out:
L
Linus Torvalds 已提交
638
	spin_unlock_bh(&xfrm_state_lock);
A
Alexey Dobriyan 已提交
639
	wake_up(&net->xfrm.km_waitq);
640
	return err;
L
Linus Torvalds 已提交
641 642 643
}
EXPORT_SYMBOL(xfrm_state_flush);

644
void xfrm_sad_getinfo(struct net *net, struct xfrmk_sadinfo *si)
J
Jamal Hadi Salim 已提交
645 646
{
	spin_lock_bh(&xfrm_state_lock);
647 648
	si->sadcnt = net->xfrm.state_num;
	si->sadhcnt = net->xfrm.state_hmask;
J
Jamal Hadi Salim 已提交
649 650 651 652 653
	si->sadhmcnt = xfrm_state_hashmax;
	spin_unlock_bh(&xfrm_state_lock);
}
EXPORT_SYMBOL(xfrm_sad_getinfo);

L
Linus Torvalds 已提交
654 655 656 657 658 659 660 661 662 663 664 665 666 667
static int
xfrm_init_tempsel(struct xfrm_state *x, struct flowi *fl,
		  struct xfrm_tmpl *tmpl,
		  xfrm_address_t *daddr, xfrm_address_t *saddr,
		  unsigned short family)
{
	struct xfrm_state_afinfo *afinfo = xfrm_state_get_afinfo(family);
	if (!afinfo)
		return -1;
	afinfo->init_tempsel(x, fl, tmpl, daddr, saddr);
	xfrm_state_put_afinfo(afinfo);
	return 0;
}

668
static struct xfrm_state *__xfrm_state_lookup(struct net *net, xfrm_address_t *daddr, __be32 spi, u8 proto, unsigned short family)
669
{
670
	unsigned int h = xfrm_spi_hash(net, daddr, spi, proto, family);
671
	struct xfrm_state *x;
672
	struct hlist_node *entry;
673

674
	hlist_for_each_entry(x, entry, net->xfrm.state_byspi+h, byspi) {
675 676
		if (x->props.family != family ||
		    x->id.spi       != spi ||
677 678
		    x->id.proto     != proto ||
		    xfrm_addr_cmp(&x->id.daddr, daddr, family))
679 680 681 682 683 684 685 686 687
			continue;

		xfrm_state_hold(x);
		return x;
	}

	return NULL;
}

688
static struct xfrm_state *__xfrm_state_lookup_byaddr(struct net *net, xfrm_address_t *daddr, xfrm_address_t *saddr, u8 proto, unsigned short family)
689
{
690
	unsigned int h = xfrm_src_hash(net, daddr, saddr, family);
691
	struct xfrm_state *x;
692
	struct hlist_node *entry;
693

694
	hlist_for_each_entry(x, entry, net->xfrm.state_bysrc+h, bysrc) {
695
		if (x->props.family != family ||
696 697 698
		    x->id.proto     != proto ||
		    xfrm_addr_cmp(&x->id.daddr, daddr, family) ||
		    xfrm_addr_cmp(&x->props.saddr, saddr, family))
699 700 701 702 703 704 705 706 707 708 709 710
			continue;

		xfrm_state_hold(x);
		return x;
	}

	return NULL;
}

static inline struct xfrm_state *
__xfrm_state_locate(struct xfrm_state *x, int use_spi, int family)
{
711 712
	struct net *net = xs_net(x);

713
	if (use_spi)
714
		return __xfrm_state_lookup(net, &x->id.daddr, x->id.spi,
715 716
					   x->id.proto, family);
	else
717
		return __xfrm_state_lookup_byaddr(net, &x->id.daddr,
718 719 720 721
						  &x->props.saddr,
						  x->id.proto, family);
}

722
static void xfrm_hash_grow_check(struct net *net, int have_hash_collision)
723 724
{
	if (have_hash_collision &&
725 726 727
	    (net->xfrm.state_hmask + 1) < xfrm_state_hashmax &&
	    net->xfrm.state_num > net->xfrm.state_hmask)
		schedule_work(&net->xfrm.state_hash_work);
728 729
}

730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767
static void xfrm_state_look_at(struct xfrm_policy *pol, struct xfrm_state *x,
			       struct flowi *fl, unsigned short family,
			       xfrm_address_t *daddr, xfrm_address_t *saddr,
			       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 已提交
768
struct xfrm_state *
769
xfrm_state_find(xfrm_address_t *daddr, xfrm_address_t *saddr,
L
Linus Torvalds 已提交
770 771 772 773
		struct flowi *fl, struct xfrm_tmpl *tmpl,
		struct xfrm_policy *pol, int *err,
		unsigned short family)
{
774
	static xfrm_address_t saddr_wildcard = { };
775
	struct net *net = xp_net(pol);
776
	unsigned int h, h_wildcard;
777
	struct hlist_node *entry;
778
	struct xfrm_state *x, *x0, *to_put;
L
Linus Torvalds 已提交
779 780 781
	int acquire_in_progress = 0;
	int error = 0;
	struct xfrm_state *best = NULL;
782

783 784
	to_put = NULL;

L
Linus Torvalds 已提交
785
	spin_lock_bh(&xfrm_state_lock);
786 787
	h = xfrm_dst_hash(net, daddr, saddr, tmpl->reqid, family);
	hlist_for_each_entry(x, entry, net->xfrm.state_bydst+h, bydst) {
L
Linus Torvalds 已提交
788 789
		if (x->props.family == family &&
		    x->props.reqid == tmpl->reqid &&
790
		    !(x->props.flags & XFRM_STATE_WILDRECV) &&
L
Linus Torvalds 已提交
791 792 793
		    xfrm_state_addr_check(x, daddr, saddr, family) &&
		    tmpl->mode == x->props.mode &&
		    tmpl->id.proto == x->id.proto &&
794 795 796 797 798 799 800
		    (tmpl->id.spi == x->id.spi || !tmpl->id.spi))
			xfrm_state_look_at(pol, x, fl, family, daddr, saddr,
					   &best, &acquire_in_progress, &error);
	}
	if (best)
		goto found;

801 802
	h_wildcard = xfrm_dst_hash(net, daddr, &saddr_wildcard, tmpl->reqid, family);
	hlist_for_each_entry(x, entry, net->xfrm.state_bydst+h_wildcard, bydst) {
803 804 805 806 807 808 809 810 811
		if (x->props.family == family &&
		    x->props.reqid == tmpl->reqid &&
		    !(x->props.flags & XFRM_STATE_WILDRECV) &&
		    xfrm_state_addr_check(x, daddr, saddr, family) &&
		    tmpl->mode == x->props.mode &&
		    tmpl->id.proto == x->id.proto &&
		    (tmpl->id.spi == x->id.spi || !tmpl->id.spi))
			xfrm_state_look_at(pol, x, fl, family, daddr, saddr,
					   &best, &acquire_in_progress, &error);
L
Linus Torvalds 已提交
812 813
	}

814
found:
L
Linus Torvalds 已提交
815 816
	x = best;
	if (!x && !error && !acquire_in_progress) {
817
		if (tmpl->id.spi &&
818
		    (x0 = __xfrm_state_lookup(net, daddr, tmpl->id.spi,
819
					      tmpl->id.proto, family)) != NULL) {
820
			to_put = x0;
L
Linus Torvalds 已提交
821 822 823
			error = -EEXIST;
			goto out;
		}
824
		x = xfrm_state_alloc(net);
L
Linus Torvalds 已提交
825 826 827 828 829 830 831 832
		if (x == NULL) {
			error = -ENOMEM;
			goto out;
		}
		/* Initialize temporary selector matching only
		 * to current session. */
		xfrm_init_tempsel(x, fl, tmpl, daddr, saddr, family);

833 834 835
		error = security_xfrm_state_alloc_acquire(x, pol->security, fl->secid);
		if (error) {
			x->km.state = XFRM_STATE_DEAD;
836
			to_put = x;
837 838 839 840
			x = NULL;
			goto out;
		}

L
Linus Torvalds 已提交
841 842
		if (km_query(x, tmpl, pol) == 0) {
			x->km.state = XFRM_STATE_ACQ;
843 844 845 846
			list_add(&x->km.all, &net->xfrm.state_all);
			hlist_add_head(&x->bydst, net->xfrm.state_bydst+h);
			h = xfrm_src_hash(net, daddr, saddr, family);
			hlist_add_head(&x->bysrc, net->xfrm.state_bysrc+h);
L
Linus Torvalds 已提交
847
			if (x->id.spi) {
848 849
				h = xfrm_spi_hash(net, &x->id.daddr, x->id.spi, x->id.proto, family);
				hlist_add_head(&x->byspi, net->xfrm.state_byspi+h);
L
Linus Torvalds 已提交
850
			}
A
Alexey Dobriyan 已提交
851
			x->lft.hard_add_expires_seconds = net->xfrm.sysctl_acq_expires;
852
			tasklet_hrtimer_start(&x->mtimer, ktime_set(net->xfrm.sysctl_acq_expires, 0), HRTIMER_MODE_REL);
853 854
			net->xfrm.state_num++;
			xfrm_hash_grow_check(net, x->bydst.next != NULL);
L
Linus Torvalds 已提交
855 856
		} else {
			x->km.state = XFRM_STATE_DEAD;
857
			to_put = x;
L
Linus Torvalds 已提交
858 859 860 861 862 863 864 865 866 867
			x = NULL;
			error = -ESRCH;
		}
	}
out:
	if (x)
		xfrm_state_hold(x);
	else
		*err = acquire_in_progress ? -EAGAIN : error;
	spin_unlock_bh(&xfrm_state_lock);
868 869
	if (to_put)
		xfrm_state_put(to_put);
L
Linus Torvalds 已提交
870 871 872
	return x;
}

873
struct xfrm_state *
874 875
xfrm_stateonly_find(struct net *net,
		    xfrm_address_t *daddr, xfrm_address_t *saddr,
876 877
		    unsigned short family, u8 mode, u8 proto, u32 reqid)
{
878
	unsigned int h;
879 880 881 882
	struct xfrm_state *rx = NULL, *x = NULL;
	struct hlist_node *entry;

	spin_lock(&xfrm_state_lock);
883 884
	h = xfrm_dst_hash(net, daddr, saddr, reqid, family);
	hlist_for_each_entry(x, entry, net->xfrm.state_bydst+h, bydst) {
885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905
		if (x->props.family == family &&
		    x->props.reqid == reqid &&
		    !(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);
	spin_unlock(&xfrm_state_lock);


	return rx;
}
EXPORT_SYMBOL(xfrm_stateonly_find);

L
Linus Torvalds 已提交
906 907
static void __xfrm_state_insert(struct xfrm_state *x)
{
908
	struct net *net = xs_net(x);
909
	unsigned int h;
L
Linus Torvalds 已提交
910

911 912
	x->genid = ++xfrm_state_genid;

913
	list_add(&x->km.all, &net->xfrm.state_all);
914

915
	h = xfrm_dst_hash(net, &x->id.daddr, &x->props.saddr,
916
			  x->props.reqid, x->props.family);
917
	hlist_add_head(&x->bydst, net->xfrm.state_bydst+h);
L
Linus Torvalds 已提交
918

919 920
	h = xfrm_src_hash(net, &x->id.daddr, &x->props.saddr, x->props.family);
	hlist_add_head(&x->bysrc, net->xfrm.state_bysrc+h);
L
Linus Torvalds 已提交
921

922
	if (x->id.spi) {
923
		h = xfrm_spi_hash(net, &x->id.daddr, x->id.spi, x->id.proto,
924 925
				  x->props.family);

926
		hlist_add_head(&x->byspi, net->xfrm.state_byspi+h);
927 928
	}

929
	tasklet_hrtimer_start(&x->mtimer, ktime_set(1, 0), HRTIMER_MODE_REL);
930 931
	if (x->replay_maxage)
		mod_timer(&x->rtimer, jiffies + x->replay_maxage);
932

933
	wake_up(&net->xfrm.km_waitq);
934

935
	net->xfrm.state_num++;
936

937
	xfrm_hash_grow_check(net, x->bydst.next != NULL);
L
Linus Torvalds 已提交
938 939
}

940 941 942
/* xfrm_state_lock is held */
static void __xfrm_state_bump_genids(struct xfrm_state *xnew)
{
943
	struct net *net = xs_net(xnew);
944 945 946 947 948 949
	unsigned short family = xnew->props.family;
	u32 reqid = xnew->props.reqid;
	struct xfrm_state *x;
	struct hlist_node *entry;
	unsigned int h;

950 951
	h = xfrm_dst_hash(net, &xnew->id.daddr, &xnew->props.saddr, reqid, family);
	hlist_for_each_entry(x, entry, net->xfrm.state_bydst+h, bydst) {
952 953
		if (x->props.family	== family &&
		    x->props.reqid	== reqid &&
954 955
		    !xfrm_addr_cmp(&x->id.daddr, &xnew->id.daddr, family) &&
		    !xfrm_addr_cmp(&x->props.saddr, &xnew->props.saddr, family))
956 957 958 959
			x->genid = xfrm_state_genid;
	}
}

L
Linus Torvalds 已提交
960 961 962
void xfrm_state_insert(struct xfrm_state *x)
{
	spin_lock_bh(&xfrm_state_lock);
963
	__xfrm_state_bump_genids(x);
L
Linus Torvalds 已提交
964 965 966 967 968
	__xfrm_state_insert(x);
	spin_unlock_bh(&xfrm_state_lock);
}
EXPORT_SYMBOL(xfrm_state_insert);

969
/* xfrm_state_lock is held */
970
static struct xfrm_state *__find_acq_core(struct net *net, unsigned short family, u8 mode, u32 reqid, u8 proto, xfrm_address_t *daddr, xfrm_address_t *saddr, int create)
971
{
972
	unsigned int h = xfrm_dst_hash(net, daddr, saddr, reqid, family);
973
	struct hlist_node *entry;
974 975
	struct xfrm_state *x;

976
	hlist_for_each_entry(x, entry, net->xfrm.state_bydst+h, bydst) {
977 978 979 980
		if (x->props.reqid  != reqid ||
		    x->props.mode   != mode ||
		    x->props.family != family ||
		    x->km.state     != XFRM_STATE_ACQ ||
981
		    x->id.spi       != 0 ||
982 983 984
		    x->id.proto	    != proto ||
		    xfrm_addr_cmp(&x->id.daddr, daddr, family) ||
		    xfrm_addr_cmp(&x->props.saddr, saddr, family))
985 986 987 988 989 990 991 992 993
			continue;

		xfrm_state_hold(x);
		return x;
	}

	if (!create)
		return NULL;

994
	x = xfrm_state_alloc(net);
995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017
	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:
			ipv6_addr_copy((struct in6_addr *)x->sel.daddr.a6,
				       (struct in6_addr *)daddr);
			ipv6_addr_copy((struct in6_addr *)x->sel.saddr.a6,
				       (struct in6_addr *)saddr);
			x->sel.prefixlen_d = 128;
			x->sel.prefixlen_s = 128;
			ipv6_addr_copy((struct in6_addr *)x->props.saddr.a6,
				       (struct in6_addr *)saddr);
			ipv6_addr_copy((struct in6_addr *)x->id.daddr.a6,
				       (struct in6_addr *)daddr);
			break;
1018
		}
1019 1020 1021 1022 1023 1024

		x->km.state = XFRM_STATE_ACQ;
		x->id.proto = proto;
		x->props.family = family;
		x->props.mode = mode;
		x->props.reqid = reqid;
A
Alexey Dobriyan 已提交
1025
		x->lft.hard_add_expires_seconds = net->xfrm.sysctl_acq_expires;
1026
		xfrm_state_hold(x);
1027
		tasklet_hrtimer_start(&x->mtimer, ktime_set(net->xfrm.sysctl_acq_expires, 0), HRTIMER_MODE_REL);
1028 1029 1030 1031
		list_add(&x->km.all, &net->xfrm.state_all);
		hlist_add_head(&x->bydst, net->xfrm.state_bydst+h);
		h = xfrm_src_hash(net, daddr, saddr, family);
		hlist_add_head(&x->bysrc, net->xfrm.state_bysrc+h);
1032

1033
		net->xfrm.state_num++;
1034

1035
		xfrm_hash_grow_check(net, x->bydst.next != NULL);
1036 1037 1038 1039 1040
	}

	return x;
}

1041
static struct xfrm_state *__xfrm_find_acq_byseq(struct net *net, u32 seq);
L
Linus Torvalds 已提交
1042 1043 1044

int xfrm_state_add(struct xfrm_state *x)
{
1045
	struct net *net = xs_net(x);
1046
	struct xfrm_state *x1, *to_put;
L
Linus Torvalds 已提交
1047 1048
	int family;
	int err;
1049
	int use_spi = xfrm_id_proto_match(x->id.proto, IPSEC_PROTO_ANY);
L
Linus Torvalds 已提交
1050 1051 1052

	family = x->props.family;

1053 1054
	to_put = NULL;

L
Linus Torvalds 已提交
1055 1056
	spin_lock_bh(&xfrm_state_lock);

1057
	x1 = __xfrm_state_locate(x, use_spi, family);
L
Linus Torvalds 已提交
1058
	if (x1) {
1059
		to_put = x1;
L
Linus Torvalds 已提交
1060 1061 1062 1063 1064
		x1 = NULL;
		err = -EEXIST;
		goto out;
	}

1065
	if (use_spi && x->km.seq) {
1066
		x1 = __xfrm_find_acq_byseq(net, x->km.seq);
1067 1068
		if (x1 && ((x1->id.proto != x->id.proto) ||
		    xfrm_addr_cmp(&x1->id.daddr, &x->id.daddr, family))) {
1069
			to_put = x1;
L
Linus Torvalds 已提交
1070 1071 1072 1073
			x1 = NULL;
		}
	}

1074
	if (use_spi && !x1)
1075
		x1 = __find_acq_core(net, family, x->props.mode, x->props.reqid,
1076 1077
				     x->id.proto,
				     &x->id.daddr, &x->props.saddr, 0);
L
Linus Torvalds 已提交
1078

1079
	__xfrm_state_bump_genids(x);
L
Linus Torvalds 已提交
1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090
	__xfrm_state_insert(x);
	err = 0;

out:
	spin_unlock_bh(&xfrm_state_lock);

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

1091 1092 1093
	if (to_put)
		xfrm_state_put(to_put);

L
Linus Torvalds 已提交
1094 1095 1096 1097
	return err;
}
EXPORT_SYMBOL(xfrm_state_add);

1098
#ifdef CONFIG_XFRM_MIGRATE
1099
static struct xfrm_state *xfrm_state_clone(struct xfrm_state *orig, int *errp)
1100
{
1101
	struct net *net = xs_net(orig);
1102
	int err = -ENOMEM;
1103
	struct xfrm_state *x = xfrm_state_alloc(net);
1104
	if (!x)
H
Herbert Xu 已提交
1105
		goto out;
1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116

	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) {
1117
		x->aalg = xfrm_algo_auth_clone(orig->aalg);
1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136
		if (!x->aalg)
			goto error;
	}
	x->props.aalgo = orig->props.aalgo;

	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;

1137
	if (orig->encap) {
1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162
		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;
	}

	err = xfrm_init_state(x);
	if (err)
		goto error;

	x->props.flags = orig->props.flags;

	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 已提交
1163 1164
	xfrm_state_put(x);
out:
1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177
	if (errp)
		*errp = err;
	return NULL;
}

/* xfrm_state_lock is held */
struct xfrm_state * xfrm_migrate_state_find(struct xfrm_migrate *m)
{
	unsigned int h;
	struct xfrm_state *x;
	struct hlist_node *entry;

	if (m->reqid) {
1178
		h = xfrm_dst_hash(&init_net, &m->old_daddr, &m->old_saddr,
1179
				  m->reqid, m->old_family);
1180
		hlist_for_each_entry(x, entry, init_net.xfrm.state_bydst+h, bydst) {
1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194
			if (x->props.mode != m->mode ||
			    x->id.proto != m->proto)
				continue;
			if (m->reqid && x->props.reqid != m->reqid)
				continue;
			if (xfrm_addr_cmp(&x->id.daddr, &m->old_daddr,
					  m->old_family) ||
			    xfrm_addr_cmp(&x->props.saddr, &m->old_saddr,
					  m->old_family))
				continue;
			xfrm_state_hold(x);
			return x;
		}
	} else {
1195
		h = xfrm_src_hash(&init_net, &m->old_daddr, &m->old_saddr,
1196
				  m->old_family);
1197
		hlist_for_each_entry(x, entry, init_net.xfrm.state_bysrc+h, bysrc) {
1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210
			if (x->props.mode != m->mode ||
			    x->id.proto != m->proto)
				continue;
			if (xfrm_addr_cmp(&x->id.daddr, &m->old_daddr,
					  m->old_family) ||
			    xfrm_addr_cmp(&x->props.saddr, &m->old_saddr,
					  m->old_family))
				continue;
			xfrm_state_hold(x);
			return x;
		}
	}

1211
	return NULL;
1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245
}
EXPORT_SYMBOL(xfrm_migrate_state_find);

struct xfrm_state * xfrm_state_migrate(struct xfrm_state *x,
				       struct xfrm_migrate *m)
{
	struct xfrm_state *xc;
	int err;

	xc = xfrm_state_clone(x, &err);
	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 */
	if (!xfrm_addr_cmp(&x->id.daddr, &m->new_daddr, m->new_family)) {
		/* 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 {
		if ((err = xfrm_state_add(xc)) < 0)
			goto error;
	}

	return xc;
error:
	kfree(xc);
	return NULL;
}
EXPORT_SYMBOL(xfrm_state_migrate);
#endif

L
Linus Torvalds 已提交
1246 1247
int xfrm_state_update(struct xfrm_state *x)
{
1248
	struct xfrm_state *x1, *to_put;
L
Linus Torvalds 已提交
1249
	int err;
1250
	int use_spi = xfrm_id_proto_match(x->id.proto, IPSEC_PROTO_ANY);
L
Linus Torvalds 已提交
1251

1252 1253
	to_put = NULL;

L
Linus Torvalds 已提交
1254
	spin_lock_bh(&xfrm_state_lock);
1255
	x1 = __xfrm_state_locate(x, use_spi, x->props.family);
L
Linus Torvalds 已提交
1256 1257 1258 1259 1260 1261

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

	if (xfrm_state_kern(x1)) {
1262
		to_put = x1;
L
Linus Torvalds 已提交
1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275
		err = -EEXIST;
		goto out;
	}

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

out:
	spin_unlock_bh(&xfrm_state_lock);

1276 1277 1278
	if (to_put)
		xfrm_state_put(to_put);

L
Linus Torvalds 已提交
1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292
	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));
1293 1294 1295 1296 1297
		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 已提交
1298 1299 1300
		memcpy(&x1->lft, &x->lft, sizeof(x1->lft));
		x1->km.dying = 0;

1301
		tasklet_hrtimer_start(&x1->mtimer, ktime_set(1, 0), HRTIMER_MODE_REL);
L
Linus Torvalds 已提交
1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317
		if (x1->curlft.use_time)
			xfrm_state_check_expire(x1);

		err = 0;
	}
	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)
1318
		x->curlft.use_time = get_seconds();
L
Linus Torvalds 已提交
1319 1320 1321 1322 1323 1324

	if (x->km.state != XFRM_STATE_VALID)
		return -EINVAL;

	if (x->curlft.bytes >= x->lft.hard_byte_limit ||
	    x->curlft.packets >= x->lft.hard_packet_limit) {
1325
		x->km.state = XFRM_STATE_EXPIRED;
1326
		tasklet_hrtimer_start(&x->mtimer, ktime_set(0,0), HRTIMER_MODE_REL);
L
Linus Torvalds 已提交
1327 1328 1329 1330 1331
		return -EINVAL;
	}

	if (!x->km.dying &&
	    (x->curlft.bytes >= x->lft.soft_byte_limit ||
1332 1333
	     x->curlft.packets >= x->lft.soft_packet_limit)) {
		x->km.dying = 1;
1334
		km_state_expired(x, 0, 0);
1335
	}
L
Linus Torvalds 已提交
1336 1337 1338 1339 1340
	return 0;
}
EXPORT_SYMBOL(xfrm_state_check_expire);

struct xfrm_state *
1341
xfrm_state_lookup(struct net *net, xfrm_address_t *daddr, __be32 spi, u8 proto,
L
Linus Torvalds 已提交
1342 1343 1344 1345 1346
		  unsigned short family)
{
	struct xfrm_state *x;

	spin_lock_bh(&xfrm_state_lock);
1347
	x = __xfrm_state_lookup(net, daddr, spi, proto, family);
L
Linus Torvalds 已提交
1348 1349 1350 1351 1352 1353
	spin_unlock_bh(&xfrm_state_lock);
	return x;
}
EXPORT_SYMBOL(xfrm_state_lookup);

struct xfrm_state *
1354 1355
xfrm_state_lookup_byaddr(struct net *net,
			 xfrm_address_t *daddr, xfrm_address_t *saddr,
1356 1357 1358 1359 1360
			 u8 proto, unsigned short family)
{
	struct xfrm_state *x;

	spin_lock_bh(&xfrm_state_lock);
1361
	x = __xfrm_state_lookup_byaddr(net, daddr, saddr, proto, family);
1362 1363 1364 1365 1366 1367
	spin_unlock_bh(&xfrm_state_lock);
	return x;
}
EXPORT_SYMBOL(xfrm_state_lookup_byaddr);

struct xfrm_state *
1368
xfrm_find_acq(struct net *net, u8 mode, u32 reqid, u8 proto,
1369
	      xfrm_address_t *daddr, xfrm_address_t *saddr,
L
Linus Torvalds 已提交
1370 1371 1372 1373 1374
	      int create, unsigned short family)
{
	struct xfrm_state *x;

	spin_lock_bh(&xfrm_state_lock);
1375
	x = __find_acq_core(net, family, mode, reqid, proto, daddr, saddr, create);
L
Linus Torvalds 已提交
1376
	spin_unlock_bh(&xfrm_state_lock);
1377

L
Linus Torvalds 已提交
1378 1379 1380 1381
	return x;
}
EXPORT_SYMBOL(xfrm_find_acq);

1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419
#ifdef CONFIG_XFRM_SUB_POLICY
int
xfrm_tmpl_sort(struct xfrm_tmpl **dst, struct xfrm_tmpl **src, int n,
	       unsigned short family)
{
	int err = 0;
	struct xfrm_state_afinfo *afinfo = xfrm_state_get_afinfo(family);
	if (!afinfo)
		return -EAFNOSUPPORT;

	spin_lock_bh(&xfrm_state_lock);
	if (afinfo->tmpl_sort)
		err = afinfo->tmpl_sort(dst, src, n);
	spin_unlock_bh(&xfrm_state_lock);
	xfrm_state_put_afinfo(afinfo);
	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);
	if (!afinfo)
		return -EAFNOSUPPORT;

	spin_lock_bh(&xfrm_state_lock);
	if (afinfo->state_sort)
		err = afinfo->state_sort(dst, src, n);
	spin_unlock_bh(&xfrm_state_lock);
	xfrm_state_put_afinfo(afinfo);
	return err;
}
EXPORT_SYMBOL(xfrm_state_sort);
#endif

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

1422
static struct xfrm_state *__xfrm_find_acq_byseq(struct net *net, u32 seq)
L
Linus Torvalds 已提交
1423 1424 1425
{
	int i;

1426
	for (i = 0; i <= net->xfrm.state_hmask; i++) {
1427 1428 1429
		struct hlist_node *entry;
		struct xfrm_state *x;

1430
		hlist_for_each_entry(x, entry, net->xfrm.state_bydst+i, bydst) {
1431 1432
			if (x->km.seq == seq &&
			    x->km.state == XFRM_STATE_ACQ) {
L
Linus Torvalds 已提交
1433 1434 1435 1436 1437 1438 1439 1440
				xfrm_state_hold(x);
				return x;
			}
		}
	}
	return NULL;
}

1441
struct xfrm_state *xfrm_find_acq_byseq(struct net *net, u32 seq)
L
Linus Torvalds 已提交
1442 1443 1444 1445
{
	struct xfrm_state *x;

	spin_lock_bh(&xfrm_state_lock);
1446
	x = __xfrm_find_acq_byseq(net, seq);
L
Linus Torvalds 已提交
1447 1448 1449 1450 1451 1452 1453 1454
	spin_unlock_bh(&xfrm_state_lock);
	return x;
}
EXPORT_SYMBOL(xfrm_find_acq_byseq);

u32 xfrm_get_acqseq(void)
{
	u32 res;
1455 1456 1457 1458 1459
	static atomic_t acqseq;

	do {
		res = atomic_inc_return(&acqseq);
	} while (!res);
L
Linus Torvalds 已提交
1460 1461 1462 1463 1464

	return res;
}
EXPORT_SYMBOL(xfrm_get_acqseq);

1465
int xfrm_alloc_spi(struct xfrm_state *x, u32 low, u32 high)
L
Linus Torvalds 已提交
1466
{
1467
	struct net *net = xs_net(x);
1468
	unsigned int h;
L
Linus Torvalds 已提交
1469
	struct xfrm_state *x0;
1470 1471 1472
	int err = -ENOENT;
	__be32 minspi = htonl(low);
	__be32 maxspi = htonl(high);
L
Linus Torvalds 已提交
1473

1474 1475 1476 1477 1478
	spin_lock_bh(&x->lock);
	if (x->km.state == XFRM_STATE_DEAD)
		goto unlock;

	err = 0;
L
Linus Torvalds 已提交
1479
	if (x->id.spi)
1480 1481 1482
		goto unlock;

	err = -ENOENT;
L
Linus Torvalds 已提交
1483 1484

	if (minspi == maxspi) {
1485
		x0 = xfrm_state_lookup(net, &x->id.daddr, minspi, x->id.proto, x->props.family);
L
Linus Torvalds 已提交
1486 1487
		if (x0) {
			xfrm_state_put(x0);
1488
			goto unlock;
L
Linus Torvalds 已提交
1489 1490 1491 1492
		}
		x->id.spi = minspi;
	} else {
		u32 spi = 0;
A
Al Viro 已提交
1493 1494
		for (h=0; h<high-low+1; h++) {
			spi = low + net_random()%(high-low+1);
1495
			x0 = xfrm_state_lookup(net, &x->id.daddr, htonl(spi), x->id.proto, x->props.family);
L
Linus Torvalds 已提交
1496 1497 1498 1499 1500 1501 1502 1503 1504
			if (x0 == NULL) {
				x->id.spi = htonl(spi);
				break;
			}
			xfrm_state_put(x0);
		}
	}
	if (x->id.spi) {
		spin_lock_bh(&xfrm_state_lock);
1505 1506
		h = xfrm_spi_hash(net, &x->id.daddr, x->id.spi, x->id.proto, x->props.family);
		hlist_add_head(&x->byspi, net->xfrm.state_byspi+h);
L
Linus Torvalds 已提交
1507
		spin_unlock_bh(&xfrm_state_lock);
1508 1509

		err = 0;
L
Linus Torvalds 已提交
1510
	}
1511 1512 1513 1514 1515

unlock:
	spin_unlock_bh(&x->lock);

	return err;
L
Linus Torvalds 已提交
1516 1517 1518
}
EXPORT_SYMBOL(xfrm_alloc_spi);

1519
int xfrm_state_walk(struct net *net, struct xfrm_state_walk *walk,
1520
		    int (*func)(struct xfrm_state *, int, void*),
L
Linus Torvalds 已提交
1521 1522
		    void *data)
{
H
Herbert Xu 已提交
1523 1524
	struct xfrm_state *state;
	struct xfrm_state_walk *x;
L
Linus Torvalds 已提交
1525 1526
	int err = 0;

H
Herbert Xu 已提交
1527
	if (walk->seq != 0 && list_empty(&walk->all))
1528 1529
		return 0;

L
Linus Torvalds 已提交
1530
	spin_lock_bh(&xfrm_state_lock);
H
Herbert Xu 已提交
1531
	if (list_empty(&walk->all))
1532
		x = list_first_entry(&net->xfrm.state_all, struct xfrm_state_walk, all);
H
Herbert Xu 已提交
1533 1534
	else
		x = list_entry(&walk->all, struct xfrm_state_walk, all);
1535
	list_for_each_entry_from(x, &net->xfrm.state_all, all) {
H
Herbert Xu 已提交
1536
		if (x->state == XFRM_STATE_DEAD)
1537
			continue;
H
Herbert Xu 已提交
1538 1539
		state = container_of(x, struct xfrm_state, km);
		if (!xfrm_id_proto_match(state->id.proto, walk->proto))
1540
			continue;
H
Herbert Xu 已提交
1541 1542 1543 1544
		err = func(state, walk->seq, data);
		if (err) {
			list_move_tail(&walk->all, &x->all);
			goto out;
L
Linus Torvalds 已提交
1545
		}
H
Herbert Xu 已提交
1546
		walk->seq++;
L
Linus Torvalds 已提交
1547
	}
H
Herbert Xu 已提交
1548
	if (walk->seq == 0) {
L
Linus Torvalds 已提交
1549 1550 1551
		err = -ENOENT;
		goto out;
	}
H
Herbert Xu 已提交
1552
	list_del_init(&walk->all);
L
Linus Torvalds 已提交
1553 1554 1555 1556 1557 1558
out:
	spin_unlock_bh(&xfrm_state_lock);
	return err;
}
EXPORT_SYMBOL(xfrm_state_walk);

H
Herbert Xu 已提交
1559 1560
void xfrm_state_walk_init(struct xfrm_state_walk *walk, u8 proto)
{
H
Herbert Xu 已提交
1561
	INIT_LIST_HEAD(&walk->all);
H
Herbert Xu 已提交
1562
	walk->proto = proto;
H
Herbert Xu 已提交
1563 1564
	walk->state = XFRM_STATE_DEAD;
	walk->seq = 0;
H
Herbert Xu 已提交
1565 1566 1567
}
EXPORT_SYMBOL(xfrm_state_walk_init);

1568 1569
void xfrm_state_walk_done(struct xfrm_state_walk *walk)
{
H
Herbert Xu 已提交
1570
	if (list_empty(&walk->all))
H
Herbert Xu 已提交
1571 1572
		return;

H
Herbert Xu 已提交
1573 1574
	spin_lock_bh(&xfrm_state_lock);
	list_del(&walk->all);
1575
	spin_unlock_bh(&xfrm_state_lock);
1576 1577 1578
}
EXPORT_SYMBOL(xfrm_state_walk_done);

1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596

void xfrm_replay_notify(struct xfrm_state *x, int event)
{
	struct km_event c;
	/* we send notify messages in case
	 *  1. we updated on of the sequence numbers, and the seqno difference
	 *     is at least x->replay_maxdiff, in this case we also update the
	 *     timeout of our timer function
	 *  2. if x->replay_maxage has elapsed since last update,
	 *     and there were changes
	 *
	 *  The state structure must be locked!
	 */

	switch (event) {
	case XFRM_REPLAY_UPDATE:
		if (x->replay_maxdiff &&
		    (x->replay.seq - x->preplay.seq < x->replay_maxdiff) &&
J
Jamal Hadi Salim 已提交
1597 1598 1599 1600 1601 1602
		    (x->replay.oseq - x->preplay.oseq < x->replay_maxdiff)) {
			if (x->xflags & XFRM_TIME_DEFER)
				event = XFRM_REPLAY_TIMEOUT;
			else
				return;
		}
1603 1604 1605 1606 1607 1608

		break;

	case XFRM_REPLAY_TIMEOUT:
		if ((x->replay.seq == x->preplay.seq) &&
		    (x->replay.bitmap == x->preplay.bitmap) &&
J
Jamal Hadi Salim 已提交
1609 1610
		    (x->replay.oseq == x->preplay.oseq)) {
			x->xflags |= XFRM_TIME_DEFER;
1611
			return;
J
Jamal Hadi Salim 已提交
1612
		}
1613 1614 1615 1616 1617 1618 1619 1620 1621 1622

		break;
	}

	memcpy(&x->preplay, &x->replay, sizeof(struct xfrm_replay_state));
	c.event = XFRM_MSG_NEWAE;
	c.data.aevent = event;
	km_state_notify(x, &c);

	if (x->replay_maxage &&
1623
	    !mod_timer(&x->rtimer, jiffies + x->replay_maxage))
J
Jamal Hadi Salim 已提交
1624
		x->xflags &= ~XFRM_TIME_DEFER;
1625 1626 1627 1628 1629 1630 1631 1632
}

static void xfrm_replay_timer_handler(unsigned long data)
{
	struct xfrm_state *x = (struct xfrm_state*)data;

	spin_lock(&x->lock);

J
Jamal Hadi Salim 已提交
1633
	if (x->km.state == XFRM_STATE_VALID) {
1634
		if (xfrm_aevent_is_on(xs_net(x)))
J
Jamal Hadi Salim 已提交
1635 1636 1637 1638
			xfrm_replay_notify(x, XFRM_REPLAY_TIMEOUT);
		else
			x->xflags |= XFRM_TIME_DEFER;
	}
1639 1640 1641 1642

	spin_unlock(&x->lock);
}

P
Paul Moore 已提交
1643 1644
int xfrm_replay_check(struct xfrm_state *x,
		      struct sk_buff *skb, __be32 net_seq)
L
Linus Torvalds 已提交
1645 1646
{
	u32 diff;
1647
	u32 seq = ntohl(net_seq);
L
Linus Torvalds 已提交
1648 1649

	if (unlikely(seq == 0))
P
Paul Moore 已提交
1650
		goto err;
L
Linus Torvalds 已提交
1651 1652 1653 1654 1655

	if (likely(seq > x->replay.seq))
		return 0;

	diff = x->replay.seq - seq;
1656 1657
	if (diff >= min_t(unsigned int, x->props.replay_window,
			  sizeof(x->replay.bitmap) * 8)) {
L
Linus Torvalds 已提交
1658
		x->stats.replay_window++;
P
Paul Moore 已提交
1659
		goto err;
L
Linus Torvalds 已提交
1660 1661 1662 1663
	}

	if (x->replay.bitmap & (1U << diff)) {
		x->stats.replay++;
P
Paul Moore 已提交
1664
		goto err;
L
Linus Torvalds 已提交
1665 1666
	}
	return 0;
P
Paul Moore 已提交
1667 1668 1669 1670

err:
	xfrm_audit_state_replay(x, skb, net_seq);
	return -EINVAL;
L
Linus Torvalds 已提交
1671 1672
}

1673
void xfrm_replay_advance(struct xfrm_state *x, __be32 net_seq)
L
Linus Torvalds 已提交
1674 1675
{
	u32 diff;
1676
	u32 seq = ntohl(net_seq);
L
Linus Torvalds 已提交
1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688

	if (seq > x->replay.seq) {
		diff = seq - x->replay.seq;
		if (diff < x->props.replay_window)
			x->replay.bitmap = ((x->replay.bitmap) << diff) | 1;
		else
			x->replay.bitmap = 1;
		x->replay.seq = seq;
	} else {
		diff = x->replay.seq - seq;
		x->replay.bitmap |= (1U << diff);
	}
1689

1690
	if (xfrm_aevent_is_on(xs_net(x)))
1691
		xfrm_replay_notify(x, XFRM_REPLAY_UPDATE);
L
Linus Torvalds 已提交
1692 1693
}

1694
static LIST_HEAD(xfrm_km_list);
L
Linus Torvalds 已提交
1695 1696
static DEFINE_RWLOCK(xfrm_km_lock);

1697
void km_policy_notify(struct xfrm_policy *xp, int dir, struct km_event *c)
L
Linus Torvalds 已提交
1698 1699 1700
{
	struct xfrm_mgr *km;

1701 1702 1703 1704 1705 1706
	read_lock(&xfrm_km_lock);
	list_for_each_entry(km, &xfrm_km_list, list)
		if (km->notify_policy)
			km->notify_policy(xp, dir, c);
	read_unlock(&xfrm_km_lock);
}
L
Linus Torvalds 已提交
1707

1708 1709 1710
void km_state_notify(struct xfrm_state *x, struct km_event *c)
{
	struct xfrm_mgr *km;
L
Linus Torvalds 已提交
1711 1712
	read_lock(&xfrm_km_lock);
	list_for_each_entry(km, &xfrm_km_list, list)
1713 1714
		if (km->notify)
			km->notify(x, c);
L
Linus Torvalds 已提交
1715
	read_unlock(&xfrm_km_lock);
1716 1717 1718 1719 1720
}

EXPORT_SYMBOL(km_policy_notify);
EXPORT_SYMBOL(km_state_notify);

1721
void km_state_expired(struct xfrm_state *x, int hard, u32 pid)
1722
{
1723
	struct net *net = xs_net(x);
1724 1725
	struct km_event c;

1726
	c.data.hard = hard;
1727
	c.pid = pid;
1728
	c.event = XFRM_MSG_EXPIRE;
1729
	km_state_notify(x, &c);
L
Linus Torvalds 已提交
1730 1731

	if (hard)
1732
		wake_up(&net->xfrm.km_waitq);
L
Linus Torvalds 已提交
1733 1734
}

1735
EXPORT_SYMBOL(km_state_expired);
1736 1737 1738 1739
/*
 * We send to all registered managers regardless of failure
 * We are happy with one success
*/
1740
int km_query(struct xfrm_state *x, struct xfrm_tmpl *t, struct xfrm_policy *pol)
L
Linus Torvalds 已提交
1741
{
1742
	int err = -EINVAL, acqret;
L
Linus Torvalds 已提交
1743 1744 1745 1746
	struct xfrm_mgr *km;

	read_lock(&xfrm_km_lock);
	list_for_each_entry(km, &xfrm_km_list, list) {
1747 1748 1749
		acqret = km->acquire(x, t, pol, XFRM_POLICY_OUT);
		if (!acqret)
			err = acqret;
L
Linus Torvalds 已提交
1750 1751 1752 1753
	}
	read_unlock(&xfrm_km_lock);
	return err;
}
1754
EXPORT_SYMBOL(km_query);
L
Linus Torvalds 已提交
1755

A
Al Viro 已提交
1756
int km_new_mapping(struct xfrm_state *x, xfrm_address_t *ipaddr, __be16 sport)
L
Linus Torvalds 已提交
1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772
{
	int err = -EINVAL;
	struct xfrm_mgr *km;

	read_lock(&xfrm_km_lock);
	list_for_each_entry(km, &xfrm_km_list, list) {
		if (km->new_mapping)
			err = km->new_mapping(x, ipaddr, sport);
		if (!err)
			break;
	}
	read_unlock(&xfrm_km_lock);
	return err;
}
EXPORT_SYMBOL(km_new_mapping);

1773
void km_policy_expired(struct xfrm_policy *pol, int dir, int hard, u32 pid)
L
Linus Torvalds 已提交
1774
{
1775
	struct net *net = xp_net(pol);
1776
	struct km_event c;
L
Linus Torvalds 已提交
1777

1778
	c.data.hard = hard;
1779
	c.pid = pid;
1780
	c.event = XFRM_MSG_POLEXPIRE;
1781
	km_policy_notify(pol, dir, &c);
L
Linus Torvalds 已提交
1782 1783

	if (hard)
1784
		wake_up(&net->xfrm.km_waitq);
L
Linus Torvalds 已提交
1785
}
1786
EXPORT_SYMBOL(km_policy_expired);
L
Linus Torvalds 已提交
1787

1788
#ifdef CONFIG_XFRM_MIGRATE
1789
int km_migrate(struct xfrm_selector *sel, u8 dir, u8 type,
1790 1791
	       struct xfrm_migrate *m, int num_migrate,
	       struct xfrm_kmaddress *k)
1792 1793 1794 1795 1796 1797 1798 1799
{
	int err = -EINVAL;
	int ret;
	struct xfrm_mgr *km;

	read_lock(&xfrm_km_lock);
	list_for_each_entry(km, &xfrm_km_list, list) {
		if (km->migrate) {
1800
			ret = km->migrate(sel, dir, type, m, num_migrate, k);
1801 1802 1803 1804 1805 1806 1807 1808
			if (!ret)
				err = ret;
		}
	}
	read_unlock(&xfrm_km_lock);
	return err;
}
EXPORT_SYMBOL(km_migrate);
1809
#endif
1810

1811
int km_report(struct net *net, u8 proto, struct xfrm_selector *sel, xfrm_address_t *addr)
1812 1813 1814 1815 1816 1817 1818 1819
{
	int err = -EINVAL;
	int ret;
	struct xfrm_mgr *km;

	read_lock(&xfrm_km_lock);
	list_for_each_entry(km, &xfrm_km_list, list) {
		if (km->report) {
1820
			ret = km->report(net, proto, sel, addr);
1821 1822 1823 1824 1825 1826 1827 1828 1829
			if (!ret)
				err = ret;
		}
	}
	read_unlock(&xfrm_km_lock);
	return err;
}
EXPORT_SYMBOL(km_report);

L
Linus Torvalds 已提交
1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850
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;
	read_lock(&xfrm_km_lock);
	list_for_each_entry(km, &xfrm_km_list, list) {
1851
		pol = km->compile_policy(sk, optname, data,
L
Linus Torvalds 已提交
1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1892 1893 1894
					 optlen, &err);
		if (err >= 0)
			break;
	}
	read_unlock(&xfrm_km_lock);

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

int xfrm_register_km(struct xfrm_mgr *km)
{
	write_lock_bh(&xfrm_km_lock);
	list_add_tail(&km->list, &xfrm_km_list);
	write_unlock_bh(&xfrm_km_lock);
	return 0;
}
EXPORT_SYMBOL(xfrm_register_km);

int xfrm_unregister_km(struct xfrm_mgr *km)
{
	write_lock_bh(&xfrm_km_lock);
	list_del(&km->list);
	write_unlock_bh(&xfrm_km_lock);
	return 0;
}
EXPORT_SYMBOL(xfrm_unregister_km);

int xfrm_state_register_afinfo(struct xfrm_state_afinfo *afinfo)
{
	int err = 0;
	if (unlikely(afinfo == NULL))
		return -EINVAL;
	if (unlikely(afinfo->family >= NPROTO))
		return -EAFNOSUPPORT;
1895
	write_lock_bh(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
1896 1897
	if (unlikely(xfrm_state_afinfo[afinfo->family] != NULL))
		err = -ENOBUFS;
1898
	else
L
Linus Torvalds 已提交
1899
		xfrm_state_afinfo[afinfo->family] = afinfo;
1900
	write_unlock_bh(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911
	return err;
}
EXPORT_SYMBOL(xfrm_state_register_afinfo);

int xfrm_state_unregister_afinfo(struct xfrm_state_afinfo *afinfo)
{
	int err = 0;
	if (unlikely(afinfo == NULL))
		return -EINVAL;
	if (unlikely(afinfo->family >= NPROTO))
		return -EAFNOSUPPORT;
1912
	write_lock_bh(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
1913 1914 1915
	if (likely(xfrm_state_afinfo[afinfo->family] != NULL)) {
		if (unlikely(xfrm_state_afinfo[afinfo->family] != afinfo))
			err = -EINVAL;
1916
		else
L
Linus Torvalds 已提交
1917 1918
			xfrm_state_afinfo[afinfo->family] = NULL;
	}
1919
	write_unlock_bh(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
1920 1921 1922 1923
	return err;
}
EXPORT_SYMBOL(xfrm_state_unregister_afinfo);

1924
static struct xfrm_state_afinfo *xfrm_state_get_afinfo(unsigned int family)
L
Linus Torvalds 已提交
1925 1926 1927 1928 1929 1930
{
	struct xfrm_state_afinfo *afinfo;
	if (unlikely(family >= NPROTO))
		return NULL;
	read_lock(&xfrm_state_afinfo_lock);
	afinfo = xfrm_state_afinfo[family];
1931 1932
	if (unlikely(!afinfo))
		read_unlock(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
1933 1934 1935
	return afinfo;
}

1936
static void xfrm_state_put_afinfo(struct xfrm_state_afinfo *afinfo)
1937
	__releases(xfrm_state_afinfo_lock)
L
Linus Torvalds 已提交
1938
{
1939
	read_unlock(&xfrm_state_afinfo_lock);
L
Linus Torvalds 已提交
1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958
}

/* 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)
{
1959
	int res;
L
Linus Torvalds 已提交
1960

1961 1962 1963 1964 1965
	spin_lock_bh(&x->lock);
	if (x->km.state == XFRM_STATE_VALID &&
	    x->type && x->type->get_mtu)
		res = x->type->get_mtu(x, mtu);
	else
1966
		res = mtu - x->props.header_len;
1967
	spin_unlock_bh(&x->lock);
L
Linus Torvalds 已提交
1968 1969 1970
	return res;
}

H
Herbert Xu 已提交
1971 1972
int xfrm_init_state(struct xfrm_state *x)
{
1973
	struct xfrm_state_afinfo *afinfo;
1974
	struct xfrm_mode *inner_mode;
1975
	int family = x->props.family;
H
Herbert Xu 已提交
1976 1977
	int err;

1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992
	err = -EAFNOSUPPORT;
	afinfo = xfrm_state_get_afinfo(family);
	if (!afinfo)
		goto error;

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

	xfrm_state_put_afinfo(afinfo);

	if (err)
		goto error;

	err = -EPROTONOSUPPORT;
1993

1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007
	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;
2008
		int iafamily = AF_INET;
2009

2010
		inner_mode = xfrm_get_mode(x->props.mode, x->props.family);
2011 2012 2013 2014 2015 2016 2017
		if (inner_mode == NULL)
			goto error;

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

2020 2021
		if (x->props.family == AF_INET)
			iafamily = AF_INET6;
2022

2023 2024 2025 2026 2027 2028
		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);
2029 2030
		}
	}
2031

2032
	x->type = xfrm_get_type(x->id.proto, family);
H
Herbert Xu 已提交
2033 2034 2035 2036 2037 2038 2039
	if (x->type == NULL)
		goto error;

	err = x->type->init_state(x);
	if (err)
		goto error;

2040 2041
	x->outer_mode = xfrm_get_mode(x->props.mode, family);
	if (x->outer_mode == NULL)
2042 2043
		goto error;

H
Herbert Xu 已提交
2044 2045 2046 2047 2048 2049 2050
	x->km.state = XFRM_STATE_VALID;

error:
	return err;
}

EXPORT_SYMBOL(xfrm_init_state);
2051

2052
int __net_init xfrm_state_init(struct net *net)
L
Linus Torvalds 已提交
2053
{
2054 2055
	unsigned int sz;

2056 2057
	INIT_LIST_HEAD(&net->xfrm.state_all);

2058 2059
	sz = sizeof(struct hlist_head) * 8;

2060 2061 2062
	net->xfrm.state_bydst = xfrm_hash_alloc(sz);
	if (!net->xfrm.state_bydst)
		goto out_bydst;
2063 2064 2065
	net->xfrm.state_bysrc = xfrm_hash_alloc(sz);
	if (!net->xfrm.state_bysrc)
		goto out_bysrc;
2066 2067 2068
	net->xfrm.state_byspi = xfrm_hash_alloc(sz);
	if (!net->xfrm.state_byspi)
		goto out_byspi;
2069
	net->xfrm.state_hmask = ((sz / sizeof(struct hlist_head)) - 1);
L
Linus Torvalds 已提交
2070

2071
	net->xfrm.state_num = 0;
2072
	INIT_WORK(&net->xfrm.state_hash_work, xfrm_hash_resize);
2073
	INIT_HLIST_HEAD(&net->xfrm.state_gc_list);
2074
	INIT_WORK(&net->xfrm.state_gc_work, xfrm_state_gc_task);
A
Alexey Dobriyan 已提交
2075
	init_waitqueue_head(&net->xfrm.km_waitq);
2076
	return 0;
2077

2078 2079
out_byspi:
	xfrm_hash_free(net->xfrm.state_bysrc, sz);
2080 2081
out_bysrc:
	xfrm_hash_free(net->xfrm.state_bydst, sz);
2082 2083
out_bydst:
	return -ENOMEM;
2084 2085 2086 2087
}

void xfrm_state_fini(struct net *net)
{
2088
	struct xfrm_audit audit_info;
2089 2090
	unsigned int sz;

2091 2092 2093 2094 2095 2096 2097
	flush_work(&net->xfrm.state_hash_work);
	audit_info.loginuid = -1;
	audit_info.sessionid = -1;
	audit_info.secid = 0;
	xfrm_state_flush(net, IPSEC_PROTO_ANY, &audit_info);
	flush_work(&net->xfrm.state_gc_work);

2098
	WARN_ON(!list_empty(&net->xfrm.state_all));
2099

2100
	sz = (net->xfrm.state_hmask + 1) * sizeof(struct hlist_head);
2101 2102
	WARN_ON(!hlist_empty(net->xfrm.state_byspi));
	xfrm_hash_free(net->xfrm.state_byspi, sz);
2103 2104
	WARN_ON(!hlist_empty(net->xfrm.state_bysrc));
	xfrm_hash_free(net->xfrm.state_bysrc, sz);
2105 2106
	WARN_ON(!hlist_empty(net->xfrm.state_bydst));
	xfrm_hash_free(net->xfrm.state_bydst, sz);
L
Linus Torvalds 已提交
2107 2108
}

J
Joy Latten 已提交
2109
#ifdef CONFIG_AUDITSYSCALL
I
Ilpo Järvinen 已提交
2110 2111
static void xfrm_audit_helper_sainfo(struct xfrm_state *x,
				     struct audit_buffer *audit_buf)
J
Joy Latten 已提交
2112
{
P
Paul Moore 已提交
2113 2114 2115 2116
	struct xfrm_sec_ctx *ctx = x->security;
	u32 spi = ntohl(x->id.spi);

	if (ctx)
J
Joy Latten 已提交
2117
		audit_log_format(audit_buf, " sec_alg=%u sec_doi=%u sec_obj=%s",
P
Paul Moore 已提交
2118
				 ctx->ctx_alg, ctx->ctx_doi, ctx->ctx_str);
J
Joy Latten 已提交
2119 2120 2121

	switch(x->props.family) {
	case AF_INET:
H
Harvey Harrison 已提交
2122 2123
		audit_log_format(audit_buf, " src=%pI4 dst=%pI4",
				 &x->props.saddr.a4, &x->id.daddr.a4);
J
Joy Latten 已提交
2124 2125
		break;
	case AF_INET6:
H
Harvey Harrison 已提交
2126
		audit_log_format(audit_buf, " src=%pI6 dst=%pI6",
2127
				 x->props.saddr.a6, x->id.daddr.a6);
J
Joy Latten 已提交
2128 2129
		break;
	}
P
Paul Moore 已提交
2130 2131

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

I
Ilpo Järvinen 已提交
2134 2135
static void xfrm_audit_helper_pktinfo(struct sk_buff *skb, u16 family,
				      struct audit_buffer *audit_buf)
P
Paul Moore 已提交
2136 2137 2138 2139 2140 2141 2142
{
	struct iphdr *iph4;
	struct ipv6hdr *iph6;

	switch (family) {
	case AF_INET:
		iph4 = ip_hdr(skb);
H
Harvey Harrison 已提交
2143 2144
		audit_log_format(audit_buf, " src=%pI4 dst=%pI4",
				 &iph4->saddr, &iph4->daddr);
P
Paul Moore 已提交
2145 2146 2147 2148
		break;
	case AF_INET6:
		iph6 = ipv6_hdr(skb);
		audit_log_format(audit_buf,
H
Harvey Harrison 已提交
2149
				 " src=%pI6 dst=%pI6 flowlbl=0x%x%02x%02x",
2150
				 &iph6->saddr,&iph6->daddr,
P
Paul Moore 已提交
2151 2152 2153 2154 2155 2156 2157
				 iph6->flow_lbl[0] & 0x0f,
				 iph6->flow_lbl[1],
				 iph6->flow_lbl[2]);
		break;
	}
}

P
Paul Moore 已提交
2158
void xfrm_audit_state_add(struct xfrm_state *x, int result,
2159
			  uid_t auid, u32 sessionid, u32 secid)
J
Joy Latten 已提交
2160 2161 2162
{
	struct audit_buffer *audit_buf;

P
Paul Moore 已提交
2163
	audit_buf = xfrm_audit_start("SAD-add");
J
Joy Latten 已提交
2164 2165
	if (audit_buf == NULL)
		return;
2166
	xfrm_audit_helper_usrinfo(auid, sessionid, secid, audit_buf);
P
Paul Moore 已提交
2167 2168
	xfrm_audit_helper_sainfo(x, audit_buf);
	audit_log_format(audit_buf, " res=%u", result);
J
Joy Latten 已提交
2169 2170 2171 2172
	audit_log_end(audit_buf);
}
EXPORT_SYMBOL_GPL(xfrm_audit_state_add);

P
Paul Moore 已提交
2173
void xfrm_audit_state_delete(struct xfrm_state *x, int result,
2174
			     uid_t auid, u32 sessionid, u32 secid)
J
Joy Latten 已提交
2175 2176 2177
{
	struct audit_buffer *audit_buf;

P
Paul Moore 已提交
2178
	audit_buf = xfrm_audit_start("SAD-delete");
J
Joy Latten 已提交
2179 2180
	if (audit_buf == NULL)
		return;
2181
	xfrm_audit_helper_usrinfo(auid, sessionid, secid, audit_buf);
P
Paul Moore 已提交
2182 2183
	xfrm_audit_helper_sainfo(x, audit_buf);
	audit_log_format(audit_buf, " res=%u", result);
J
Joy Latten 已提交
2184 2185 2186
	audit_log_end(audit_buf);
}
EXPORT_SYMBOL_GPL(xfrm_audit_state_delete);
P
Paul Moore 已提交
2187 2188 2189 2190 2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232 2233 2234 2235 2236 2237 2238 2239 2240 2241 2242 2243 2244 2245 2246 2247 2248 2249 2250 2251 2252 2253 2254 2255 2256 2257 2258 2259 2260 2261 2262 2263 2264 2265 2266 2267 2268 2269

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

static void xfrm_audit_state_replay(struct xfrm_state *x,
			     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);
}

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