ipsec_mbuf.c revision 1.25 1 1.25 maxv /* $NetBSD: ipsec_mbuf.c,v 1.25 2018/04/18 17:34:54 maxv Exp $ */
2 1.20 maxv
3 1.20 maxv /*
4 1.4 thorpej * Copyright (c) 2002, 2003 Sam Leffler, Errno Consulting
5 1.4 thorpej * All rights reserved.
6 1.4 thorpej *
7 1.4 thorpej * Redistribution and use in source and binary forms, with or without
8 1.4 thorpej * modification, are permitted provided that the following conditions
9 1.4 thorpej * are met:
10 1.4 thorpej * 1. Redistributions of source code must retain the above copyright
11 1.4 thorpej * notice, this list of conditions and the following disclaimer.
12 1.4 thorpej * 2. Redistributions in binary form must reproduce the above copyright
13 1.4 thorpej * notice, this list of conditions and the following disclaimer in the
14 1.4 thorpej * documentation and/or other materials provided with the distribution.
15 1.4 thorpej *
16 1.4 thorpej * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
17 1.4 thorpej * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18 1.4 thorpej * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19 1.4 thorpej * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
20 1.4 thorpej * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21 1.4 thorpej * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
22 1.4 thorpej * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23 1.4 thorpej * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
24 1.4 thorpej * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
25 1.4 thorpej * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26 1.4 thorpej * SUCH DAMAGE.
27 1.4 thorpej *
28 1.4 thorpej * $FreeBSD: /repoman/r/ncvs/src/sys/netipsec/ipsec_mbuf.c,v 1.5.2.2 2003/03/28 20:32:53 sam Exp $
29 1.4 thorpej */
30 1.1 jonathan
31 1.1 jonathan #include <sys/cdefs.h>
32 1.25 maxv __KERNEL_RCSID(0, "$NetBSD: ipsec_mbuf.c,v 1.25 2018/04/18 17:34:54 maxv Exp $");
33 1.1 jonathan
34 1.1 jonathan /*
35 1.1 jonathan * IPsec-specific mbuf routines.
36 1.1 jonathan */
37 1.1 jonathan
38 1.1 jonathan #include <sys/param.h>
39 1.1 jonathan #include <sys/systm.h>
40 1.1 jonathan #include <sys/mbuf.h>
41 1.1 jonathan
42 1.1 jonathan #include <netipsec/ipsec.h>
43 1.5 jonathan #include <netipsec/ipsec_var.h>
44 1.11 thorpej #include <netipsec/ipsec_private.h>
45 1.1 jonathan
46 1.1 jonathan /*
47 1.1 jonathan * Create a writable copy of the mbuf chain. While doing this
48 1.1 jonathan * we compact the chain with a goal of producing a chain with
49 1.1 jonathan * at most two mbufs. The second mbuf in this chain is likely
50 1.1 jonathan * to be a cluster. The primary purpose of this work is to create
51 1.1 jonathan * a writable packet for encryption, compression, etc. The
52 1.1 jonathan * secondary goal is to linearize the data so the data can be
53 1.1 jonathan * passed to crypto hardware in the most efficient manner possible.
54 1.1 jonathan */
55 1.1 jonathan struct mbuf *
56 1.1 jonathan m_clone(struct mbuf *m0)
57 1.1 jonathan {
58 1.1 jonathan struct mbuf *m, *mprev;
59 1.1 jonathan struct mbuf *n, *mfirst, *mlast;
60 1.1 jonathan int len, off;
61 1.1 jonathan
62 1.14 ozaki KASSERT(m0 != NULL);
63 1.1 jonathan
64 1.1 jonathan mprev = NULL;
65 1.1 jonathan for (m = m0; m != NULL; m = mprev->m_next) {
66 1.1 jonathan /*
67 1.1 jonathan * Regular mbufs are ignored unless there's a cluster
68 1.1 jonathan * in front of it that we can use to coalesce. We do
69 1.1 jonathan * the latter mainly so later clusters can be coalesced
70 1.1 jonathan * also w/o having to handle them specially (i.e. convert
71 1.1 jonathan * mbuf+cluster -> cluster). This optimization is heavily
72 1.1 jonathan * influenced by the assumption that we're running over
73 1.1 jonathan * Ethernet where MCLBYTES is large enough that the max
74 1.1 jonathan * packet size will permit lots of coalescing into a
75 1.1 jonathan * single cluster. This in turn permits efficient
76 1.1 jonathan * crypto operations, especially when using hardware.
77 1.1 jonathan */
78 1.1 jonathan if ((m->m_flags & M_EXT) == 0) {
79 1.1 jonathan if (mprev && (mprev->m_flags & M_EXT) &&
80 1.1 jonathan m->m_len <= M_TRAILINGSPACE(mprev)) {
81 1.1 jonathan /* XXX: this ignores mbuf types */
82 1.9 degroote memcpy(mtod(mprev, char *) + mprev->m_len,
83 1.9 degroote mtod(m, char *), m->m_len);
84 1.1 jonathan mprev->m_len += m->m_len;
85 1.1 jonathan mprev->m_next = m->m_next; /* unlink from chain */
86 1.1 jonathan m_free(m); /* reclaim mbuf */
87 1.11 thorpej IPSEC_STATINC(IPSEC_STAT_MBCOALESCED);
88 1.1 jonathan } else {
89 1.1 jonathan mprev = m;
90 1.1 jonathan }
91 1.1 jonathan continue;
92 1.1 jonathan }
93 1.25 maxv
94 1.1 jonathan /*
95 1.25 maxv * Writable mbufs are left alone (for now).
96 1.1 jonathan */
97 1.1 jonathan if (M_EXT_WRITABLE(m)) {
98 1.1 jonathan mprev = m;
99 1.1 jonathan continue;
100 1.1 jonathan }
101 1.1 jonathan
102 1.1 jonathan /*
103 1.1 jonathan * Not writable, replace with a copy or coalesce with
104 1.1 jonathan * the previous mbuf if possible (since we have to copy
105 1.1 jonathan * it anyway, we try to reduce the number of mbufs and
106 1.1 jonathan * clusters so that future work is easier).
107 1.1 jonathan */
108 1.14 ozaki KASSERTMSG(m->m_flags & M_EXT, "m_flags 0x%x", m->m_flags);
109 1.1 jonathan /* NB: we only coalesce into a cluster or larger */
110 1.1 jonathan if (mprev != NULL && (mprev->m_flags & M_EXT) &&
111 1.1 jonathan m->m_len <= M_TRAILINGSPACE(mprev)) {
112 1.1 jonathan /* XXX: this ignores mbuf types */
113 1.9 degroote memcpy(mtod(mprev, char *) + mprev->m_len,
114 1.9 degroote mtod(m, char *), m->m_len);
115 1.1 jonathan mprev->m_len += m->m_len;
116 1.1 jonathan mprev->m_next = m->m_next; /* unlink from chain */
117 1.1 jonathan m_free(m); /* reclaim mbuf */
118 1.11 thorpej IPSEC_STATINC(IPSEC_STAT_CLCOALESCED);
119 1.1 jonathan continue;
120 1.1 jonathan }
121 1.1 jonathan
122 1.1 jonathan /*
123 1.1 jonathan * Allocate new space to hold the copy...
124 1.1 jonathan */
125 1.1 jonathan if (mprev == NULL && (m->m_flags & M_PKTHDR)) {
126 1.1 jonathan /*
127 1.1 jonathan * NB: if a packet header is present we must
128 1.1 jonathan * allocate the mbuf separately from any cluster
129 1.1 jonathan * because M_MOVE_PKTHDR will smash the data
130 1.1 jonathan * pointer and drop the M_EXT marker.
131 1.1 jonathan */
132 1.1 jonathan MGETHDR(n, M_DONTWAIT, m->m_type);
133 1.1 jonathan if (n == NULL) {
134 1.1 jonathan m_freem(m0);
135 1.25 maxv return NULL;
136 1.1 jonathan }
137 1.1 jonathan M_MOVE_PKTHDR(n, m);
138 1.1 jonathan MCLGET(n, M_DONTWAIT);
139 1.1 jonathan if ((n->m_flags & M_EXT) == 0) {
140 1.1 jonathan m_free(n);
141 1.1 jonathan m_freem(m0);
142 1.25 maxv return NULL;
143 1.1 jonathan }
144 1.1 jonathan } else {
145 1.1 jonathan n = m_getcl(M_DONTWAIT, m->m_type, m->m_flags);
146 1.1 jonathan if (n == NULL) {
147 1.1 jonathan m_freem(m0);
148 1.25 maxv return NULL;
149 1.1 jonathan }
150 1.1 jonathan }
151 1.25 maxv
152 1.1 jonathan /*
153 1.1 jonathan * ... and copy the data. We deal with jumbo mbufs
154 1.1 jonathan * (i.e. m_len > MCLBYTES) by splitting them into
155 1.1 jonathan * clusters. We could just malloc a buffer and make
156 1.1 jonathan * it external but too many device drivers don't know
157 1.1 jonathan * how to break up the non-contiguous memory when
158 1.1 jonathan * doing DMA.
159 1.1 jonathan */
160 1.1 jonathan len = m->m_len;
161 1.1 jonathan off = 0;
162 1.1 jonathan mfirst = n;
163 1.1 jonathan mlast = NULL;
164 1.1 jonathan for (;;) {
165 1.1 jonathan int cc = min(len, MCLBYTES);
166 1.9 degroote memcpy(mtod(n, char *), mtod(m, char *) + off, cc);
167 1.1 jonathan n->m_len = cc;
168 1.1 jonathan if (mlast != NULL)
169 1.1 jonathan mlast->m_next = n;
170 1.6 perry mlast = n;
171 1.11 thorpej IPSEC_STATINC(IPSEC_STAT_CLCOPIED);
172 1.1 jonathan
173 1.1 jonathan len -= cc;
174 1.1 jonathan if (len <= 0)
175 1.1 jonathan break;
176 1.1 jonathan off += cc;
177 1.1 jonathan
178 1.1 jonathan n = m_getcl(M_DONTWAIT, m->m_type, m->m_flags);
179 1.1 jonathan if (n == NULL) {
180 1.1 jonathan m_freem(mfirst);
181 1.1 jonathan m_freem(m0);
182 1.25 maxv return NULL;
183 1.1 jonathan }
184 1.1 jonathan }
185 1.6 perry n->m_next = m->m_next;
186 1.1 jonathan if (mprev == NULL)
187 1.1 jonathan m0 = mfirst; /* new head of chain */
188 1.1 jonathan else
189 1.1 jonathan mprev->m_next = mfirst; /* replace old mbuf */
190 1.1 jonathan m_free(m); /* release old mbuf */
191 1.1 jonathan mprev = mfirst;
192 1.1 jonathan }
193 1.25 maxv
194 1.25 maxv return m0;
195 1.1 jonathan }
196 1.1 jonathan
197 1.1 jonathan /*
198 1.1 jonathan * Make space for a new header of length hlen at skip bytes
199 1.1 jonathan * into the packet. When doing this we allocate new mbufs only
200 1.1 jonathan * when absolutely necessary. The mbuf where the new header
201 1.1 jonathan * is to go is returned together with an offset into the mbuf.
202 1.1 jonathan * If NULL is returned then the mbuf chain may have been modified;
203 1.1 jonathan * the caller is assumed to always free the chain.
204 1.1 jonathan */
205 1.1 jonathan struct mbuf *
206 1.1 jonathan m_makespace(struct mbuf *m0, int skip, int hlen, int *off)
207 1.1 jonathan {
208 1.1 jonathan struct mbuf *m;
209 1.1 jonathan unsigned remain;
210 1.1 jonathan
211 1.14 ozaki KASSERT(m0 != NULL);
212 1.22 maxv KASSERT(m0->m_flags & M_PKTHDR);
213 1.14 ozaki KASSERTMSG(hlen < MHLEN, "hlen too big: %u", hlen);
214 1.1 jonathan
215 1.1 jonathan for (m = m0; m && skip > m->m_len; m = m->m_next)
216 1.1 jonathan skip -= m->m_len;
217 1.1 jonathan if (m == NULL)
218 1.25 maxv return NULL;
219 1.25 maxv
220 1.1 jonathan /*
221 1.1 jonathan * At this point skip is the offset into the mbuf m
222 1.1 jonathan * where the new header should be placed. Figure out
223 1.1 jonathan * if there's space to insert the new header. If so,
224 1.20 maxv * and copying the remainder makes sense then do so.
225 1.1 jonathan * Otherwise insert a new mbuf in the chain, splitting
226 1.1 jonathan * the contents of m as needed.
227 1.1 jonathan */
228 1.1 jonathan remain = m->m_len - skip; /* data to move */
229 1.1 jonathan if (hlen > M_TRAILINGSPACE(m)) {
230 1.10 seanb struct mbuf *n0, *n, **np;
231 1.10 seanb int todo, len, done, alloc;
232 1.10 seanb
233 1.10 seanb n0 = NULL;
234 1.10 seanb np = &n0;
235 1.10 seanb alloc = 0;
236 1.10 seanb done = 0;
237 1.10 seanb todo = remain;
238 1.10 seanb while (todo > 0) {
239 1.10 seanb if (todo > MHLEN) {
240 1.10 seanb n = m_getcl(M_DONTWAIT, m->m_type, 0);
241 1.10 seanb len = MCLBYTES;
242 1.20 maxv } else {
243 1.10 seanb n = m_get(M_DONTWAIT, m->m_type);
244 1.10 seanb len = MHLEN;
245 1.10 seanb }
246 1.10 seanb if (n == NULL) {
247 1.10 seanb m_freem(n0);
248 1.10 seanb return NULL;
249 1.10 seanb }
250 1.10 seanb *np = n;
251 1.10 seanb np = &n->m_next;
252 1.10 seanb alloc++;
253 1.10 seanb len = min(todo, len);
254 1.10 seanb memcpy(n->m_data, mtod(m, char *) + skip + done, len);
255 1.10 seanb n->m_len = len;
256 1.10 seanb done += len;
257 1.10 seanb todo -= len;
258 1.10 seanb }
259 1.1 jonathan
260 1.1 jonathan if (hlen <= M_TRAILINGSPACE(m) + remain) {
261 1.1 jonathan m->m_len = skip + hlen;
262 1.1 jonathan *off = skip;
263 1.10 seanb if (n0 != NULL) {
264 1.10 seanb *np = m->m_next;
265 1.10 seanb m->m_next = n0;
266 1.10 seanb }
267 1.20 maxv } else {
268 1.10 seanb n = m_get(M_DONTWAIT, m->m_type);
269 1.10 seanb if (n == NULL) {
270 1.10 seanb m_freem(n0);
271 1.10 seanb return NULL;
272 1.1 jonathan }
273 1.10 seanb alloc++;
274 1.10 seanb
275 1.10 seanb if ((n->m_next = n0) == NULL)
276 1.10 seanb np = &n->m_next;
277 1.10 seanb n0 = n;
278 1.10 seanb
279 1.10 seanb *np = m->m_next;
280 1.10 seanb m->m_next = n0;
281 1.10 seanb
282 1.10 seanb n->m_len = hlen;
283 1.10 seanb m->m_len = skip;
284 1.10 seanb
285 1.1 jonathan m = n; /* header is at front ... */
286 1.1 jonathan *off = 0; /* ... of new mbuf */
287 1.1 jonathan }
288 1.10 seanb
289 1.11 thorpej IPSEC_STATADD(IPSEC_STAT_MBINSERTED, alloc);
290 1.1 jonathan } else {
291 1.1 jonathan /*
292 1.1 jonathan * Copy the remainder to the back of the mbuf
293 1.1 jonathan * so there's space to write the new header.
294 1.1 jonathan */
295 1.1 jonathan /* XXX can this be memcpy? does it handle overlap? */
296 1.17 maxv memmove(mtod(m, char *) + skip + hlen,
297 1.17 maxv mtod(m, char *) + skip, remain);
298 1.1 jonathan m->m_len += hlen;
299 1.1 jonathan *off = skip;
300 1.1 jonathan }
301 1.25 maxv
302 1.1 jonathan m0->m_pkthdr.len += hlen; /* adjust packet length */
303 1.1 jonathan return m;
304 1.1 jonathan }
305 1.1 jonathan
306 1.1 jonathan /*
307 1.1 jonathan * m_pad(m, n) pads <m> with <n> bytes at the end. The packet header
308 1.1 jonathan * length is updated, and a pointer to the first byte of the padding
309 1.1 jonathan * (which is guaranteed to be all in one mbuf) is returned.
310 1.1 jonathan */
311 1.8 christos void *
312 1.1 jonathan m_pad(struct mbuf *m, int n)
313 1.1 jonathan {
314 1.1 jonathan register struct mbuf *m0, *m1;
315 1.1 jonathan register int len, pad;
316 1.8 christos void *retval;
317 1.1 jonathan
318 1.21 maxv if (__predict_false(n > MLEN)) {
319 1.21 maxv panic("%s: %d > MLEN", __func__, n);
320 1.1 jonathan }
321 1.22 maxv KASSERT(m->m_flags & M_PKTHDR);
322 1.1 jonathan
323 1.1 jonathan len = m->m_pkthdr.len;
324 1.1 jonathan pad = n;
325 1.1 jonathan m0 = m;
326 1.1 jonathan
327 1.1 jonathan while (m0->m_len < len) {
328 1.14 ozaki KASSERTMSG(m0->m_next != NULL,
329 1.21 maxv "m0 null, len %u m_len %u", len, m0->m_len);
330 1.1 jonathan len -= m0->m_len;
331 1.1 jonathan m0 = m0->m_next;
332 1.1 jonathan }
333 1.1 jonathan
334 1.1 jonathan if (m0->m_len != len) {
335 1.16 ozaki IPSECLOG(LOG_DEBUG,
336 1.16 ozaki "length mismatch (should be %d instead of %d)\n",
337 1.16 ozaki m->m_pkthdr.len, m->m_pkthdr.len + m0->m_len - len);
338 1.1 jonathan m_freem(m);
339 1.1 jonathan return NULL;
340 1.1 jonathan }
341 1.1 jonathan
342 1.1 jonathan /* Check for zero-length trailing mbufs, and find the last one. */
343 1.1 jonathan for (m1 = m0; m1->m_next; m1 = m1->m_next) {
344 1.1 jonathan if (m1->m_next->m_len != 0) {
345 1.16 ozaki IPSECLOG(LOG_DEBUG,
346 1.16 ozaki "length mismatch (should be %d instead of %d)\n",
347 1.1 jonathan m->m_pkthdr.len,
348 1.16 ozaki m->m_pkthdr.len + m1->m_next->m_len);
349 1.1 jonathan m_freem(m);
350 1.1 jonathan return NULL;
351 1.1 jonathan }
352 1.1 jonathan
353 1.1 jonathan m0 = m1->m_next;
354 1.1 jonathan }
355 1.1 jonathan
356 1.1 jonathan if (pad > M_TRAILINGSPACE(m0)) {
357 1.1 jonathan /* Add an mbuf to the chain. */
358 1.1 jonathan MGET(m1, M_DONTWAIT, MT_DATA);
359 1.21 maxv if (m1 == NULL) {
360 1.21 maxv m_freem(m);
361 1.16 ozaki IPSECLOG(LOG_DEBUG, "unable to get extra mbuf\n");
362 1.1 jonathan return NULL;
363 1.1 jonathan }
364 1.1 jonathan
365 1.1 jonathan m0->m_next = m1;
366 1.1 jonathan m0 = m1;
367 1.1 jonathan m0->m_len = 0;
368 1.1 jonathan }
369 1.1 jonathan
370 1.1 jonathan retval = m0->m_data + m0->m_len;
371 1.1 jonathan m0->m_len += pad;
372 1.1 jonathan m->m_pkthdr.len += pad;
373 1.1 jonathan
374 1.1 jonathan return retval;
375 1.1 jonathan }
376 1.1 jonathan
377 1.1 jonathan /*
378 1.1 jonathan * Remove hlen data at offset skip in the packet. This is used by
379 1.1 jonathan * the protocols strip protocol headers and associated data (e.g. IV,
380 1.1 jonathan * authenticator) on input.
381 1.1 jonathan */
382 1.1 jonathan int
383 1.1 jonathan m_striphdr(struct mbuf *m, int skip, int hlen)
384 1.1 jonathan {
385 1.1 jonathan struct mbuf *m1;
386 1.1 jonathan int roff;
387 1.1 jonathan
388 1.22 maxv KASSERT(m->m_flags & M_PKTHDR);
389 1.22 maxv
390 1.1 jonathan /* Find beginning of header */
391 1.1 jonathan m1 = m_getptr(m, skip, &roff);
392 1.1 jonathan if (m1 == NULL)
393 1.25 maxv return EINVAL;
394 1.1 jonathan
395 1.1 jonathan /* Remove the header and associated data from the mbuf. */
396 1.1 jonathan if (roff == 0) {
397 1.1 jonathan /* The header was at the beginning of the mbuf */
398 1.11 thorpej IPSEC_STATINC(IPSEC_STAT_INPUT_FRONT);
399 1.1 jonathan m_adj(m1, hlen);
400 1.23 maxv if (m1 != m)
401 1.1 jonathan m->m_pkthdr.len -= hlen;
402 1.1 jonathan } else if (roff + hlen >= m1->m_len) {
403 1.1 jonathan struct mbuf *mo;
404 1.24 maxv int adjlen;
405 1.1 jonathan
406 1.1 jonathan /*
407 1.1 jonathan * Part or all of the header is at the end of this mbuf,
408 1.1 jonathan * so first let's remove the remainder of the header from
409 1.1 jonathan * the beginning of the remainder of the mbuf chain, if any.
410 1.1 jonathan */
411 1.11 thorpej IPSEC_STATINC(IPSEC_STAT_INPUT_END);
412 1.1 jonathan if (roff + hlen > m1->m_len) {
413 1.24 maxv adjlen = roff + hlen - m1->m_len;
414 1.24 maxv
415 1.1 jonathan /* Adjust the next mbuf by the remainder */
416 1.24 maxv m_adj(m1->m_next, adjlen);
417 1.1 jonathan
418 1.1 jonathan /* The second mbuf is guaranteed not to have a pkthdr... */
419 1.24 maxv m->m_pkthdr.len -= adjlen;
420 1.1 jonathan }
421 1.1 jonathan
422 1.1 jonathan /* Now, let's unlink the mbuf chain for a second...*/
423 1.1 jonathan mo = m1->m_next;
424 1.1 jonathan m1->m_next = NULL;
425 1.1 jonathan
426 1.1 jonathan /* ...and trim the end of the first part of the chain...sick */
427 1.24 maxv adjlen = m1->m_len - roff;
428 1.24 maxv m_adj(m1, -adjlen);
429 1.23 maxv if (m1 != m)
430 1.24 maxv m->m_pkthdr.len -= adjlen;
431 1.1 jonathan
432 1.1 jonathan /* Finally, let's relink */
433 1.1 jonathan m1->m_next = mo;
434 1.1 jonathan } else {
435 1.1 jonathan /*
436 1.1 jonathan * The header lies in the "middle" of the mbuf; copy
437 1.1 jonathan * the remainder of the mbuf down over the header.
438 1.1 jonathan */
439 1.11 thorpej IPSEC_STATINC(IPSEC_STAT_INPUT_MIDDLE);
440 1.17 maxv memmove(mtod(m1, u_char *) + roff,
441 1.17 maxv mtod(m1, u_char *) + roff + hlen,
442 1.1 jonathan m1->m_len - (roff + hlen));
443 1.1 jonathan m1->m_len -= hlen;
444 1.1 jonathan m->m_pkthdr.len -= hlen;
445 1.1 jonathan }
446 1.25 maxv
447 1.25 maxv return 0;
448 1.1 jonathan }
449