blob: 7a8c31cee48d4c55b221aa92c9305fe5099a9b58 [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];
Neale Ranns3ec09e92020-02-24 13:32:30 +000052 u64x2 as_u128;
Ed Warnickecb9cada2015-12-08 15:45:58 -070053 uword as_uword[16 / sizeof (uword)];
Dave Barachd7cb1b52016-12-09 09:52:16 -050054}
Neale Ranns3ec09e92020-02-24 13:32:30 +000055__clib_packed ip6_address_t;
56
57STATIC_ASSERT_SIZEOF (ip6_address_t, 16);
Ed Warnickecb9cada2015-12-08 15:45:58 -070058
Damjan Mariona35cc142018-03-16 01:25:27 +010059typedef struct
60{
61 ip6_address_t addr, mask;
62} ip6_address_and_mask_t;
63
Ed Warnickecb9cada2015-12-08 15:45:58 -070064/* Packed so that the mhash key doesn't include uninitialized pad bytes */
Dave Barachd7cb1b52016-12-09 09:52:16 -050065/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -070066typedef CLIB_PACKED (struct {
67 /* IP address must be first for ip_interface_address_get_address() to work */
68 ip6_address_t ip6_addr;
69 u32 fib_index;
70}) ip6_address_fib_t;
Dave Barachd7cb1b52016-12-09 09:52:16 -050071/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -070072
Eyal Baric5b13602016-11-24 19:42:43 +020073always_inline void
Neale Rannsd69f4392018-08-31 06:30:16 -040074ip6_addr_fib_init (ip6_address_fib_t * addr_fib,
75 const ip6_address_t * address, u32 fib_index)
Ed Warnickecb9cada2015-12-08 15:45:58 -070076{
Eyal Barie101e1f2017-03-15 08:23:42 +020077 addr_fib->ip6_addr = *address;
Ed Warnickecb9cada2015-12-08 15:45:58 -070078 addr_fib->fib_index = fib_index;
79}
80
81/* Special addresses:
82 unspecified ::/128
83 loopback ::1/128
84 global unicast 2000::/3
85 unique local unicast fc00::/7
86 link local unicast fe80::/10
87 multicast ff00::/8
88 ietf reserved everything else. */
Dave Barachd7cb1b52016-12-09 09:52:16 -050089
Ed Warnickecb9cada2015-12-08 15:45:58 -070090#define foreach_ip6_multicast_address_scope \
91 _ (loopback, 0x1) \
92 _ (link_local, 0x2) \
93 _ (admin_local, 0x4) \
94 _ (site_local, 0x5) \
95 _ (organization_local, 0x8) \
96 _ (global, 0xe)
97
98#define foreach_ip6_multicast_link_local_group_id \
99 _ (all_hosts, 0x1) \
100 _ (all_routers, 0x2) \
101 _ (rip_routers, 0x9) \
102 _ (eigrp_routers, 0xa) \
103 _ (pim_routers, 0xd) \
104 _ (mldv2_routers, 0x16)
105
Dave Barachd7cb1b52016-12-09 09:52:16 -0500106typedef enum
107{
Ed Warnickecb9cada2015-12-08 15:45:58 -0700108#define _(f,n) IP6_MULTICAST_SCOPE_##f = n,
109 foreach_ip6_multicast_address_scope
110#undef _
111} ip6_multicast_address_scope_t;
112
Dave Barachd7cb1b52016-12-09 09:52:16 -0500113typedef enum
114{
Ed Warnickecb9cada2015-12-08 15:45:58 -0700115#define _(f,n) IP6_MULTICAST_GROUP_ID_##f = n,
116 foreach_ip6_multicast_link_local_group_id
117#undef _
118} ip6_multicast_link_local_group_id_t;
119
120always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400121ip6_address_is_multicast (const ip6_address_t * a)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500122{
123 return a->as_u8[0] == 0xff;
124}
Ed Warnickecb9cada2015-12-08 15:45:58 -0700125
126always_inline void
Neale Ranns37029302018-08-10 05:30:06 -0700127ip6_address_copy (ip6_address_t * dst, const ip6_address_t * src)
128{
129 dst->as_u64[0] = src->as_u64[0];
130 dst->as_u64[1] = src->as_u64[1];
131}
132
133always_inline void
Ed Warnickecb9cada2015-12-08 15:45:58 -0700134ip6_set_reserved_multicast_address (ip6_address_t * a,
135 ip6_multicast_address_scope_t scope,
136 u16 id)
137{
138 a->as_u64[0] = a->as_u64[1] = 0;
139 a->as_u16[0] = clib_host_to_net_u16 (0xff00 | scope);
140 a->as_u16[7] = clib_host_to_net_u16 (id);
141}
142
143always_inline void
144ip6_set_solicited_node_multicast_address (ip6_address_t * a, u32 id)
145{
146 /* 0xff02::1:ffXX:XXXX. */
147 a->as_u64[0] = a->as_u64[1] = 0;
148 a->as_u16[0] = clib_host_to_net_u16 (0xff02);
149 a->as_u8[11] = 1;
150 ASSERT ((id >> 24) == 0);
151 id |= 0xff << 24;
152 a->as_u32[3] = clib_host_to_net_u32 (id);
153}
154
155always_inline void
Ed Warnickecb9cada2015-12-08 15:45:58 -0700156ip6_multicast_ethernet_address (u8 * ethernet_address, u32 group_id)
157{
158 ethernet_address[0] = 0x33;
159 ethernet_address[1] = 0x33;
160 ethernet_address[2] = ((group_id >> 24) & 0xff);
161 ethernet_address[3] = ((group_id >> 16) & 0xff);
Dave Barachd7cb1b52016-12-09 09:52:16 -0500162 ethernet_address[4] = ((group_id >> 8) & 0xff);
163 ethernet_address[5] = ((group_id >> 0) & 0xff);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700164}
165
166always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400167ip6_address_is_equal (const ip6_address_t * a, const ip6_address_t * b)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700168{
169 int i;
170 for (i = 0; i < ARRAY_LEN (a->as_uword); i++)
171 if (a->as_uword[i] != b->as_uword[i])
172 return 0;
173 return 1;
174}
175
176always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400177ip6_address_is_equal_masked (const ip6_address_t * a,
178 const ip6_address_t * b,
179 const ip6_address_t * mask)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700180{
181 int i;
182 for (i = 0; i < ARRAY_LEN (a->as_uword); i++)
183 {
184 uword a_masked, b_masked;
185 a_masked = a->as_uword[i] & mask->as_uword[i];
186 b_masked = b->as_uword[i] & mask->as_uword[i];
187
188 if (a_masked != b_masked)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500189 return 0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700190 }
191 return 1;
192}
193
194always_inline void
Neale Rannsd69f4392018-08-31 06:30:16 -0400195ip6_address_mask (ip6_address_t * a, const ip6_address_t * mask)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700196{
197 int i;
198 for (i = 0; i < ARRAY_LEN (a->as_uword); i++)
199 a->as_uword[i] &= mask->as_uword[i];
200}
201
202always_inline void
203ip6_address_set_zero (ip6_address_t * a)
204{
205 int i;
206 for (i = 0; i < ARRAY_LEN (a->as_uword); i++)
207 a->as_uword[i] = 0;
208}
209
210always_inline void
211ip6_address_mask_from_width (ip6_address_t * a, u32 width)
212{
213 int i, byte, bit, bitnum;
214 ASSERT (width <= 128);
Dave Barachb7b92992018-10-17 10:38:51 -0400215 clib_memset (a, 0, sizeof (a[0]));
Ed Warnickecb9cada2015-12-08 15:45:58 -0700216 for (i = 0; i < width; i++)
217 {
218 bitnum = (7 - (i & 7));
219 byte = i / 8;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500220 bit = 1 << bitnum;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700221 a->as_u8[byte] |= bit;
222 }
223}
224
225always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400226ip6_address_is_zero (const ip6_address_t * a)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700227{
228 int i;
229 for (i = 0; i < ARRAY_LEN (a->as_uword); i++)
230 if (a->as_uword[i] != 0)
231 return 0;
232 return 1;
233}
234
235/* Check for unspecified address ::0 */
236always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400237ip6_address_is_unspecified (const ip6_address_t * a)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500238{
239 return ip6_address_is_zero (a);
240}
Ed Warnickecb9cada2015-12-08 15:45:58 -0700241
242/* Check for loopback address ::1 */
243always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400244ip6_address_is_loopback (const ip6_address_t * a)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700245{
Neale Rannsd69f4392018-08-31 06:30:16 -0400246 return (a->as_u64[0] == 0 &&
247 a->as_u32[2] == 0 &&
248 a->as_u16[6] == 0 && a->as_u8[14] == 0 && a->as_u8[15] == 1);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700249}
250
251/* Check for link local unicast fe80::/10. */
252always_inline uword
Neale Ranns53da2212018-02-24 02:11:19 -0800253ip6_address_is_link_local_unicast (const ip6_address_t * a)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500254{
255 return a->as_u8[0] == 0xfe && (a->as_u8[1] & 0xc0) == 0x80;
256}
Ed Warnickecb9cada2015-12-08 15:45:58 -0700257
258/* Check for unique local unicast fc00::/7. */
259always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400260ip6_address_is_local_unicast (const ip6_address_t * a)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500261{
262 return (a->as_u8[0] & 0xfe) == 0xfc;
263}
Ed Warnickecb9cada2015-12-08 15:45:58 -0700264
Chris Lukebfd32fd2016-06-24 20:38:06 -0400265/* Check for unique global unicast 2000::/3. */
266always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400267ip6_address_is_global_unicast (const ip6_address_t * a)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500268{
269 return (a->as_u8[0] & 0xe0) == 0x20;
270}
Chris Lukebfd32fd2016-06-24 20:38:06 -0400271
Ed Warnickecb9cada2015-12-08 15:45:58 -0700272/* Check for solicited node multicast 0xff02::1:ff00:0/104 */
273always_inline uword
Neale Rannsd69f4392018-08-31 06:30:16 -0400274ip6_is_solicited_node_multicast_address (const ip6_address_t * a)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700275{
276 return (a->as_u32[0] == clib_host_to_net_u32 (0xff020000)
277 && a->as_u32[1] == 0
278 && a->as_u32[2] == clib_host_to_net_u32 (1)
279 && a->as_u8[12] == 0xff);
280}
281
Neale Rannscd35e532018-08-31 02:51:45 -0700282always_inline u32
283ip6_address_hash_to_u32 (const ip6_address_t * a)
284{
285 return (a->as_u32[0] ^ a->as_u32[1] ^ a->as_u32[2] ^ a->as_u32[3]);
286}
287
288always_inline u64
289ip6_address_hash_to_u64 (const ip6_address_t * a)
290{
291 return (a->as_u64[0] ^ a->as_u64[1]);
292}
293
Dave Barachd7cb1b52016-12-09 09:52:16 -0500294typedef struct
295{
Ed Warnickecb9cada2015-12-08 15:45:58 -0700296 /* 4 bit version, 8 bit traffic class and 20 bit flow label. */
297 u32 ip_version_traffic_class_and_flow_label;
298
299 /* Total packet length not including this header (but including
300 any extension headers if present). */
301 u16 payload_length;
302
303 /* Protocol for next header. */
304 u8 protocol;
305
306 /* Hop limit decremented by router at each hop. */
307 u8 hop_limit;
308
309 /* Source and destination address. */
310 ip6_address_t src_address, dst_address;
311} ip6_header_t;
312
Neale Ranns041add72020-01-02 04:06:10 +0000313#define IP6_PACKET_TC_MASK 0x0FF00000
314#define IP6_PACKET_DSCP_MASK 0x0FC00000
315#define IP6_PACKET_ECN_MASK 0x00300000
Ahmed Abdelsalamf2984bb2020-11-20 18:56:09 +0000316#define IP6_PACKET_FL_MASK 0x000FFFFF
Neale Ranns041add72020-01-02 04:06:10 +0000317
Neale Ranns038e1df2019-07-19 14:01:02 +0000318always_inline ip_dscp_t
Neale Ranns31ed7442018-02-23 05:29:09 -0800319ip6_traffic_class (const ip6_header_t * i)
Ole Troan5c749732017-03-13 13:39:52 +0100320{
Neale Ranns041add72020-01-02 04:06:10 +0000321 return (i->ip_version_traffic_class_and_flow_label & IP6_PACKET_TC_MASK) >>
322 20;
Ole Troan5c749732017-03-13 13:39:52 +0100323}
324
Neale Ranns038e1df2019-07-19 14:01:02 +0000325static_always_inline ip_dscp_t
Neale Ranns31ed7442018-02-23 05:29:09 -0800326ip6_traffic_class_network_order (const ip6_header_t * ip6)
327{
328 return (clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label)
Neale Ranns041add72020-01-02 04:06:10 +0000329 & IP6_PACKET_TC_MASK) >> 20;
Neale Ranns31ed7442018-02-23 05:29:09 -0800330}
331
Neale Ranns95346962019-11-25 13:04:44 +0000332static_always_inline ip_dscp_t
333ip6_dscp_network_order (const ip6_header_t * ip6)
334{
335 return (clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label)
Neale Ranns041add72020-01-02 04:06:10 +0000336 & IP6_PACKET_DSCP_MASK) >> 22;
Neale Ranns95346962019-11-25 13:04:44 +0000337}
338
339static_always_inline ip_ecn_t
340ip6_ecn_network_order (const ip6_header_t * ip6)
341{
342 return (clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label)
Neale Ranns041add72020-01-02 04:06:10 +0000343 & IP6_PACKET_ECN_MASK) >> 20;
Neale Ranns95346962019-11-25 13:04:44 +0000344}
345
Neale Ranns31ed7442018-02-23 05:29:09 -0800346static_always_inline void
Neale Ranns038e1df2019-07-19 14:01:02 +0000347ip6_set_traffic_class_network_order (ip6_header_t * ip6, ip_dscp_t dscp)
Neale Ranns31ed7442018-02-23 05:29:09 -0800348{
349 u32 tmp =
350 clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label);
Neale Ranns039cbfe2018-02-27 03:45:38 -0800351 tmp &= 0xf00fffff;
Neale Ranns31ed7442018-02-23 05:29:09 -0800352 tmp |= (dscp << 20);
353 ip6->ip_version_traffic_class_and_flow_label = clib_host_to_net_u32 (tmp);
354}
355
Neale Ranns95346962019-11-25 13:04:44 +0000356static_always_inline void
357ip6_set_dscp_network_order (ip6_header_t * ip6, ip_dscp_t dscp)
358{
359 u32 tmp =
360 clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label);
361 tmp &= 0xf03fffff;
362 tmp |= (dscp << 22);
363 ip6->ip_version_traffic_class_and_flow_label = clib_host_to_net_u32 (tmp);
364}
365
366static_always_inline void
367ip6_set_ecn_network_order (ip6_header_t * ip6, ip_ecn_t ecn)
368{
369 u32 tmp =
370 clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label);
371 tmp &= 0xffcfffff;
Neale Rannsa91cb452021-02-04 11:02:52 +0000372 tmp |= ((0x3 & ecn) << 20);
Neale Ranns95346962019-11-25 13:04:44 +0000373 ip6->ip_version_traffic_class_and_flow_label = clib_host_to_net_u32 (tmp);
374}
375
Neale Rannsa91cb452021-02-04 11:02:52 +0000376static_always_inline u32
377ip6_flow_label_network_order (const ip6_header_t *ip6)
378{
379 u32 tmp =
380 clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label);
381 return (tmp & 0xfffff);
382}
383
384static_always_inline void
385ip6_set_flow_label_network_order (ip6_header_t *ip6, u32 flow_label)
386{
387 u32 tmp =
388 clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label);
389 tmp &= 0xfff00000;
390 tmp |= flow_label & 0x000fffff;
391 ip6->ip_version_traffic_class_and_flow_label = clib_host_to_net_u32 (tmp);
392}
393
394static_always_inline u32
395ip6_hop_limit_network_order (const ip6_header_t *ip6)
396{
397 return (ip6->hop_limit);
398}
399
400static_always_inline void
401ip6_set_hop_limit_network_order (ip6_header_t *ip6, u8 hop_limit)
402{
403 ip6->hop_limit = hop_limit;
404}
405
Ed Warnickecb9cada2015-12-08 15:45:58 -0700406always_inline void *
407ip6_next_header (ip6_header_t * i)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500408{
409 return (void *) (i + 1);
410}
Ed Warnickecb9cada2015-12-08 15:45:58 -0700411
412always_inline void
Dave Barachd7cb1b52016-12-09 09:52:16 -0500413ip6_copy_header (ip6_header_t * dst, const ip6_header_t * src)
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100414{
Dave Barachd7cb1b52016-12-09 09:52:16 -0500415 dst->ip_version_traffic_class_and_flow_label =
416 src->ip_version_traffic_class_and_flow_label;
417 dst->payload_length = src->payload_length;
418 dst->protocol = src->protocol;
419 dst->hop_limit = src->hop_limit;
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100420
Dave Barachd7cb1b52016-12-09 09:52:16 -0500421 dst->src_address.as_uword[0] = src->src_address.as_uword[0];
422 dst->src_address.as_uword[1] = src->src_address.as_uword[1];
423 dst->dst_address.as_uword[0] = src->dst_address.as_uword[0];
424 dst->dst_address.as_uword[1] = src->dst_address.as_uword[1];
Neale Ranns0bfe5d82016-08-25 15:29:12 +0100425}
426
427always_inline void
Ed Warnickecb9cada2015-12-08 15:45:58 -0700428ip6_tcp_reply_x1 (ip6_header_t * ip0, tcp_header_t * tcp0)
429{
430 {
431 ip6_address_t src0, dst0;
432
433 src0 = ip0->src_address;
434 dst0 = ip0->dst_address;
435 ip0->src_address = dst0;
436 ip0->dst_address = src0;
437 }
438
439 {
440 u16 src0, dst0;
441
Dave Barach68b0fb02017-02-28 15:15:56 -0500442 src0 = tcp0->src;
443 dst0 = tcp0->dst;
444 tcp0->src = dst0;
445 tcp0->dst = src0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700446 }
447}
448
449always_inline void
450ip6_tcp_reply_x2 (ip6_header_t * ip0, ip6_header_t * ip1,
451 tcp_header_t * tcp0, tcp_header_t * tcp1)
452{
453 {
454 ip6_address_t src0, dst0, src1, dst1;
455
456 src0 = ip0->src_address;
457 src1 = ip1->src_address;
458 dst0 = ip0->dst_address;
459 dst1 = ip1->dst_address;
460 ip0->src_address = dst0;
461 ip1->src_address = dst1;
462 ip0->dst_address = src0;
463 ip1->dst_address = src1;
464 }
465
466 {
467 u16 src0, dst0, src1, dst1;
468
Dave Barach68b0fb02017-02-28 15:15:56 -0500469 src0 = tcp0->src;
470 src1 = tcp1->src;
471 dst0 = tcp0->dst;
472 dst1 = tcp1->dst;
473 tcp0->src = dst0;
474 tcp1->src = dst1;
475 tcp0->dst = src0;
476 tcp1->dst = src1;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700477 }
478}
479
480
Dave Barachd7cb1b52016-12-09 09:52:16 -0500481/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700482typedef CLIB_PACKED (struct {
483 u8 data;
484}) ip6_pad1_option_t;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500485/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700486
Dave Barachd7cb1b52016-12-09 09:52:16 -0500487/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700488typedef CLIB_PACKED (struct {
489 u8 type;
490 u8 len;
491 u8 data[0];
492}) ip6_padN_option_t;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500493/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700494
Dave Barachd7cb1b52016-12-09 09:52:16 -0500495/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700496typedef CLIB_PACKED (struct {
Dave Barachd7cb1b52016-12-09 09:52:16 -0500497#define IP6_MLDP_ALERT_TYPE 0x5
Ed Warnickecb9cada2015-12-08 15:45:58 -0700498 u8 type;
499 u8 len;
500 u16 value;
501}) ip6_router_alert_option_t;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500502/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700503
Dave Barachd7cb1b52016-12-09 09:52:16 -0500504/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700505typedef CLIB_PACKED (struct {
506 u8 next_hdr;
507 /* Length of this header plus option data in 8 byte units. */
508 u8 n_data_u64s;
Shwethab78292e2016-09-13 11:51:00 +0100509}) ip6_ext_header_t;
Klement Sekera769145c2019-03-06 11:59:57 +0100510/* *INDENT-ON* */
Shwethab78292e2016-09-13 11:51:00 +0100511
Damjan Marion831d2382019-03-22 13:58:08 +0100512#define foreach_ext_hdr_type \
513 _(IP6_HOP_BY_HOP_OPTIONS) \
514 _(IPV6_ROUTE) \
515 _(IPV6_FRAGMENTATION) \
516 _(IPSEC_ESP) \
517 _(IPSEC_AH) \
518 _(IP6_DESTINATION_OPTIONS) \
519 _(MOBILITY) \
520 _(HIP) \
521 _(SHIM6)
522
Klement Sekera769145c2019-03-06 11:59:57 +0100523always_inline u8
524ip6_ext_hdr (u8 nexthdr)
Shwethab78292e2016-09-13 11:51:00 +0100525{
Damjan Marion831d2382019-03-22 13:58:08 +0100526#ifdef CLIB_HAVE_VEC128
527 static const u8x16 ext_hdr_types = {
528#define _(x) IP_PROTOCOL_##x,
Klement Sekera769145c2019-03-06 11:59:57 +0100529 foreach_ext_hdr_type
Damjan Marion831d2382019-03-22 13:58:08 +0100530#undef _
531 };
532
533 return !u8x16_is_all_zero (ext_hdr_types == u8x16_splat (nexthdr));
534#else
Shwethab78292e2016-09-13 11:51:00 +0100535 /*
536 * find out if nexthdr is an extension header or a protocol
537 */
Klement Sekera769145c2019-03-06 11:59:57 +0100538 return 0
Damjan Marion831d2382019-03-22 13:58:08 +0100539#define _(x) || (nexthdr == IP_PROTOCOL_##x)
Klement Sekera769145c2019-03-06 11:59:57 +0100540 foreach_ext_hdr_type;
Damjan Marion831d2382019-03-22 13:58:08 +0100541#undef _
542#endif
Shwethab78292e2016-09-13 11:51:00 +0100543}
544
Pablo Camarillofb380952016-12-07 18:34:18 +0100545#define ip6_ext_header_len(p) ((((ip6_ext_header_t *)(p))->n_data_u64s+1) << 3)
546#define ip6_ext_authhdr_len(p) ((((ip6_ext_header_t *)(p))->n_data_u64s+2) << 2)
Shwethab78292e2016-09-13 11:51:00 +0100547
548always_inline void *
Klement Sekera769145c2019-03-06 11:59:57 +0100549ip6_ext_next_header (ip6_ext_header_t * ext_hdr)
550{
551 return (void *) ((u8 *) ext_hdr + ip6_ext_header_len (ext_hdr));
Pablo Camarillofb380952016-12-07 18:34:18 +0100552}
553
Klement Sekera769145c2019-03-06 11:59:57 +0100554always_inline int
555vlib_object_within_buffer_data (vlib_main_t * vm, vlib_buffer_t * b,
556 void *obj, size_t len)
557{
558 u8 *o = obj;
559 if (o < b->data ||
560 o + len > b->data + vlib_buffer_get_default_data_size (vm))
561 return 0;
562 return 1;
563}
Pablo Camarillofb380952016-12-07 18:34:18 +0100564
Klement Sekera769145c2019-03-06 11:59:57 +0100565/*
566 * find ipv6 extension header within ipv6 header within buffer b
567 *
568 * @param vm
569 * @param b buffer to limit search to
570 * @param ip6_header ipv6 header
571 * @param header_type extension header type to search for
572 * @param[out] prev_ext_header address of header preceding found header
573 */
574always_inline void *
575ip6_ext_header_find (vlib_main_t * vm, vlib_buffer_t * b,
576 ip6_header_t * ip6_header, u8 header_type,
577 ip6_ext_header_t ** prev_ext_header)
578{
579 ip6_ext_header_t *prev = NULL;
580 ip6_ext_header_t *result = NULL;
581 if ((ip6_header)->protocol == header_type)
582 {
583 result = (void *) (ip6_header + 1);
584 if (!vlib_object_within_buffer_data (vm, b, result,
585 ip6_ext_header_len (result)))
586 {
587 result = NULL;
588 }
589 }
590 else
591 {
592 result = NULL;
593 prev = (void *) (ip6_header + 1);
594 while (ip6_ext_hdr (prev->next_hdr) && prev->next_hdr != header_type)
595 {
596 prev = ip6_ext_next_header (prev);
597 if (!vlib_object_within_buffer_data (vm, b, prev,
598 ip6_ext_header_len (prev)))
599 {
600 prev = NULL;
601 break;
602 }
603 }
604 if (prev && (prev->next_hdr == header_type))
605 {
606 result = ip6_ext_next_header (prev);
607 if (!vlib_object_within_buffer_data (vm, b, result,
608 ip6_ext_header_len (result)))
609 {
610 result = NULL;
611 }
612 }
613 }
614 if (prev_ext_header)
615 {
616 *prev_ext_header = prev;
617 }
618 return result;
619}
620
Klement Sekeraf126e742019-10-10 09:46:06 +0000621/*
622 * walk extension headers, looking for a specific extension header and last
623 * extension header, calculating length of all extension headers
624 *
625 * @param vm
626 * @param b buffer to limit search to
627 * @param ip6_header ipv6 header
628 * @param find_hdr extension header to look for (ignored if ext_hdr is NULL)
629 * @param length[out] length of all extension headers
630 * @param ext_hdr[out] extension header of type find_hdr (may be NULL)
631 * @param last_ext_hdr[out] last extension header (may be NULL)
632 *
633 * @return 0 on success, -1 on failure (ext headers crossing buffer boundary)
634 */
635always_inline int
636ip6_walk_ext_hdr (vlib_main_t * vm, vlib_buffer_t * b,
637 const ip6_header_t * ip6_header, u8 find_hdr, u32 * length,
638 ip6_ext_header_t ** ext_hdr,
639 ip6_ext_header_t ** last_ext_hdr)
640{
641 if (!ip6_ext_hdr (ip6_header->protocol))
642 {
643 *length = 0;
644 *ext_hdr = NULL;
645 *last_ext_hdr = NULL;
646 return 0;
647 }
648 *length = 0;
649 ip6_ext_header_t *h = (void *) (ip6_header + 1);
650 if (!vlib_object_within_buffer_data (vm, b, h, ip6_ext_header_len (h)))
651 {
652 return -1;
653 }
654 *length += ip6_ext_header_len (h);
655 *last_ext_hdr = h;
656 *ext_hdr = NULL;
657 if (ip6_header->protocol == find_hdr)
658 {
659 *ext_hdr = h;
660 }
661 while (ip6_ext_hdr (h->next_hdr))
662 {
663 if (h->next_hdr == find_hdr)
664 {
665 h = ip6_ext_next_header (h);
666 *ext_hdr = h;
667 }
668 else
669 {
670 h = ip6_ext_next_header (h);
671 }
672 if (!vlib_object_within_buffer_data (vm, b, h, ip6_ext_header_len (h)))
673 {
674 return -1;
675 }
676 *length += ip6_ext_header_len (h);
677 *last_ext_hdr = h;
678 }
679 return 0;
680}
681
Klement Sekera769145c2019-03-06 11:59:57 +0100682/* *INDENT-OFF* */
Shwethab78292e2016-09-13 11:51:00 +0100683typedef CLIB_PACKED (struct {
684 u8 next_hdr;
685 /* Length of this header plus option data in 8 byte units. */
686 u8 n_data_u64s;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700687 u8 data[0];
688}) ip6_hop_by_hop_ext_t;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500689/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700690
Dave Barachd7cb1b52016-12-09 09:52:16 -0500691/* *INDENT-OFF* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700692typedef CLIB_PACKED (struct {
693 u8 next_hdr;
694 u8 rsv;
695 u16 fragment_offset_and_more;
696 u32 identification;
697}) ip6_frag_hdr_t;
Dave Barachd7cb1b52016-12-09 09:52:16 -0500698/* *INDENT-ON* */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700699
700#define ip6_frag_hdr_offset(hdr) \
701 (clib_net_to_host_u16((hdr)->fragment_offset_and_more) >> 3)
702
Klement Sekera75e7d132017-09-20 08:26:30 +0200703#define ip6_frag_hdr_offset_bytes(hdr) \
704 (8 * ip6_frag_hdr_offset(hdr))
705
Ed Warnickecb9cada2015-12-08 15:45:58 -0700706#define ip6_frag_hdr_more(hdr) \
707 (clib_net_to_host_u16((hdr)->fragment_offset_and_more) & 0x1)
708
709#define ip6_frag_hdr_offset_and_more(offset, more) \
710 clib_host_to_net_u16(((offset) << 3) + !!(more))
711
712#endif /* included_ip6_packet_h */
Dave Barachd7cb1b52016-12-09 09:52:16 -0500713
714/*
715 * fd.io coding-style-patch-verification: ON
716 *
717 * Local Variables:
718 * eval: (c-set-style "gnu")
719 * End:
720 */