blob: 7736b23c3f0386a7c0bab1840425fdb69e7a7cd8 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * xfrm_policy.c
3 *
4 * Changes:
5 * Mitsuru KANDA @USAGI
6 * Kazunori MIYAZAWA @USAGI
7 * Kunihiro Ishiguro <kunihiro@ipinfusion.com>
8 * IPv6 support
9 * Kazunori MIYAZAWA @USAGI
10 * YOSHIFUJI Hideaki
11 * Split up af-specific portion
12 * Derek Atkins <derek@ihtfp.com> Add the post_input processor
Trent Jaegerdf718372005-12-13 23:12:27 -080013 *
Linus Torvalds1da177e2005-04-16 15:20:36 -070014 */
15
Linus Torvalds1da177e2005-04-16 15:20:36 -070016#include <linux/slab.h>
17#include <linux/kmod.h>
18#include <linux/list.h>
19#include <linux/spinlock.h>
20#include <linux/workqueue.h>
21#include <linux/notifier.h>
22#include <linux/netdevice.h>
Patrick McHardyeb9c7eb2006-01-06 23:06:30 -080023#include <linux/netfilter.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070024#include <linux/module.h>
David S. Miller2518c7c2006-08-24 04:45:07 -070025#include <linux/cache.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070026#include <net/xfrm.h>
27#include <net/ip.h>
28
David S. Miller44e36b42006-08-24 04:50:50 -070029#include "xfrm_hash.h"
30
Arjan van de Ven4a3e2f72006-03-20 22:33:17 -080031DEFINE_MUTEX(xfrm_cfg_mutex);
32EXPORT_SYMBOL(xfrm_cfg_mutex);
Linus Torvalds1da177e2005-04-16 15:20:36 -070033
34static DEFINE_RWLOCK(xfrm_policy_lock);
35
David S. Miller2518c7c2006-08-24 04:45:07 -070036unsigned int xfrm_policy_count[XFRM_POLICY_MAX*2];
37EXPORT_SYMBOL(xfrm_policy_count);
Linus Torvalds1da177e2005-04-16 15:20:36 -070038
39static DEFINE_RWLOCK(xfrm_policy_afinfo_lock);
40static struct xfrm_policy_afinfo *xfrm_policy_afinfo[NPROTO];
41
Eric Dumazetba899662005-08-26 12:05:31 -070042static kmem_cache_t *xfrm_dst_cache __read_mostly;
Linus Torvalds1da177e2005-04-16 15:20:36 -070043
44static struct work_struct xfrm_policy_gc_work;
David S. Miller2518c7c2006-08-24 04:45:07 -070045static HLIST_HEAD(xfrm_policy_gc_list);
Linus Torvalds1da177e2005-04-16 15:20:36 -070046static DEFINE_SPINLOCK(xfrm_policy_gc_lock);
47
48static struct xfrm_policy_afinfo *xfrm_policy_get_afinfo(unsigned short family);
49static void xfrm_policy_put_afinfo(struct xfrm_policy_afinfo *afinfo);
Herbert Xu546be242006-05-27 23:03:58 -070050static struct xfrm_policy_afinfo *xfrm_policy_lock_afinfo(unsigned int family);
51static void xfrm_policy_unlock_afinfo(struct xfrm_policy_afinfo *afinfo);
Linus Torvalds1da177e2005-04-16 15:20:36 -070052
53int xfrm_register_type(struct xfrm_type *type, unsigned short family)
54{
Herbert Xu546be242006-05-27 23:03:58 -070055 struct xfrm_policy_afinfo *afinfo = xfrm_policy_lock_afinfo(family);
56 struct xfrm_type **typemap;
Linus Torvalds1da177e2005-04-16 15:20:36 -070057 int err = 0;
58
59 if (unlikely(afinfo == NULL))
60 return -EAFNOSUPPORT;
61 typemap = afinfo->type_map;
62
Herbert Xu546be242006-05-27 23:03:58 -070063 if (likely(typemap[type->proto] == NULL))
64 typemap[type->proto] = type;
Linus Torvalds1da177e2005-04-16 15:20:36 -070065 else
66 err = -EEXIST;
Herbert Xu546be242006-05-27 23:03:58 -070067 xfrm_policy_unlock_afinfo(afinfo);
Linus Torvalds1da177e2005-04-16 15:20:36 -070068 return err;
69}
70EXPORT_SYMBOL(xfrm_register_type);
71
72int xfrm_unregister_type(struct xfrm_type *type, unsigned short family)
73{
Herbert Xu546be242006-05-27 23:03:58 -070074 struct xfrm_policy_afinfo *afinfo = xfrm_policy_lock_afinfo(family);
75 struct xfrm_type **typemap;
Linus Torvalds1da177e2005-04-16 15:20:36 -070076 int err = 0;
77
78 if (unlikely(afinfo == NULL))
79 return -EAFNOSUPPORT;
80 typemap = afinfo->type_map;
81
Herbert Xu546be242006-05-27 23:03:58 -070082 if (unlikely(typemap[type->proto] != type))
Linus Torvalds1da177e2005-04-16 15:20:36 -070083 err = -ENOENT;
84 else
Herbert Xu546be242006-05-27 23:03:58 -070085 typemap[type->proto] = NULL;
86 xfrm_policy_unlock_afinfo(afinfo);
Linus Torvalds1da177e2005-04-16 15:20:36 -070087 return err;
88}
89EXPORT_SYMBOL(xfrm_unregister_type);
90
91struct xfrm_type *xfrm_get_type(u8 proto, unsigned short family)
92{
93 struct xfrm_policy_afinfo *afinfo;
Herbert Xu546be242006-05-27 23:03:58 -070094 struct xfrm_type **typemap;
Linus Torvalds1da177e2005-04-16 15:20:36 -070095 struct xfrm_type *type;
96 int modload_attempted = 0;
97
98retry:
99 afinfo = xfrm_policy_get_afinfo(family);
100 if (unlikely(afinfo == NULL))
101 return NULL;
102 typemap = afinfo->type_map;
103
Herbert Xu546be242006-05-27 23:03:58 -0700104 type = typemap[proto];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700105 if (unlikely(type && !try_module_get(type->owner)))
106 type = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700107 if (!type && !modload_attempted) {
108 xfrm_policy_put_afinfo(afinfo);
109 request_module("xfrm-type-%d-%d",
110 (int) family, (int) proto);
111 modload_attempted = 1;
112 goto retry;
113 }
114
115 xfrm_policy_put_afinfo(afinfo);
116 return type;
117}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700118
119int xfrm_dst_lookup(struct xfrm_dst **dst, struct flowi *fl,
120 unsigned short family)
121{
122 struct xfrm_policy_afinfo *afinfo = xfrm_policy_get_afinfo(family);
123 int err = 0;
124
125 if (unlikely(afinfo == NULL))
126 return -EAFNOSUPPORT;
127
128 if (likely(afinfo->dst_lookup != NULL))
129 err = afinfo->dst_lookup(dst, fl);
130 else
131 err = -EINVAL;
132 xfrm_policy_put_afinfo(afinfo);
133 return err;
134}
135EXPORT_SYMBOL(xfrm_dst_lookup);
136
137void xfrm_put_type(struct xfrm_type *type)
138{
139 module_put(type->owner);
140}
141
Herbert Xub59f45d2006-05-27 23:05:54 -0700142int xfrm_register_mode(struct xfrm_mode *mode, int family)
143{
144 struct xfrm_policy_afinfo *afinfo;
145 struct xfrm_mode **modemap;
146 int err;
147
148 if (unlikely(mode->encap >= XFRM_MODE_MAX))
149 return -EINVAL;
150
151 afinfo = xfrm_policy_lock_afinfo(family);
152 if (unlikely(afinfo == NULL))
153 return -EAFNOSUPPORT;
154
155 err = -EEXIST;
156 modemap = afinfo->mode_map;
157 if (likely(modemap[mode->encap] == NULL)) {
158 modemap[mode->encap] = mode;
159 err = 0;
160 }
161
162 xfrm_policy_unlock_afinfo(afinfo);
163 return err;
164}
165EXPORT_SYMBOL(xfrm_register_mode);
166
167int xfrm_unregister_mode(struct xfrm_mode *mode, int family)
168{
169 struct xfrm_policy_afinfo *afinfo;
170 struct xfrm_mode **modemap;
171 int err;
172
173 if (unlikely(mode->encap >= XFRM_MODE_MAX))
174 return -EINVAL;
175
176 afinfo = xfrm_policy_lock_afinfo(family);
177 if (unlikely(afinfo == NULL))
178 return -EAFNOSUPPORT;
179
180 err = -ENOENT;
181 modemap = afinfo->mode_map;
182 if (likely(modemap[mode->encap] == mode)) {
183 modemap[mode->encap] = NULL;
184 err = 0;
185 }
186
187 xfrm_policy_unlock_afinfo(afinfo);
188 return err;
189}
190EXPORT_SYMBOL(xfrm_unregister_mode);
191
192struct xfrm_mode *xfrm_get_mode(unsigned int encap, int family)
193{
194 struct xfrm_policy_afinfo *afinfo;
195 struct xfrm_mode *mode;
196 int modload_attempted = 0;
197
198 if (unlikely(encap >= XFRM_MODE_MAX))
199 return NULL;
200
201retry:
202 afinfo = xfrm_policy_get_afinfo(family);
203 if (unlikely(afinfo == NULL))
204 return NULL;
205
206 mode = afinfo->mode_map[encap];
207 if (unlikely(mode && !try_module_get(mode->owner)))
208 mode = NULL;
209 if (!mode && !modload_attempted) {
210 xfrm_policy_put_afinfo(afinfo);
211 request_module("xfrm-mode-%d-%d", family, encap);
212 modload_attempted = 1;
213 goto retry;
214 }
215
216 xfrm_policy_put_afinfo(afinfo);
217 return mode;
218}
219
220void xfrm_put_mode(struct xfrm_mode *mode)
221{
222 module_put(mode->owner);
223}
224
Linus Torvalds1da177e2005-04-16 15:20:36 -0700225static inline unsigned long make_jiffies(long secs)
226{
227 if (secs >= (MAX_SCHEDULE_TIMEOUT-1)/HZ)
228 return MAX_SCHEDULE_TIMEOUT-1;
229 else
230 return secs*HZ;
231}
232
233static void xfrm_policy_timer(unsigned long data)
234{
235 struct xfrm_policy *xp = (struct xfrm_policy*)data;
236 unsigned long now = (unsigned long)xtime.tv_sec;
237 long next = LONG_MAX;
238 int warn = 0;
239 int dir;
240
241 read_lock(&xp->lock);
242
243 if (xp->dead)
244 goto out;
245
Herbert Xu77d8d7a2005-10-05 12:15:12 -0700246 dir = xfrm_policy_id2dir(xp->index);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700247
248 if (xp->lft.hard_add_expires_seconds) {
249 long tmo = xp->lft.hard_add_expires_seconds +
250 xp->curlft.add_time - now;
251 if (tmo <= 0)
252 goto expired;
253 if (tmo < next)
254 next = tmo;
255 }
256 if (xp->lft.hard_use_expires_seconds) {
257 long tmo = xp->lft.hard_use_expires_seconds +
258 (xp->curlft.use_time ? : xp->curlft.add_time) - now;
259 if (tmo <= 0)
260 goto expired;
261 if (tmo < next)
262 next = tmo;
263 }
264 if (xp->lft.soft_add_expires_seconds) {
265 long tmo = xp->lft.soft_add_expires_seconds +
266 xp->curlft.add_time - now;
267 if (tmo <= 0) {
268 warn = 1;
269 tmo = XFRM_KM_TIMEOUT;
270 }
271 if (tmo < next)
272 next = tmo;
273 }
274 if (xp->lft.soft_use_expires_seconds) {
275 long tmo = xp->lft.soft_use_expires_seconds +
276 (xp->curlft.use_time ? : xp->curlft.add_time) - now;
277 if (tmo <= 0) {
278 warn = 1;
279 tmo = XFRM_KM_TIMEOUT;
280 }
281 if (tmo < next)
282 next = tmo;
283 }
284
285 if (warn)
Jamal Hadi Salim6c5c8ca2006-03-20 19:17:25 -0800286 km_policy_expired(xp, dir, 0, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700287 if (next != LONG_MAX &&
288 !mod_timer(&xp->timer, jiffies + make_jiffies(next)))
289 xfrm_pol_hold(xp);
290
291out:
292 read_unlock(&xp->lock);
293 xfrm_pol_put(xp);
294 return;
295
296expired:
297 read_unlock(&xp->lock);
Herbert Xu4666faa2005-06-18 22:43:22 -0700298 if (!xfrm_policy_delete(xp, dir))
Jamal Hadi Salim6c5c8ca2006-03-20 19:17:25 -0800299 km_policy_expired(xp, dir, 1, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700300 xfrm_pol_put(xp);
301}
302
303
304/* Allocate xfrm_policy. Not used here, it is supposed to be used by pfkeyv2
305 * SPD calls.
306 */
307
Al Virodd0fc662005-10-07 07:46:04 +0100308struct xfrm_policy *xfrm_policy_alloc(gfp_t gfp)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700309{
310 struct xfrm_policy *policy;
311
Panagiotis Issaris0da974f2006-07-21 14:51:30 -0700312 policy = kzalloc(sizeof(struct xfrm_policy), gfp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700313
314 if (policy) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700315 INIT_HLIST_NODE(&policy->bydst);
316 INIT_HLIST_NODE(&policy->byidx);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700317 rwlock_init(&policy->lock);
David S. Miller2518c7c2006-08-24 04:45:07 -0700318 atomic_set(&policy->refcnt, 1);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700319 init_timer(&policy->timer);
320 policy->timer.data = (unsigned long)policy;
321 policy->timer.function = xfrm_policy_timer;
322 }
323 return policy;
324}
325EXPORT_SYMBOL(xfrm_policy_alloc);
326
327/* Destroy xfrm_policy: descendant resources must be released to this moment. */
328
329void __xfrm_policy_destroy(struct xfrm_policy *policy)
330{
Kris Katterjohn09a62662006-01-08 22:24:28 -0800331 BUG_ON(!policy->dead);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700332
Kris Katterjohn09a62662006-01-08 22:24:28 -0800333 BUG_ON(policy->bundles);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700334
335 if (del_timer(&policy->timer))
336 BUG();
337
Trent Jaegerdf718372005-12-13 23:12:27 -0800338 security_xfrm_policy_free(policy);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700339 kfree(policy);
340}
341EXPORT_SYMBOL(__xfrm_policy_destroy);
342
343static void xfrm_policy_gc_kill(struct xfrm_policy *policy)
344{
345 struct dst_entry *dst;
346
347 while ((dst = policy->bundles) != NULL) {
348 policy->bundles = dst->next;
349 dst_free(dst);
350 }
351
352 if (del_timer(&policy->timer))
353 atomic_dec(&policy->refcnt);
354
355 if (atomic_read(&policy->refcnt) > 1)
356 flow_cache_flush();
357
358 xfrm_pol_put(policy);
359}
360
361static void xfrm_policy_gc_task(void *data)
362{
363 struct xfrm_policy *policy;
David S. Miller2518c7c2006-08-24 04:45:07 -0700364 struct hlist_node *entry, *tmp;
365 struct hlist_head gc_list;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700366
367 spin_lock_bh(&xfrm_policy_gc_lock);
David S. Miller2518c7c2006-08-24 04:45:07 -0700368 gc_list.first = xfrm_policy_gc_list.first;
369 INIT_HLIST_HEAD(&xfrm_policy_gc_list);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700370 spin_unlock_bh(&xfrm_policy_gc_lock);
371
David S. Miller2518c7c2006-08-24 04:45:07 -0700372 hlist_for_each_entry_safe(policy, entry, tmp, &gc_list, bydst)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700373 xfrm_policy_gc_kill(policy);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700374}
375
376/* Rule must be locked. Release descentant resources, announce
377 * entry dead. The rule must be unlinked from lists to the moment.
378 */
379
380static void xfrm_policy_kill(struct xfrm_policy *policy)
381{
382 int dead;
383
384 write_lock_bh(&policy->lock);
385 dead = policy->dead;
386 policy->dead = 1;
387 write_unlock_bh(&policy->lock);
388
389 if (unlikely(dead)) {
390 WARN_ON(1);
391 return;
392 }
393
394 spin_lock(&xfrm_policy_gc_lock);
David S. Miller2518c7c2006-08-24 04:45:07 -0700395 hlist_add_head(&policy->bydst, &xfrm_policy_gc_list);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700396 spin_unlock(&xfrm_policy_gc_lock);
397
398 schedule_work(&xfrm_policy_gc_work);
399}
400
David S. Miller2518c7c2006-08-24 04:45:07 -0700401struct xfrm_policy_hash {
402 struct hlist_head *table;
403 unsigned int hmask;
404};
405
406static struct hlist_head xfrm_policy_inexact[XFRM_POLICY_MAX*2];
407static struct xfrm_policy_hash xfrm_policy_bydst[XFRM_POLICY_MAX*2] __read_mostly;
408static struct hlist_head *xfrm_policy_byidx __read_mostly;
409static unsigned int xfrm_idx_hmask __read_mostly;
410static unsigned int xfrm_policy_hashmax __read_mostly = 1 * 1024 * 1024;
411
David S. Miller2518c7c2006-08-24 04:45:07 -0700412static inline unsigned int idx_hash(u32 index)
413{
414 return __idx_hash(index, xfrm_idx_hmask);
415}
416
David S. Miller2518c7c2006-08-24 04:45:07 -0700417static struct hlist_head *policy_hash_bysel(struct xfrm_selector *sel, unsigned short family, int dir)
418{
419 unsigned int hmask = xfrm_policy_bydst[dir].hmask;
420 unsigned int hash = __sel_hash(sel, family, hmask);
421
422 return (hash == hmask + 1 ?
423 &xfrm_policy_inexact[dir] :
424 xfrm_policy_bydst[dir].table + hash);
425}
426
427static struct hlist_head *policy_hash_direct(xfrm_address_t *daddr, xfrm_address_t *saddr, unsigned short family, int dir)
428{
429 unsigned int hmask = xfrm_policy_bydst[dir].hmask;
430 unsigned int hash = __addr_hash(daddr, saddr, family, hmask);
431
432 return xfrm_policy_bydst[dir].table + hash;
433}
434
David S. Miller2518c7c2006-08-24 04:45:07 -0700435static void xfrm_dst_hash_transfer(struct hlist_head *list,
436 struct hlist_head *ndsttable,
437 unsigned int nhashmask)
438{
439 struct hlist_node *entry, *tmp;
440 struct xfrm_policy *pol;
441
442 hlist_for_each_entry_safe(pol, entry, tmp, list, bydst) {
443 unsigned int h;
444
445 h = __addr_hash(&pol->selector.daddr, &pol->selector.saddr,
446 pol->family, nhashmask);
447 hlist_add_head(&pol->bydst, ndsttable+h);
448 }
449}
450
451static void xfrm_idx_hash_transfer(struct hlist_head *list,
452 struct hlist_head *nidxtable,
453 unsigned int nhashmask)
454{
455 struct hlist_node *entry, *tmp;
456 struct xfrm_policy *pol;
457
458 hlist_for_each_entry_safe(pol, entry, tmp, list, byidx) {
459 unsigned int h;
460
461 h = __idx_hash(pol->index, nhashmask);
462 hlist_add_head(&pol->byidx, nidxtable+h);
463 }
464}
465
466static unsigned long xfrm_new_hash_mask(unsigned int old_hmask)
467{
468 return ((old_hmask + 1) << 1) - 1;
469}
470
471static void xfrm_bydst_resize(int dir)
472{
473 unsigned int hmask = xfrm_policy_bydst[dir].hmask;
474 unsigned int nhashmask = xfrm_new_hash_mask(hmask);
475 unsigned int nsize = (nhashmask + 1) * sizeof(struct hlist_head);
476 struct hlist_head *odst = xfrm_policy_bydst[dir].table;
David S. Miller44e36b42006-08-24 04:50:50 -0700477 struct hlist_head *ndst = xfrm_hash_alloc(nsize);
David S. Miller2518c7c2006-08-24 04:45:07 -0700478 int i;
479
480 if (!ndst)
481 return;
482
483 write_lock_bh(&xfrm_policy_lock);
484
485 for (i = hmask; i >= 0; i--)
486 xfrm_dst_hash_transfer(odst + i, ndst, nhashmask);
487
488 xfrm_policy_bydst[dir].table = ndst;
489 xfrm_policy_bydst[dir].hmask = nhashmask;
490
491 write_unlock_bh(&xfrm_policy_lock);
492
David S. Miller44e36b42006-08-24 04:50:50 -0700493 xfrm_hash_free(odst, (hmask + 1) * sizeof(struct hlist_head));
David S. Miller2518c7c2006-08-24 04:45:07 -0700494}
495
496static void xfrm_byidx_resize(int total)
497{
498 unsigned int hmask = xfrm_idx_hmask;
499 unsigned int nhashmask = xfrm_new_hash_mask(hmask);
500 unsigned int nsize = (nhashmask + 1) * sizeof(struct hlist_head);
501 struct hlist_head *oidx = xfrm_policy_byidx;
David S. Miller44e36b42006-08-24 04:50:50 -0700502 struct hlist_head *nidx = xfrm_hash_alloc(nsize);
David S. Miller2518c7c2006-08-24 04:45:07 -0700503 int i;
504
505 if (!nidx)
506 return;
507
508 write_lock_bh(&xfrm_policy_lock);
509
510 for (i = hmask; i >= 0; i--)
511 xfrm_idx_hash_transfer(oidx + i, nidx, nhashmask);
512
513 xfrm_policy_byidx = nidx;
514 xfrm_idx_hmask = nhashmask;
515
516 write_unlock_bh(&xfrm_policy_lock);
517
David S. Miller44e36b42006-08-24 04:50:50 -0700518 xfrm_hash_free(oidx, (hmask + 1) * sizeof(struct hlist_head));
David S. Miller2518c7c2006-08-24 04:45:07 -0700519}
520
521static inline int xfrm_bydst_should_resize(int dir, int *total)
522{
523 unsigned int cnt = xfrm_policy_count[dir];
524 unsigned int hmask = xfrm_policy_bydst[dir].hmask;
525
526 if (total)
527 *total += cnt;
528
529 if ((hmask + 1) < xfrm_policy_hashmax &&
530 cnt > hmask)
531 return 1;
532
533 return 0;
534}
535
536static inline int xfrm_byidx_should_resize(int total)
537{
538 unsigned int hmask = xfrm_idx_hmask;
539
540 if ((hmask + 1) < xfrm_policy_hashmax &&
541 total > hmask)
542 return 1;
543
544 return 0;
545}
546
547static DEFINE_MUTEX(hash_resize_mutex);
548
549static void xfrm_hash_resize(void *__unused)
550{
551 int dir, total;
552
553 mutex_lock(&hash_resize_mutex);
554
555 total = 0;
556 for (dir = 0; dir < XFRM_POLICY_MAX * 2; dir++) {
557 if (xfrm_bydst_should_resize(dir, &total))
558 xfrm_bydst_resize(dir);
559 }
560 if (xfrm_byidx_should_resize(total))
561 xfrm_byidx_resize(total);
562
563 mutex_unlock(&hash_resize_mutex);
564}
565
566static DECLARE_WORK(xfrm_hash_work, xfrm_hash_resize, NULL);
567
Linus Torvalds1da177e2005-04-16 15:20:36 -0700568/* Generate new index... KAME seems to generate them ordered by cost
569 * of an absolute inpredictability of ordering of rules. This will not pass. */
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -0700570static u32 xfrm_gen_index(u8 type, int dir)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700571{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700572 static u32 idx_generator;
573
574 for (;;) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700575 struct hlist_node *entry;
576 struct hlist_head *list;
577 struct xfrm_policy *p;
578 u32 idx;
579 int found;
580
Linus Torvalds1da177e2005-04-16 15:20:36 -0700581 idx = (idx_generator | dir);
582 idx_generator += 8;
583 if (idx == 0)
584 idx = 8;
David S. Miller2518c7c2006-08-24 04:45:07 -0700585 list = xfrm_policy_byidx + idx_hash(idx);
586 found = 0;
587 hlist_for_each_entry(p, entry, list, byidx) {
588 if (p->index == idx) {
589 found = 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700590 break;
David S. Miller2518c7c2006-08-24 04:45:07 -0700591 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700592 }
David S. Miller2518c7c2006-08-24 04:45:07 -0700593 if (!found)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700594 return idx;
595 }
596}
597
David S. Miller2518c7c2006-08-24 04:45:07 -0700598static inline int selector_cmp(struct xfrm_selector *s1, struct xfrm_selector *s2)
599{
600 u32 *p1 = (u32 *) s1;
601 u32 *p2 = (u32 *) s2;
602 int len = sizeof(struct xfrm_selector) / sizeof(u32);
603 int i;
604
605 for (i = 0; i < len; i++) {
606 if (p1[i] != p2[i])
607 return 1;
608 }
609
610 return 0;
611}
612
Linus Torvalds1da177e2005-04-16 15:20:36 -0700613int xfrm_policy_insert(int dir, struct xfrm_policy *policy, int excl)
614{
David S. Miller2518c7c2006-08-24 04:45:07 -0700615 struct xfrm_policy *pol;
616 struct xfrm_policy *delpol;
617 struct hlist_head *chain;
618 struct hlist_node *entry, *newpos, *last;
David S. Miller9b78a822005-12-22 07:39:48 -0800619 struct dst_entry *gc_list;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700620
621 write_lock_bh(&xfrm_policy_lock);
David S. Miller2518c7c2006-08-24 04:45:07 -0700622 chain = policy_hash_bysel(&policy->selector, policy->family, dir);
623 delpol = NULL;
624 newpos = NULL;
625 last = NULL;
626 hlist_for_each_entry(pol, entry, chain, bydst) {
627 if (!delpol &&
628 pol->type == policy->type &&
629 !selector_cmp(&pol->selector, &policy->selector) &&
Trent Jaegerdf718372005-12-13 23:12:27 -0800630 xfrm_sec_ctx_match(pol->security, policy->security)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700631 if (excl) {
632 write_unlock_bh(&xfrm_policy_lock);
633 return -EEXIST;
634 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700635 delpol = pol;
636 if (policy->priority > pol->priority)
637 continue;
638 } else if (policy->priority >= pol->priority) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700639 last = &pol->bydst;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700640 continue;
641 }
642 if (!newpos)
David S. Miller2518c7c2006-08-24 04:45:07 -0700643 newpos = &pol->bydst;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700644 if (delpol)
645 break;
David S. Miller2518c7c2006-08-24 04:45:07 -0700646 last = &pol->bydst;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700647 }
David S. Miller2518c7c2006-08-24 04:45:07 -0700648 if (!newpos)
649 newpos = last;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700650 if (newpos)
David S. Miller2518c7c2006-08-24 04:45:07 -0700651 hlist_add_after(newpos, &policy->bydst);
652 else
653 hlist_add_head(&policy->bydst, chain);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700654 xfrm_pol_hold(policy);
David S. Miller2518c7c2006-08-24 04:45:07 -0700655 xfrm_policy_count[dir]++;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700656 atomic_inc(&flow_cache_genid);
David S. Miller2518c7c2006-08-24 04:45:07 -0700657 if (delpol) {
658 hlist_del(&delpol->bydst);
659 hlist_del(&delpol->byidx);
660 xfrm_policy_count[dir]--;
661 }
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -0700662 policy->index = delpol ? delpol->index : xfrm_gen_index(policy->type, dir);
David S. Miller2518c7c2006-08-24 04:45:07 -0700663 hlist_add_head(&policy->byidx, xfrm_policy_byidx+idx_hash(policy->index));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700664 policy->curlft.add_time = (unsigned long)xtime.tv_sec;
665 policy->curlft.use_time = 0;
666 if (!mod_timer(&policy->timer, jiffies + HZ))
667 xfrm_pol_hold(policy);
668 write_unlock_bh(&xfrm_policy_lock);
669
David S. Miller9b78a822005-12-22 07:39:48 -0800670 if (delpol)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700671 xfrm_policy_kill(delpol);
David S. Miller2518c7c2006-08-24 04:45:07 -0700672 else if (xfrm_bydst_should_resize(dir, NULL))
673 schedule_work(&xfrm_hash_work);
David S. Miller9b78a822005-12-22 07:39:48 -0800674
675 read_lock_bh(&xfrm_policy_lock);
676 gc_list = NULL;
David S. Miller2518c7c2006-08-24 04:45:07 -0700677 entry = &policy->bydst;
678 hlist_for_each_entry_continue(policy, entry, bydst) {
David S. Miller9b78a822005-12-22 07:39:48 -0800679 struct dst_entry *dst;
680
681 write_lock(&policy->lock);
682 dst = policy->bundles;
683 if (dst) {
684 struct dst_entry *tail = dst;
685 while (tail->next)
686 tail = tail->next;
687 tail->next = gc_list;
688 gc_list = dst;
689
690 policy->bundles = NULL;
691 }
692 write_unlock(&policy->lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700693 }
David S. Miller9b78a822005-12-22 07:39:48 -0800694 read_unlock_bh(&xfrm_policy_lock);
695
696 while (gc_list) {
697 struct dst_entry *dst = gc_list;
698
699 gc_list = dst->next;
700 dst_free(dst);
701 }
702
Linus Torvalds1da177e2005-04-16 15:20:36 -0700703 return 0;
704}
705EXPORT_SYMBOL(xfrm_policy_insert);
706
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -0700707struct xfrm_policy *xfrm_policy_bysel_ctx(u8 type, int dir,
708 struct xfrm_selector *sel,
Trent Jaegerdf718372005-12-13 23:12:27 -0800709 struct xfrm_sec_ctx *ctx, int delete)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700710{
David S. Miller2518c7c2006-08-24 04:45:07 -0700711 struct xfrm_policy *pol, *ret;
712 struct hlist_head *chain;
713 struct hlist_node *entry;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700714
715 write_lock_bh(&xfrm_policy_lock);
David S. Miller2518c7c2006-08-24 04:45:07 -0700716 chain = policy_hash_bysel(sel, sel->family, dir);
717 ret = NULL;
718 hlist_for_each_entry(pol, entry, chain, bydst) {
719 if (pol->type == type &&
720 !selector_cmp(sel, &pol->selector) &&
721 xfrm_sec_ctx_match(ctx, pol->security)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700722 xfrm_pol_hold(pol);
David S. Miller2518c7c2006-08-24 04:45:07 -0700723 if (delete) {
724 hlist_del(&pol->bydst);
725 hlist_del(&pol->byidx);
726 xfrm_policy_count[dir]--;
727 }
728 ret = pol;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700729 break;
730 }
731 }
732 write_unlock_bh(&xfrm_policy_lock);
733
David S. Miller2518c7c2006-08-24 04:45:07 -0700734 if (ret && delete) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700735 atomic_inc(&flow_cache_genid);
David S. Miller2518c7c2006-08-24 04:45:07 -0700736 xfrm_policy_kill(ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700737 }
David S. Miller2518c7c2006-08-24 04:45:07 -0700738 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700739}
Trent Jaegerdf718372005-12-13 23:12:27 -0800740EXPORT_SYMBOL(xfrm_policy_bysel_ctx);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700741
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -0700742struct xfrm_policy *xfrm_policy_byid(u8 type, int dir, u32 id, int delete)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700743{
David S. Miller2518c7c2006-08-24 04:45:07 -0700744 struct xfrm_policy *pol, *ret;
745 struct hlist_head *chain;
746 struct hlist_node *entry;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700747
748 write_lock_bh(&xfrm_policy_lock);
David S. Miller2518c7c2006-08-24 04:45:07 -0700749 chain = xfrm_policy_byidx + idx_hash(id);
750 ret = NULL;
751 hlist_for_each_entry(pol, entry, chain, byidx) {
752 if (pol->type == type && pol->index == id) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700753 xfrm_pol_hold(pol);
David S. Miller2518c7c2006-08-24 04:45:07 -0700754 if (delete) {
755 hlist_del(&pol->bydst);
756 hlist_del(&pol->byidx);
757 xfrm_policy_count[dir]--;
758 }
759 ret = pol;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700760 break;
761 }
762 }
763 write_unlock_bh(&xfrm_policy_lock);
764
David S. Miller2518c7c2006-08-24 04:45:07 -0700765 if (ret && delete) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700766 atomic_inc(&flow_cache_genid);
David S. Miller2518c7c2006-08-24 04:45:07 -0700767 xfrm_policy_kill(ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700768 }
David S. Miller2518c7c2006-08-24 04:45:07 -0700769 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700770}
771EXPORT_SYMBOL(xfrm_policy_byid);
772
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -0700773void xfrm_policy_flush(u8 type)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700774{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700775 int dir;
776
777 write_lock_bh(&xfrm_policy_lock);
778 for (dir = 0; dir < XFRM_POLICY_MAX; dir++) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700779 struct xfrm_policy *pol;
780 struct hlist_node *entry;
David S. Millerae8c0572006-10-03 16:00:26 -0700781 int i, killed;
David S. Miller2518c7c2006-08-24 04:45:07 -0700782
David S. Millerae8c0572006-10-03 16:00:26 -0700783 killed = 0;
David S. Miller2518c7c2006-08-24 04:45:07 -0700784 again1:
785 hlist_for_each_entry(pol, entry,
786 &xfrm_policy_inexact[dir], bydst) {
787 if (pol->type != type)
788 continue;
789 hlist_del(&pol->bydst);
790 hlist_del(&pol->byidx);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700791 write_unlock_bh(&xfrm_policy_lock);
792
David S. Miller2518c7c2006-08-24 04:45:07 -0700793 xfrm_policy_kill(pol);
David S. Millerae8c0572006-10-03 16:00:26 -0700794 killed++;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700795
796 write_lock_bh(&xfrm_policy_lock);
David S. Miller2518c7c2006-08-24 04:45:07 -0700797 goto again1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700798 }
David S. Miller2518c7c2006-08-24 04:45:07 -0700799
800 for (i = xfrm_policy_bydst[dir].hmask; i >= 0; i--) {
801 again2:
802 hlist_for_each_entry(pol, entry,
803 xfrm_policy_bydst[dir].table + i,
804 bydst) {
805 if (pol->type != type)
806 continue;
807 hlist_del(&pol->bydst);
808 hlist_del(&pol->byidx);
809 write_unlock_bh(&xfrm_policy_lock);
810
811 xfrm_policy_kill(pol);
David S. Millerae8c0572006-10-03 16:00:26 -0700812 killed++;
David S. Miller2518c7c2006-08-24 04:45:07 -0700813
814 write_lock_bh(&xfrm_policy_lock);
815 goto again2;
816 }
817 }
818
David S. Millerae8c0572006-10-03 16:00:26 -0700819 xfrm_policy_count[dir] -= killed;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700820 }
821 atomic_inc(&flow_cache_genid);
822 write_unlock_bh(&xfrm_policy_lock);
823}
824EXPORT_SYMBOL(xfrm_policy_flush);
825
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -0700826int xfrm_policy_walk(u8 type, int (*func)(struct xfrm_policy *, int, int, void*),
Linus Torvalds1da177e2005-04-16 15:20:36 -0700827 void *data)
828{
David S. Miller2518c7c2006-08-24 04:45:07 -0700829 struct xfrm_policy *pol;
830 struct hlist_node *entry;
831 int dir, count, error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700832
833 read_lock_bh(&xfrm_policy_lock);
David S. Miller2518c7c2006-08-24 04:45:07 -0700834 count = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700835 for (dir = 0; dir < 2*XFRM_POLICY_MAX; dir++) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700836 struct hlist_head *table = xfrm_policy_bydst[dir].table;
837 int i;
838
839 hlist_for_each_entry(pol, entry,
840 &xfrm_policy_inexact[dir], bydst) {
841 if (pol->type == type)
842 count++;
843 }
844 for (i = xfrm_policy_bydst[dir].hmask; i >= 0; i--) {
845 hlist_for_each_entry(pol, entry, table + i, bydst) {
846 if (pol->type == type)
847 count++;
848 }
849 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700850 }
851
852 if (count == 0) {
853 error = -ENOENT;
854 goto out;
855 }
856
857 for (dir = 0; dir < 2*XFRM_POLICY_MAX; dir++) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700858 struct hlist_head *table = xfrm_policy_bydst[dir].table;
859 int i;
860
861 hlist_for_each_entry(pol, entry,
862 &xfrm_policy_inexact[dir], bydst) {
863 if (pol->type != type)
864 continue;
865 error = func(pol, dir % XFRM_POLICY_MAX, --count, data);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700866 if (error)
867 goto out;
868 }
David S. Miller2518c7c2006-08-24 04:45:07 -0700869 for (i = xfrm_policy_bydst[dir].hmask; i >= 0; i--) {
870 hlist_for_each_entry(pol, entry, table + i, bydst) {
871 if (pol->type != type)
872 continue;
873 error = func(pol, dir % XFRM_POLICY_MAX, --count, data);
874 if (error)
875 goto out;
876 }
877 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700878 }
David S. Miller2518c7c2006-08-24 04:45:07 -0700879 error = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700880out:
881 read_unlock_bh(&xfrm_policy_lock);
882 return error;
883}
884EXPORT_SYMBOL(xfrm_policy_walk);
885
James Morris134b0fc2006-10-05 15:42:27 -0500886/*
887 * Find policy to apply to this flow.
888 *
889 * Returns 0 if policy found, else an -errno.
890 */
David S. Miller2518c7c2006-08-24 04:45:07 -0700891static int xfrm_policy_match(struct xfrm_policy *pol, struct flowi *fl,
892 u8 type, u16 family, int dir)
893{
894 struct xfrm_selector *sel = &pol->selector;
James Morris134b0fc2006-10-05 15:42:27 -0500895 int match, ret = -ESRCH;
David S. Miller2518c7c2006-08-24 04:45:07 -0700896
897 if (pol->family != family ||
898 pol->type != type)
James Morris134b0fc2006-10-05 15:42:27 -0500899 return ret;
David S. Miller2518c7c2006-08-24 04:45:07 -0700900
901 match = xfrm_selector_match(sel, fl, family);
James Morris134b0fc2006-10-05 15:42:27 -0500902 if (match)
903 ret = security_xfrm_policy_lookup(pol, fl->secid, dir);
David S. Miller2518c7c2006-08-24 04:45:07 -0700904
James Morris134b0fc2006-10-05 15:42:27 -0500905 return ret;
David S. Miller2518c7c2006-08-24 04:45:07 -0700906}
907
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -0700908static struct xfrm_policy *xfrm_policy_lookup_bytype(u8 type, struct flowi *fl,
909 u16 family, u8 dir)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700910{
James Morris134b0fc2006-10-05 15:42:27 -0500911 int err;
David S. Miller2518c7c2006-08-24 04:45:07 -0700912 struct xfrm_policy *pol, *ret;
913 xfrm_address_t *daddr, *saddr;
914 struct hlist_node *entry;
915 struct hlist_head *chain;
David S. Milleracba48e2006-08-25 15:46:46 -0700916 u32 priority = ~0U;
David S. Miller2518c7c2006-08-24 04:45:07 -0700917
918 daddr = xfrm_flowi_daddr(fl, family);
919 saddr = xfrm_flowi_saddr(fl, family);
920 if (unlikely(!daddr || !saddr))
921 return NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700922
923 read_lock_bh(&xfrm_policy_lock);
David S. Miller2518c7c2006-08-24 04:45:07 -0700924 chain = policy_hash_direct(daddr, saddr, family, dir);
925 ret = NULL;
926 hlist_for_each_entry(pol, entry, chain, bydst) {
James Morris134b0fc2006-10-05 15:42:27 -0500927 err = xfrm_policy_match(pol, fl, type, family, dir);
928 if (err) {
929 if (err == -ESRCH)
930 continue;
931 else {
932 ret = ERR_PTR(err);
933 goto fail;
934 }
935 } else {
David S. Milleracba48e2006-08-25 15:46:46 -0700936 ret = pol;
937 priority = ret->priority;
938 break;
939 }
940 }
941 chain = &xfrm_policy_inexact[dir];
942 hlist_for_each_entry(pol, entry, chain, bydst) {
James Morris134b0fc2006-10-05 15:42:27 -0500943 err = xfrm_policy_match(pol, fl, type, family, dir);
944 if (err) {
945 if (err == -ESRCH)
946 continue;
947 else {
948 ret = ERR_PTR(err);
949 goto fail;
950 }
951 } else if (pol->priority < priority) {
David S. Miller2518c7c2006-08-24 04:45:07 -0700952 ret = pol;
953 break;
954 }
955 }
David S. Milleracba48e2006-08-25 15:46:46 -0700956 if (ret)
957 xfrm_pol_hold(ret);
James Morris134b0fc2006-10-05 15:42:27 -0500958fail:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700959 read_unlock_bh(&xfrm_policy_lock);
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -0700960
David S. Miller2518c7c2006-08-24 04:45:07 -0700961 return ret;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -0700962}
963
James Morris134b0fc2006-10-05 15:42:27 -0500964static int xfrm_policy_lookup(struct flowi *fl, u16 family, u8 dir,
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -0700965 void **objp, atomic_t **obj_refp)
966{
967 struct xfrm_policy *pol;
James Morris134b0fc2006-10-05 15:42:27 -0500968 int err = 0;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -0700969
970#ifdef CONFIG_XFRM_SUB_POLICY
971 pol = xfrm_policy_lookup_bytype(XFRM_POLICY_TYPE_SUB, fl, family, dir);
James Morris134b0fc2006-10-05 15:42:27 -0500972 if (IS_ERR(pol)) {
973 err = PTR_ERR(pol);
974 pol = NULL;
975 }
976 if (pol || err)
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -0700977 goto end;
978#endif
979 pol = xfrm_policy_lookup_bytype(XFRM_POLICY_TYPE_MAIN, fl, family, dir);
James Morris134b0fc2006-10-05 15:42:27 -0500980 if (IS_ERR(pol)) {
981 err = PTR_ERR(pol);
982 pol = NULL;
983 }
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -0700984#ifdef CONFIG_XFRM_SUB_POLICY
David S. Miller2518c7c2006-08-24 04:45:07 -0700985end:
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -0700986#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700987 if ((*objp = (void *) pol) != NULL)
988 *obj_refp = &pol->refcnt;
James Morris134b0fc2006-10-05 15:42:27 -0500989 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700990}
991
Trent Jaegerdf718372005-12-13 23:12:27 -0800992static inline int policy_to_flow_dir(int dir)
993{
994 if (XFRM_POLICY_IN == FLOW_DIR_IN &&
995 XFRM_POLICY_OUT == FLOW_DIR_OUT &&
996 XFRM_POLICY_FWD == FLOW_DIR_FWD)
997 return dir;
998 switch (dir) {
999 default:
1000 case XFRM_POLICY_IN:
1001 return FLOW_DIR_IN;
1002 case XFRM_POLICY_OUT:
1003 return FLOW_DIR_OUT;
1004 case XFRM_POLICY_FWD:
1005 return FLOW_DIR_FWD;
1006 };
1007}
1008
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -07001009static struct xfrm_policy *xfrm_sk_policy_lookup(struct sock *sk, int dir, struct flowi *fl)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001010{
1011 struct xfrm_policy *pol;
1012
1013 read_lock_bh(&xfrm_policy_lock);
1014 if ((pol = sk->sk_policy[dir]) != NULL) {
Trent Jaegerdf718372005-12-13 23:12:27 -08001015 int match = xfrm_selector_match(&pol->selector, fl,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001016 sk->sk_family);
Trent Jaegerdf718372005-12-13 23:12:27 -08001017 int err = 0;
1018
Venkat Yekkirala3bccfbc2006-10-05 15:42:35 -05001019 if (match) {
1020 err = security_xfrm_policy_lookup(pol, fl->secid,
1021 policy_to_flow_dir(dir));
1022 if (!err)
1023 xfrm_pol_hold(pol);
1024 else if (err == -ESRCH)
1025 pol = NULL;
1026 else
1027 pol = ERR_PTR(err);
1028 } else
Linus Torvalds1da177e2005-04-16 15:20:36 -07001029 pol = NULL;
1030 }
1031 read_unlock_bh(&xfrm_policy_lock);
1032 return pol;
1033}
1034
1035static void __xfrm_policy_link(struct xfrm_policy *pol, int dir)
1036{
David S. Miller2518c7c2006-08-24 04:45:07 -07001037 struct hlist_head *chain = policy_hash_bysel(&pol->selector,
1038 pol->family, dir);
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001039
David S. Miller2518c7c2006-08-24 04:45:07 -07001040 hlist_add_head(&pol->bydst, chain);
1041 hlist_add_head(&pol->byidx, xfrm_policy_byidx+idx_hash(pol->index));
1042 xfrm_policy_count[dir]++;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001043 xfrm_pol_hold(pol);
David S. Miller2518c7c2006-08-24 04:45:07 -07001044
1045 if (xfrm_bydst_should_resize(dir, NULL))
1046 schedule_work(&xfrm_hash_work);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001047}
1048
1049static struct xfrm_policy *__xfrm_policy_unlink(struct xfrm_policy *pol,
1050 int dir)
1051{
David S. Miller2518c7c2006-08-24 04:45:07 -07001052 if (hlist_unhashed(&pol->bydst))
1053 return NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001054
David S. Miller2518c7c2006-08-24 04:45:07 -07001055 hlist_del(&pol->bydst);
1056 hlist_del(&pol->byidx);
1057 xfrm_policy_count[dir]--;
1058
1059 return pol;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001060}
1061
Herbert Xu4666faa2005-06-18 22:43:22 -07001062int xfrm_policy_delete(struct xfrm_policy *pol, int dir)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001063{
1064 write_lock_bh(&xfrm_policy_lock);
1065 pol = __xfrm_policy_unlink(pol, dir);
1066 write_unlock_bh(&xfrm_policy_lock);
1067 if (pol) {
1068 if (dir < XFRM_POLICY_MAX)
1069 atomic_inc(&flow_cache_genid);
1070 xfrm_policy_kill(pol);
Herbert Xu4666faa2005-06-18 22:43:22 -07001071 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001072 }
Herbert Xu4666faa2005-06-18 22:43:22 -07001073 return -ENOENT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001074}
David S. Millera70fcb02006-03-20 19:18:52 -08001075EXPORT_SYMBOL(xfrm_policy_delete);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001076
1077int xfrm_sk_policy_insert(struct sock *sk, int dir, struct xfrm_policy *pol)
1078{
1079 struct xfrm_policy *old_pol;
1080
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001081#ifdef CONFIG_XFRM_SUB_POLICY
1082 if (pol && pol->type != XFRM_POLICY_TYPE_MAIN)
1083 return -EINVAL;
1084#endif
1085
Linus Torvalds1da177e2005-04-16 15:20:36 -07001086 write_lock_bh(&xfrm_policy_lock);
1087 old_pol = sk->sk_policy[dir];
1088 sk->sk_policy[dir] = pol;
1089 if (pol) {
1090 pol->curlft.add_time = (unsigned long)xtime.tv_sec;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001091 pol->index = xfrm_gen_index(pol->type, XFRM_POLICY_MAX+dir);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001092 __xfrm_policy_link(pol, XFRM_POLICY_MAX+dir);
1093 }
1094 if (old_pol)
1095 __xfrm_policy_unlink(old_pol, XFRM_POLICY_MAX+dir);
1096 write_unlock_bh(&xfrm_policy_lock);
1097
1098 if (old_pol) {
1099 xfrm_policy_kill(old_pol);
1100 }
1101 return 0;
1102}
1103
1104static struct xfrm_policy *clone_policy(struct xfrm_policy *old, int dir)
1105{
1106 struct xfrm_policy *newp = xfrm_policy_alloc(GFP_ATOMIC);
1107
1108 if (newp) {
1109 newp->selector = old->selector;
Trent Jaegerdf718372005-12-13 23:12:27 -08001110 if (security_xfrm_policy_clone(old, newp)) {
1111 kfree(newp);
1112 return NULL; /* ENOMEM */
1113 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001114 newp->lft = old->lft;
1115 newp->curlft = old->curlft;
1116 newp->action = old->action;
1117 newp->flags = old->flags;
1118 newp->xfrm_nr = old->xfrm_nr;
1119 newp->index = old->index;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001120 newp->type = old->type;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001121 memcpy(newp->xfrm_vec, old->xfrm_vec,
1122 newp->xfrm_nr*sizeof(struct xfrm_tmpl));
1123 write_lock_bh(&xfrm_policy_lock);
1124 __xfrm_policy_link(newp, XFRM_POLICY_MAX+dir);
1125 write_unlock_bh(&xfrm_policy_lock);
1126 xfrm_pol_put(newp);
1127 }
1128 return newp;
1129}
1130
1131int __xfrm_sk_clone_policy(struct sock *sk)
1132{
1133 struct xfrm_policy *p0 = sk->sk_policy[0],
1134 *p1 = sk->sk_policy[1];
1135
1136 sk->sk_policy[0] = sk->sk_policy[1] = NULL;
1137 if (p0 && (sk->sk_policy[0] = clone_policy(p0, 0)) == NULL)
1138 return -ENOMEM;
1139 if (p1 && (sk->sk_policy[1] = clone_policy(p1, 1)) == NULL)
1140 return -ENOMEM;
1141 return 0;
1142}
1143
Patrick McHardya1e59ab2006-09-19 12:57:34 -07001144static int
1145xfrm_get_saddr(xfrm_address_t *local, xfrm_address_t *remote,
1146 unsigned short family)
1147{
1148 int err;
1149 struct xfrm_policy_afinfo *afinfo = xfrm_policy_get_afinfo(family);
1150
1151 if (unlikely(afinfo == NULL))
1152 return -EINVAL;
1153 err = afinfo->get_saddr(local, remote);
1154 xfrm_policy_put_afinfo(afinfo);
1155 return err;
1156}
1157
Linus Torvalds1da177e2005-04-16 15:20:36 -07001158/* Resolve list of templates for the flow, given policy. */
1159
1160static int
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001161xfrm_tmpl_resolve_one(struct xfrm_policy *policy, struct flowi *fl,
1162 struct xfrm_state **xfrm,
1163 unsigned short family)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001164{
1165 int nx;
1166 int i, error;
1167 xfrm_address_t *daddr = xfrm_flowi_daddr(fl, family);
1168 xfrm_address_t *saddr = xfrm_flowi_saddr(fl, family);
Patrick McHardya1e59ab2006-09-19 12:57:34 -07001169 xfrm_address_t tmp;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001170
1171 for (nx=0, i = 0; i < policy->xfrm_nr; i++) {
1172 struct xfrm_state *x;
1173 xfrm_address_t *remote = daddr;
1174 xfrm_address_t *local = saddr;
1175 struct xfrm_tmpl *tmpl = &policy->xfrm_vec[i];
1176
Masahide NAKAMURA7e49e6d2006-09-22 15:05:15 -07001177 if (tmpl->mode == XFRM_MODE_TUNNEL) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001178 remote = &tmpl->id.daddr;
1179 local = &tmpl->saddr;
Patrick McHardya1e59ab2006-09-19 12:57:34 -07001180 if (xfrm_addr_any(local, family)) {
1181 error = xfrm_get_saddr(&tmp, remote, family);
1182 if (error)
1183 goto fail;
1184 local = &tmp;
1185 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001186 }
1187
1188 x = xfrm_state_find(remote, local, fl, tmpl, policy, &error, family);
1189
1190 if (x && x->km.state == XFRM_STATE_VALID) {
1191 xfrm[nx++] = x;
1192 daddr = remote;
1193 saddr = local;
1194 continue;
1195 }
1196 if (x) {
1197 error = (x->km.state == XFRM_STATE_ERROR ?
1198 -EINVAL : -EAGAIN);
1199 xfrm_state_put(x);
1200 }
1201
1202 if (!tmpl->optional)
1203 goto fail;
1204 }
1205 return nx;
1206
1207fail:
1208 for (nx--; nx>=0; nx--)
1209 xfrm_state_put(xfrm[nx]);
1210 return error;
1211}
1212
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001213static int
1214xfrm_tmpl_resolve(struct xfrm_policy **pols, int npols, struct flowi *fl,
1215 struct xfrm_state **xfrm,
1216 unsigned short family)
1217{
Masahide NAKAMURA41a49cc2006-08-23 22:48:31 -07001218 struct xfrm_state *tp[XFRM_MAX_DEPTH];
1219 struct xfrm_state **tpp = (npols > 1) ? tp : xfrm;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001220 int cnx = 0;
1221 int error;
1222 int ret;
1223 int i;
1224
1225 for (i = 0; i < npols; i++) {
1226 if (cnx + pols[i]->xfrm_nr >= XFRM_MAX_DEPTH) {
1227 error = -ENOBUFS;
1228 goto fail;
1229 }
Masahide NAKAMURA41a49cc2006-08-23 22:48:31 -07001230
1231 ret = xfrm_tmpl_resolve_one(pols[i], fl, &tpp[cnx], family);
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001232 if (ret < 0) {
1233 error = ret;
1234 goto fail;
1235 } else
1236 cnx += ret;
1237 }
1238
Masahide NAKAMURA41a49cc2006-08-23 22:48:31 -07001239 /* found states are sorted for outbound processing */
1240 if (npols > 1)
1241 xfrm_state_sort(xfrm, tpp, cnx, family);
1242
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001243 return cnx;
1244
1245 fail:
1246 for (cnx--; cnx>=0; cnx--)
Masahide NAKAMURA41a49cc2006-08-23 22:48:31 -07001247 xfrm_state_put(tpp[cnx]);
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001248 return error;
1249
1250}
1251
Linus Torvalds1da177e2005-04-16 15:20:36 -07001252/* Check that the bundle accepts the flow and its components are
1253 * still valid.
1254 */
1255
1256static struct dst_entry *
1257xfrm_find_bundle(struct flowi *fl, struct xfrm_policy *policy, unsigned short family)
1258{
1259 struct dst_entry *x;
1260 struct xfrm_policy_afinfo *afinfo = xfrm_policy_get_afinfo(family);
1261 if (unlikely(afinfo == NULL))
1262 return ERR_PTR(-EINVAL);
1263 x = afinfo->find_bundle(fl, policy);
1264 xfrm_policy_put_afinfo(afinfo);
1265 return x;
1266}
1267
1268/* Allocate chain of dst_entry's, attach known xfrm's, calculate
1269 * all the metrics... Shortly, bundle a bundle.
1270 */
1271
1272static int
1273xfrm_bundle_create(struct xfrm_policy *policy, struct xfrm_state **xfrm, int nx,
1274 struct flowi *fl, struct dst_entry **dst_p,
1275 unsigned short family)
1276{
1277 int err;
1278 struct xfrm_policy_afinfo *afinfo = xfrm_policy_get_afinfo(family);
1279 if (unlikely(afinfo == NULL))
1280 return -EINVAL;
1281 err = afinfo->bundle_create(policy, xfrm, nx, fl, dst_p);
1282 xfrm_policy_put_afinfo(afinfo);
1283 return err;
1284}
1285
Linus Torvalds1da177e2005-04-16 15:20:36 -07001286
1287static int stale_bundle(struct dst_entry *dst);
1288
1289/* Main function: finds/creates a bundle for given flow.
1290 *
1291 * At the moment we eat a raw IP route. Mostly to speed up lookups
1292 * on interfaces with disabled IPsec.
1293 */
1294int xfrm_lookup(struct dst_entry **dst_p, struct flowi *fl,
1295 struct sock *sk, int flags)
1296{
1297 struct xfrm_policy *policy;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001298 struct xfrm_policy *pols[XFRM_POLICY_TYPE_MAX];
1299 int npols;
1300 int pol_dead;
1301 int xfrm_nr;
1302 int pi;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001303 struct xfrm_state *xfrm[XFRM_MAX_DEPTH];
1304 struct dst_entry *dst, *dst_orig = *dst_p;
1305 int nx = 0;
1306 int err;
1307 u32 genid;
Patrick McHardy42cf93c2006-02-21 13:37:35 -08001308 u16 family;
Trent Jaegerdf718372005-12-13 23:12:27 -08001309 u8 dir = policy_to_flow_dir(XFRM_POLICY_OUT);
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -07001310
Linus Torvalds1da177e2005-04-16 15:20:36 -07001311restart:
1312 genid = atomic_read(&flow_cache_genid);
1313 policy = NULL;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001314 for (pi = 0; pi < ARRAY_SIZE(pols); pi++)
1315 pols[pi] = NULL;
1316 npols = 0;
1317 pol_dead = 0;
1318 xfrm_nr = 0;
1319
Venkat Yekkirala3bccfbc2006-10-05 15:42:35 -05001320 if (sk && sk->sk_policy[1]) {
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -07001321 policy = xfrm_sk_policy_lookup(sk, XFRM_POLICY_OUT, fl);
Venkat Yekkirala3bccfbc2006-10-05 15:42:35 -05001322 if (IS_ERR(policy))
1323 return PTR_ERR(policy);
1324 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001325
1326 if (!policy) {
1327 /* To accelerate a bit... */
David S. Miller2518c7c2006-08-24 04:45:07 -07001328 if ((dst_orig->flags & DST_NOXFRM) ||
1329 !xfrm_policy_count[XFRM_POLICY_OUT])
Linus Torvalds1da177e2005-04-16 15:20:36 -07001330 return 0;
1331
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -07001332 policy = flow_cache_lookup(fl, dst_orig->ops->family,
Patrick McHardy42cf93c2006-02-21 13:37:35 -08001333 dir, xfrm_policy_lookup);
James Morris134b0fc2006-10-05 15:42:27 -05001334 if (IS_ERR(policy))
1335 return PTR_ERR(policy);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001336 }
1337
1338 if (!policy)
1339 return 0;
1340
Patrick McHardy42cf93c2006-02-21 13:37:35 -08001341 family = dst_orig->ops->family;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001342 policy->curlft.use_time = (unsigned long)xtime.tv_sec;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001343 pols[0] = policy;
1344 npols ++;
1345 xfrm_nr += pols[0]->xfrm_nr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001346
1347 switch (policy->action) {
1348 case XFRM_POLICY_BLOCK:
1349 /* Prohibit the flow */
Patrick McHardye104411b2005-09-08 15:11:55 -07001350 err = -EPERM;
1351 goto error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001352
1353 case XFRM_POLICY_ALLOW:
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001354#ifndef CONFIG_XFRM_SUB_POLICY
Linus Torvalds1da177e2005-04-16 15:20:36 -07001355 if (policy->xfrm_nr == 0) {
1356 /* Flow passes not transformed. */
1357 xfrm_pol_put(policy);
1358 return 0;
1359 }
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001360#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -07001361
1362 /* Try to find matching bundle.
1363 *
1364 * LATER: help from flow cache. It is optional, this
1365 * is required only for output policy.
1366 */
1367 dst = xfrm_find_bundle(fl, policy, family);
1368 if (IS_ERR(dst)) {
Patrick McHardye104411b2005-09-08 15:11:55 -07001369 err = PTR_ERR(dst);
1370 goto error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001371 }
1372
1373 if (dst)
1374 break;
1375
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001376#ifdef CONFIG_XFRM_SUB_POLICY
1377 if (pols[0]->type != XFRM_POLICY_TYPE_MAIN) {
1378 pols[1] = xfrm_policy_lookup_bytype(XFRM_POLICY_TYPE_MAIN,
1379 fl, family,
1380 XFRM_POLICY_OUT);
1381 if (pols[1]) {
James Morris134b0fc2006-10-05 15:42:27 -05001382 if (IS_ERR(pols[1])) {
1383 err = PTR_ERR(pols[1]);
1384 goto error;
1385 }
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001386 if (pols[1]->action == XFRM_POLICY_BLOCK) {
1387 err = -EPERM;
1388 goto error;
1389 }
1390 npols ++;
1391 xfrm_nr += pols[1]->xfrm_nr;
1392 }
1393 }
1394
1395 /*
1396 * Because neither flowi nor bundle information knows about
1397 * transformation template size. On more than one policy usage
1398 * we can realize whether all of them is bypass or not after
1399 * they are searched. See above not-transformed bypass
1400 * is surrounded by non-sub policy configuration, too.
1401 */
1402 if (xfrm_nr == 0) {
1403 /* Flow passes not transformed. */
1404 xfrm_pols_put(pols, npols);
1405 return 0;
1406 }
1407
1408#endif
1409 nx = xfrm_tmpl_resolve(pols, npols, fl, xfrm, family);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001410
1411 if (unlikely(nx<0)) {
1412 err = nx;
1413 if (err == -EAGAIN && flags) {
1414 DECLARE_WAITQUEUE(wait, current);
1415
1416 add_wait_queue(&km_waitq, &wait);
1417 set_current_state(TASK_INTERRUPTIBLE);
1418 schedule();
1419 set_current_state(TASK_RUNNING);
1420 remove_wait_queue(&km_waitq, &wait);
1421
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001422 nx = xfrm_tmpl_resolve(pols, npols, fl, xfrm, family);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001423
1424 if (nx == -EAGAIN && signal_pending(current)) {
1425 err = -ERESTART;
1426 goto error;
1427 }
1428 if (nx == -EAGAIN ||
1429 genid != atomic_read(&flow_cache_genid)) {
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001430 xfrm_pols_put(pols, npols);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001431 goto restart;
1432 }
1433 err = nx;
1434 }
1435 if (err < 0)
1436 goto error;
1437 }
1438 if (nx == 0) {
1439 /* Flow passes not transformed. */
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001440 xfrm_pols_put(pols, npols);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001441 return 0;
1442 }
1443
1444 dst = dst_orig;
1445 err = xfrm_bundle_create(policy, xfrm, nx, fl, &dst, family);
1446
1447 if (unlikely(err)) {
1448 int i;
1449 for (i=0; i<nx; i++)
1450 xfrm_state_put(xfrm[i]);
1451 goto error;
1452 }
1453
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001454 for (pi = 0; pi < npols; pi++) {
1455 read_lock_bh(&pols[pi]->lock);
1456 pol_dead |= pols[pi]->dead;
1457 read_unlock_bh(&pols[pi]->lock);
1458 }
1459
Linus Torvalds1da177e2005-04-16 15:20:36 -07001460 write_lock_bh(&policy->lock);
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001461 if (unlikely(pol_dead || stale_bundle(dst))) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001462 /* Wow! While we worked on resolving, this
1463 * policy has gone. Retry. It is not paranoia,
1464 * we just cannot enlist new bundle to dead object.
1465 * We can't enlist stable bundles either.
1466 */
1467 write_unlock_bh(&policy->lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001468 if (dst)
1469 dst_free(dst);
Herbert Xu00de6512006-02-13 16:01:27 -08001470
1471 err = -EHOSTUNREACH;
1472 goto error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001473 }
1474 dst->next = policy->bundles;
1475 policy->bundles = dst;
1476 dst_hold(dst);
1477 write_unlock_bh(&policy->lock);
1478 }
1479 *dst_p = dst;
1480 dst_release(dst_orig);
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001481 xfrm_pols_put(pols, npols);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001482 return 0;
1483
1484error:
1485 dst_release(dst_orig);
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001486 xfrm_pols_put(pols, npols);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001487 *dst_p = NULL;
1488 return err;
1489}
1490EXPORT_SYMBOL(xfrm_lookup);
1491
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07001492static inline int
1493xfrm_secpath_reject(int idx, struct sk_buff *skb, struct flowi *fl)
1494{
1495 struct xfrm_state *x;
1496 int err;
1497
1498 if (!skb->sp || idx < 0 || idx >= skb->sp->len)
1499 return 0;
1500 x = skb->sp->xvec[idx];
1501 if (!x->type->reject)
1502 return 0;
1503 xfrm_state_hold(x);
1504 err = x->type->reject(x, skb, fl);
1505 xfrm_state_put(x);
1506 return err;
1507}
1508
Linus Torvalds1da177e2005-04-16 15:20:36 -07001509/* When skb is transformed back to its "native" form, we have to
1510 * check policy restrictions. At the moment we make this in maximally
1511 * stupid way. Shame on me. :-) Of course, connected sockets must
1512 * have policy cached at them.
1513 */
1514
1515static inline int
1516xfrm_state_ok(struct xfrm_tmpl *tmpl, struct xfrm_state *x,
1517 unsigned short family)
1518{
1519 if (xfrm_state_kern(x))
1520 return tmpl->optional && !xfrm_state_addr_cmp(tmpl, x, family);
1521 return x->id.proto == tmpl->id.proto &&
1522 (x->id.spi == tmpl->id.spi || !tmpl->id.spi) &&
1523 (x->props.reqid == tmpl->reqid || !tmpl->reqid) &&
1524 x->props.mode == tmpl->mode &&
Masahide NAKAMURAf3bd4842006-08-23 18:00:48 -07001525 ((tmpl->aalgos & (1<<x->props.aalgo)) ||
1526 !(xfrm_id_proto_match(tmpl->id.proto, IPSEC_PROTO_ANY))) &&
Masahide NAKAMURA7e49e6d2006-09-22 15:05:15 -07001527 !(x->props.mode != XFRM_MODE_TRANSPORT &&
1528 xfrm_state_addr_cmp(tmpl, x, family));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001529}
1530
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07001531/*
1532 * 0 or more than 0 is returned when validation is succeeded (either bypass
1533 * because of optional transport mode, or next index of the mathced secpath
1534 * state with the template.
1535 * -1 is returned when no matching template is found.
1536 * Otherwise "-2 - errored_index" is returned.
1537 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001538static inline int
1539xfrm_policy_ok(struct xfrm_tmpl *tmpl, struct sec_path *sp, int start,
1540 unsigned short family)
1541{
1542 int idx = start;
1543
1544 if (tmpl->optional) {
Masahide NAKAMURA7e49e6d2006-09-22 15:05:15 -07001545 if (tmpl->mode == XFRM_MODE_TRANSPORT)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001546 return start;
1547 } else
1548 start = -1;
1549 for (; idx < sp->len; idx++) {
Herbert Xudbe5b4a2006-04-01 00:54:16 -08001550 if (xfrm_state_ok(tmpl, sp->xvec[idx], family))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001551 return ++idx;
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07001552 if (sp->xvec[idx]->props.mode != XFRM_MODE_TRANSPORT) {
1553 if (start == -1)
1554 start = -2-idx;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001555 break;
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07001556 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001557 }
1558 return start;
1559}
1560
Patrick McHardy3e3850e2006-01-06 23:04:54 -08001561int
1562xfrm_decode_session(struct sk_buff *skb, struct flowi *fl, unsigned short family)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001563{
1564 struct xfrm_policy_afinfo *afinfo = xfrm_policy_get_afinfo(family);
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -07001565 int err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001566
1567 if (unlikely(afinfo == NULL))
1568 return -EAFNOSUPPORT;
1569
1570 afinfo->decode_session(skb, fl);
Venkat Yekkiralabeb8d132006-08-04 23:12:42 -07001571 err = security_xfrm_decode_session(skb, &fl->secid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001572 xfrm_policy_put_afinfo(afinfo);
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -07001573 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001574}
Patrick McHardy3e3850e2006-01-06 23:04:54 -08001575EXPORT_SYMBOL(xfrm_decode_session);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001576
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07001577static inline int secpath_has_nontransport(struct sec_path *sp, int k, int *idxp)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001578{
1579 for (; k < sp->len; k++) {
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07001580 if (sp->xvec[k]->props.mode != XFRM_MODE_TRANSPORT) {
James Morrisd1d9fac2006-09-01 00:32:12 -07001581 *idxp = k;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001582 return 1;
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07001583 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001584 }
1585
1586 return 0;
1587}
1588
1589int __xfrm_policy_check(struct sock *sk, int dir, struct sk_buff *skb,
1590 unsigned short family)
1591{
1592 struct xfrm_policy *pol;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001593 struct xfrm_policy *pols[XFRM_POLICY_TYPE_MAX];
1594 int npols = 0;
1595 int xfrm_nr;
1596 int pi;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001597 struct flowi fl;
Trent Jaegerdf718372005-12-13 23:12:27 -08001598 u8 fl_dir = policy_to_flow_dir(dir);
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07001599 int xerr_idx = -1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001600
Patrick McHardy3e3850e2006-01-06 23:04:54 -08001601 if (xfrm_decode_session(skb, &fl, family) < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001602 return 0;
Patrick McHardyeb9c7eb2006-01-06 23:06:30 -08001603 nf_nat_decode_session(skb, &fl, family);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001604
1605 /* First, check used SA against their selectors. */
1606 if (skb->sp) {
1607 int i;
1608
1609 for (i=skb->sp->len-1; i>=0; i--) {
Herbert Xudbe5b4a2006-04-01 00:54:16 -08001610 struct xfrm_state *x = skb->sp->xvec[i];
1611 if (!xfrm_selector_match(&x->sel, &fl, family))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001612 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001613 }
1614 }
1615
1616 pol = NULL;
Venkat Yekkirala3bccfbc2006-10-05 15:42:35 -05001617 if (sk && sk->sk_policy[dir]) {
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -07001618 pol = xfrm_sk_policy_lookup(sk, dir, &fl);
Venkat Yekkirala3bccfbc2006-10-05 15:42:35 -05001619 if (IS_ERR(pol))
1620 return 0;
1621 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001622
1623 if (!pol)
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -07001624 pol = flow_cache_lookup(&fl, family, fl_dir,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001625 xfrm_policy_lookup);
1626
James Morris134b0fc2006-10-05 15:42:27 -05001627 if (IS_ERR(pol))
1628 return 0;
1629
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07001630 if (!pol) {
James Morrisd1d9fac2006-09-01 00:32:12 -07001631 if (skb->sp && secpath_has_nontransport(skb->sp, 0, &xerr_idx)) {
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07001632 xfrm_secpath_reject(xerr_idx, skb, &fl);
1633 return 0;
1634 }
1635 return 1;
1636 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001637
1638 pol->curlft.use_time = (unsigned long)xtime.tv_sec;
1639
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001640 pols[0] = pol;
1641 npols ++;
1642#ifdef CONFIG_XFRM_SUB_POLICY
1643 if (pols[0]->type != XFRM_POLICY_TYPE_MAIN) {
1644 pols[1] = xfrm_policy_lookup_bytype(XFRM_POLICY_TYPE_MAIN,
1645 &fl, family,
1646 XFRM_POLICY_IN);
1647 if (pols[1]) {
James Morris134b0fc2006-10-05 15:42:27 -05001648 if (IS_ERR(pols[1]))
1649 return 0;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001650 pols[1]->curlft.use_time = (unsigned long)xtime.tv_sec;
1651 npols ++;
1652 }
1653 }
1654#endif
1655
Linus Torvalds1da177e2005-04-16 15:20:36 -07001656 if (pol->action == XFRM_POLICY_ALLOW) {
1657 struct sec_path *sp;
1658 static struct sec_path dummy;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001659 struct xfrm_tmpl *tp[XFRM_MAX_DEPTH];
Masahide NAKAMURA41a49cc2006-08-23 22:48:31 -07001660 struct xfrm_tmpl *stp[XFRM_MAX_DEPTH];
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001661 struct xfrm_tmpl **tpp = tp;
1662 int ti = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001663 int i, k;
1664
1665 if ((sp = skb->sp) == NULL)
1666 sp = &dummy;
1667
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001668 for (pi = 0; pi < npols; pi++) {
1669 if (pols[pi] != pol &&
1670 pols[pi]->action != XFRM_POLICY_ALLOW)
1671 goto reject;
1672 if (ti + pols[pi]->xfrm_nr >= XFRM_MAX_DEPTH)
1673 goto reject_error;
1674 for (i = 0; i < pols[pi]->xfrm_nr; i++)
1675 tpp[ti++] = &pols[pi]->xfrm_vec[i];
1676 }
1677 xfrm_nr = ti;
Masahide NAKAMURA41a49cc2006-08-23 22:48:31 -07001678 if (npols > 1) {
1679 xfrm_tmpl_sort(stp, tpp, xfrm_nr, family);
1680 tpp = stp;
1681 }
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001682
Linus Torvalds1da177e2005-04-16 15:20:36 -07001683 /* For each tunnel xfrm, find the first matching tmpl.
1684 * For each tmpl before that, find corresponding xfrm.
1685 * Order is _important_. Later we will implement
1686 * some barriers, but at the moment barriers
1687 * are implied between each two transformations.
1688 */
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001689 for (i = xfrm_nr-1, k = 0; i >= 0; i--) {
1690 k = xfrm_policy_ok(tpp[i], sp, k, family);
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07001691 if (k < 0) {
James Morrisd1d9fac2006-09-01 00:32:12 -07001692 if (k < -1)
1693 /* "-2 - errored_index" returned */
1694 xerr_idx = -(2+k);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001695 goto reject;
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07001696 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001697 }
1698
James Morrisd1d9fac2006-09-01 00:32:12 -07001699 if (secpath_has_nontransport(sp, k, &xerr_idx))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001700 goto reject;
1701
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001702 xfrm_pols_put(pols, npols);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001703 return 1;
1704 }
1705
1706reject:
Masahide NAKAMURAdf0ba922006-08-23 20:41:00 -07001707 xfrm_secpath_reject(xerr_idx, skb, &fl);
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001708reject_error:
1709 xfrm_pols_put(pols, npols);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001710 return 0;
1711}
1712EXPORT_SYMBOL(__xfrm_policy_check);
1713
1714int __xfrm_route_forward(struct sk_buff *skb, unsigned short family)
1715{
1716 struct flowi fl;
1717
Patrick McHardy3e3850e2006-01-06 23:04:54 -08001718 if (xfrm_decode_session(skb, &fl, family) < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001719 return 0;
1720
1721 return xfrm_lookup(&skb->dst, &fl, NULL, 0) == 0;
1722}
1723EXPORT_SYMBOL(__xfrm_route_forward);
1724
David S. Millerd49c73c2006-08-13 18:55:53 -07001725/* Optimize later using cookies and generation ids. */
1726
Linus Torvalds1da177e2005-04-16 15:20:36 -07001727static struct dst_entry *xfrm_dst_check(struct dst_entry *dst, u32 cookie)
1728{
David S. Millerd49c73c2006-08-13 18:55:53 -07001729 /* Code (such as __xfrm4_bundle_create()) sets dst->obsolete
1730 * to "-1" to force all XFRM destinations to get validated by
1731 * dst_ops->check on every use. We do this because when a
1732 * normal route referenced by an XFRM dst is obsoleted we do
1733 * not go looking around for all parent referencing XFRM dsts
1734 * so that we can invalidate them. It is just too much work.
1735 * Instead we make the checks here on every use. For example:
1736 *
1737 * XFRM dst A --> IPv4 dst X
1738 *
1739 * X is the "xdst->route" of A (X is also the "dst->path" of A
1740 * in this example). If X is marked obsolete, "A" will not
1741 * notice. That's what we are validating here via the
1742 * stale_bundle() check.
1743 *
1744 * When a policy's bundle is pruned, we dst_free() the XFRM
1745 * dst which causes it's ->obsolete field to be set to a
1746 * positive non-zero integer. If an XFRM dst has been pruned
1747 * like this, we want to force a new route lookup.
David S. Miller399c1802005-12-19 14:23:23 -08001748 */
David S. Millerd49c73c2006-08-13 18:55:53 -07001749 if (dst->obsolete < 0 && !stale_bundle(dst))
1750 return dst;
1751
Linus Torvalds1da177e2005-04-16 15:20:36 -07001752 return NULL;
1753}
1754
1755static int stale_bundle(struct dst_entry *dst)
1756{
Venkat Yekkirala5b368e62006-10-05 15:42:18 -05001757 return !xfrm_bundle_ok(NULL, (struct xfrm_dst *)dst, NULL, AF_UNSPEC, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001758}
1759
Herbert Xuaabc9762005-05-03 16:27:10 -07001760void xfrm_dst_ifdown(struct dst_entry *dst, struct net_device *dev)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001761{
Linus Torvalds1da177e2005-04-16 15:20:36 -07001762 while ((dst = dst->child) && dst->xfrm && dst->dev == dev) {
1763 dst->dev = &loopback_dev;
1764 dev_hold(&loopback_dev);
1765 dev_put(dev);
1766 }
1767}
Herbert Xuaabc9762005-05-03 16:27:10 -07001768EXPORT_SYMBOL(xfrm_dst_ifdown);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001769
1770static void xfrm_link_failure(struct sk_buff *skb)
1771{
1772 /* Impossible. Such dst must be popped before reaches point of failure. */
1773 return;
1774}
1775
1776static struct dst_entry *xfrm_negative_advice(struct dst_entry *dst)
1777{
1778 if (dst) {
1779 if (dst->obsolete) {
1780 dst_release(dst);
1781 dst = NULL;
1782 }
1783 }
1784 return dst;
1785}
1786
David S. Miller2518c7c2006-08-24 04:45:07 -07001787static void prune_one_bundle(struct xfrm_policy *pol, int (*func)(struct dst_entry *), struct dst_entry **gc_list_p)
1788{
1789 struct dst_entry *dst, **dstp;
1790
1791 write_lock(&pol->lock);
1792 dstp = &pol->bundles;
1793 while ((dst=*dstp) != NULL) {
1794 if (func(dst)) {
1795 *dstp = dst->next;
1796 dst->next = *gc_list_p;
1797 *gc_list_p = dst;
1798 } else {
1799 dstp = &dst->next;
1800 }
1801 }
1802 write_unlock(&pol->lock);
1803}
1804
Linus Torvalds1da177e2005-04-16 15:20:36 -07001805static void xfrm_prune_bundles(int (*func)(struct dst_entry *))
1806{
David S. Miller2518c7c2006-08-24 04:45:07 -07001807 struct dst_entry *gc_list = NULL;
1808 int dir;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001809
1810 read_lock_bh(&xfrm_policy_lock);
David S. Miller2518c7c2006-08-24 04:45:07 -07001811 for (dir = 0; dir < XFRM_POLICY_MAX * 2; dir++) {
1812 struct xfrm_policy *pol;
1813 struct hlist_node *entry;
1814 struct hlist_head *table;
1815 int i;
Masahide NAKAMURA4e81bb82006-08-23 22:43:30 -07001816
David S. Miller2518c7c2006-08-24 04:45:07 -07001817 hlist_for_each_entry(pol, entry,
1818 &xfrm_policy_inexact[dir], bydst)
1819 prune_one_bundle(pol, func, &gc_list);
1820
1821 table = xfrm_policy_bydst[dir].table;
1822 for (i = xfrm_policy_bydst[dir].hmask; i >= 0; i--) {
1823 hlist_for_each_entry(pol, entry, table + i, bydst)
1824 prune_one_bundle(pol, func, &gc_list);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001825 }
1826 }
1827 read_unlock_bh(&xfrm_policy_lock);
1828
1829 while (gc_list) {
David S. Miller2518c7c2006-08-24 04:45:07 -07001830 struct dst_entry *dst = gc_list;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001831 gc_list = dst->next;
1832 dst_free(dst);
1833 }
1834}
1835
1836static int unused_bundle(struct dst_entry *dst)
1837{
1838 return !atomic_read(&dst->__refcnt);
1839}
1840
1841static void __xfrm_garbage_collect(void)
1842{
1843 xfrm_prune_bundles(unused_bundle);
1844}
1845
David S. Miller1c095392006-08-24 03:30:28 -07001846static int xfrm_flush_bundles(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001847{
1848 xfrm_prune_bundles(stale_bundle);
1849 return 0;
1850}
1851
1852void xfrm_init_pmtu(struct dst_entry *dst)
1853{
1854 do {
1855 struct xfrm_dst *xdst = (struct xfrm_dst *)dst;
1856 u32 pmtu, route_mtu_cached;
1857
1858 pmtu = dst_mtu(dst->child);
1859 xdst->child_mtu_cached = pmtu;
1860
1861 pmtu = xfrm_state_mtu(dst->xfrm, pmtu);
1862
1863 route_mtu_cached = dst_mtu(xdst->route);
1864 xdst->route_mtu_cached = route_mtu_cached;
1865
1866 if (pmtu > route_mtu_cached)
1867 pmtu = route_mtu_cached;
1868
1869 dst->metrics[RTAX_MTU-1] = pmtu;
1870 } while ((dst = dst->next));
1871}
1872
1873EXPORT_SYMBOL(xfrm_init_pmtu);
1874
1875/* Check that the bundle accepts the flow and its components are
1876 * still valid.
1877 */
1878
Venkat Yekkirala5b368e62006-10-05 15:42:18 -05001879int xfrm_bundle_ok(struct xfrm_policy *pol, struct xfrm_dst *first,
1880 struct flowi *fl, int family, int strict)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001881{
1882 struct dst_entry *dst = &first->u.dst;
1883 struct xfrm_dst *last;
1884 u32 mtu;
1885
Hideaki YOSHIFUJI92d63de2005-05-26 12:58:04 -07001886 if (!dst_check(dst->path, ((struct xfrm_dst *)dst)->path_cookie) ||
Linus Torvalds1da177e2005-04-16 15:20:36 -07001887 (dst->dev && !netif_running(dst->dev)))
1888 return 0;
1889
1890 last = NULL;
1891
1892 do {
1893 struct xfrm_dst *xdst = (struct xfrm_dst *)dst;
1894
1895 if (fl && !xfrm_selector_match(&dst->xfrm->sel, fl, family))
1896 return 0;
Venkat Yekkirala5b368e62006-10-05 15:42:18 -05001897 if (fl && !security_xfrm_flow_state_match(fl, dst->xfrm, pol))
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -07001898 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001899 if (dst->xfrm->km.state != XFRM_STATE_VALID)
1900 return 0;
David S. Miller9d4a7062006-08-24 03:18:09 -07001901 if (xdst->genid != dst->xfrm->genid)
1902 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001903
Masahide NAKAMURAe53820d2006-08-23 19:12:01 -07001904 if (strict && fl && dst->xfrm->props.mode != XFRM_MODE_TUNNEL &&
1905 !xfrm_state_addr_flow_check(dst->xfrm, fl, family))
1906 return 0;
1907
Linus Torvalds1da177e2005-04-16 15:20:36 -07001908 mtu = dst_mtu(dst->child);
1909 if (xdst->child_mtu_cached != mtu) {
1910 last = xdst;
1911 xdst->child_mtu_cached = mtu;
1912 }
1913
Hideaki YOSHIFUJI92d63de2005-05-26 12:58:04 -07001914 if (!dst_check(xdst->route, xdst->route_cookie))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001915 return 0;
1916 mtu = dst_mtu(xdst->route);
1917 if (xdst->route_mtu_cached != mtu) {
1918 last = xdst;
1919 xdst->route_mtu_cached = mtu;
1920 }
1921
1922 dst = dst->child;
1923 } while (dst->xfrm);
1924
1925 if (likely(!last))
1926 return 1;
1927
1928 mtu = last->child_mtu_cached;
1929 for (;;) {
1930 dst = &last->u.dst;
1931
1932 mtu = xfrm_state_mtu(dst->xfrm, mtu);
1933 if (mtu > last->route_mtu_cached)
1934 mtu = last->route_mtu_cached;
1935 dst->metrics[RTAX_MTU-1] = mtu;
1936
1937 if (last == first)
1938 break;
1939
1940 last = last->u.next;
1941 last->child_mtu_cached = mtu;
1942 }
1943
1944 return 1;
1945}
1946
1947EXPORT_SYMBOL(xfrm_bundle_ok);
1948
Linus Torvalds1da177e2005-04-16 15:20:36 -07001949int xfrm_policy_register_afinfo(struct xfrm_policy_afinfo *afinfo)
1950{
1951 int err = 0;
1952 if (unlikely(afinfo == NULL))
1953 return -EINVAL;
1954 if (unlikely(afinfo->family >= NPROTO))
1955 return -EAFNOSUPPORT;
Ingo Molnare959d812006-04-28 15:32:29 -07001956 write_lock_bh(&xfrm_policy_afinfo_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001957 if (unlikely(xfrm_policy_afinfo[afinfo->family] != NULL))
1958 err = -ENOBUFS;
1959 else {
1960 struct dst_ops *dst_ops = afinfo->dst_ops;
1961 if (likely(dst_ops->kmem_cachep == NULL))
1962 dst_ops->kmem_cachep = xfrm_dst_cache;
1963 if (likely(dst_ops->check == NULL))
1964 dst_ops->check = xfrm_dst_check;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001965 if (likely(dst_ops->negative_advice == NULL))
1966 dst_ops->negative_advice = xfrm_negative_advice;
1967 if (likely(dst_ops->link_failure == NULL))
1968 dst_ops->link_failure = xfrm_link_failure;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001969 if (likely(afinfo->garbage_collect == NULL))
1970 afinfo->garbage_collect = __xfrm_garbage_collect;
1971 xfrm_policy_afinfo[afinfo->family] = afinfo;
1972 }
Ingo Molnare959d812006-04-28 15:32:29 -07001973 write_unlock_bh(&xfrm_policy_afinfo_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001974 return err;
1975}
1976EXPORT_SYMBOL(xfrm_policy_register_afinfo);
1977
1978int xfrm_policy_unregister_afinfo(struct xfrm_policy_afinfo *afinfo)
1979{
1980 int err = 0;
1981 if (unlikely(afinfo == NULL))
1982 return -EINVAL;
1983 if (unlikely(afinfo->family >= NPROTO))
1984 return -EAFNOSUPPORT;
Ingo Molnare959d812006-04-28 15:32:29 -07001985 write_lock_bh(&xfrm_policy_afinfo_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001986 if (likely(xfrm_policy_afinfo[afinfo->family] != NULL)) {
1987 if (unlikely(xfrm_policy_afinfo[afinfo->family] != afinfo))
1988 err = -EINVAL;
1989 else {
1990 struct dst_ops *dst_ops = afinfo->dst_ops;
1991 xfrm_policy_afinfo[afinfo->family] = NULL;
1992 dst_ops->kmem_cachep = NULL;
1993 dst_ops->check = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001994 dst_ops->negative_advice = NULL;
1995 dst_ops->link_failure = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001996 afinfo->garbage_collect = NULL;
1997 }
1998 }
Ingo Molnare959d812006-04-28 15:32:29 -07001999 write_unlock_bh(&xfrm_policy_afinfo_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002000 return err;
2001}
2002EXPORT_SYMBOL(xfrm_policy_unregister_afinfo);
2003
2004static struct xfrm_policy_afinfo *xfrm_policy_get_afinfo(unsigned short family)
2005{
2006 struct xfrm_policy_afinfo *afinfo;
2007 if (unlikely(family >= NPROTO))
2008 return NULL;
2009 read_lock(&xfrm_policy_afinfo_lock);
2010 afinfo = xfrm_policy_afinfo[family];
Herbert Xu546be242006-05-27 23:03:58 -07002011 if (unlikely(!afinfo))
2012 read_unlock(&xfrm_policy_afinfo_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002013 return afinfo;
2014}
2015
2016static void xfrm_policy_put_afinfo(struct xfrm_policy_afinfo *afinfo)
2017{
Herbert Xu546be242006-05-27 23:03:58 -07002018 read_unlock(&xfrm_policy_afinfo_lock);
2019}
2020
2021static struct xfrm_policy_afinfo *xfrm_policy_lock_afinfo(unsigned int family)
2022{
2023 struct xfrm_policy_afinfo *afinfo;
2024 if (unlikely(family >= NPROTO))
2025 return NULL;
2026 write_lock_bh(&xfrm_policy_afinfo_lock);
2027 afinfo = xfrm_policy_afinfo[family];
2028 if (unlikely(!afinfo))
2029 write_unlock_bh(&xfrm_policy_afinfo_lock);
2030 return afinfo;
2031}
2032
2033static void xfrm_policy_unlock_afinfo(struct xfrm_policy_afinfo *afinfo)
2034{
2035 write_unlock_bh(&xfrm_policy_afinfo_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002036}
2037
2038static int xfrm_dev_event(struct notifier_block *this, unsigned long event, void *ptr)
2039{
2040 switch (event) {
2041 case NETDEV_DOWN:
2042 xfrm_flush_bundles();
2043 }
2044 return NOTIFY_DONE;
2045}
2046
2047static struct notifier_block xfrm_dev_notifier = {
2048 xfrm_dev_event,
2049 NULL,
2050 0
2051};
2052
2053static void __init xfrm_policy_init(void)
2054{
David S. Miller2518c7c2006-08-24 04:45:07 -07002055 unsigned int hmask, sz;
2056 int dir;
2057
Linus Torvalds1da177e2005-04-16 15:20:36 -07002058 xfrm_dst_cache = kmem_cache_create("xfrm_dst_cache",
2059 sizeof(struct xfrm_dst),
Alexey Dobriyane5d679f332006-08-26 19:25:52 -07002060 0, SLAB_HWCACHE_ALIGN|SLAB_PANIC,
Linus Torvalds1da177e2005-04-16 15:20:36 -07002061 NULL, NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002062
David S. Miller2518c7c2006-08-24 04:45:07 -07002063 hmask = 8 - 1;
2064 sz = (hmask+1) * sizeof(struct hlist_head);
2065
David S. Miller44e36b42006-08-24 04:50:50 -07002066 xfrm_policy_byidx = xfrm_hash_alloc(sz);
David S. Miller2518c7c2006-08-24 04:45:07 -07002067 xfrm_idx_hmask = hmask;
2068 if (!xfrm_policy_byidx)
2069 panic("XFRM: failed to allocate byidx hash\n");
2070
2071 for (dir = 0; dir < XFRM_POLICY_MAX * 2; dir++) {
2072 struct xfrm_policy_hash *htab;
2073
2074 INIT_HLIST_HEAD(&xfrm_policy_inexact[dir]);
2075
2076 htab = &xfrm_policy_bydst[dir];
David S. Miller44e36b42006-08-24 04:50:50 -07002077 htab->table = xfrm_hash_alloc(sz);
David S. Miller2518c7c2006-08-24 04:45:07 -07002078 htab->hmask = hmask;
2079 if (!htab->table)
2080 panic("XFRM: failed to allocate bydst hash\n");
2081 }
2082
Linus Torvalds1da177e2005-04-16 15:20:36 -07002083 INIT_WORK(&xfrm_policy_gc_work, xfrm_policy_gc_task, NULL);
2084 register_netdevice_notifier(&xfrm_dev_notifier);
2085}
2086
2087void __init xfrm_init(void)
2088{
2089 xfrm_state_init();
2090 xfrm_policy_init();
2091 xfrm_input_init();
2092}
2093