xref: /freebsd/sys/netpfil/ipfw/ip_fw_dynamic.c (revision 06fd1dab305c3e522c8dcc785fe206c0ca995b77)
1 /*-
2  * Copyright (c) 2002 Luigi Rizzo, Universita` di Pisa
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
14  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
16  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
17  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
18  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
19  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
20  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
21  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
22  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
23  * SUCH DAMAGE.
24  */
25 
26 #include <sys/cdefs.h>
27 __FBSDID("$FreeBSD$");
28 
29 #define        DEB(x)
30 #define        DDB(x) x
31 
32 /*
33  * Dynamic rule support for ipfw
34  */
35 
36 #include "opt_ipfw.h"
37 #include "opt_inet.h"
38 #ifndef INET
39 #error IPFIREWALL requires INET.
40 #endif /* INET */
41 #include "opt_inet6.h"
42 
43 #include <sys/param.h>
44 #include <sys/systm.h>
45 #include <sys/malloc.h>
46 #include <sys/mbuf.h>
47 #include <sys/kernel.h>
48 #include <sys/ktr.h>
49 #include <sys/lock.h>
50 #include <sys/rmlock.h>
51 #include <sys/socket.h>
52 #include <sys/sysctl.h>
53 #include <sys/syslog.h>
54 #include <net/ethernet.h> /* for ETHERTYPE_IP */
55 #include <net/if.h>
56 #include <net/if_var.h>
57 #include <net/vnet.h>
58 
59 #include <netinet/in.h>
60 #include <netinet/ip.h>
61 #include <netinet/ip_var.h>	/* ip_defttl */
62 #include <netinet/ip_fw.h>
63 #include <netinet/tcp_var.h>
64 #include <netinet/udp.h>
65 
66 #include <netinet/ip6.h>	/* IN6_ARE_ADDR_EQUAL */
67 #ifdef INET6
68 #include <netinet6/in6_var.h>
69 #include <netinet6/ip6_var.h>
70 #endif
71 
72 #include <netpfil/ipfw/ip_fw_private.h>
73 
74 #include <machine/in_cksum.h>	/* XXX for in_cksum */
75 
76 #ifdef MAC
77 #include <security/mac/mac_framework.h>
78 #endif
79 
80 /*
81  * Description of dynamic rules.
82  *
83  * Dynamic rules are stored in lists accessed through a hash table
84  * (ipfw_dyn_v) whose size is curr_dyn_buckets. This value can
85  * be modified through the sysctl variable dyn_buckets which is
86  * updated when the table becomes empty.
87  *
88  * XXX currently there is only one list, ipfw_dyn.
89  *
90  * When a packet is received, its address fields are first masked
91  * with the mask defined for the rule, then hashed, then matched
92  * against the entries in the corresponding list.
93  * Dynamic rules can be used for different purposes:
94  *  + stateful rules;
95  *  + enforcing limits on the number of sessions;
96  *  + in-kernel NAT (not implemented yet)
97  *
98  * The lifetime of dynamic rules is regulated by dyn_*_lifetime,
99  * measured in seconds and depending on the flags.
100  *
101  * The total number of dynamic rules is equal to UMA zone items count.
102  * The max number of dynamic rules is dyn_max. When we reach
103  * the maximum number of rules we do not create anymore. This is
104  * done to avoid consuming too much memory, but also too much
105  * time when searching on each packet (ideally, we should try instead
106  * to put a limit on the length of the list on each bucket...).
107  *
108  * Each dynamic rule holds a pointer to the parent ipfw rule so
109  * we know what action to perform. Dynamic rules are removed when
110  * the parent rule is deleted. This can be changed by dyn_keep_states
111  * sysctl.
112  *
113  * There are some limitations with dynamic rules -- we do not
114  * obey the 'randomized match', and we do not do multiple
115  * passes through the firewall. XXX check the latter!!!
116  */
117 
118 struct ipfw_dyn_bucket {
119 	struct mtx	mtx;		/* Bucket protecting lock */
120 	ipfw_dyn_rule	*head;		/* Pointer to first rule */
121 };
122 
123 /*
124  * Static variables followed by global ones
125  */
126 static VNET_DEFINE(struct ipfw_dyn_bucket *, ipfw_dyn_v);
127 static VNET_DEFINE(u_int32_t, dyn_buckets_max);
128 static VNET_DEFINE(u_int32_t, curr_dyn_buckets);
129 static VNET_DEFINE(struct callout, ipfw_timeout);
130 #define	V_ipfw_dyn_v			VNET(ipfw_dyn_v)
131 #define	V_dyn_buckets_max		VNET(dyn_buckets_max)
132 #define	V_curr_dyn_buckets		VNET(curr_dyn_buckets)
133 #define V_ipfw_timeout                  VNET(ipfw_timeout)
134 
135 static VNET_DEFINE(uma_zone_t, ipfw_dyn_rule_zone);
136 #define	V_ipfw_dyn_rule_zone		VNET(ipfw_dyn_rule_zone)
137 
138 #define	IPFW_BUCK_LOCK_INIT(b)	\
139 	mtx_init(&(b)->mtx, "IPFW dynamic bucket", NULL, MTX_DEF)
140 #define	IPFW_BUCK_LOCK_DESTROY(b)	\
141 	mtx_destroy(&(b)->mtx)
142 #define	IPFW_BUCK_LOCK(i)	mtx_lock(&V_ipfw_dyn_v[(i)].mtx)
143 #define	IPFW_BUCK_UNLOCK(i)	mtx_unlock(&V_ipfw_dyn_v[(i)].mtx)
144 #define	IPFW_BUCK_ASSERT(i)	mtx_assert(&V_ipfw_dyn_v[(i)].mtx, MA_OWNED)
145 
146 
147 static VNET_DEFINE(int, dyn_keep_states);
148 #define	V_dyn_keep_states		VNET(dyn_keep_states)
149 
150 /*
151  * Timeouts for various events in handing dynamic rules.
152  */
153 static VNET_DEFINE(u_int32_t, dyn_ack_lifetime);
154 static VNET_DEFINE(u_int32_t, dyn_syn_lifetime);
155 static VNET_DEFINE(u_int32_t, dyn_fin_lifetime);
156 static VNET_DEFINE(u_int32_t, dyn_rst_lifetime);
157 static VNET_DEFINE(u_int32_t, dyn_udp_lifetime);
158 static VNET_DEFINE(u_int32_t, dyn_short_lifetime);
159 
160 #define	V_dyn_ack_lifetime		VNET(dyn_ack_lifetime)
161 #define	V_dyn_syn_lifetime		VNET(dyn_syn_lifetime)
162 #define	V_dyn_fin_lifetime		VNET(dyn_fin_lifetime)
163 #define	V_dyn_rst_lifetime		VNET(dyn_rst_lifetime)
164 #define	V_dyn_udp_lifetime		VNET(dyn_udp_lifetime)
165 #define	V_dyn_short_lifetime		VNET(dyn_short_lifetime)
166 
167 /*
168  * Keepalives are sent if dyn_keepalive is set. They are sent every
169  * dyn_keepalive_period seconds, in the last dyn_keepalive_interval
170  * seconds of lifetime of a rule.
171  * dyn_rst_lifetime and dyn_fin_lifetime should be strictly lower
172  * than dyn_keepalive_period.
173  */
174 
175 static VNET_DEFINE(u_int32_t, dyn_keepalive_interval);
176 static VNET_DEFINE(u_int32_t, dyn_keepalive_period);
177 static VNET_DEFINE(u_int32_t, dyn_keepalive);
178 static VNET_DEFINE(time_t, dyn_keepalive_last);
179 
180 #define	V_dyn_keepalive_interval	VNET(dyn_keepalive_interval)
181 #define	V_dyn_keepalive_period		VNET(dyn_keepalive_period)
182 #define	V_dyn_keepalive			VNET(dyn_keepalive)
183 #define	V_dyn_keepalive_last		VNET(dyn_keepalive_last)
184 
185 static VNET_DEFINE(u_int32_t, dyn_max);		/* max # of dynamic rules */
186 
187 #define	DYN_COUNT			uma_zone_get_cur(V_ipfw_dyn_rule_zone)
188 #define	V_dyn_max			VNET(dyn_max)
189 
190 /* for userspace, we emulate the uma_zone_counter with ipfw_dyn_count */
191 static int ipfw_dyn_count;	/* number of objects */
192 
193 #ifdef USERSPACE /* emulation of UMA object counters for userspace */
194 #define uma_zone_get_cur(x)	ipfw_dyn_count
195 #endif /* USERSPACE */
196 
197 static int last_log;	/* Log ratelimiting */
198 
199 static void ipfw_dyn_tick(void *vnetx);
200 static void check_dyn_rules(struct ip_fw_chain *, ipfw_range_tlv *, int, int);
201 #ifdef SYSCTL_NODE
202 
203 static int sysctl_ipfw_dyn_count(SYSCTL_HANDLER_ARGS);
204 static int sysctl_ipfw_dyn_max(SYSCTL_HANDLER_ARGS);
205 
206 SYSBEGIN(f2)
207 
208 SYSCTL_DECL(_net_inet_ip_fw);
209 SYSCTL_UINT(_net_inet_ip_fw, OID_AUTO, dyn_buckets,
210     CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(dyn_buckets_max), 0,
211     "Max number of dyn. buckets");
212 SYSCTL_UINT(_net_inet_ip_fw, OID_AUTO, curr_dyn_buckets,
213     CTLFLAG_VNET | CTLFLAG_RD, &VNET_NAME(curr_dyn_buckets), 0,
214     "Current Number of dyn. buckets");
215 SYSCTL_PROC(_net_inet_ip_fw, OID_AUTO, dyn_count,
216     CTLFLAG_VNET | CTLTYPE_UINT | CTLFLAG_RD, 0, 0, sysctl_ipfw_dyn_count, "IU",
217     "Number of dyn. rules");
218 SYSCTL_PROC(_net_inet_ip_fw, OID_AUTO, dyn_max,
219     CTLFLAG_VNET | CTLTYPE_UINT | CTLFLAG_RW, 0, 0, sysctl_ipfw_dyn_max, "IU",
220     "Max number of dyn. rules");
221 SYSCTL_UINT(_net_inet_ip_fw, OID_AUTO, dyn_ack_lifetime,
222     CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(dyn_ack_lifetime), 0,
223     "Lifetime of dyn. rules for acks");
224 SYSCTL_UINT(_net_inet_ip_fw, OID_AUTO, dyn_syn_lifetime,
225     CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(dyn_syn_lifetime), 0,
226     "Lifetime of dyn. rules for syn");
227 SYSCTL_UINT(_net_inet_ip_fw, OID_AUTO, dyn_fin_lifetime,
228     CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(dyn_fin_lifetime), 0,
229     "Lifetime of dyn. rules for fin");
230 SYSCTL_UINT(_net_inet_ip_fw, OID_AUTO, dyn_rst_lifetime,
231     CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(dyn_rst_lifetime), 0,
232     "Lifetime of dyn. rules for rst");
233 SYSCTL_UINT(_net_inet_ip_fw, OID_AUTO, dyn_udp_lifetime,
234     CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(dyn_udp_lifetime), 0,
235     "Lifetime of dyn. rules for UDP");
236 SYSCTL_UINT(_net_inet_ip_fw, OID_AUTO, dyn_short_lifetime,
237     CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(dyn_short_lifetime), 0,
238     "Lifetime of dyn. rules for other situations");
239 SYSCTL_UINT(_net_inet_ip_fw, OID_AUTO, dyn_keepalive,
240     CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(dyn_keepalive), 0,
241     "Enable keepalives for dyn. rules");
242 SYSCTL_UINT(_net_inet_ip_fw, OID_AUTO, dyn_keep_states,
243     CTLFLAG_VNET | CTLFLAG_RW, &VNET_NAME(dyn_keep_states), 0,
244     "Do not flush dynamic states on rule deletion");
245 
246 SYSEND
247 
248 #endif /* SYSCTL_NODE */
249 
250 
251 #ifdef INET6
252 static __inline int
253 hash_packet6(struct ipfw_flow_id *id)
254 {
255 	u_int32_t i;
256 	i = (id->dst_ip6.__u6_addr.__u6_addr32[2]) ^
257 	    (id->dst_ip6.__u6_addr.__u6_addr32[3]) ^
258 	    (id->src_ip6.__u6_addr.__u6_addr32[2]) ^
259 	    (id->src_ip6.__u6_addr.__u6_addr32[3]) ^
260 	    (id->dst_port) ^ (id->src_port);
261 	return i;
262 }
263 #endif
264 
265 /*
266  * IMPORTANT: the hash function for dynamic rules must be commutative
267  * in source and destination (ip,port), because rules are bidirectional
268  * and we want to find both in the same bucket.
269  */
270 static __inline int
271 hash_packet(struct ipfw_flow_id *id, int buckets)
272 {
273 	u_int32_t i;
274 
275 #ifdef INET6
276 	if (IS_IP6_FLOW_ID(id))
277 		i = hash_packet6(id);
278 	else
279 #endif /* INET6 */
280 	i = (id->dst_ip) ^ (id->src_ip) ^ (id->dst_port) ^ (id->src_port);
281 	i &= (buckets - 1);
282 	return i;
283 }
284 
285 #if 0
286 #define	DYN_DEBUG(fmt, ...)	do {			\
287 	printf("%s: " fmt "\n", __func__, __VA_ARGS__);	\
288 } while (0)
289 #else
290 #define	DYN_DEBUG(fmt, ...)
291 #endif
292 
293 static char *default_state_name = "default";
294 struct dyn_state_obj {
295 	struct named_object	no;
296 	char			name[64];
297 };
298 
299 #define	DYN_STATE_OBJ(ch, cmd)	\
300     ((struct dyn_state_obj *)SRV_OBJECT(ch, (cmd)->arg1))
301 /*
302  * Classifier callback.
303  * Return 0 if opcode contains object that should be referenced
304  * or rewritten.
305  */
306 static int
307 dyn_classify(ipfw_insn *cmd, uint16_t *puidx, uint8_t *ptype)
308 {
309 
310 	DYN_DEBUG("opcode %d, arg1 %d", cmd->opcode, cmd->arg1);
311 	/* Don't rewrite "check-state any" */
312 	if (cmd->arg1 == 0 &&
313 	    cmd->opcode == O_CHECK_STATE)
314 		return (1);
315 
316 	*puidx = cmd->arg1;
317 	*ptype = 0;
318 	return (0);
319 }
320 
321 static void
322 dyn_update(ipfw_insn *cmd, uint16_t idx)
323 {
324 
325 	cmd->arg1 = idx;
326 	DYN_DEBUG("opcode %d, arg1 %d", cmd->opcode, cmd->arg1);
327 }
328 
329 static int
330 dyn_findbyname(struct ip_fw_chain *ch, struct tid_info *ti,
331     struct named_object **pno)
332 {
333 	ipfw_obj_ntlv *ntlv;
334 	const char *name;
335 
336 	DYN_DEBUG("uidx %d", ti->uidx);
337 	if (ti->uidx != 0) {
338 		if (ti->tlvs == NULL)
339 			return (EINVAL);
340 		/* Search ntlv in the buffer provided by user */
341 		ntlv = ipfw_find_name_tlv_type(ti->tlvs, ti->tlen, ti->uidx,
342 		    IPFW_TLV_STATE_NAME);
343 		if (ntlv == NULL)
344 			return (EINVAL);
345 		name = ntlv->name;
346 	} else
347 		name = default_state_name;
348 	/*
349 	 * Search named object with corresponding name.
350 	 * Since states objects are global - ignore the set value
351 	 * and use zero instead.
352 	 */
353 	*pno = ipfw_objhash_lookup_name_type(CHAIN_TO_SRV(ch), 0,
354 	    IPFW_TLV_STATE_NAME, name);
355 	/*
356 	 * We always return success here.
357 	 * The caller will check *pno and mark object as unresolved,
358 	 * then it will automatically create "default" object.
359 	 */
360 	return (0);
361 }
362 
363 static struct named_object *
364 dyn_findbykidx(struct ip_fw_chain *ch, uint16_t idx)
365 {
366 
367 	DYN_DEBUG("kidx %d", idx);
368 	return (ipfw_objhash_lookup_kidx(CHAIN_TO_SRV(ch), idx));
369 }
370 
371 static int
372 dyn_create(struct ip_fw_chain *ch, struct tid_info *ti,
373     uint16_t *pkidx)
374 {
375 	struct namedobj_instance *ni;
376 	struct dyn_state_obj *obj;
377 	struct named_object *no;
378 	ipfw_obj_ntlv *ntlv;
379 	char *name;
380 
381 	DYN_DEBUG("uidx %d", ti->uidx);
382 	if (ti->uidx != 0) {
383 		if (ti->tlvs == NULL)
384 			return (EINVAL);
385 		ntlv = ipfw_find_name_tlv_type(ti->tlvs, ti->tlen, ti->uidx,
386 		    IPFW_TLV_STATE_NAME);
387 		if (ntlv == NULL)
388 			return (EINVAL);
389 		name = ntlv->name;
390 	} else
391 		name = default_state_name;
392 
393 	ni = CHAIN_TO_SRV(ch);
394 	obj = malloc(sizeof(*obj), M_IPFW, M_WAITOK | M_ZERO);
395 	obj->no.name = obj->name;
396 	obj->no.etlv = IPFW_TLV_STATE_NAME;
397 	strlcpy(obj->name, name, sizeof(obj->name));
398 
399 	IPFW_UH_WLOCK(ch);
400 	no = ipfw_objhash_lookup_name_type(ni, 0,
401 	    IPFW_TLV_STATE_NAME, name);
402 	if (no != NULL) {
403 		/*
404 		 * Object is already created.
405 		 * Just return its kidx and bump refcount.
406 		 */
407 		*pkidx = no->kidx;
408 		no->refcnt++;
409 		IPFW_UH_WUNLOCK(ch);
410 		free(obj, M_IPFW);
411 		DYN_DEBUG("\tfound kidx %d", *pkidx);
412 		return (0);
413 	}
414 	if (ipfw_objhash_alloc_idx(ni, &obj->no.kidx) != 0) {
415 		DYN_DEBUG("\talloc_idx failed for %s", name);
416 		IPFW_UH_WUNLOCK(ch);
417 		free(obj, M_IPFW);
418 		return (ENOSPC);
419 	}
420 	ipfw_objhash_add(ni, &obj->no);
421 	IPFW_WLOCK(ch);
422 	SRV_OBJECT(ch, obj->no.kidx) = obj;
423 	IPFW_WUNLOCK(ch);
424 	obj->no.refcnt++;
425 	*pkidx = obj->no.kidx;
426 	IPFW_UH_WUNLOCK(ch);
427 	DYN_DEBUG("\tcreated kidx %d", *pkidx);
428 	return (0);
429 }
430 
431 static void
432 dyn_destroy(struct ip_fw_chain *ch, struct named_object *no)
433 {
434 	struct dyn_state_obj *obj;
435 
436 	IPFW_UH_WLOCK_ASSERT(ch);
437 
438 	KASSERT(no->refcnt == 1,
439 	    ("Destroying object '%s' (type %u, idx %u) with refcnt %u",
440 	    no->name, no->etlv, no->kidx, no->refcnt));
441 
442 	DYN_DEBUG("kidx %d", no->kidx);
443 	IPFW_WLOCK(ch);
444 	obj = SRV_OBJECT(ch, no->kidx);
445 	SRV_OBJECT(ch, no->kidx) = NULL;
446 	IPFW_WUNLOCK(ch);
447 	ipfw_objhash_del(CHAIN_TO_SRV(ch), no);
448 	ipfw_objhash_free_idx(CHAIN_TO_SRV(ch), no->kidx);
449 
450 	free(obj, M_IPFW);
451 }
452 
453 static struct opcode_obj_rewrite dyn_opcodes[] = {
454 	{
455 		O_KEEP_STATE, IPFW_TLV_STATE_NAME,
456 		dyn_classify, dyn_update,
457 		dyn_findbyname, dyn_findbykidx,
458 		dyn_create, dyn_destroy
459 	},
460 	{
461 		O_CHECK_STATE, IPFW_TLV_STATE_NAME,
462 		dyn_classify, dyn_update,
463 		dyn_findbyname, dyn_findbykidx,
464 		dyn_create, dyn_destroy
465 	},
466 	{
467 		O_PROBE_STATE, IPFW_TLV_STATE_NAME,
468 		dyn_classify, dyn_update,
469 		dyn_findbyname, dyn_findbykidx,
470 		dyn_create, dyn_destroy
471 	},
472 	{
473 		O_LIMIT, IPFW_TLV_STATE_NAME,
474 		dyn_classify, dyn_update,
475 		dyn_findbyname, dyn_findbykidx,
476 		dyn_create, dyn_destroy
477 	},
478 };
479 /**
480  * Print customizable flow id description via log(9) facility.
481  */
482 static void
483 print_dyn_rule_flags(struct ipfw_flow_id *id, int dyn_type, int log_flags,
484     char *prefix, char *postfix)
485 {
486 	struct in_addr da;
487 #ifdef INET6
488 	char src[INET6_ADDRSTRLEN], dst[INET6_ADDRSTRLEN];
489 #else
490 	char src[INET_ADDRSTRLEN], dst[INET_ADDRSTRLEN];
491 #endif
492 
493 #ifdef INET6
494 	if (IS_IP6_FLOW_ID(id)) {
495 		ip6_sprintf(src, &id->src_ip6);
496 		ip6_sprintf(dst, &id->dst_ip6);
497 	} else
498 #endif
499 	{
500 		da.s_addr = htonl(id->src_ip);
501 		inet_ntop(AF_INET, &da, src, sizeof(src));
502 		da.s_addr = htonl(id->dst_ip);
503 		inet_ntop(AF_INET, &da, dst, sizeof(dst));
504 	}
505 	log(log_flags, "ipfw: %s type %d %s %d -> %s %d, %d %s\n",
506 	    prefix, dyn_type, src, id->src_port, dst,
507 	    id->dst_port, DYN_COUNT, postfix);
508 }
509 
510 #define	print_dyn_rule(id, dtype, prefix, postfix)	\
511 	print_dyn_rule_flags(id, dtype, LOG_DEBUG, prefix, postfix)
512 
513 #define TIME_LEQ(a,b)       ((int)((a)-(b)) <= 0)
514 #define TIME_LE(a,b)       ((int)((a)-(b)) < 0)
515 
516 static void
517 dyn_update_proto_state(ipfw_dyn_rule *q, const struct ipfw_flow_id *id,
518     const struct tcphdr *tcp, int dir)
519 {
520 	uint32_t ack;
521 	u_char flags;
522 
523 	if (id->proto == IPPROTO_TCP) {
524 		flags = id->_flags & (TH_FIN | TH_SYN | TH_RST);
525 #define BOTH_SYN	(TH_SYN | (TH_SYN << 8))
526 #define BOTH_FIN	(TH_FIN | (TH_FIN << 8))
527 #define	TCP_FLAGS	(TH_FLAGS | (TH_FLAGS << 8))
528 #define	ACK_FWD		0x10000			/* fwd ack seen */
529 #define	ACK_REV		0x20000			/* rev ack seen */
530 
531 		q->state |= (dir == MATCH_FORWARD) ? flags : (flags << 8);
532 		switch (q->state & TCP_FLAGS) {
533 		case TH_SYN:			/* opening */
534 			q->expire = time_uptime + V_dyn_syn_lifetime;
535 			break;
536 
537 		case BOTH_SYN:			/* move to established */
538 		case BOTH_SYN | TH_FIN:		/* one side tries to close */
539 		case BOTH_SYN | (TH_FIN << 8):
540 #define _SEQ_GE(a,b) ((int)(a) - (int)(b) >= 0)
541 			if (tcp == NULL)
542 				break;
543 
544 			ack = ntohl(tcp->th_ack);
545 			if (dir == MATCH_FORWARD) {
546 				if (q->ack_fwd == 0 ||
547 				    _SEQ_GE(ack, q->ack_fwd)) {
548 					q->ack_fwd = ack;
549 					q->state |= ACK_FWD;
550 				}
551 			} else {
552 				if (q->ack_rev == 0 ||
553 				    _SEQ_GE(ack, q->ack_rev)) {
554 					q->ack_rev = ack;
555 					q->state |= ACK_REV;
556 				}
557 			}
558 			if ((q->state & (ACK_FWD | ACK_REV)) ==
559 			    (ACK_FWD | ACK_REV)) {
560 				q->expire = time_uptime + V_dyn_ack_lifetime;
561 				q->state &= ~(ACK_FWD | ACK_REV);
562 			}
563 			break;
564 
565 		case BOTH_SYN | BOTH_FIN:	/* both sides closed */
566 			if (V_dyn_fin_lifetime >= V_dyn_keepalive_period)
567 				V_dyn_fin_lifetime =
568 				    V_dyn_keepalive_period - 1;
569 			q->expire = time_uptime + V_dyn_fin_lifetime;
570 			break;
571 
572 		default:
573 #if 0
574 			/*
575 			 * reset or some invalid combination, but can also
576 			 * occur if we use keep-state the wrong way.
577 			 */
578 			if ( (q->state & ((TH_RST << 8)|TH_RST)) == 0)
579 				printf("invalid state: 0x%x\n", q->state);
580 #endif
581 			if (V_dyn_rst_lifetime >= V_dyn_keepalive_period)
582 				V_dyn_rst_lifetime =
583 				    V_dyn_keepalive_period - 1;
584 			q->expire = time_uptime + V_dyn_rst_lifetime;
585 			break;
586 		}
587 	} else if (id->proto == IPPROTO_UDP) {
588 		q->expire = time_uptime + V_dyn_udp_lifetime;
589 	} else {
590 		/* other protocols */
591 		q->expire = time_uptime + V_dyn_short_lifetime;
592 	}
593 }
594 
595 /*
596  * Lookup a dynamic rule, locked version.
597  */
598 static ipfw_dyn_rule *
599 lookup_dyn_rule_locked(struct ipfw_flow_id *pkt, int i, int *match_direction,
600     struct tcphdr *tcp, uint16_t kidx)
601 {
602 	/*
603 	 * Stateful ipfw extensions.
604 	 * Lookup into dynamic session queue.
605 	 */
606 	ipfw_dyn_rule *prev, *q = NULL;
607 	int dir;
608 
609 	IPFW_BUCK_ASSERT(i);
610 
611 	dir = MATCH_NONE;
612 	for (prev = NULL, q = V_ipfw_dyn_v[i].head; q; prev = q, q = q->next) {
613 		if (q->dyn_type == O_LIMIT_PARENT)
614 			continue;
615 
616 		if (pkt->proto != q->id.proto)
617 			continue;
618 
619 		if (kidx != 0 && kidx != q->kidx)
620 			continue;
621 
622 		if (IS_IP6_FLOW_ID(pkt)) {
623 			if (IN6_ARE_ADDR_EQUAL(&pkt->src_ip6, &q->id.src_ip6) &&
624 			    IN6_ARE_ADDR_EQUAL(&pkt->dst_ip6, &q->id.dst_ip6) &&
625 			    pkt->src_port == q->id.src_port &&
626 			    pkt->dst_port == q->id.dst_port) {
627 				dir = MATCH_FORWARD;
628 				break;
629 			}
630 			if (IN6_ARE_ADDR_EQUAL(&pkt->src_ip6, &q->id.dst_ip6) &&
631 			    IN6_ARE_ADDR_EQUAL(&pkt->dst_ip6, &q->id.src_ip6) &&
632 			    pkt->src_port == q->id.dst_port &&
633 			    pkt->dst_port == q->id.src_port) {
634 				dir = MATCH_REVERSE;
635 				break;
636 			}
637 		} else {
638 			if (pkt->src_ip == q->id.src_ip &&
639 			    pkt->dst_ip == q->id.dst_ip &&
640 			    pkt->src_port == q->id.src_port &&
641 			    pkt->dst_port == q->id.dst_port) {
642 				dir = MATCH_FORWARD;
643 				break;
644 			}
645 			if (pkt->src_ip == q->id.dst_ip &&
646 			    pkt->dst_ip == q->id.src_ip &&
647 			    pkt->src_port == q->id.dst_port &&
648 			    pkt->dst_port == q->id.src_port) {
649 				dir = MATCH_REVERSE;
650 				break;
651 			}
652 		}
653 	}
654 	if (q == NULL)
655 		goto done;	/* q = NULL, not found */
656 
657 	if (prev != NULL) {	/* found and not in front */
658 		prev->next = q->next;
659 		q->next = V_ipfw_dyn_v[i].head;
660 		V_ipfw_dyn_v[i].head = q;
661 	}
662 
663 	/* update state according to flags */
664 	dyn_update_proto_state(q, pkt, tcp, dir);
665 done:
666 	if (match_direction != NULL)
667 		*match_direction = dir;
668 	return (q);
669 }
670 
671 ipfw_dyn_rule *
672 ipfw_lookup_dyn_rule(struct ipfw_flow_id *pkt, int *match_direction,
673     struct tcphdr *tcp, uint16_t kidx)
674 {
675 	ipfw_dyn_rule *q;
676 	int i;
677 
678 	i = hash_packet(pkt, V_curr_dyn_buckets);
679 
680 	IPFW_BUCK_LOCK(i);
681 	q = lookup_dyn_rule_locked(pkt, i, match_direction, tcp, kidx);
682 	if (q == NULL)
683 		IPFW_BUCK_UNLOCK(i);
684 	/* NB: return table locked when q is not NULL */
685 	return q;
686 }
687 
688 /*
689  * Unlock bucket mtx
690  * @p - pointer to dynamic rule
691  */
692 void
693 ipfw_dyn_unlock(ipfw_dyn_rule *q)
694 {
695 
696 	IPFW_BUCK_UNLOCK(q->bucket);
697 }
698 
699 static int
700 resize_dynamic_table(struct ip_fw_chain *chain, int nbuckets)
701 {
702 	int i, k, nbuckets_old;
703 	ipfw_dyn_rule *q;
704 	struct ipfw_dyn_bucket *dyn_v, *dyn_v_old;
705 
706 	/* Check if given number is power of 2 and less than 64k */
707 	if ((nbuckets > 65536) || (!powerof2(nbuckets)))
708 		return 1;
709 
710 	CTR3(KTR_NET, "%s: resize dynamic hash: %d -> %d", __func__,
711 	    V_curr_dyn_buckets, nbuckets);
712 
713 	/* Allocate and initialize new hash */
714 	dyn_v = malloc(nbuckets * sizeof(*dyn_v), M_IPFW,
715 	    M_WAITOK | M_ZERO);
716 
717 	for (i = 0 ; i < nbuckets; i++)
718 		IPFW_BUCK_LOCK_INIT(&dyn_v[i]);
719 
720 	/*
721 	 * Call upper half lock, as get_map() do to ease
722 	 * read-only access to dynamic rules hash from sysctl
723 	 */
724 	IPFW_UH_WLOCK(chain);
725 
726 	/*
727 	 * Acquire chain write lock to permit hash access
728 	 * for main traffic path without additional locks
729 	 */
730 	IPFW_WLOCK(chain);
731 
732 	/* Save old values */
733 	nbuckets_old = V_curr_dyn_buckets;
734 	dyn_v_old = V_ipfw_dyn_v;
735 
736 	/* Skip relinking if array is not set up */
737 	if (V_ipfw_dyn_v == NULL)
738 		V_curr_dyn_buckets = 0;
739 
740 	/* Re-link all dynamic states */
741 	for (i = 0 ; i < V_curr_dyn_buckets ; i++) {
742 		while (V_ipfw_dyn_v[i].head != NULL) {
743 			/* Remove from current chain */
744 			q = V_ipfw_dyn_v[i].head;
745 			V_ipfw_dyn_v[i].head = q->next;
746 
747 			/* Get new hash value */
748 			k = hash_packet(&q->id, nbuckets);
749 			q->bucket = k;
750 			/* Add to the new head */
751 			q->next = dyn_v[k].head;
752 			dyn_v[k].head = q;
753              }
754 	}
755 
756 	/* Update current pointers/buckets values */
757 	V_curr_dyn_buckets = nbuckets;
758 	V_ipfw_dyn_v = dyn_v;
759 
760 	IPFW_WUNLOCK(chain);
761 
762 	IPFW_UH_WUNLOCK(chain);
763 
764 	/* Start periodic callout on initial creation */
765 	if (dyn_v_old == NULL) {
766         	callout_reset_on(&V_ipfw_timeout, hz, ipfw_dyn_tick, curvnet, 0);
767 		return (0);
768 	}
769 
770 	/* Destroy all mutexes */
771 	for (i = 0 ; i < nbuckets_old ; i++)
772 		IPFW_BUCK_LOCK_DESTROY(&dyn_v_old[i]);
773 
774 	/* Free old hash */
775 	free(dyn_v_old, M_IPFW);
776 
777 	return 0;
778 }
779 
780 /**
781  * Install state of type 'type' for a dynamic session.
782  * The hash table contains two type of rules:
783  * - regular rules (O_KEEP_STATE)
784  * - rules for sessions with limited number of sess per user
785  *   (O_LIMIT). When they are created, the parent is
786  *   increased by 1, and decreased on delete. In this case,
787  *   the third parameter is the parent rule and not the chain.
788  * - "parent" rules for the above (O_LIMIT_PARENT).
789  */
790 static ipfw_dyn_rule *
791 add_dyn_rule(struct ipfw_flow_id *id, int i, uint8_t dyn_type,
792     struct ip_fw *rule, uint16_t kidx)
793 {
794 	ipfw_dyn_rule *r;
795 
796 	IPFW_BUCK_ASSERT(i);
797 
798 	r = uma_zalloc(V_ipfw_dyn_rule_zone, M_NOWAIT | M_ZERO);
799 	if (r == NULL) {
800 		if (last_log != time_uptime) {
801 			last_log = time_uptime;
802 			log(LOG_DEBUG,
803 			    "ipfw: Cannot allocate dynamic state, "
804 			    "consider increasing net.inet.ip.fw.dyn_max\n");
805 		}
806 		return NULL;
807 	}
808 	ipfw_dyn_count++;
809 
810 	/*
811 	 * refcount on parent is already incremented, so
812 	 * it is safe to use parent unlocked.
813 	 */
814 	if (dyn_type == O_LIMIT) {
815 		ipfw_dyn_rule *parent = (ipfw_dyn_rule *)rule;
816 		if ( parent->dyn_type != O_LIMIT_PARENT)
817 			panic("invalid parent");
818 		r->parent = parent;
819 		rule = parent->rule;
820 	}
821 
822 	r->id = *id;
823 	r->expire = time_uptime + V_dyn_syn_lifetime;
824 	r->rule = rule;
825 	r->dyn_type = dyn_type;
826 	IPFW_ZERO_DYN_COUNTER(r);
827 	r->count = 0;
828 	r->kidx = kidx;
829 	r->bucket = i;
830 	r->next = V_ipfw_dyn_v[i].head;
831 	V_ipfw_dyn_v[i].head = r;
832 	DEB(print_dyn_rule(id, dyn_type, "add dyn entry", "total");)
833 	return r;
834 }
835 
836 /**
837  * lookup dynamic parent rule using pkt and rule as search keys.
838  * If the lookup fails, then install one.
839  */
840 static ipfw_dyn_rule *
841 lookup_dyn_parent(struct ipfw_flow_id *pkt, int *pindex, struct ip_fw *rule,
842     uint16_t kidx)
843 {
844 	ipfw_dyn_rule *q;
845 	int i, is_v6;
846 
847 	is_v6 = IS_IP6_FLOW_ID(pkt);
848 	i = hash_packet( pkt, V_curr_dyn_buckets );
849 	*pindex = i;
850 	IPFW_BUCK_LOCK(i);
851 	for (q = V_ipfw_dyn_v[i].head ; q != NULL ; q=q->next)
852 		if (q->dyn_type == O_LIMIT_PARENT &&
853 		    kidx == q->kidx &&
854 		    rule == q->rule &&
855 		    pkt->proto == q->id.proto &&
856 		    pkt->src_port == q->id.src_port &&
857 		    pkt->dst_port == q->id.dst_port &&
858 		    (
859 			(is_v6 &&
860 			 IN6_ARE_ADDR_EQUAL(&(pkt->src_ip6),
861 				&(q->id.src_ip6)) &&
862 			 IN6_ARE_ADDR_EQUAL(&(pkt->dst_ip6),
863 				&(q->id.dst_ip6))) ||
864 			(!is_v6 &&
865 			 pkt->src_ip == q->id.src_ip &&
866 			 pkt->dst_ip == q->id.dst_ip)
867 		    )
868 		) {
869 			q->expire = time_uptime + V_dyn_short_lifetime;
870 			DEB(print_dyn_rule(pkt, q->dyn_type,
871 			    "lookup_dyn_parent found", "");)
872 			return q;
873 		}
874 
875 	/* Add virtual limiting rule */
876 	return add_dyn_rule(pkt, i, O_LIMIT_PARENT, rule, kidx);
877 }
878 
879 /**
880  * Install dynamic state for rule type cmd->o.opcode
881  *
882  * Returns 1 (failure) if state is not installed because of errors or because
883  * session limitations are enforced.
884  */
885 int
886 ipfw_install_state(struct ip_fw_chain *chain, struct ip_fw *rule,
887     ipfw_insn_limit *cmd, struct ip_fw_args *args, uint32_t tablearg)
888 {
889 	ipfw_dyn_rule *q;
890 	int i;
891 
892 	DEB(print_dyn_rule(&args->f_id, cmd->o.opcode, "install_state",
893 	    (cmd->o.arg1 == 0 ? "": DYN_STATE_OBJ(chain, &cmd->o)->name));)
894 
895 	i = hash_packet(&args->f_id, V_curr_dyn_buckets);
896 
897 	IPFW_BUCK_LOCK(i);
898 
899 	q = lookup_dyn_rule_locked(&args->f_id, i, NULL, NULL, cmd->o.arg1);
900 	if (q != NULL) {	/* should never occur */
901 		DEB(
902 		if (last_log != time_uptime) {
903 			last_log = time_uptime;
904 			printf("ipfw: %s: entry already present, done\n",
905 			    __func__);
906 		})
907 		IPFW_BUCK_UNLOCK(i);
908 		return (0);
909 	}
910 
911 	/*
912 	 * State limiting is done via uma(9) zone limiting.
913 	 * Save pointer to newly-installed rule and reject
914 	 * packet if add_dyn_rule() returned NULL.
915 	 * Note q is currently set to NULL.
916 	 */
917 
918 	switch (cmd->o.opcode) {
919 	case O_KEEP_STATE:	/* bidir rule */
920 		q = add_dyn_rule(&args->f_id, i, O_KEEP_STATE, rule,
921 		    cmd->o.arg1);
922 		break;
923 
924 	case O_LIMIT: {		/* limit number of sessions */
925 		struct ipfw_flow_id id;
926 		ipfw_dyn_rule *parent;
927 		uint32_t conn_limit;
928 		uint16_t limit_mask = cmd->limit_mask;
929 		int pindex;
930 
931 		conn_limit = IP_FW_ARG_TABLEARG(chain, cmd->conn_limit, limit);
932 
933 		DEB(
934 		if (cmd->conn_limit == IP_FW_TARG)
935 			printf("ipfw: %s: O_LIMIT rule, conn_limit: %u "
936 			    "(tablearg)\n", __func__, conn_limit);
937 		else
938 			printf("ipfw: %s: O_LIMIT rule, conn_limit: %u\n",
939 			    __func__, conn_limit);
940 		)
941 
942 		id.dst_ip = id.src_ip = id.dst_port = id.src_port = 0;
943 		id.proto = args->f_id.proto;
944 		id.addr_type = args->f_id.addr_type;
945 		id.fib = M_GETFIB(args->m);
946 
947 		if (IS_IP6_FLOW_ID (&(args->f_id))) {
948 			bzero(&id.src_ip6, sizeof(id.src_ip6));
949 			bzero(&id.dst_ip6, sizeof(id.dst_ip6));
950 
951 			if (limit_mask & DYN_SRC_ADDR)
952 				id.src_ip6 = args->f_id.src_ip6;
953 			if (limit_mask & DYN_DST_ADDR)
954 				id.dst_ip6 = args->f_id.dst_ip6;
955 		} else {
956 			if (limit_mask & DYN_SRC_ADDR)
957 				id.src_ip = args->f_id.src_ip;
958 			if (limit_mask & DYN_DST_ADDR)
959 				id.dst_ip = args->f_id.dst_ip;
960 		}
961 		if (limit_mask & DYN_SRC_PORT)
962 			id.src_port = args->f_id.src_port;
963 		if (limit_mask & DYN_DST_PORT)
964 			id.dst_port = args->f_id.dst_port;
965 
966 		/*
967 		 * We have to release lock for previous bucket to
968 		 * avoid possible deadlock
969 		 */
970 		IPFW_BUCK_UNLOCK(i);
971 
972 		parent = lookup_dyn_parent(&id, &pindex, rule, cmd->o.arg1);
973 		if (parent == NULL) {
974 			printf("ipfw: %s: add parent failed\n", __func__);
975 			IPFW_BUCK_UNLOCK(pindex);
976 			return (1);
977 		}
978 
979 		if (parent->count >= conn_limit) {
980 			if (V_fw_verbose && last_log != time_uptime) {
981 				last_log = time_uptime;
982 				char sbuf[24];
983 				last_log = time_uptime;
984 				snprintf(sbuf, sizeof(sbuf),
985 				    "%d drop session",
986 				    parent->rule->rulenum);
987 				print_dyn_rule_flags(&args->f_id,
988 				    cmd->o.opcode,
989 				    LOG_SECURITY | LOG_DEBUG,
990 				    sbuf, "too many entries");
991 			}
992 			IPFW_BUCK_UNLOCK(pindex);
993 			return (1);
994 		}
995 		/* Increment counter on parent */
996 		parent->count++;
997 		IPFW_BUCK_UNLOCK(pindex);
998 
999 		IPFW_BUCK_LOCK(i);
1000 		q = add_dyn_rule(&args->f_id, i, O_LIMIT,
1001 		    (struct ip_fw *)parent, cmd->o.arg1);
1002 		if (q == NULL) {
1003 			/* Decrement index and notify caller */
1004 			IPFW_BUCK_UNLOCK(i);
1005 			IPFW_BUCK_LOCK(pindex);
1006 			parent->count--;
1007 			IPFW_BUCK_UNLOCK(pindex);
1008 			return (1);
1009 		}
1010 		break;
1011 	}
1012 	default:
1013 		printf("ipfw: %s: unknown dynamic rule type %u\n",
1014 		    __func__, cmd->o.opcode);
1015 	}
1016 
1017 	if (q == NULL) {
1018 		IPFW_BUCK_UNLOCK(i);
1019 		return (1);	/* Notify caller about failure */
1020 	}
1021 
1022 	dyn_update_proto_state(q, &args->f_id, NULL, MATCH_FORWARD);
1023 	IPFW_BUCK_UNLOCK(i);
1024 	return (0);
1025 }
1026 
1027 /*
1028  * Generate a TCP packet, containing either a RST or a keepalive.
1029  * When flags & TH_RST, we are sending a RST packet, because of a
1030  * "reset" action matched the packet.
1031  * Otherwise we are sending a keepalive, and flags & TH_
1032  * The 'replyto' mbuf is the mbuf being replied to, if any, and is required
1033  * so that MAC can label the reply appropriately.
1034  */
1035 struct mbuf *
1036 ipfw_send_pkt(struct mbuf *replyto, struct ipfw_flow_id *id, u_int32_t seq,
1037     u_int32_t ack, int flags)
1038 {
1039 	struct mbuf *m = NULL;		/* stupid compiler */
1040 	int len, dir;
1041 	struct ip *h = NULL;		/* stupid compiler */
1042 #ifdef INET6
1043 	struct ip6_hdr *h6 = NULL;
1044 #endif
1045 	struct tcphdr *th = NULL;
1046 
1047 	MGETHDR(m, M_NOWAIT, MT_DATA);
1048 	if (m == NULL)
1049 		return (NULL);
1050 
1051 	M_SETFIB(m, id->fib);
1052 #ifdef MAC
1053 	if (replyto != NULL)
1054 		mac_netinet_firewall_reply(replyto, m);
1055 	else
1056 		mac_netinet_firewall_send(m);
1057 #else
1058 	(void)replyto;		/* don't warn about unused arg */
1059 #endif
1060 
1061 	switch (id->addr_type) {
1062 	case 4:
1063 		len = sizeof(struct ip) + sizeof(struct tcphdr);
1064 		break;
1065 #ifdef INET6
1066 	case 6:
1067 		len = sizeof(struct ip6_hdr) + sizeof(struct tcphdr);
1068 		break;
1069 #endif
1070 	default:
1071 		/* XXX: log me?!? */
1072 		FREE_PKT(m);
1073 		return (NULL);
1074 	}
1075 	dir = ((flags & (TH_SYN | TH_RST)) == TH_SYN);
1076 
1077 	m->m_data += max_linkhdr;
1078 	m->m_flags |= M_SKIP_FIREWALL;
1079 	m->m_pkthdr.len = m->m_len = len;
1080 	m->m_pkthdr.rcvif = NULL;
1081 	bzero(m->m_data, len);
1082 
1083 	switch (id->addr_type) {
1084 	case 4:
1085 		h = mtod(m, struct ip *);
1086 
1087 		/* prepare for checksum */
1088 		h->ip_p = IPPROTO_TCP;
1089 		h->ip_len = htons(sizeof(struct tcphdr));
1090 		if (dir) {
1091 			h->ip_src.s_addr = htonl(id->src_ip);
1092 			h->ip_dst.s_addr = htonl(id->dst_ip);
1093 		} else {
1094 			h->ip_src.s_addr = htonl(id->dst_ip);
1095 			h->ip_dst.s_addr = htonl(id->src_ip);
1096 		}
1097 
1098 		th = (struct tcphdr *)(h + 1);
1099 		break;
1100 #ifdef INET6
1101 	case 6:
1102 		h6 = mtod(m, struct ip6_hdr *);
1103 
1104 		/* prepare for checksum */
1105 		h6->ip6_nxt = IPPROTO_TCP;
1106 		h6->ip6_plen = htons(sizeof(struct tcphdr));
1107 		if (dir) {
1108 			h6->ip6_src = id->src_ip6;
1109 			h6->ip6_dst = id->dst_ip6;
1110 		} else {
1111 			h6->ip6_src = id->dst_ip6;
1112 			h6->ip6_dst = id->src_ip6;
1113 		}
1114 
1115 		th = (struct tcphdr *)(h6 + 1);
1116 		break;
1117 #endif
1118 	}
1119 
1120 	if (dir) {
1121 		th->th_sport = htons(id->src_port);
1122 		th->th_dport = htons(id->dst_port);
1123 	} else {
1124 		th->th_sport = htons(id->dst_port);
1125 		th->th_dport = htons(id->src_port);
1126 	}
1127 	th->th_off = sizeof(struct tcphdr) >> 2;
1128 
1129 	if (flags & TH_RST) {
1130 		if (flags & TH_ACK) {
1131 			th->th_seq = htonl(ack);
1132 			th->th_flags = TH_RST;
1133 		} else {
1134 			if (flags & TH_SYN)
1135 				seq++;
1136 			th->th_ack = htonl(seq);
1137 			th->th_flags = TH_RST | TH_ACK;
1138 		}
1139 	} else {
1140 		/*
1141 		 * Keepalive - use caller provided sequence numbers
1142 		 */
1143 		th->th_seq = htonl(seq);
1144 		th->th_ack = htonl(ack);
1145 		th->th_flags = TH_ACK;
1146 	}
1147 
1148 	switch (id->addr_type) {
1149 	case 4:
1150 		th->th_sum = in_cksum(m, len);
1151 
1152 		/* finish the ip header */
1153 		h->ip_v = 4;
1154 		h->ip_hl = sizeof(*h) >> 2;
1155 		h->ip_tos = IPTOS_LOWDELAY;
1156 		h->ip_off = htons(0);
1157 		h->ip_len = htons(len);
1158 		h->ip_ttl = V_ip_defttl;
1159 		h->ip_sum = 0;
1160 		break;
1161 #ifdef INET6
1162 	case 6:
1163 		th->th_sum = in6_cksum(m, IPPROTO_TCP, sizeof(*h6),
1164 		    sizeof(struct tcphdr));
1165 
1166 		/* finish the ip6 header */
1167 		h6->ip6_vfc |= IPV6_VERSION;
1168 		h6->ip6_hlim = IPV6_DEFHLIM;
1169 		break;
1170 #endif
1171 	}
1172 
1173 	return (m);
1174 }
1175 
1176 /*
1177  * Queue keepalive packets for given dynamic rule
1178  */
1179 static struct mbuf **
1180 ipfw_dyn_send_ka(struct mbuf **mtailp, ipfw_dyn_rule *q)
1181 {
1182 	struct mbuf *m_rev, *m_fwd;
1183 
1184 	m_rev = (q->state & ACK_REV) ? NULL :
1185 	    ipfw_send_pkt(NULL, &(q->id), q->ack_rev - 1, q->ack_fwd, TH_SYN);
1186 	m_fwd = (q->state & ACK_FWD) ? NULL :
1187 	    ipfw_send_pkt(NULL, &(q->id), q->ack_fwd - 1, q->ack_rev, 0);
1188 
1189 	if (m_rev != NULL) {
1190 		*mtailp = m_rev;
1191 		mtailp = &(*mtailp)->m_nextpkt;
1192 	}
1193 	if (m_fwd != NULL) {
1194 		*mtailp = m_fwd;
1195 		mtailp = &(*mtailp)->m_nextpkt;
1196 	}
1197 
1198 	return (mtailp);
1199 }
1200 
1201 /*
1202  * This procedure is used to perform various maintenance
1203  * on dynamic hash list. Currently it is called every second.
1204  */
1205 static void
1206 ipfw_dyn_tick(void * vnetx)
1207 {
1208 	struct ip_fw_chain *chain;
1209 	int check_ka = 0;
1210 #ifdef VIMAGE
1211 	struct vnet *vp = vnetx;
1212 #endif
1213 
1214 	CURVNET_SET(vp);
1215 
1216 	chain = &V_layer3_chain;
1217 
1218 	/* Run keepalive checks every keepalive_period iff ka is enabled */
1219 	if ((V_dyn_keepalive_last + V_dyn_keepalive_period <= time_uptime) &&
1220 	    (V_dyn_keepalive != 0)) {
1221 		V_dyn_keepalive_last = time_uptime;
1222 		check_ka = 1;
1223 	}
1224 
1225 	check_dyn_rules(chain, NULL, check_ka, 1);
1226 
1227 	callout_reset_on(&V_ipfw_timeout, hz, ipfw_dyn_tick, vnetx, 0);
1228 
1229 	CURVNET_RESTORE();
1230 }
1231 
1232 
1233 /*
1234  * Walk through all dynamic states doing generic maintenance:
1235  * 1) free expired states
1236  * 2) free all states based on deleted rule / set
1237  * 3) send keepalives for states if needed
1238  *
1239  * @chain - pointer to current ipfw rules chain
1240  * @rule - delete all states originated by given rule if != NULL
1241  * @set - delete all states originated by any rule in set @set if != RESVD_SET
1242  * @check_ka - perform checking/sending keepalives
1243  * @timer - indicate call from timer routine.
1244  *
1245  * Timer routine must call this function unlocked to permit
1246  * sending keepalives/resizing table.
1247  *
1248  * Others has to call function with IPFW_UH_WLOCK held.
1249  * Additionally, function assume that dynamic rule/set is
1250  * ALREADY deleted so no new states can be generated by
1251  * 'deleted' rules.
1252  *
1253  * Write lock is needed to ensure that unused parent rules
1254  * are not freed by other instance (see stage 2, 3)
1255  */
1256 static void
1257 check_dyn_rules(struct ip_fw_chain *chain, ipfw_range_tlv *rt,
1258     int check_ka, int timer)
1259 {
1260 	struct mbuf *m0, *m, *mnext, **mtailp;
1261 	struct ip *h;
1262 	int i, dyn_count, new_buckets = 0, max_buckets;
1263 	int expired = 0, expired_limits = 0, parents = 0, total = 0;
1264 	ipfw_dyn_rule *q, *q_prev, *q_next;
1265 	ipfw_dyn_rule *exp_head, **exptailp;
1266 	ipfw_dyn_rule *exp_lhead, **expltailp;
1267 
1268 	KASSERT(V_ipfw_dyn_v != NULL, ("%s: dynamic table not allocated",
1269 	    __func__));
1270 
1271 	/* Avoid possible LOR */
1272 	KASSERT(!check_ka || timer, ("%s: keepalive check with lock held",
1273 	    __func__));
1274 
1275 	/*
1276 	 * Do not perform any checks if we currently have no dynamic states
1277 	 */
1278 	if (DYN_COUNT == 0)
1279 		return;
1280 
1281 	/* Expired states */
1282 	exp_head = NULL;
1283 	exptailp = &exp_head;
1284 
1285 	/* Expired limit states */
1286 	exp_lhead = NULL;
1287 	expltailp = &exp_lhead;
1288 
1289 	/*
1290 	 * We make a chain of packets to go out here -- not deferring
1291 	 * until after we drop the IPFW dynamic rule lock would result
1292 	 * in a lock order reversal with the normal packet input -> ipfw
1293 	 * call stack.
1294 	 */
1295 	m0 = NULL;
1296 	mtailp = &m0;
1297 
1298 	/* Protect from hash resizing */
1299 	if (timer != 0)
1300 		IPFW_UH_WLOCK(chain);
1301 	else
1302 		IPFW_UH_WLOCK_ASSERT(chain);
1303 
1304 #define	NEXT_RULE()	{ q_prev = q; q = q->next ; continue; }
1305 
1306 	/* Stage 1: perform requested deletion */
1307 	for (i = 0 ; i < V_curr_dyn_buckets ; i++) {
1308 		IPFW_BUCK_LOCK(i);
1309 		for (q = V_ipfw_dyn_v[i].head, q_prev = q; q ; ) {
1310 			/* account every rule */
1311 			total++;
1312 
1313 			/* Skip parent rules at all */
1314 			if (q->dyn_type == O_LIMIT_PARENT) {
1315 				parents++;
1316 				NEXT_RULE();
1317 			}
1318 
1319 			/*
1320 			 * Remove rules which are:
1321 			 * 1) expired
1322 			 * 2) matches deletion range
1323 			 */
1324 			if ((TIME_LEQ(q->expire, time_uptime)) ||
1325 			    (rt != NULL && ipfw_match_range(q->rule, rt))) {
1326 				if (TIME_LE(time_uptime, q->expire) &&
1327 				    q->dyn_type == O_KEEP_STATE &&
1328 				    V_dyn_keep_states != 0) {
1329 					/*
1330 					 * Do not delete state if
1331 					 * it is not expired and
1332 					 * dyn_keep_states is ON.
1333 					 * However we need to re-link it
1334 					 * to any other stable rule
1335 					 */
1336 					q->rule = chain->default_rule;
1337 					NEXT_RULE();
1338 				}
1339 
1340 				/* Unlink q from current list */
1341 				q_next = q->next;
1342 				if (q == V_ipfw_dyn_v[i].head)
1343 					V_ipfw_dyn_v[i].head = q_next;
1344 				else
1345 					q_prev->next = q_next;
1346 
1347 				q->next = NULL;
1348 
1349 				/* queue q to expire list */
1350 				if (q->dyn_type != O_LIMIT) {
1351 					*exptailp = q;
1352 					exptailp = &(*exptailp)->next;
1353 					DEB(print_dyn_rule(&q->id, q->dyn_type,
1354 					    "unlink entry", "left");
1355 					)
1356 				} else {
1357 					/* Separate list for limit rules */
1358 					*expltailp = q;
1359 					expltailp = &(*expltailp)->next;
1360 					expired_limits++;
1361 					DEB(print_dyn_rule(&q->id, q->dyn_type,
1362 					    "unlink limit entry", "left");
1363 					)
1364 				}
1365 
1366 				q = q_next;
1367 				expired++;
1368 				continue;
1369 			}
1370 
1371 			/*
1372 			 * Check if we need to send keepalive:
1373 			 * we need to ensure if is time to do KA,
1374 			 * this is established TCP session, and
1375 			 * expire time is within keepalive interval
1376 			 */
1377 			if ((check_ka != 0) && (q->id.proto == IPPROTO_TCP) &&
1378 			    ((q->state & BOTH_SYN) == BOTH_SYN) &&
1379 			    (TIME_LEQ(q->expire, time_uptime +
1380 			      V_dyn_keepalive_interval)))
1381 				mtailp = ipfw_dyn_send_ka(mtailp, q);
1382 
1383 			NEXT_RULE();
1384 		}
1385 		IPFW_BUCK_UNLOCK(i);
1386 	}
1387 
1388 	/* Stage 2: decrement counters from O_LIMIT parents */
1389 	if (expired_limits != 0) {
1390 		/*
1391 		 * XXX: Note that deleting set with more than one
1392 		 * heavily-used LIMIT rules can result in overwhelming
1393 		 * locking due to lack of per-hash value sorting
1394 		 *
1395 		 * We should probably think about:
1396 		 * 1) pre-allocating hash of size, say,
1397 		 * MAX(16, V_curr_dyn_buckets / 1024)
1398 		 * 2) checking if expired_limits is large enough
1399 		 * 3) If yes, init hash (or its part), re-link
1400 		 * current list and start decrementing procedure in
1401 		 * each bucket separately
1402 		 */
1403 
1404 		/*
1405 		 * Small optimization: do not unlock bucket until
1406 		 * we see the next item resides in different bucket
1407 		 */
1408 		if (exp_lhead != NULL) {
1409 			i = exp_lhead->parent->bucket;
1410 			IPFW_BUCK_LOCK(i);
1411 		}
1412 		for (q = exp_lhead; q != NULL; q = q->next) {
1413 			if (i != q->parent->bucket) {
1414 				IPFW_BUCK_UNLOCK(i);
1415 				i = q->parent->bucket;
1416 				IPFW_BUCK_LOCK(i);
1417 			}
1418 
1419 			/* Decrease parent refcount */
1420 			q->parent->count--;
1421 		}
1422 		if (exp_lhead != NULL)
1423 			IPFW_BUCK_UNLOCK(i);
1424 	}
1425 
1426 	/*
1427 	 * We protectet ourselves from unused parent deletion
1428 	 * (from the timer function) by holding UH write lock.
1429 	 */
1430 
1431 	/* Stage 3: remove unused parent rules */
1432 	if ((parents != 0) && (expired != 0)) {
1433 		for (i = 0 ; i < V_curr_dyn_buckets ; i++) {
1434 			IPFW_BUCK_LOCK(i);
1435 			for (q = V_ipfw_dyn_v[i].head, q_prev = q ; q ; ) {
1436 				if (q->dyn_type != O_LIMIT_PARENT)
1437 					NEXT_RULE();
1438 
1439 				if (q->count != 0)
1440 					NEXT_RULE();
1441 
1442 				/* Parent rule without consumers */
1443 
1444 				/* Unlink q from current list */
1445 				q_next = q->next;
1446 				if (q == V_ipfw_dyn_v[i].head)
1447 					V_ipfw_dyn_v[i].head = q_next;
1448 				else
1449 					q_prev->next = q_next;
1450 
1451 				q->next = NULL;
1452 
1453 				/* Add to expired list */
1454 				*exptailp = q;
1455 				exptailp = &(*exptailp)->next;
1456 
1457 				DEB(print_dyn_rule(&q->id, q->dyn_type,
1458 				    "unlink parent entry", "left");
1459 				)
1460 
1461 				expired++;
1462 
1463 				q = q_next;
1464 			}
1465 			IPFW_BUCK_UNLOCK(i);
1466 		}
1467 	}
1468 
1469 #undef NEXT_RULE
1470 
1471 	if (timer != 0) {
1472 		/*
1473 		 * Check if we need to resize hash:
1474 		 * if current number of states exceeds number of buckes in hash,
1475 		 * grow hash size to the minimum power of 2 which is bigger than
1476 		 * current states count. Limit hash size by 64k.
1477 		 */
1478 		max_buckets = (V_dyn_buckets_max > 65536) ?
1479 		    65536 : V_dyn_buckets_max;
1480 
1481 		dyn_count = DYN_COUNT;
1482 
1483 		if ((dyn_count > V_curr_dyn_buckets * 2) &&
1484 		    (dyn_count < max_buckets)) {
1485 			new_buckets = V_curr_dyn_buckets;
1486 			while (new_buckets < dyn_count) {
1487 				new_buckets *= 2;
1488 
1489 				if (new_buckets >= max_buckets)
1490 					break;
1491 			}
1492 		}
1493 
1494 		IPFW_UH_WUNLOCK(chain);
1495 	}
1496 
1497 	/* Finally delete old states ad limits if any */
1498 	for (q = exp_head; q != NULL; q = q_next) {
1499 		q_next = q->next;
1500 		uma_zfree(V_ipfw_dyn_rule_zone, q);
1501 		ipfw_dyn_count--;
1502 	}
1503 
1504 	for (q = exp_lhead; q != NULL; q = q_next) {
1505 		q_next = q->next;
1506 		uma_zfree(V_ipfw_dyn_rule_zone, q);
1507 		ipfw_dyn_count--;
1508 	}
1509 
1510 	/*
1511 	 * The rest code MUST be called from timer routine only
1512 	 * without holding any locks
1513 	 */
1514 	if (timer == 0)
1515 		return;
1516 
1517 	/* Send keepalive packets if any */
1518 	for (m = m0; m != NULL; m = mnext) {
1519 		mnext = m->m_nextpkt;
1520 		m->m_nextpkt = NULL;
1521 		h = mtod(m, struct ip *);
1522 		if (h->ip_v == 4)
1523 			ip_output(m, NULL, NULL, 0, NULL, NULL);
1524 #ifdef INET6
1525 		else
1526 			ip6_output(m, NULL, NULL, 0, NULL, NULL, NULL);
1527 #endif
1528 	}
1529 
1530 	/* Run table resize without holding any locks */
1531 	if (new_buckets != 0)
1532 		resize_dynamic_table(chain, new_buckets);
1533 }
1534 
1535 /*
1536  * Deletes all dynamic rules originated by given rule or all rules in
1537  * given set. Specify RESVD_SET to indicate set should not be used.
1538  * @chain - pointer to current ipfw rules chain
1539  * @rr - delete all states originated by rules in matched range.
1540  *
1541  * Function has to be called with IPFW_UH_WLOCK held.
1542  * Additionally, function assume that dynamic rule/set is
1543  * ALREADY deleted so no new states can be generated by
1544  * 'deleted' rules.
1545  */
1546 void
1547 ipfw_expire_dyn_rules(struct ip_fw_chain *chain, ipfw_range_tlv *rt)
1548 {
1549 
1550 	check_dyn_rules(chain, rt, 0, 0);
1551 }
1552 
1553 /*
1554  * Check if rule contains at least one dynamic opcode.
1555  *
1556  * Returns 1 if such opcode is found, 0 otherwise.
1557  */
1558 int
1559 ipfw_is_dyn_rule(struct ip_fw *rule)
1560 {
1561 	int cmdlen, l;
1562 	ipfw_insn *cmd;
1563 
1564 	l = rule->cmd_len;
1565 	cmd = rule->cmd;
1566 	cmdlen = 0;
1567 	for ( ;	l > 0 ; l -= cmdlen, cmd += cmdlen) {
1568 		cmdlen = F_LEN(cmd);
1569 
1570 		switch (cmd->opcode) {
1571 		case O_LIMIT:
1572 		case O_KEEP_STATE:
1573 		case O_PROBE_STATE:
1574 		case O_CHECK_STATE:
1575 			return (1);
1576 		}
1577 	}
1578 
1579 	return (0);
1580 }
1581 
1582 void
1583 ipfw_dyn_init(struct ip_fw_chain *chain)
1584 {
1585 
1586         V_ipfw_dyn_v = NULL;
1587         V_dyn_buckets_max = 256; /* must be power of 2 */
1588         V_curr_dyn_buckets = 256; /* must be power of 2 */
1589 
1590         V_dyn_ack_lifetime = 300;
1591         V_dyn_syn_lifetime = 20;
1592         V_dyn_fin_lifetime = 1;
1593         V_dyn_rst_lifetime = 1;
1594         V_dyn_udp_lifetime = 10;
1595         V_dyn_short_lifetime = 5;
1596 
1597         V_dyn_keepalive_interval = 20;
1598         V_dyn_keepalive_period = 5;
1599         V_dyn_keepalive = 1;    /* do send keepalives */
1600 	V_dyn_keepalive_last = time_uptime;
1601 
1602         V_dyn_max = 16384; /* max # of dynamic rules */
1603 
1604 	V_ipfw_dyn_rule_zone = uma_zcreate("IPFW dynamic rule",
1605 	    sizeof(ipfw_dyn_rule), NULL, NULL, NULL, NULL,
1606 	    UMA_ALIGN_PTR, 0);
1607 
1608 	/* Enforce limit on dynamic rules */
1609 	uma_zone_set_max(V_ipfw_dyn_rule_zone, V_dyn_max);
1610 
1611         callout_init(&V_ipfw_timeout, 1);
1612 
1613 	/*
1614 	 * This can potentially be done on first dynamic rule
1615 	 * being added to chain.
1616 	 */
1617 	resize_dynamic_table(chain, V_curr_dyn_buckets);
1618 	IPFW_ADD_OBJ_REWRITER(IS_DEFAULT_VNET(curvnet), dyn_opcodes);
1619 }
1620 
1621 void
1622 ipfw_dyn_uninit(int pass)
1623 {
1624 	int i;
1625 
1626 	if (pass == 0) {
1627 		callout_drain(&V_ipfw_timeout);
1628 		return;
1629 	}
1630 	IPFW_DEL_OBJ_REWRITER(IS_DEFAULT_VNET(curvnet), dyn_opcodes);
1631 
1632 	if (V_ipfw_dyn_v != NULL) {
1633 		/*
1634 		 * Skip deleting all dynamic states -
1635 		 * uma_zdestroy() does this more efficiently;
1636 		 */
1637 
1638 		/* Destroy all mutexes */
1639 		for (i = 0 ; i < V_curr_dyn_buckets ; i++)
1640 			IPFW_BUCK_LOCK_DESTROY(&V_ipfw_dyn_v[i]);
1641 		free(V_ipfw_dyn_v, M_IPFW);
1642 		V_ipfw_dyn_v = NULL;
1643 	}
1644 
1645         uma_zdestroy(V_ipfw_dyn_rule_zone);
1646 }
1647 
1648 #ifdef SYSCTL_NODE
1649 /*
1650  * Get/set maximum number of dynamic states in given VNET instance.
1651  */
1652 static int
1653 sysctl_ipfw_dyn_max(SYSCTL_HANDLER_ARGS)
1654 {
1655 	int error;
1656 	unsigned int nstates;
1657 
1658 	nstates = V_dyn_max;
1659 
1660 	error = sysctl_handle_int(oidp, &nstates, 0, req);
1661 	/* Read operation or some error */
1662 	if ((error != 0) || (req->newptr == NULL))
1663 		return (error);
1664 
1665 	V_dyn_max = nstates;
1666 	uma_zone_set_max(V_ipfw_dyn_rule_zone, V_dyn_max);
1667 
1668 	return (0);
1669 }
1670 
1671 /*
1672  * Get current number of dynamic states in given VNET instance.
1673  */
1674 static int
1675 sysctl_ipfw_dyn_count(SYSCTL_HANDLER_ARGS)
1676 {
1677 	int error;
1678 	unsigned int nstates;
1679 
1680 	nstates = DYN_COUNT;
1681 
1682 	error = sysctl_handle_int(oidp, &nstates, 0, req);
1683 
1684 	return (error);
1685 }
1686 #endif
1687 
1688 /*
1689  * Returns size of dynamic states in legacy format
1690  */
1691 int
1692 ipfw_dyn_len(void)
1693 {
1694 
1695 	return (V_ipfw_dyn_v == NULL) ? 0 :
1696 		(DYN_COUNT * sizeof(ipfw_dyn_rule));
1697 }
1698 
1699 /*
1700  * Returns number of dynamic states.
1701  * Used by dump format v1 (current).
1702  */
1703 int
1704 ipfw_dyn_get_count(void)
1705 {
1706 
1707 	return (V_ipfw_dyn_v == NULL) ? 0 : DYN_COUNT;
1708 }
1709 
1710 static void
1711 export_dyn_rule(ipfw_dyn_rule *src, ipfw_dyn_rule *dst)
1712 {
1713 
1714 	memcpy(dst, src, sizeof(*src));
1715 	memcpy(&(dst->rule), &(src->rule->rulenum), sizeof(src->rule->rulenum));
1716 	/*
1717 	 * store set number into high word of
1718 	 * dst->rule pointer.
1719 	 */
1720 	memcpy((char *)&dst->rule + sizeof(src->rule->rulenum),
1721 	    &(src->rule->set), sizeof(src->rule->set));
1722 	/*
1723 	 * store a non-null value in "next".
1724 	 * The userland code will interpret a
1725 	 * NULL here as a marker
1726 	 * for the last dynamic rule.
1727 	 */
1728 	memcpy(&dst->next, &dst, sizeof(dst));
1729 	dst->expire =
1730 	    TIME_LEQ(dst->expire, time_uptime) ?  0 : dst->expire - time_uptime;
1731 }
1732 
1733 /*
1734  * Fills int buffer given by @sd with dynamic states.
1735  * Used by dump format v1 (current).
1736  *
1737  * Returns 0 on success.
1738  */
1739 int
1740 ipfw_dump_states(struct ip_fw_chain *chain, struct sockopt_data *sd)
1741 {
1742 	ipfw_dyn_rule *p;
1743 	ipfw_obj_dyntlv *dst, *last;
1744 	ipfw_obj_ctlv *ctlv;
1745 	int i;
1746 	size_t sz;
1747 
1748 	if (V_ipfw_dyn_v == NULL)
1749 		return (0);
1750 
1751 	IPFW_UH_RLOCK_ASSERT(chain);
1752 
1753 	ctlv = (ipfw_obj_ctlv *)ipfw_get_sopt_space(sd, sizeof(*ctlv));
1754 	if (ctlv == NULL)
1755 		return (ENOMEM);
1756 	sz = sizeof(ipfw_obj_dyntlv);
1757 	ctlv->head.type = IPFW_TLV_DYNSTATE_LIST;
1758 	ctlv->objsize = sz;
1759 	last = NULL;
1760 
1761 	for (i = 0 ; i < V_curr_dyn_buckets; i++) {
1762 		IPFW_BUCK_LOCK(i);
1763 		for (p = V_ipfw_dyn_v[i].head ; p != NULL; p = p->next) {
1764 			dst = (ipfw_obj_dyntlv *)ipfw_get_sopt_space(sd, sz);
1765 			if (dst == NULL) {
1766 				IPFW_BUCK_UNLOCK(i);
1767 				return (ENOMEM);
1768 			}
1769 
1770 			export_dyn_rule(p, &dst->state);
1771 			dst->head.length = sz;
1772 			dst->head.type = IPFW_TLV_DYN_ENT;
1773 			last = dst;
1774 		}
1775 		IPFW_BUCK_UNLOCK(i);
1776 	}
1777 
1778 	if (last != NULL) /* mark last dynamic rule */
1779 		last->head.flags = IPFW_DF_LAST;
1780 
1781 	return (0);
1782 }
1783 
1784 /*
1785  * Fill given buffer with dynamic states (legacy format).
1786  * IPFW_UH_RLOCK has to be held while calling.
1787  */
1788 void
1789 ipfw_get_dynamic(struct ip_fw_chain *chain, char **pbp, const char *ep)
1790 {
1791 	ipfw_dyn_rule *p, *last = NULL;
1792 	char *bp;
1793 	int i;
1794 
1795 	if (V_ipfw_dyn_v == NULL)
1796 		return;
1797 	bp = *pbp;
1798 
1799 	IPFW_UH_RLOCK_ASSERT(chain);
1800 
1801 	for (i = 0 ; i < V_curr_dyn_buckets; i++) {
1802 		IPFW_BUCK_LOCK(i);
1803 		for (p = V_ipfw_dyn_v[i].head ; p != NULL; p = p->next) {
1804 			if (bp + sizeof *p <= ep) {
1805 				ipfw_dyn_rule *dst =
1806 					(ipfw_dyn_rule *)bp;
1807 
1808 				export_dyn_rule(p, dst);
1809 				last = dst;
1810 				bp += sizeof(ipfw_dyn_rule);
1811 			}
1812 		}
1813 		IPFW_BUCK_UNLOCK(i);
1814 	}
1815 
1816 	if (last != NULL) /* mark last dynamic rule */
1817 		bzero(&last->next, sizeof(last));
1818 	*pbp = bp;
1819 }
1820 /* end of file */
1821