Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 1 | /* |
| 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 Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 43 | #include <vnet/tcp/tcp_packet.h> |
Pierre Pfister | 1dabaaf | 2016-04-25 14:15:15 +0100 | [diff] [blame] | 44 | #include <vnet/ip/ip4_packet.h> |
| 45 | |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 46 | typedef union |
| 47 | { |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 48 | 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 Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 53 | } |
| 54 | ip6_address_t; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 55 | |
Damjan Marion | a35cc14 | 2018-03-16 01:25:27 +0100 | [diff] [blame] | 56 | typedef struct |
| 57 | { |
| 58 | ip6_address_t addr, mask; |
| 59 | } ip6_address_and_mask_t; |
| 60 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 61 | /* Packed so that the mhash key doesn't include uninitialized pad bytes */ |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 62 | /* *INDENT-OFF* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 63 | typedef 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 Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 68 | /* *INDENT-ON* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 69 | |
Neale Ranns | d0df49f | 2018-08-08 01:06:40 -0700 | [diff] [blame] | 70 | typedef enum |
| 71 | { |
| 72 | IP46_TYPE_ANY, |
| 73 | IP46_TYPE_IP4, |
| 74 | IP46_TYPE_IP6 |
| 75 | } ip46_type_t; |
| 76 | |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 77 | /* *INDENT-OFF* */ |
Pierre Pfister | 1dabaaf | 2016-04-25 14:15:15 +0100 | [diff] [blame] | 78 | typedef CLIB_PACKED (union { |
| 79 | struct { |
| 80 | u32 pad[3]; |
| 81 | ip4_address_t ip4; |
| 82 | }; |
| 83 | ip6_address_t ip6; |
Eyal Bari | c5b1360 | 2016-11-24 19:42:43 +0200 | [diff] [blame] | 84 | u8 as_u8[16]; |
Damjan Marion | 1a64ab9 | 2016-04-29 14:51:57 +0200 | [diff] [blame] | 85 | u64 as_u64[2]; |
Pierre Pfister | 1dabaaf | 2016-04-25 14:15:15 +0100 | [diff] [blame] | 86 | }) ip46_address_t; |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 87 | /* *INDENT-ON* */ |
Damjan Marion | 1a64ab9 | 2016-04-29 14:51:57 +0200 | [diff] [blame] | 88 | #define ip46_address_is_ip4(ip46) (((ip46)->pad[0] | (ip46)->pad[1] | (ip46)->pad[2]) == 0) |
| 89 | #define ip46_address_mask_ip4(ip46) ((ip46)->pad[0] = (ip46)->pad[1] = (ip46)->pad[2] = 0) |
| 90 | #define ip46_address_set_ip4(ip46, ip) (ip46_address_mask_ip4(ip46), (ip46)->ip4 = (ip)[0]) |
| 91 | #define ip46_address_reset(ip46) ((ip46)->as_u64[0] = (ip46)->as_u64[1] = 0) |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 92 | #define ip46_address_cmp(ip46_1, ip46_2) (memcmp(ip46_1, ip46_2, sizeof(*ip46_1))) |
| 93 | #define ip46_address_is_zero(ip46) (((ip46)->as_u64[0] == 0) && ((ip46)->as_u64[1] == 0)) |
Neale Ranns | 3466c30 | 2017-02-16 07:45:03 -0800 | [diff] [blame] | 94 | #define ip46_address_is_equal(a1, a2) (((a1)->as_u64[0] == (a2)->as_u64[0]) \ |
| 95 | && ((a1)->as_u64[1] == (a2)->as_u64[1])) |
Neale Ranns | 0bdd319 | 2018-09-07 11:04:52 -0700 | [diff] [blame] | 96 | #define ip46_address_initializer {{{ 0 }}} |
| 97 | |
Neale Ranns | c0a9314 | 2018-09-05 15:42:26 -0700 | [diff] [blame] | 98 | static_always_inline void |
| 99 | ip46_address_copy (ip46_address_t * dst, const ip46_address_t * src) |
| 100 | { |
| 101 | dst->as_u64[0] = src->as_u64[0]; |
| 102 | dst->as_u64[1] = src->as_u64[1]; |
| 103 | } |
| 104 | |
Neale Ranns | 0bdd319 | 2018-09-07 11:04:52 -0700 | [diff] [blame] | 105 | static_always_inline void |
| 106 | ip46_address_set_ip6 (ip46_address_t * dst, const ip6_address_t * src) |
| 107 | { |
| 108 | dst->as_u64[0] = src->as_u64[0]; |
| 109 | dst->as_u64[1] = src->as_u64[1]; |
| 110 | } |
Pierre Pfister | 1dabaaf | 2016-04-25 14:15:15 +0100 | [diff] [blame] | 111 | |
Eyal Bari | e101e1f | 2017-03-15 08:23:42 +0200 | [diff] [blame] | 112 | always_inline ip46_address_t |
| 113 | to_ip46 (u32 is_ipv6, u8 * buf) |
Eyal Bari | c5b1360 | 2016-11-24 19:42:43 +0200 | [diff] [blame] | 114 | { |
Eyal Bari | e101e1f | 2017-03-15 08:23:42 +0200 | [diff] [blame] | 115 | ip46_address_t ip; |
Eyal Bari | c5b1360 | 2016-11-24 19:42:43 +0200 | [diff] [blame] | 116 | if (is_ipv6) |
Eyal Bari | e101e1f | 2017-03-15 08:23:42 +0200 | [diff] [blame] | 117 | ip.ip6 = *((ip6_address_t *) buf); |
Eyal Bari | c5b1360 | 2016-11-24 19:42:43 +0200 | [diff] [blame] | 118 | else |
Eyal Bari | e101e1f | 2017-03-15 08:23:42 +0200 | [diff] [blame] | 119 | ip46_address_set_ip4 (&ip, (ip4_address_t *) buf); |
| 120 | return ip; |
Eyal Bari | c5b1360 | 2016-11-24 19:42:43 +0200 | [diff] [blame] | 121 | } |
| 122 | |
Eyal Bari | e101e1f | 2017-03-15 08:23:42 +0200 | [diff] [blame] | 123 | |
Eyal Bari | c5b1360 | 2016-11-24 19:42:43 +0200 | [diff] [blame] | 124 | always_inline void |
Neale Ranns | d69f439 | 2018-08-31 06:30:16 -0400 | [diff] [blame] | 125 | ip6_addr_fib_init (ip6_address_fib_t * addr_fib, |
| 126 | const ip6_address_t * address, u32 fib_index) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 127 | { |
Eyal Bari | e101e1f | 2017-03-15 08:23:42 +0200 | [diff] [blame] | 128 | addr_fib->ip6_addr = *address; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 129 | addr_fib->fib_index = fib_index; |
| 130 | } |
| 131 | |
| 132 | /* Special addresses: |
| 133 | unspecified ::/128 |
| 134 | loopback ::1/128 |
| 135 | global unicast 2000::/3 |
| 136 | unique local unicast fc00::/7 |
| 137 | link local unicast fe80::/10 |
| 138 | multicast ff00::/8 |
| 139 | ietf reserved everything else. */ |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 140 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 141 | #define foreach_ip6_multicast_address_scope \ |
| 142 | _ (loopback, 0x1) \ |
| 143 | _ (link_local, 0x2) \ |
| 144 | _ (admin_local, 0x4) \ |
| 145 | _ (site_local, 0x5) \ |
| 146 | _ (organization_local, 0x8) \ |
| 147 | _ (global, 0xe) |
| 148 | |
| 149 | #define foreach_ip6_multicast_link_local_group_id \ |
| 150 | _ (all_hosts, 0x1) \ |
| 151 | _ (all_routers, 0x2) \ |
| 152 | _ (rip_routers, 0x9) \ |
| 153 | _ (eigrp_routers, 0xa) \ |
| 154 | _ (pim_routers, 0xd) \ |
| 155 | _ (mldv2_routers, 0x16) |
| 156 | |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 157 | typedef enum |
| 158 | { |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 159 | #define _(f,n) IP6_MULTICAST_SCOPE_##f = n, |
| 160 | foreach_ip6_multicast_address_scope |
| 161 | #undef _ |
| 162 | } ip6_multicast_address_scope_t; |
| 163 | |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 164 | typedef enum |
| 165 | { |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 166 | #define _(f,n) IP6_MULTICAST_GROUP_ID_##f = n, |
| 167 | foreach_ip6_multicast_link_local_group_id |
| 168 | #undef _ |
| 169 | } ip6_multicast_link_local_group_id_t; |
| 170 | |
| 171 | always_inline uword |
Neale Ranns | d69f439 | 2018-08-31 06:30:16 -0400 | [diff] [blame] | 172 | ip6_address_is_multicast (const ip6_address_t * a) |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 173 | { |
| 174 | return a->as_u8[0] == 0xff; |
| 175 | } |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 176 | |
Eyal Bari | c5b1360 | 2016-11-24 19:42:43 +0200 | [diff] [blame] | 177 | always_inline uword |
Neale Ranns | d69f439 | 2018-08-31 06:30:16 -0400 | [diff] [blame] | 178 | ip46_address_is_multicast (const ip46_address_t * a) |
Eyal Bari | c5b1360 | 2016-11-24 19:42:43 +0200 | [diff] [blame] | 179 | { |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 180 | return ip46_address_is_ip4 (a) ? ip4_address_is_multicast (&a->ip4) : |
| 181 | ip6_address_is_multicast (&a->ip6); |
Eyal Bari | c5b1360 | 2016-11-24 19:42:43 +0200 | [diff] [blame] | 182 | } |
| 183 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 184 | always_inline void |
Neale Ranns | 3702930 | 2018-08-10 05:30:06 -0700 | [diff] [blame] | 185 | ip6_address_copy (ip6_address_t * dst, const ip6_address_t * src) |
| 186 | { |
| 187 | dst->as_u64[0] = src->as_u64[0]; |
| 188 | dst->as_u64[1] = src->as_u64[1]; |
| 189 | } |
| 190 | |
| 191 | always_inline void |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 192 | ip6_set_reserved_multicast_address (ip6_address_t * a, |
| 193 | ip6_multicast_address_scope_t scope, |
| 194 | u16 id) |
| 195 | { |
| 196 | a->as_u64[0] = a->as_u64[1] = 0; |
| 197 | a->as_u16[0] = clib_host_to_net_u16 (0xff00 | scope); |
| 198 | a->as_u16[7] = clib_host_to_net_u16 (id); |
| 199 | } |
| 200 | |
| 201 | always_inline void |
| 202 | ip6_set_solicited_node_multicast_address (ip6_address_t * a, u32 id) |
| 203 | { |
| 204 | /* 0xff02::1:ffXX:XXXX. */ |
| 205 | a->as_u64[0] = a->as_u64[1] = 0; |
| 206 | a->as_u16[0] = clib_host_to_net_u16 (0xff02); |
| 207 | a->as_u8[11] = 1; |
| 208 | ASSERT ((id >> 24) == 0); |
| 209 | id |= 0xff << 24; |
| 210 | a->as_u32[3] = clib_host_to_net_u32 (id); |
| 211 | } |
| 212 | |
| 213 | always_inline void |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 214 | ip6_link_local_address_from_ethernet_address (ip6_address_t * a, |
Neale Ranns | d69f439 | 2018-08-31 06:30:16 -0400 | [diff] [blame] | 215 | const u8 * ethernet_address) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 216 | { |
| 217 | a->as_u64[0] = a->as_u64[1] = 0; |
| 218 | a->as_u16[0] = clib_host_to_net_u16 (0xfe80); |
| 219 | /* Always set locally administered bit (6). */ |
| 220 | a->as_u8[0x8] = ethernet_address[0] | (1 << 6); |
| 221 | a->as_u8[0x9] = ethernet_address[1]; |
| 222 | a->as_u8[0xa] = ethernet_address[2]; |
| 223 | a->as_u8[0xb] = 0xff; |
| 224 | a->as_u8[0xc] = 0xfe; |
| 225 | a->as_u8[0xd] = ethernet_address[3]; |
| 226 | a->as_u8[0xe] = ethernet_address[4]; |
| 227 | a->as_u8[0xf] = ethernet_address[5]; |
| 228 | } |
| 229 | |
| 230 | always_inline void |
| 231 | ip6_multicast_ethernet_address (u8 * ethernet_address, u32 group_id) |
| 232 | { |
| 233 | ethernet_address[0] = 0x33; |
| 234 | ethernet_address[1] = 0x33; |
| 235 | ethernet_address[2] = ((group_id >> 24) & 0xff); |
| 236 | ethernet_address[3] = ((group_id >> 16) & 0xff); |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 237 | ethernet_address[4] = ((group_id >> 8) & 0xff); |
| 238 | ethernet_address[5] = ((group_id >> 0) & 0xff); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 239 | } |
| 240 | |
| 241 | always_inline uword |
Neale Ranns | d69f439 | 2018-08-31 06:30:16 -0400 | [diff] [blame] | 242 | ip6_address_is_equal (const ip6_address_t * a, const ip6_address_t * b) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 243 | { |
| 244 | int i; |
| 245 | for (i = 0; i < ARRAY_LEN (a->as_uword); i++) |
| 246 | if (a->as_uword[i] != b->as_uword[i]) |
| 247 | return 0; |
| 248 | return 1; |
| 249 | } |
| 250 | |
| 251 | always_inline uword |
Neale Ranns | d69f439 | 2018-08-31 06:30:16 -0400 | [diff] [blame] | 252 | ip6_address_is_equal_masked (const ip6_address_t * a, |
| 253 | const ip6_address_t * b, |
| 254 | const ip6_address_t * mask) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 255 | { |
| 256 | int i; |
| 257 | for (i = 0; i < ARRAY_LEN (a->as_uword); i++) |
| 258 | { |
| 259 | uword a_masked, b_masked; |
| 260 | a_masked = a->as_uword[i] & mask->as_uword[i]; |
| 261 | b_masked = b->as_uword[i] & mask->as_uword[i]; |
| 262 | |
| 263 | if (a_masked != b_masked) |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 264 | return 0; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 265 | } |
| 266 | return 1; |
| 267 | } |
| 268 | |
| 269 | always_inline void |
Neale Ranns | d69f439 | 2018-08-31 06:30:16 -0400 | [diff] [blame] | 270 | ip6_address_mask (ip6_address_t * a, const ip6_address_t * mask) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 271 | { |
| 272 | int i; |
| 273 | for (i = 0; i < ARRAY_LEN (a->as_uword); i++) |
| 274 | a->as_uword[i] &= mask->as_uword[i]; |
| 275 | } |
| 276 | |
| 277 | always_inline void |
| 278 | ip6_address_set_zero (ip6_address_t * a) |
| 279 | { |
| 280 | int i; |
| 281 | for (i = 0; i < ARRAY_LEN (a->as_uword); i++) |
| 282 | a->as_uword[i] = 0; |
| 283 | } |
| 284 | |
| 285 | always_inline void |
| 286 | ip6_address_mask_from_width (ip6_address_t * a, u32 width) |
| 287 | { |
| 288 | int i, byte, bit, bitnum; |
| 289 | ASSERT (width <= 128); |
Dave Barach | b7b9299 | 2018-10-17 10:38:51 -0400 | [diff] [blame] | 290 | clib_memset (a, 0, sizeof (a[0])); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 291 | for (i = 0; i < width; i++) |
| 292 | { |
| 293 | bitnum = (7 - (i & 7)); |
| 294 | byte = i / 8; |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 295 | bit = 1 << bitnum; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 296 | a->as_u8[byte] |= bit; |
| 297 | } |
| 298 | } |
| 299 | |
| 300 | always_inline uword |
Neale Ranns | d69f439 | 2018-08-31 06:30:16 -0400 | [diff] [blame] | 301 | ip6_address_is_zero (const ip6_address_t * a) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 302 | { |
| 303 | int i; |
| 304 | for (i = 0; i < ARRAY_LEN (a->as_uword); i++) |
| 305 | if (a->as_uword[i] != 0) |
| 306 | return 0; |
| 307 | return 1; |
| 308 | } |
| 309 | |
| 310 | /* Check for unspecified address ::0 */ |
| 311 | always_inline uword |
Neale Ranns | d69f439 | 2018-08-31 06:30:16 -0400 | [diff] [blame] | 312 | ip6_address_is_unspecified (const ip6_address_t * a) |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 313 | { |
| 314 | return ip6_address_is_zero (a); |
| 315 | } |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 316 | |
| 317 | /* Check for loopback address ::1 */ |
| 318 | always_inline uword |
Neale Ranns | d69f439 | 2018-08-31 06:30:16 -0400 | [diff] [blame] | 319 | ip6_address_is_loopback (const ip6_address_t * a) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 320 | { |
Neale Ranns | d69f439 | 2018-08-31 06:30:16 -0400 | [diff] [blame] | 321 | return (a->as_u64[0] == 0 && |
| 322 | a->as_u32[2] == 0 && |
| 323 | a->as_u16[6] == 0 && a->as_u8[14] == 0 && a->as_u8[15] == 1); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 324 | } |
| 325 | |
| 326 | /* Check for link local unicast fe80::/10. */ |
| 327 | always_inline uword |
Neale Ranns | 53da221 | 2018-02-24 02:11:19 -0800 | [diff] [blame] | 328 | ip6_address_is_link_local_unicast (const ip6_address_t * a) |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 329 | { |
| 330 | return a->as_u8[0] == 0xfe && (a->as_u8[1] & 0xc0) == 0x80; |
| 331 | } |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 332 | |
| 333 | /* Check for unique local unicast fc00::/7. */ |
| 334 | always_inline uword |
Neale Ranns | d69f439 | 2018-08-31 06:30:16 -0400 | [diff] [blame] | 335 | ip6_address_is_local_unicast (const ip6_address_t * a) |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 336 | { |
| 337 | return (a->as_u8[0] & 0xfe) == 0xfc; |
| 338 | } |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 339 | |
Chris Luke | bfd32fd | 2016-06-24 20:38:06 -0400 | [diff] [blame] | 340 | /* Check for unique global unicast 2000::/3. */ |
| 341 | always_inline uword |
Neale Ranns | d69f439 | 2018-08-31 06:30:16 -0400 | [diff] [blame] | 342 | ip6_address_is_global_unicast (const ip6_address_t * a) |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 343 | { |
| 344 | return (a->as_u8[0] & 0xe0) == 0x20; |
| 345 | } |
Chris Luke | bfd32fd | 2016-06-24 20:38:06 -0400 | [diff] [blame] | 346 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 347 | /* Check for solicited node multicast 0xff02::1:ff00:0/104 */ |
| 348 | always_inline uword |
Neale Ranns | d69f439 | 2018-08-31 06:30:16 -0400 | [diff] [blame] | 349 | ip6_is_solicited_node_multicast_address (const ip6_address_t * a) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 350 | { |
| 351 | return (a->as_u32[0] == clib_host_to_net_u32 (0xff020000) |
| 352 | && a->as_u32[1] == 0 |
| 353 | && a->as_u32[2] == clib_host_to_net_u32 (1) |
| 354 | && a->as_u8[12] == 0xff); |
| 355 | } |
| 356 | |
Neale Ranns | cd35e53 | 2018-08-31 02:51:45 -0700 | [diff] [blame] | 357 | always_inline u32 |
| 358 | ip6_address_hash_to_u32 (const ip6_address_t * a) |
| 359 | { |
| 360 | return (a->as_u32[0] ^ a->as_u32[1] ^ a->as_u32[2] ^ a->as_u32[3]); |
| 361 | } |
| 362 | |
| 363 | always_inline u64 |
| 364 | ip6_address_hash_to_u64 (const ip6_address_t * a) |
| 365 | { |
| 366 | return (a->as_u64[0] ^ a->as_u64[1]); |
| 367 | } |
| 368 | |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 369 | typedef struct |
| 370 | { |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 371 | /* 4 bit version, 8 bit traffic class and 20 bit flow label. */ |
| 372 | u32 ip_version_traffic_class_and_flow_label; |
| 373 | |
| 374 | /* Total packet length not including this header (but including |
| 375 | any extension headers if present). */ |
| 376 | u16 payload_length; |
| 377 | |
| 378 | /* Protocol for next header. */ |
| 379 | u8 protocol; |
| 380 | |
| 381 | /* Hop limit decremented by router at each hop. */ |
| 382 | u8 hop_limit; |
| 383 | |
| 384 | /* Source and destination address. */ |
| 385 | ip6_address_t src_address, dst_address; |
| 386 | } ip6_header_t; |
| 387 | |
Ole Troan | 5c74973 | 2017-03-13 13:39:52 +0100 | [diff] [blame] | 388 | always_inline u8 |
Neale Ranns | 31ed744 | 2018-02-23 05:29:09 -0800 | [diff] [blame] | 389 | ip6_traffic_class (const ip6_header_t * i) |
Ole Troan | 5c74973 | 2017-03-13 13:39:52 +0100 | [diff] [blame] | 390 | { |
| 391 | return (i->ip_version_traffic_class_and_flow_label & 0x0FF00000) >> 20; |
| 392 | } |
| 393 | |
Neale Ranns | 31ed744 | 2018-02-23 05:29:09 -0800 | [diff] [blame] | 394 | static_always_inline u8 |
| 395 | ip6_traffic_class_network_order (const ip6_header_t * ip6) |
| 396 | { |
| 397 | return (clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label) |
| 398 | & 0x0ff00000) >> 20; |
| 399 | } |
| 400 | |
| 401 | static_always_inline void |
| 402 | ip6_set_traffic_class_network_order (ip6_header_t * ip6, u8 dscp) |
| 403 | { |
| 404 | u32 tmp = |
| 405 | clib_net_to_host_u32 (ip6->ip_version_traffic_class_and_flow_label); |
Neale Ranns | 039cbfe | 2018-02-27 03:45:38 -0800 | [diff] [blame] | 406 | tmp &= 0xf00fffff; |
Neale Ranns | 31ed744 | 2018-02-23 05:29:09 -0800 | [diff] [blame] | 407 | tmp |= (dscp << 20); |
| 408 | ip6->ip_version_traffic_class_and_flow_label = clib_host_to_net_u32 (tmp); |
| 409 | } |
| 410 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 411 | always_inline void * |
| 412 | ip6_next_header (ip6_header_t * i) |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 413 | { |
| 414 | return (void *) (i + 1); |
| 415 | } |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 416 | |
| 417 | always_inline void |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 418 | ip6_copy_header (ip6_header_t * dst, const ip6_header_t * src) |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 419 | { |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 420 | dst->ip_version_traffic_class_and_flow_label = |
| 421 | src->ip_version_traffic_class_and_flow_label; |
| 422 | dst->payload_length = src->payload_length; |
| 423 | dst->protocol = src->protocol; |
| 424 | dst->hop_limit = src->hop_limit; |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 425 | |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 426 | dst->src_address.as_uword[0] = src->src_address.as_uword[0]; |
| 427 | dst->src_address.as_uword[1] = src->src_address.as_uword[1]; |
| 428 | dst->dst_address.as_uword[0] = src->dst_address.as_uword[0]; |
| 429 | dst->dst_address.as_uword[1] = src->dst_address.as_uword[1]; |
Neale Ranns | 0bfe5d8 | 2016-08-25 15:29:12 +0100 | [diff] [blame] | 430 | } |
| 431 | |
| 432 | always_inline void |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 433 | ip6_tcp_reply_x1 (ip6_header_t * ip0, tcp_header_t * tcp0) |
| 434 | { |
| 435 | { |
| 436 | ip6_address_t src0, dst0; |
| 437 | |
| 438 | src0 = ip0->src_address; |
| 439 | dst0 = ip0->dst_address; |
| 440 | ip0->src_address = dst0; |
| 441 | ip0->dst_address = src0; |
| 442 | } |
| 443 | |
| 444 | { |
| 445 | u16 src0, dst0; |
| 446 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 447 | src0 = tcp0->src; |
| 448 | dst0 = tcp0->dst; |
| 449 | tcp0->src = dst0; |
| 450 | tcp0->dst = src0; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 451 | } |
| 452 | } |
| 453 | |
| 454 | always_inline void |
| 455 | ip6_tcp_reply_x2 (ip6_header_t * ip0, ip6_header_t * ip1, |
| 456 | tcp_header_t * tcp0, tcp_header_t * tcp1) |
| 457 | { |
| 458 | { |
| 459 | ip6_address_t src0, dst0, src1, dst1; |
| 460 | |
| 461 | src0 = ip0->src_address; |
| 462 | src1 = ip1->src_address; |
| 463 | dst0 = ip0->dst_address; |
| 464 | dst1 = ip1->dst_address; |
| 465 | ip0->src_address = dst0; |
| 466 | ip1->src_address = dst1; |
| 467 | ip0->dst_address = src0; |
| 468 | ip1->dst_address = src1; |
| 469 | } |
| 470 | |
| 471 | { |
| 472 | u16 src0, dst0, src1, dst1; |
| 473 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 474 | src0 = tcp0->src; |
| 475 | src1 = tcp1->src; |
| 476 | dst0 = tcp0->dst; |
| 477 | dst1 = tcp1->dst; |
| 478 | tcp0->src = dst0; |
| 479 | tcp1->src = dst1; |
| 480 | tcp0->dst = src0; |
| 481 | tcp1->dst = src1; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 482 | } |
| 483 | } |
| 484 | |
| 485 | |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 486 | /* *INDENT-OFF* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 487 | typedef CLIB_PACKED (struct { |
| 488 | u8 data; |
| 489 | }) ip6_pad1_option_t; |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 490 | /* *INDENT-ON* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 491 | |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 492 | /* *INDENT-OFF* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 493 | typedef CLIB_PACKED (struct { |
| 494 | u8 type; |
| 495 | u8 len; |
| 496 | u8 data[0]; |
| 497 | }) ip6_padN_option_t; |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 498 | /* *INDENT-ON* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 499 | |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 500 | /* *INDENT-OFF* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 501 | typedef CLIB_PACKED (struct { |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 502 | #define IP6_MLDP_ALERT_TYPE 0x5 |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 503 | u8 type; |
| 504 | u8 len; |
| 505 | u16 value; |
| 506 | }) ip6_router_alert_option_t; |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 507 | /* *INDENT-ON* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 508 | |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 509 | /* *INDENT-OFF* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 510 | typedef CLIB_PACKED (struct { |
| 511 | u8 next_hdr; |
| 512 | /* Length of this header plus option data in 8 byte units. */ |
| 513 | u8 n_data_u64s; |
Shwetha | b78292e | 2016-09-13 11:51:00 +0100 | [diff] [blame] | 514 | }) ip6_ext_header_t; |
| 515 | |
Damjan Marion | 831d238 | 2019-03-22 13:58:08 +0100 | [diff] [blame] | 516 | #define foreach_ext_hdr_type \ |
| 517 | _(IP6_HOP_BY_HOP_OPTIONS) \ |
| 518 | _(IPV6_ROUTE) \ |
| 519 | _(IPV6_FRAGMENTATION) \ |
| 520 | _(IPSEC_ESP) \ |
| 521 | _(IPSEC_AH) \ |
| 522 | _(IP6_DESTINATION_OPTIONS) \ |
| 523 | _(MOBILITY) \ |
| 524 | _(HIP) \ |
| 525 | _(SHIM6) |
| 526 | |
Shwetha | b78292e | 2016-09-13 11:51:00 +0100 | [diff] [blame] | 527 | always_inline u8 ip6_ext_hdr(u8 nexthdr) |
| 528 | { |
Damjan Marion | 831d238 | 2019-03-22 13:58:08 +0100 | [diff] [blame] | 529 | #ifdef CLIB_HAVE_VEC128 |
| 530 | static const u8x16 ext_hdr_types = { |
| 531 | #define _(x) IP_PROTOCOL_##x, |
| 532 | foreach_ext_hdr_type |
| 533 | #undef _ |
| 534 | }; |
| 535 | |
| 536 | return !u8x16_is_all_zero (ext_hdr_types == u8x16_splat (nexthdr)); |
| 537 | #else |
Shwetha | b78292e | 2016-09-13 11:51:00 +0100 | [diff] [blame] | 538 | /* |
| 539 | * find out if nexthdr is an extension header or a protocol |
| 540 | */ |
Damjan Marion | 831d238 | 2019-03-22 13:58:08 +0100 | [diff] [blame] | 541 | return 0 |
| 542 | #define _(x) || (nexthdr == IP_PROTOCOL_##x) |
| 543 | foreach_ext_hdr_type; |
| 544 | #undef _ |
| 545 | #endif |
Shwetha | b78292e | 2016-09-13 11:51:00 +0100 | [diff] [blame] | 546 | } |
| 547 | |
Pablo Camarillo | fb38095 | 2016-12-07 18:34:18 +0100 | [diff] [blame] | 548 | #define ip6_ext_header_len(p) ((((ip6_ext_header_t *)(p))->n_data_u64s+1) << 3) |
| 549 | #define ip6_ext_authhdr_len(p) ((((ip6_ext_header_t *)(p))->n_data_u64s+2) << 2) |
Shwetha | b78292e | 2016-09-13 11:51:00 +0100 | [diff] [blame] | 550 | |
| 551 | always_inline void * |
| 552 | ip6_ext_next_header (ip6_ext_header_t *ext_hdr ) |
| 553 | { return (void *)((u8 *) ext_hdr + ip6_ext_header_len(ext_hdr)); } |
| 554 | |
Pablo Camarillo | fb38095 | 2016-12-07 18:34:18 +0100 | [diff] [blame] | 555 | /* |
| 556 | * Macro to find the IPv6 ext header of type t |
| 557 | * I is the IPv6 header |
| 558 | * P is the previous IPv6 ext header (NULL if none) |
| 559 | * M is the matched IPv6 ext header of type t |
| 560 | */ |
| 561 | #define ip6_ext_header_find_t(i, p, m, t) \ |
| 562 | if ((i)->protocol == t) \ |
| 563 | { \ |
| 564 | (m) = (void *)((i)+1); \ |
| 565 | (p) = NULL; \ |
| 566 | } \ |
| 567 | else \ |
| 568 | { \ |
| 569 | (m) = NULL; \ |
| 570 | (p) = (void *)((i)+1); \ |
| 571 | while (ip6_ext_hdr((p)->next_hdr) && \ |
| 572 | ((ip6_ext_header_t *)(p))->next_hdr != (t)) \ |
| 573 | { \ |
| 574 | (p) = ip6_ext_next_header((p)); \ |
| 575 | } \ |
shwethab | e146f13 | 2017-03-09 16:58:26 +0000 | [diff] [blame] | 576 | if ( ((p)->next_hdr) == (t)) \ |
Pablo Camarillo | fb38095 | 2016-12-07 18:34:18 +0100 | [diff] [blame] | 577 | { \ |
| 578 | (m) = (void *)(ip6_ext_next_header((p))); \ |
| 579 | } \ |
| 580 | } |
| 581 | |
| 582 | |
Shwetha | b78292e | 2016-09-13 11:51:00 +0100 | [diff] [blame] | 583 | typedef CLIB_PACKED (struct { |
| 584 | u8 next_hdr; |
| 585 | /* Length of this header plus option data in 8 byte units. */ |
| 586 | u8 n_data_u64s; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 587 | u8 data[0]; |
| 588 | }) ip6_hop_by_hop_ext_t; |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 589 | /* *INDENT-ON* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 590 | |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 591 | /* *INDENT-OFF* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 592 | typedef CLIB_PACKED (struct { |
| 593 | u8 next_hdr; |
| 594 | u8 rsv; |
| 595 | u16 fragment_offset_and_more; |
| 596 | u32 identification; |
| 597 | }) ip6_frag_hdr_t; |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 598 | /* *INDENT-ON* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 599 | |
| 600 | #define ip6_frag_hdr_offset(hdr) \ |
| 601 | (clib_net_to_host_u16((hdr)->fragment_offset_and_more) >> 3) |
| 602 | |
Klement Sekera | 75e7d13 | 2017-09-20 08:26:30 +0200 | [diff] [blame] | 603 | #define ip6_frag_hdr_offset_bytes(hdr) \ |
| 604 | (8 * ip6_frag_hdr_offset(hdr)) |
| 605 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 606 | #define ip6_frag_hdr_more(hdr) \ |
| 607 | (clib_net_to_host_u16((hdr)->fragment_offset_and_more) & 0x1) |
| 608 | |
| 609 | #define ip6_frag_hdr_offset_and_more(offset, more) \ |
| 610 | clib_host_to_net_u16(((offset) << 3) + !!(more)) |
| 611 | |
| 612 | #endif /* included_ip6_packet_h */ |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 613 | |
| 614 | /* |
| 615 | * fd.io coding-style-patch-verification: ON |
| 616 | * |
| 617 | * Local Variables: |
| 618 | * eval: (c-set-style "gnu") |
| 619 | * End: |
| 620 | */ |