blob: e823214dac98bb21ba0f18df20a2a37ee3ecc47a [file] [log] [blame]
Ed Warnickecb9cada2015-12-08 15:45:58 -07001/*
2 * Copyright (c) 2015 Cisco and/or its affiliates.
3 * Licensed under the Apache License, Version 2.0 (the "License");
4 * you may not use this file except in compliance with the License.
5 * You may obtain a copy of the License at:
6 *
7 * http://www.apache.org/licenses/LICENSE-2.0
8 *
9 * Unless required by applicable law or agreed to in writing, software
10 * distributed under the License is distributed on an "AS IS" BASIS,
11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 * See the License for the specific language governing permissions and
13 * limitations under the License.
14 */
15/*
16 * ip6/packet.h: ip6 packet format
17 *
18 * Copyright (c) 2008 Eliot Dresselhaus
19 *
20 * Permission is hereby granted, free of charge, to any person obtaining
21 * a copy of this software and associated documentation files (the
22 * "Software"), to deal in the Software without restriction, including
23 * without limitation the rights to use, copy, modify, merge, publish,
24 * distribute, sublicense, and/or sell copies of the Software, and to
25 * permit persons to whom the Software is furnished to do so, subject to
26 * the following conditions:
27 *
28 * The above copyright notice and this permission notice shall be
29 * included in all copies or substantial portions of the Software.
30 *
31 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
32 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
33 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
34 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
35 * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
36 * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
37 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
38 */
39
40#ifndef included_ip6_packet_h
41#define included_ip6_packet_h
42
Dave Barach68b0fb02017-02-28 15:15:56 -050043#include <vnet/tcp/tcp_packet.h>
Pierre Pfister1dabaaf2016-04-25 14:15:15 +010044#include <vnet/ip/ip4_packet.h>
45
Dave Barachd7cb1b52016-12-09 09:52:16 -050046typedef union
47{
Ed Warnickecb9cada2015-12-08 15:45:58 -070048 u8 as_u8[16];
49 u16 as_u16[8];
50 u32 as_u32[4];
51 u64 as_u64[2];
52 uword as_uword[16 / sizeof (uword)];
Dave Barachd7cb1b52016-12-09 09:52:16 -050053}
54ip6_address_t;
Ed Warnickecb9cada2015-12-08 15:45:58 -070055
Damjan Mariona35cc142018-03-16 01:25:27 +010056typedef struct
57{
58 ip6_address_t addr, mask;
59} ip6_address_and_mask_t;
60
Ed Warnickecb9cada2015-12-08 15:45:58 -070061/* Packed so that the mhash key doesn't include uninitialized pad bytes */
Dave Barachd7cb1b52016-12-09 09:52:16 -050062/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -070063typedef CLIB_PACKED (struct {
64 /* IP address must be first for ip_interface_address_get_address() to work */
65 ip6_address_t ip6_addr;
66 u32 fib_index;
67}) ip6_address_fib_t;
Dave Barachd7cb1b52016-12-09 09:52:16 -050068/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -070069
Eyal Baric5b13602016-11-24 19:42:43 +020070always_inline void
Neale Rannsd69f4392018-08-31 06:30:16 -040071ip6_addr_fib_init (ip6_address_fib_t * addr_fib,
72 const ip6_address_t * address, u32 fib_index)
Ed Warnickecb9cada2015-12-08 15:45:58 -070073{
Eyal Barie101e1f2017-03-15 08:23:42 +020074 addr_fib->ip6_addr = *address;
Ed Warnickecb9cada2015-12-08 15:45:58 -070075 addr_fib->fib_index = fib_index;
76}
77
78/* Special addresses:
79 unspecified ::/128
80 loopback ::1/128
81 global unicast 2000::/3
82 unique local unicast fc00::/7
83 link local unicast fe80::/10
84 multicast ff00::/8
85 ietf reserved everything else. */
Dave Barachd7cb1b52016-12-09 09:52:16 -050086
Ed Warnickecb9cada2015-12-08 15:45:58 -070087#define foreach_ip6_multicast_address_scope \
88 _ (loopback, 0x1) \
89 _ (link_local, 0x2) \
90 _ (admin_local, 0x4) \
91 _ (site_local, 0x5) \
92 _ (organization_local, 0x8) \
93 _ (global, 0xe)
94
95#define foreach_ip6_multicast_link_local_group_id \
96 _ (all_hosts, 0x1) \
97 _ (all_routers, 0x2) \
98 _ (rip_routers, 0x9) \
99 _ (eigrp_routers, 0xa) \
100 _ (pim_routers, 0xd) \
101 _ (mldv2_routers, 0x16)
102
Dave Barachd7cb1b52016-12-09 09:52:16 -0500103typedef enum
104{
Ed Warnickecb9cada2015-12-08 15:45:58 -0700105#define _(f,n) IP6_MULTICAST_SCOPE_##f = n,
106 foreach_ip6_multicast_address_scope
107#undef _
108} ip6_multicast_address_scope_t;
109
Dave Barachd7cb1b52016-12-09 09:52:16 -0500110typedef enum
111{
Ed Warnickecb9cada2015-12-08 15:45:58 -0700112#define _(f,n) IP6_MULTICAST_GROUP_ID_##f = n,
113 foreach_ip6_multicast_link_local_group_id
114#undef _
115} ip6_multicast_link_local_group_id_t;
116
117always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400118ip6_address_is_multicast (const ip6_address_t * a)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500119{
120 return a->as_u8[0] == 0xff;
121}
Ed Warnickecb9cada2015-12-08 15:45:58 -0700122
123always_inline void
Neale Ranns37029302018-08-10 05:30:06 -0700124ip6_address_copy (ip6_address_t * dst, const ip6_address_t * src)
125{
126 dst->as_u64[0] = src->as_u64[0];
127 dst->as_u64[1] = src->as_u64[1];
128}
129
130always_inline void
Ed Warnickecb9cada2015-12-08 15:45:58 -0700131ip6_set_reserved_multicast_address (ip6_address_t * a,
132 ip6_multicast_address_scope_t scope,
133 u16 id)
134{
135 a->as_u64[0] = a->as_u64[1] = 0;
136 a->as_u16[0] = clib_host_to_net_u16 (0xff00 | scope);
137 a->as_u16[7] = clib_host_to_net_u16 (id);
138}
139
140always_inline void
141ip6_set_solicited_node_multicast_address (ip6_address_t * a, u32 id)
142{
143 /* 0xff02::1:ffXX:XXXX. */
144 a->as_u64[0] = a->as_u64[1] = 0;
145 a->as_u16[0] = clib_host_to_net_u16 (0xff02);
146 a->as_u8[11] = 1;
147 ASSERT ((id >> 24) == 0);
148 id |= 0xff << 24;
149 a->as_u32[3] = clib_host_to_net_u32 (id);
150}
151
152always_inline void
Ed Warnickecb9cada2015-12-08 15:45:58 -0700153ip6_multicast_ethernet_address (u8 * ethernet_address, u32 group_id)
154{
155 ethernet_address[0] = 0x33;
156 ethernet_address[1] = 0x33;
157 ethernet_address[2] = ((group_id >> 24) & 0xff);
158 ethernet_address[3] = ((group_id >> 16) & 0xff);
Dave Barachd7cb1b52016-12-09 09:52:16 -0500159 ethernet_address[4] = ((group_id >> 8) & 0xff);
160 ethernet_address[5] = ((group_id >> 0) & 0xff);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700161}
162
163always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400164ip6_address_is_equal (const ip6_address_t * a, const ip6_address_t * b)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700165{
166 int i;
167 for (i = 0; i < ARRAY_LEN (a->as_uword); i++)
168 if (a->as_uword[i] != b->as_uword[i])
169 return 0;
170 return 1;
171}
172
173always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400174ip6_address_is_equal_masked (const ip6_address_t * a,
175 const ip6_address_t * b,
176 const ip6_address_t * mask)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700177{
178 int i;
179 for (i = 0; i < ARRAY_LEN (a->as_uword); i++)
180 {
181 uword a_masked, b_masked;
182 a_masked = a->as_uword[i] & mask->as_uword[i];
183 b_masked = b->as_uword[i] & mask->as_uword[i];
184
185 if (a_masked != b_masked)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500186 return 0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700187 }
188 return 1;
189}
190
191always_inline void
Neale Rannsd69f4392018-08-31 06:30:16 -0400192ip6_address_mask (ip6_address_t * a, const ip6_address_t * mask)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700193{
194 int i;
195 for (i = 0; i < ARRAY_LEN (a->as_uword); i++)
196 a->as_uword[i] &= mask->as_uword[i];
197}
198
199always_inline void
200ip6_address_set_zero (ip6_address_t * a)
201{
202 int i;
203 for (i = 0; i < ARRAY_LEN (a->as_uword); i++)
204 a->as_uword[i] = 0;
205}
206
207always_inline void
208ip6_address_mask_from_width (ip6_address_t * a, u32 width)
209{
210 int i, byte, bit, bitnum;
211 ASSERT (width <= 128);
Dave Barachb7b92992018-10-17 10:38:51 -0400212 clib_memset (a, 0, sizeof (a[0]));
Ed Warnickecb9cada2015-12-08 15:45:58 -0700213 for (i = 0; i < width; i++)
214 {
215 bitnum = (7 - (i & 7));
216 byte = i / 8;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500217 bit = 1 << bitnum;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700218 a->as_u8[byte] |= bit;
219 }
220}
221
222always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400223ip6_address_is_zero (const ip6_address_t * a)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700224{
225 int i;
226 for (i = 0; i < ARRAY_LEN (a->as_uword); i++)
227 if (a->as_uword[i] != 0)
228 return 0;
229 return 1;
230}
231
232/* Check for unspecified address ::0 */
233always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400234ip6_address_is_unspecified (const ip6_address_t * a)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500235{
236 return ip6_address_is_zero (a);
237}
Ed Warnickecb9cada2015-12-08 15:45:58 -0700238
239/* Check for loopback address ::1 */
240always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400241ip6_address_is_loopback (const ip6_address_t * a)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700242{
Neale Rannsd69f4392018-08-31 06:30:16 -0400243 return (a->as_u64[0] == 0 &&
244 a->as_u32[2] == 0 &&
245 a->as_u16[6] == 0 && a->as_u8[14] == 0 && a->as_u8[15] == 1);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700246}
247
248/* Check for link local unicast fe80::/10. */
249always_inline uword
Neale Ranns53da2212018-02-24 02:11:19 -0800250ip6_address_is_link_local_unicast (const ip6_address_t * a)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500251{
252 return a->as_u8[0] == 0xfe && (a->as_u8[1] & 0xc0) == 0x80;
253}
Ed Warnickecb9cada2015-12-08 15:45:58 -0700254
255/* Check for unique local unicast fc00::/7. */
256always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400257ip6_address_is_local_unicast (const ip6_address_t * a)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500258{
259 return (a->as_u8[0] & 0xfe) == 0xfc;
260}
Ed Warnickecb9cada2015-12-08 15:45:58 -0700261
Chris Lukebfd32fd2016-06-24 20:38:06 -0400262/* Check for unique global unicast 2000::/3. */
263always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400264ip6_address_is_global_unicast (const ip6_address_t * a)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500265{
266 return (a->as_u8[0] & 0xe0) == 0x20;
267}
Chris Lukebfd32fd2016-06-24 20:38:06 -0400268
Ed Warnickecb9cada2015-12-08 15:45:58 -0700269/* Check for solicited node multicast 0xff02::1:ff00:0/104 */
270always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400271ip6_is_solicited_node_multicast_address (const ip6_address_t * a)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700272{
273 return (a->as_u32[0] == clib_host_to_net_u32 (0xff020000)
274 && a->as_u32[1] == 0
275 && a->as_u32[2] == clib_host_to_net_u32 (1)
276 && a->as_u8[12] == 0xff);
277}
278
Neale Rannscd35e532018-08-31 02:51:45 -0700279always_inline u32
280ip6_address_hash_to_u32 (const ip6_address_t * a)
281{
282 return (a->as_u32[0] ^ a->as_u32[1] ^ a->as_u32[2] ^ a->as_u32[3]);
283}
284
285always_inline u64
286ip6_address_hash_to_u64 (const ip6_address_t * a)
287{
288 return (a->as_u64[0] ^ a->as_u64[1]);
289}
290
Dave Barachd7cb1b52016-12-09 09:52:16 -0500291typedef struct
292{
Ed Warnickecb9cada2015-12-08 15:45:58 -0700293 /* 4 bit version, 8 bit traffic class and 20 bit flow label. */
294 u32 ip_version_traffic_class_and_flow_label;
295
296 /* Total packet length not including this header (but including
297 any extension headers if present). */
298 u16 payload_length;
299
300 /* Protocol for next header. */
301 u8 protocol;
302
303 /* Hop limit decremented by router at each hop. */
304 u8 hop_limit;
305
306 /* Source and destination address. */
307 ip6_address_t src_address, dst_address;
308} ip6_header_t;
309
Neale Ranns038e1df2019-07-19 14:01:02 +0000310always_inline ip_dscp_t
Neale Ranns31ed7442018-02-23 05:29:09 -0800311ip6_traffic_class (const ip6_header_t * i)
Ole Troan5c749732017-03-13 13:39:52 +0100312{
313 return (i->ip_version_traffic_class_and_flow_label & 0x0FF00000) >> 20;
314}
315
Neale Ranns038e1df2019-07-19 14:01:02 +0000316static_always_inline ip_dscp_t
Neale Ranns31ed7442018-02-23 05:29:09 -0800317ip6_traffic_class_network_order (const ip6_header_t * ip6)
318{
319 return (clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label)
320 & 0x0ff00000) >> 20;
321}
322
Neale Ranns95346962019-11-25 13:04:44 +0000323static_always_inline ip_dscp_t
324ip6_dscp_network_order (const ip6_header_t * ip6)
325{
326 return (clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label)
327 & 0x0fc00000) >> 22;
328}
329
330static_always_inline ip_ecn_t
331ip6_ecn_network_order (const ip6_header_t * ip6)
332{
333 return (clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label)
334 & 0x00300000) >> 20;
335}
336
Neale Ranns31ed7442018-02-23 05:29:09 -0800337static_always_inline void
Neale Ranns038e1df2019-07-19 14:01:02 +0000338ip6_set_traffic_class_network_order (ip6_header_t * ip6, ip_dscp_t dscp)
Neale Ranns31ed7442018-02-23 05:29:09 -0800339{
340 u32 tmp =
341 clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label);
Neale Ranns039cbfe2018-02-27 03:45:38 -0800342 tmp &= 0xf00fffff;
Neale Ranns31ed7442018-02-23 05:29:09 -0800343 tmp |= (dscp << 20);
344 ip6->ip_version_traffic_class_and_flow_label = clib_host_to_net_u32 (tmp);
345}
346
Neale Ranns95346962019-11-25 13:04:44 +0000347static_always_inline void
348ip6_set_dscp_network_order (ip6_header_t * ip6, ip_dscp_t dscp)
349{
350 u32 tmp =
351 clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label);
352 tmp &= 0xf03fffff;
353 tmp |= (dscp << 22);
354 ip6->ip_version_traffic_class_and_flow_label = clib_host_to_net_u32 (tmp);
355}
356
357static_always_inline void
358ip6_set_ecn_network_order (ip6_header_t * ip6, ip_ecn_t ecn)
359{
360 u32 tmp =
361 clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label);
362 tmp &= 0xffcfffff;
363 tmp |= (ecn << 20);
364 ip6->ip_version_traffic_class_and_flow_label = clib_host_to_net_u32 (tmp);
365}
366
Ed Warnickecb9cada2015-12-08 15:45:58 -0700367always_inline void *
368ip6_next_header (ip6_header_t * i)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500369{
370 return (void *) (i + 1);
371}
Ed Warnickecb9cada2015-12-08 15:45:58 -0700372
373always_inline void
Dave Barachd7cb1b52016-12-09 09:52:16 -0500374ip6_copy_header (ip6_header_t * dst, const ip6_header_t * src)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100375{
Dave Barachd7cb1b52016-12-09 09:52:16 -0500376 dst->ip_version_traffic_class_and_flow_label =
377 src->ip_version_traffic_class_and_flow_label;
378 dst->payload_length = src->payload_length;
379 dst->protocol = src->protocol;
380 dst->hop_limit = src->hop_limit;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100381
Dave Barachd7cb1b52016-12-09 09:52:16 -0500382 dst->src_address.as_uword[0] = src->src_address.as_uword[0];
383 dst->src_address.as_uword[1] = src->src_address.as_uword[1];
384 dst->dst_address.as_uword[0] = src->dst_address.as_uword[0];
385 dst->dst_address.as_uword[1] = src->dst_address.as_uword[1];
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100386}
387
388always_inline void
Ed Warnickecb9cada2015-12-08 15:45:58 -0700389ip6_tcp_reply_x1 (ip6_header_t * ip0, tcp_header_t * tcp0)
390{
391 {
392 ip6_address_t src0, dst0;
393
394 src0 = ip0->src_address;
395 dst0 = ip0->dst_address;
396 ip0->src_address = dst0;
397 ip0->dst_address = src0;
398 }
399
400 {
401 u16 src0, dst0;
402
Dave Barach68b0fb02017-02-28 15:15:56 -0500403 src0 = tcp0->src;
404 dst0 = tcp0->dst;
405 tcp0->src = dst0;
406 tcp0->dst = src0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700407 }
408}
409
410always_inline void
411ip6_tcp_reply_x2 (ip6_header_t * ip0, ip6_header_t * ip1,
412 tcp_header_t * tcp0, tcp_header_t * tcp1)
413{
414 {
415 ip6_address_t src0, dst0, src1, dst1;
416
417 src0 = ip0->src_address;
418 src1 = ip1->src_address;
419 dst0 = ip0->dst_address;
420 dst1 = ip1->dst_address;
421 ip0->src_address = dst0;
422 ip1->src_address = dst1;
423 ip0->dst_address = src0;
424 ip1->dst_address = src1;
425 }
426
427 {
428 u16 src0, dst0, src1, dst1;
429
Dave Barach68b0fb02017-02-28 15:15:56 -0500430 src0 = tcp0->src;
431 src1 = tcp1->src;
432 dst0 = tcp0->dst;
433 dst1 = tcp1->dst;
434 tcp0->src = dst0;
435 tcp1->src = dst1;
436 tcp0->dst = src0;
437 tcp1->dst = src1;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700438 }
439}
440
441
Dave Barachd7cb1b52016-12-09 09:52:16 -0500442/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700443typedef CLIB_PACKED (struct {
444 u8 data;
445}) ip6_pad1_option_t;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500446/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700447
Dave Barachd7cb1b52016-12-09 09:52:16 -0500448/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700449typedef CLIB_PACKED (struct {
450 u8 type;
451 u8 len;
452 u8 data[0];
453}) ip6_padN_option_t;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500454/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700455
Dave Barachd7cb1b52016-12-09 09:52:16 -0500456/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700457typedef CLIB_PACKED (struct {
Dave Barachd7cb1b52016-12-09 09:52:16 -0500458#define IP6_MLDP_ALERT_TYPE 0x5
Ed Warnickecb9cada2015-12-08 15:45:58 -0700459 u8 type;
460 u8 len;
461 u16 value;
462}) ip6_router_alert_option_t;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500463/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700464
Dave Barachd7cb1b52016-12-09 09:52:16 -0500465/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700466typedef CLIB_PACKED (struct {
467 u8 next_hdr;
468 /* Length of this header plus option data in 8 byte units. */
469 u8 n_data_u64s;
Shwethab78292e2016-09-13 11:51:00 +0100470}) ip6_ext_header_t;
Klement Sekera769145c2019-03-06 11:59:57 +0100471/* *INDENT-ON* */
Shwethab78292e2016-09-13 11:51:00 +0100472
Damjan Marion831d2382019-03-22 13:58:08 +0100473#define foreach_ext_hdr_type \
474 _(IP6_HOP_BY_HOP_OPTIONS) \
475 _(IPV6_ROUTE) \
476 _(IPV6_FRAGMENTATION) \
477 _(IPSEC_ESP) \
478 _(IPSEC_AH) \
479 _(IP6_DESTINATION_OPTIONS) \
480 _(MOBILITY) \
481 _(HIP) \
482 _(SHIM6)
483
Klement Sekera769145c2019-03-06 11:59:57 +0100484always_inline u8
485ip6_ext_hdr (u8 nexthdr)
Shwethab78292e2016-09-13 11:51:00 +0100486{
Damjan Marion831d2382019-03-22 13:58:08 +0100487#ifdef CLIB_HAVE_VEC128
488 static const u8x16 ext_hdr_types = {
489#define _(x) IP_PROTOCOL_##x,
Klement Sekera769145c2019-03-06 11:59:57 +0100490 foreach_ext_hdr_type
Damjan Marion831d2382019-03-22 13:58:08 +0100491#undef _
492 };
493
494 return !u8x16_is_all_zero (ext_hdr_types == u8x16_splat (nexthdr));
495#else
Shwethab78292e2016-09-13 11:51:00 +0100496 /*
497 * find out if nexthdr is an extension header or a protocol
498 */
Klement Sekera769145c2019-03-06 11:59:57 +0100499 return 0
Damjan Marion831d2382019-03-22 13:58:08 +0100500#define _(x) || (nexthdr == IP_PROTOCOL_##x)
Klement Sekera769145c2019-03-06 11:59:57 +0100501 foreach_ext_hdr_type;
Damjan Marion831d2382019-03-22 13:58:08 +0100502#undef _
503#endif
Shwethab78292e2016-09-13 11:51:00 +0100504}
505
Pablo Camarillofb380952016-12-07 18:34:18 +0100506#define ip6_ext_header_len(p) ((((ip6_ext_header_t *)(p))->n_data_u64s+1) << 3)
507#define ip6_ext_authhdr_len(p) ((((ip6_ext_header_t *)(p))->n_data_u64s+2) << 2)
Shwethab78292e2016-09-13 11:51:00 +0100508
509always_inline void *
Klement Sekera769145c2019-03-06 11:59:57 +0100510ip6_ext_next_header (ip6_ext_header_t * ext_hdr)
511{
512 return (void *) ((u8 *) ext_hdr + ip6_ext_header_len (ext_hdr));
Pablo Camarillofb380952016-12-07 18:34:18 +0100513}
514
Klement Sekera769145c2019-03-06 11:59:57 +0100515always_inline int
516vlib_object_within_buffer_data (vlib_main_t * vm, vlib_buffer_t * b,
517 void *obj, size_t len)
518{
519 u8 *o = obj;
520 if (o < b->data ||
521 o + len > b->data + vlib_buffer_get_default_data_size (vm))
522 return 0;
523 return 1;
524}
Pablo Camarillofb380952016-12-07 18:34:18 +0100525
Klement Sekera769145c2019-03-06 11:59:57 +0100526/*
527 * find ipv6 extension header within ipv6 header within buffer b
528 *
529 * @param vm
530 * @param b buffer to limit search to
531 * @param ip6_header ipv6 header
532 * @param header_type extension header type to search for
533 * @param[out] prev_ext_header address of header preceding found header
534 */
535always_inline void *
536ip6_ext_header_find (vlib_main_t * vm, vlib_buffer_t * b,
537 ip6_header_t * ip6_header, u8 header_type,
538 ip6_ext_header_t ** prev_ext_header)
539{
540 ip6_ext_header_t *prev = NULL;
541 ip6_ext_header_t *result = NULL;
542 if ((ip6_header)->protocol == header_type)
543 {
544 result = (void *) (ip6_header + 1);
545 if (!vlib_object_within_buffer_data (vm, b, result,
546 ip6_ext_header_len (result)))
547 {
548 result = NULL;
549 }
550 }
551 else
552 {
553 result = NULL;
554 prev = (void *) (ip6_header + 1);
555 while (ip6_ext_hdr (prev->next_hdr) && prev->next_hdr != header_type)
556 {
557 prev = ip6_ext_next_header (prev);
558 if (!vlib_object_within_buffer_data (vm, b, prev,
559 ip6_ext_header_len (prev)))
560 {
561 prev = NULL;
562 break;
563 }
564 }
565 if (prev && (prev->next_hdr == header_type))
566 {
567 result = ip6_ext_next_header (prev);
568 if (!vlib_object_within_buffer_data (vm, b, result,
569 ip6_ext_header_len (result)))
570 {
571 result = NULL;
572 }
573 }
574 }
575 if (prev_ext_header)
576 {
577 *prev_ext_header = prev;
578 }
579 return result;
580}
581
Klement Sekeraf126e742019-10-10 09:46:06 +0000582/*
583 * walk extension headers, looking for a specific extension header and last
584 * extension header, calculating length of all extension headers
585 *
586 * @param vm
587 * @param b buffer to limit search to
588 * @param ip6_header ipv6 header
589 * @param find_hdr extension header to look for (ignored if ext_hdr is NULL)
590 * @param length[out] length of all extension headers
591 * @param ext_hdr[out] extension header of type find_hdr (may be NULL)
592 * @param last_ext_hdr[out] last extension header (may be NULL)
593 *
594 * @return 0 on success, -1 on failure (ext headers crossing buffer boundary)
595 */
596always_inline int
597ip6_walk_ext_hdr (vlib_main_t * vm, vlib_buffer_t * b,
598 const ip6_header_t * ip6_header, u8 find_hdr, u32 * length,
599 ip6_ext_header_t ** ext_hdr,
600 ip6_ext_header_t ** last_ext_hdr)
601{
602 if (!ip6_ext_hdr (ip6_header->protocol))
603 {
604 *length = 0;
605 *ext_hdr = NULL;
606 *last_ext_hdr = NULL;
607 return 0;
608 }
609 *length = 0;
610 ip6_ext_header_t *h = (void *) (ip6_header + 1);
611 if (!vlib_object_within_buffer_data (vm, b, h, ip6_ext_header_len (h)))
612 {
613 return -1;
614 }
615 *length += ip6_ext_header_len (h);
616 *last_ext_hdr = h;
617 *ext_hdr = NULL;
618 if (ip6_header->protocol == find_hdr)
619 {
620 *ext_hdr = h;
621 }
622 while (ip6_ext_hdr (h->next_hdr))
623 {
624 if (h->next_hdr == find_hdr)
625 {
626 h = ip6_ext_next_header (h);
627 *ext_hdr = h;
628 }
629 else
630 {
631 h = ip6_ext_next_header (h);
632 }
633 if (!vlib_object_within_buffer_data (vm, b, h, ip6_ext_header_len (h)))
634 {
635 return -1;
636 }
637 *length += ip6_ext_header_len (h);
638 *last_ext_hdr = h;
639 }
640 return 0;
641}
642
Klement Sekera769145c2019-03-06 11:59:57 +0100643/* *INDENT-OFF* */
Shwethab78292e2016-09-13 11:51:00 +0100644typedef CLIB_PACKED (struct {
645 u8 next_hdr;
646 /* Length of this header plus option data in 8 byte units. */
647 u8 n_data_u64s;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700648 u8 data[0];
649}) ip6_hop_by_hop_ext_t;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500650/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700651
Dave Barachd7cb1b52016-12-09 09:52:16 -0500652/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700653typedef CLIB_PACKED (struct {
654 u8 next_hdr;
655 u8 rsv;
656 u16 fragment_offset_and_more;
657 u32 identification;
658}) ip6_frag_hdr_t;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500659/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700660
661#define ip6_frag_hdr_offset(hdr) \
662 (clib_net_to_host_u16((hdr)->fragment_offset_and_more) >> 3)
663
Klement Sekera75e7d132017-09-20 08:26:30 +0200664#define ip6_frag_hdr_offset_bytes(hdr) \
665 (8 * ip6_frag_hdr_offset(hdr))
666
Ed Warnickecb9cada2015-12-08 15:45:58 -0700667#define ip6_frag_hdr_more(hdr) \
668 (clib_net_to_host_u16((hdr)->fragment_offset_and_more) & 0x1)
669
670#define ip6_frag_hdr_offset_and_more(offset, more) \
671 clib_host_to_net_u16(((offset) << 3) + !!(more))
672
673#endif /* included_ip6_packet_h */
Dave Barachd7cb1b52016-12-09 09:52:16 -0500674
675/*
676 * fd.io coding-style-patch-verification: ON
677 *
678 * Local Variables:
679 * eval: (c-set-style "gnu")
680 * End:
681 */