src/vnet/ip/ip6_forward.c

   1 /*
   2  * Copyright (c) 2016 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  * ip/ip6_forward.c: IP v6 forwarding
  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 #include <vnet/vnet.h>
  41 #include <vnet/ip/ip.h>
  42 #include <vnet/ethernet/ethernet.h>     /* for ethernet_header_t */
  43 #include <vnet/srp/srp.h>       /* for srp_hw_interface_class */
  44 #include <vppinfra/cache.h>
  45 #include <vnet/fib/fib_urpf_list.h>     /* for FIB uRPF check */
  46 #include <vnet/fib/ip6_fib.h>
  47 #include <vnet/mfib/ip6_mfib.h>
  48 #include <vnet/dpo/load_balance.h>
  49 #include <vnet/dpo/classify_dpo.h>
  50
  51 #include <vppinfra/bihash_template.c>
  52
  53 /* Flag used by IOAM code. Classifier sets it pop-hop-by-hop checks it */
  54 #define OI_DECAP   0x80000000
  55
  56 /**
  57  * @file
  58  * @brief IPv6 Forwarding.
  59  *
  60  * This file contains the source code for IPv6 forwarding.
  61  */
  62
  63 void
  64 ip6_forward_next_trace (vlib_main_t * vm,
  65                         vlib_node_runtime_t * node,
  66                         vlib_frame_t * frame,
  67                         vlib_rx_or_tx_t which_adj_index);
  68
  69 always_inline uword
  70 ip6_lookup_inline (vlib_main_t * vm,
  71                    vlib_node_runtime_t * node, vlib_frame_t * frame)
  72 {
  73   ip6_main_t *im = &ip6_main;
  74   vlib_combined_counter_main_t *cm = &load_balance_main.lbm_to_counters;
  75   u32 n_left_from, n_left_to_next, *from, *to_next;
  76   ip_lookup_next_t next;
  77   u32 thread_index = vlib_get_thread_index ();
  78
  79   from = vlib_frame_vector_args (frame);
  80   n_left_from = frame->n_vectors;
  81   next = node->cached_next_index;
  82
  83   while (n_left_from > 0)
  84     {
  85       vlib_get_next_frame (vm, node, next, to_next, n_left_to_next);
  86
  87       while (n_left_from >= 4 && n_left_to_next >= 2)
  88         {
  89           vlib_buffer_t *p0, *p1;
  90           u32 pi0, pi1, lbi0, lbi1, wrong_next;
  91           ip_lookup_next_t next0, next1;
  92           ip6_header_t *ip0, *ip1;
  93           ip6_address_t *dst_addr0, *dst_addr1;
  94           u32 fib_index0, fib_index1;
  95           u32 flow_hash_config0, flow_hash_config1;
  96           const dpo_id_t *dpo0, *dpo1;
  97           const load_balance_t *lb0, *lb1;
  98
  99           /* Prefetch next iteration. */
 100           {
 101             vlib_buffer_t *p2, *p3;
 102
 103             p2 = vlib_get_buffer (vm, from[2]);
 104             p3 = vlib_get_buffer (vm, from[3]);
 105
 106             vlib_prefetch_buffer_header (p2, LOAD);
 107             vlib_prefetch_buffer_header (p3, LOAD);
 108             CLIB_PREFETCH (p2->data, sizeof (ip0[0]), LOAD);
 109             CLIB_PREFETCH (p3->data, sizeof (ip0[0]), LOAD);
 110           }
 111
 112           pi0 = to_next[0] = from[0];
 113           pi1 = to_next[1] = from[1];
 114
 115           p0 = vlib_get_buffer (vm, pi0);
 116           p1 = vlib_get_buffer (vm, pi1);
 117
 118           ip0 = vlib_buffer_get_current (p0);
 119           ip1 = vlib_buffer_get_current (p1);
 120
 121           dst_addr0 = &ip0->dst_address;
 122           dst_addr1 = &ip1->dst_address;
 123
 124           fib_index0 =
 125             vec_elt (im->fib_index_by_sw_if_index,
 126                      vnet_buffer (p0)->sw_if_index[VLIB_RX]);
 127           fib_index1 =
 128             vec_elt (im->fib_index_by_sw_if_index,
 129                      vnet_buffer (p1)->sw_if_index[VLIB_RX]);
 130
 131           fib_index0 = (vnet_buffer (p0)->sw_if_index[VLIB_TX] == (u32) ~ 0) ?
 132             fib_index0 : vnet_buffer (p0)->sw_if_index[VLIB_TX];
 133           fib_index1 = (vnet_buffer (p1)->sw_if_index[VLIB_TX] == (u32) ~ 0) ?
 134             fib_index1 : vnet_buffer (p1)->sw_if_index[VLIB_TX];
 135
 136           lbi0 = ip6_fib_table_fwding_lookup (im, fib_index0, dst_addr0);
 137           lbi1 = ip6_fib_table_fwding_lookup (im, fib_index1, dst_addr1);
 138
 139           lb0 = load_balance_get (lbi0);
 140           lb1 = load_balance_get (lbi1);
 141
 142           vnet_buffer (p0)->ip.flow_hash = vnet_buffer (p1)->ip.flow_hash = 0;
 143
 144           if (PREDICT_FALSE (lb0->lb_n_buckets > 1))
 145             {
 146               flow_hash_config0 = lb0->lb_hash_config;
 147               vnet_buffer (p0)->ip.flow_hash =
 148                 ip6_compute_flow_hash (ip0, flow_hash_config0);
 149             }
 150           if (PREDICT_FALSE (lb1->lb_n_buckets > 1))
 151             {
 152               flow_hash_config1 = lb1->lb_hash_config;
 153               vnet_buffer (p1)->ip.flow_hash =
 154                 ip6_compute_flow_hash (ip1, flow_hash_config1);
 155             }
 156
 157           ASSERT (lb0->lb_n_buckets > 0);
 158           ASSERT (lb1->lb_n_buckets > 0);
 159           ASSERT (is_pow2 (lb0->lb_n_buckets));
 160           ASSERT (is_pow2 (lb1->lb_n_buckets));
 161           dpo0 = load_balance_get_bucket_i (lb0,
 162                                             (vnet_buffer (p0)->ip.flow_hash &
 163                                              lb0->lb_n_buckets_minus_1));
 164           dpo1 = load_balance_get_bucket_i (lb1,
 165                                             (vnet_buffer (p1)->ip.flow_hash &
 166                                              lb1->lb_n_buckets_minus_1));
 167
 168           next0 = dpo0->dpoi_next_node;
 169           next1 = dpo1->dpoi_next_node;
 170
 171           /* Only process the HBH Option Header if explicitly configured to do so */
 172           if (PREDICT_FALSE
 173               (ip0->protocol == IP_PROTOCOL_IP6_HOP_BY_HOP_OPTIONS))
 174             {
 175               next0 = (dpo_is_adj (dpo0) && im->hbh_enabled) ?
 176                 (ip_lookup_next_t) IP6_LOOKUP_NEXT_HOP_BY_HOP : next0;
 177             }
 178           if (PREDICT_FALSE
 179               (ip1->protocol == IP_PROTOCOL_IP6_HOP_BY_HOP_OPTIONS))
 180             {
 181               next1 = (dpo_is_adj (dpo1) && im->hbh_enabled) ?
 182                 (ip_lookup_next_t) IP6_LOOKUP_NEXT_HOP_BY_HOP : next1;
 183             }
 184           vnet_buffer (p0)->ip.adj_index[VLIB_TX] = dpo0->dpoi_index;
 185           vnet_buffer (p1)->ip.adj_index[VLIB_TX] = dpo1->dpoi_index;
 186
 187           vlib_increment_combined_counter
 188             (cm, thread_index, lbi0, 1, vlib_buffer_length_in_chain (vm, p0));
 189           vlib_increment_combined_counter
 190             (cm, thread_index, lbi1, 1, vlib_buffer_length_in_chain (vm, p1));
 191
 192           from += 2;
 193           to_next += 2;
 194           n_left_to_next -= 2;
 195           n_left_from -= 2;
 196
 197           wrong_next = (next0 != next) + 2 * (next1 != next);
 198           if (PREDICT_FALSE (wrong_next != 0))
 199             {
 200               switch (wrong_next)
 201                 {
 202                 case 1:
 203                   /* A B A */
 204                   to_next[-2] = pi1;
 205                   to_next -= 1;
 206                   n_left_to_next += 1;
 207                   vlib_set_next_frame_buffer (vm, node, next0, pi0);
 208                   break;
 209
 210                 case 2:
 211                   /* A A B */
 212                   to_next -= 1;
 213                   n_left_to_next += 1;
 214                   vlib_set_next_frame_buffer (vm, node, next1, pi1);
 215                   break;
 216
 217                 case 3:
 218                   /* A B C */
 219                   to_next -= 2;
 220                   n_left_to_next += 2;
 221                   vlib_set_next_frame_buffer (vm, node, next0, pi0);
 222                   vlib_set_next_frame_buffer (vm, node, next1, pi1);
 223                   if (next0 == next1)
 224                     {
 225                       /* A B B */
 226                       vlib_put_next_frame (vm, node, next, n_left_to_next);
 227                       next = next1;
 228                       vlib_get_next_frame (vm, node, next, to_next,
 229                                            n_left_to_next);
 230                     }
 231                 }
 232             }
 233         }
 234
 235       while (n_left_from > 0 && n_left_to_next > 0)
 236         {
 237           vlib_buffer_t *p0;
 238           ip6_header_t *ip0;
 239           u32 pi0, lbi0;
 240           ip_lookup_next_t next0;
 241           load_balance_t *lb0;
 242           ip6_address_t *dst_addr0;
 243           u32 fib_index0, flow_hash_config0;
 244           const dpo_id_t *dpo0;
 245
 246           pi0 = from[0];
 247           to_next[0] = pi0;
 248
 249           p0 = vlib_get_buffer (vm, pi0);
 250
 251           ip0 = vlib_buffer_get_current (p0);
 252
 253           dst_addr0 = &ip0->dst_address;
 254
 255           fib_index0 =
 256             vec_elt (im->fib_index_by_sw_if_index,
 257                      vnet_buffer (p0)->sw_if_index[VLIB_RX]);
 258           fib_index0 =
 259             (vnet_buffer (p0)->sw_if_index[VLIB_TX] ==
 260              (u32) ~ 0) ? fib_index0 : vnet_buffer (p0)->sw_if_index[VLIB_TX];
 261
 262           flow_hash_config0 = ip6_fib_get (fib_index0)->flow_hash_config;
 263
 264           lbi0 = ip6_fib_table_fwding_lookup (im, fib_index0, dst_addr0);
 265
 266           lb0 = load_balance_get (lbi0);
 267
 268           vnet_buffer (p0)->ip.flow_hash = 0;
 269
 270           if (PREDICT_FALSE (lb0->lb_n_buckets > 1))
 271             {
 272               flow_hash_config0 = lb0->lb_hash_config;
 273               vnet_buffer (p0)->ip.flow_hash =
 274                 ip6_compute_flow_hash (ip0, flow_hash_config0);
 275             }
 276
 277           ASSERT (lb0->lb_n_buckets > 0);
 278           ASSERT (is_pow2 (lb0->lb_n_buckets));
 279           dpo0 = load_balance_get_bucket_i (lb0,
 280                                             (vnet_buffer (p0)->ip.flow_hash &
 281                                              lb0->lb_n_buckets_minus_1));
 282           next0 = dpo0->dpoi_next_node;
 283
 284           /* Only process the HBH Option Header if explicitly configured to do so */
 285           if (PREDICT_FALSE
 286               (ip0->protocol == IP_PROTOCOL_IP6_HOP_BY_HOP_OPTIONS))
 287             {
 288               next0 = (dpo_is_adj (dpo0) && im->hbh_enabled) ?
 289                 (ip_lookup_next_t) IP6_LOOKUP_NEXT_HOP_BY_HOP : next0;
 290             }
 291           vnet_buffer (p0)->ip.adj_index[VLIB_TX] = dpo0->dpoi_index;
 292
 293           vlib_increment_combined_counter
 294             (cm, thread_index, lbi0, 1, vlib_buffer_length_in_chain (vm, p0));
 295
 296           from += 1;
 297           to_next += 1;
 298           n_left_to_next -= 1;
 299           n_left_from -= 1;
 300
 301           if (PREDICT_FALSE (next0 != next))
 302             {
 303               n_left_to_next += 1;
 304               vlib_put_next_frame (vm, node, next, n_left_to_next);
 305               next = next0;
 306               vlib_get_next_frame (vm, node, next, to_next, n_left_to_next);
 307               to_next[0] = pi0;
 308               to_next += 1;
 309               n_left_to_next -= 1;
 310             }
 311         }
 312
 313       vlib_put_next_frame (vm, node, next, n_left_to_next);
 314     }
 315
 316   if (node->flags & VLIB_NODE_FLAG_TRACE)
 317     ip6_forward_next_trace (vm, node, frame, VLIB_TX);
 318
 319   return frame->n_vectors;
 320 }
 321
 322 static void
 323 ip6_add_interface_routes (vnet_main_t * vnm, u32 sw_if_index,
 324                           ip6_main_t * im, u32 fib_index,
 325                           ip_interface_address_t * a)
 326 {
 327   ip_lookup_main_t *lm = &im->lookup_main;
 328   ip6_address_t *address = ip_interface_address_get_address (lm, a);
 329   fib_prefix_t pfx = {
 330     .fp_len = a->address_length,
 331     .fp_proto = FIB_PROTOCOL_IP6,
 332     .fp_addr.ip6 = *address,
 333   };
 334
 335   a->neighbor_probe_adj_index = ~0;
 336   if (a->address_length < 128)
 337     {
 338       fib_node_index_t fei;
 339
 340       fei = fib_table_entry_update_one_path (fib_index, &pfx, FIB_SOURCE_INTERFACE, (FIB_ENTRY_FLAG_CONNECTED | FIB_ENTRY_FLAG_ATTACHED), FIB_PROTOCOL_IP6, NULL,       /* No next-hop address */
 341                                              sw_if_index, ~0,   // invalid FIB index
 342                                              1, NULL,   // no label stack
 343                                              FIB_ROUTE_PATH_FLAG_NONE);
 344       a->neighbor_probe_adj_index = fib_entry_get_adj (fei);
 345     }
 346
 347   pfx.fp_len = 128;
 348   if (sw_if_index < vec_len (lm->classify_table_index_by_sw_if_index))
 349     {
 350       u32 classify_table_index =
 351         lm->classify_table_index_by_sw_if_index[sw_if_index];
 352       if (classify_table_index != (u32) ~ 0)
 353         {
 354           dpo_id_t dpo = DPO_INVALID;
 355
 356           dpo_set (&dpo,
 357                    DPO_CLASSIFY,
 358                    DPO_PROTO_IP6,
 359                    classify_dpo_create (DPO_PROTO_IP6, classify_table_index));
 360
 361           fib_table_entry_special_dpo_add (fib_index,
 362                                            &pfx,
 363                                            FIB_SOURCE_CLASSIFY,
 364                                            FIB_ENTRY_FLAG_NONE, &dpo);
 365           dpo_reset (&dpo);
 366         }
 367     }
 368
 369   fib_table_entry_update_one_path (fib_index, &pfx, FIB_SOURCE_INTERFACE, (FIB_ENTRY_FLAG_CONNECTED | FIB_ENTRY_FLAG_LOCAL), FIB_PROTOCOL_IP6, &pfx.fp_addr, sw_if_index, ~0,   // invalid FIB index
 370                                    1, NULL, FIB_ROUTE_PATH_FLAG_NONE);
 371 }
 372
 373 static void
 374 ip6_del_interface_routes (ip6_main_t * im,
 375                           u32 fib_index,
 376                           ip6_address_t * address, u32 address_length)
 377 {
 378   fib_prefix_t pfx = {
 379     .fp_len = address_length,
 380     .fp_proto = FIB_PROTOCOL_IP6,
 381     .fp_addr.ip6 = *address,
 382   };
 383
 384   if (pfx.fp_len < 128)
 385     {
 386       fib_table_entry_delete (fib_index, &pfx, FIB_SOURCE_INTERFACE);
 387
 388     }
 389
 390   pfx.fp_len = 128;
 391   fib_table_entry_delete (fib_index, &pfx, FIB_SOURCE_INTERFACE);
 392 }
 393
 394 void
 395 ip6_sw_interface_enable_disable (u32 sw_if_index, u32 is_enable)
 396 {
 397   ip6_main_t *im = &ip6_main;
 398
 399   vec_validate_init_empty (im->ip_enabled_by_sw_if_index, sw_if_index, 0);
 400
 401   /*
 402    * enable/disable only on the 1<->0 transition
 403    */
 404   if (is_enable)
 405     {
 406       if (1 != ++im->ip_enabled_by_sw_if_index[sw_if_index])
 407         return;
 408     }
 409   else
 410     {
 411       /* The ref count is 0 when an address is removed from an interface that has
 412        * no address - this is not a ciritical error */
 413       if (0 == im->ip_enabled_by_sw_if_index[sw_if_index] ||
 414           0 != --im->ip_enabled_by_sw_if_index[sw_if_index])
 415         return;
 416     }
 417
 418   vnet_feature_enable_disable ("ip6-unicast", "ip6-lookup", sw_if_index,
 419                                is_enable, 0, 0);
 420
 421   vnet_feature_enable_disable ("ip6-multicast", "ip6-mfib-forward-lookup",
 422                                sw_if_index, is_enable, 0, 0);
 423
 424 }
 425
 426 /* get first interface address */
 427 ip6_address_t *
 428 ip6_interface_first_address (ip6_main_t * im, u32 sw_if_index)
 429 {
 430   ip_lookup_main_t *lm = &im->lookup_main;
 431   ip_interface_address_t *ia = 0;
 432   ip6_address_t *result = 0;
 433
 434   /* *INDENT-OFF* */
 435   foreach_ip_interface_address (lm, ia, sw_if_index,
 436                                 1 /* honor unnumbered */,
 437   ({
 438     ip6_address_t * a = ip_interface_address_get_address (lm, ia);
 439     result = a;
 440     break;
 441   }));
 442   /* *INDENT-ON* */
 443   return result;
 444 }
 445
 446 clib_error_t *
 447 ip6_add_del_interface_address (vlib_main_t * vm,
 448                                u32 sw_if_index,
 449                                ip6_address_t * address,
 450                                u32 address_length, u32 is_del)
 451 {
 452   vnet_main_t *vnm = vnet_get_main ();
 453   ip6_main_t *im = &ip6_main;
 454   ip_lookup_main_t *lm = &im->lookup_main;
 455   clib_error_t *error;
 456   u32 if_address_index;
 457   ip6_address_fib_t ip6_af, *addr_fib = 0;
 458
 459   vec_validate (im->fib_index_by_sw_if_index, sw_if_index);
 460   vec_validate (im->mfib_index_by_sw_if_index, sw_if_index);
 461
 462   ip6_addr_fib_init (&ip6_af, address,
 463                      vec_elt (im->fib_index_by_sw_if_index, sw_if_index));
 464   vec_add1 (addr_fib, ip6_af);
 465
 466   {
 467     uword elts_before = pool_elts (lm->if_address_pool);
 468
 469     error = ip_interface_address_add_del
 470       (lm, sw_if_index, addr_fib, address_length, is_del, &if_address_index);
 471     if (error)
 472       goto done;
 473
 474     /* Pool did not grow: add duplicate address. */
 475     if (elts_before == pool_elts (lm->if_address_pool))
 476       goto done;
 477   }
 478
 479   ip6_sw_interface_enable_disable (sw_if_index, !is_del);
 480
 481   if (is_del)
 482     ip6_del_interface_routes (im, ip6_af.fib_index, address, address_length);
 483   else
 484     ip6_add_interface_routes (vnm, sw_if_index,
 485                               im, ip6_af.fib_index,
 486                               pool_elt_at_index (lm->if_address_pool,
 487                                                  if_address_index));
 488
 489   {
 490     ip6_add_del_interface_address_callback_t *cb;
 491     vec_foreach (cb, im->add_del_interface_address_callbacks)
 492       cb->function (im, cb->function_opaque, sw_if_index,
 493                     address, address_length, if_address_index, is_del);
 494   }
 495
 496 done:
 497   vec_free (addr_fib);
 498   return error;
 499 }
 500
 501 clib_error_t *
 502 ip6_sw_interface_admin_up_down (vnet_main_t * vnm, u32 sw_if_index, u32 flags)
 503 {
 504   ip6_main_t *im = &ip6_main;
 505   ip_interface_address_t *ia;
 506   ip6_address_t *a;
 507   u32 is_admin_up, fib_index;
 508
 509   /* Fill in lookup tables with default table (0). */
 510   vec_validate (im->fib_index_by_sw_if_index, sw_if_index);
 511
 512   vec_validate_init_empty (im->
 513                            lookup_main.if_address_pool_index_by_sw_if_index,
 514                            sw_if_index, ~0);
 515
 516   is_admin_up = (flags & VNET_SW_INTERFACE_FLAG_ADMIN_UP) != 0;
 517
 518   fib_index = vec_elt (im->fib_index_by_sw_if_index, sw_if_index);
 519
 520   /* *INDENT-OFF* */
 521   foreach_ip_interface_address (&im->lookup_main, ia, sw_if_index,
 522                                 0 /* honor unnumbered */,
 523   ({
 524     a = ip_interface_address_get_address (&im->lookup_main, ia);
 525     if (is_admin_up)
 526       ip6_add_interface_routes (vnm, sw_if_index,
 527                                 im, fib_index,
 528                                 ia);
 529     else
 530       ip6_del_interface_routes (im, fib_index,
 531                                 a, ia->address_length);
 532   }));
 533   /* *INDENT-ON* */
 534
 535   return 0;
 536 }
 537
 538 VNET_SW_INTERFACE_ADMIN_UP_DOWN_FUNCTION (ip6_sw_interface_admin_up_down);
 539
 540 /* Built-in ip6 unicast rx feature path definition */
 541 /* *INDENT-OFF* */
 542 VNET_FEATURE_ARC_INIT (ip6_unicast, static) =
 543 {
 544   .arc_name  = "ip6-unicast",
 545   .start_nodes = VNET_FEATURES ("ip6-input"),
 546   .arc_index_ptr = &ip6_main.lookup_main.ucast_feature_arc_index,
 547 };
 548
 549 VNET_FEATURE_INIT (ip6_flow_classify, static) =
 550 {
 551   .arc_name = "ip6-unicast",
 552   .node_name = "ip6-flow-classify",
 553   .runs_before = VNET_FEATURES ("ip6-inacl"),
 554 };
 555
 556 VNET_FEATURE_INIT (ip6_inacl, static) =
 557 {
 558   .arc_name = "ip6-unicast",
 559   .node_name = "ip6-inacl",
 560   .runs_before = VNET_FEATURES ("ip6-policer-classify"),
 561 };
 562
 563 VNET_FEATURE_INIT (ip6_policer_classify, static) =
 564 {
 565   .arc_name = "ip6-unicast",
 566   .node_name = "ip6-policer-classify",
 567   .runs_before = VNET_FEATURES ("ipsec-input-ip6"),
 568 };
 569
 570 VNET_FEATURE_INIT (ip6_ipsec, static) =
 571 {
 572   .arc_name = "ip6-unicast",
 573   .node_name = "ipsec-input-ip6",
 574   .runs_before = VNET_FEATURES ("l2tp-decap"),
 575 };
 576
 577 VNET_FEATURE_INIT (ip6_l2tp, static) =
 578 {
 579   .arc_name = "ip6-unicast",
 580   .node_name = "l2tp-decap",
 581   .runs_before = VNET_FEATURES ("vpath-input-ip6"),
 582 };
 583
 584 VNET_FEATURE_INIT (ip6_vpath, static) =
 585 {
 586   .arc_name = "ip6-unicast",
 587   .node_name = "vpath-input-ip6",
 588   .runs_before = VNET_FEATURES ("ip6-vxlan-bypass"),
 589 };
 590
 591 VNET_FEATURE_INIT (ip6_vxlan_bypass, static) =
 592 {
 593   .arc_name = "ip6-unicast",
 594   .node_name = "ip6-vxlan-bypass",
 595   .runs_before = VNET_FEATURES ("ip6-lookup"),
 596 };
 597
 598 VNET_FEATURE_INIT (ip6_lookup, static) =
 599 {
 600   .arc_name = "ip6-unicast",
 601   .node_name = "ip6-lookup",
 602   .runs_before = VNET_FEATURES ("ip6-drop"),
 603 };
 604
 605 VNET_FEATURE_INIT (ip6_drop, static) =
 606 {
 607   .arc_name = "ip6-unicast",
 608   .node_name = "ip6-drop",
 609   .runs_before = 0,  /*last feature*/
 610 };
 611
 612 /* Built-in ip6 multicast rx feature path definition (none now) */
 613 VNET_FEATURE_ARC_INIT (ip6_multicast, static) =
 614 {
 615   .arc_name  = "ip6-multicast",
 616   .start_nodes = VNET_FEATURES ("ip6-input"),
 617   .arc_index_ptr = &ip6_main.lookup_main.mcast_feature_arc_index,
 618 };
 619
 620 VNET_FEATURE_INIT (ip6_vpath_mc, static) = {
 621   .arc_name = "ip6-multicast",
 622   .node_name = "vpath-input-ip6",
 623   .runs_before = VNET_FEATURES ("ip6-mfib-forward-lookup"),
 624 };
 625
 626 VNET_FEATURE_INIT (ip6_mc_lookup, static) = {
 627   .arc_name = "ip6-multicast",
 628   .node_name = "ip6-mfib-forward-lookup",
 629   .runs_before = VNET_FEATURES ("ip6-drop"),
 630 };
 631
 632 VNET_FEATURE_INIT (ip6_drop_mc, static) = {
 633   .arc_name = "ip6-multicast",
 634   .node_name = "ip6-drop",
 635   .runs_before = 0, /* last feature */
 636 };
 637
 638 /* Built-in ip4 tx feature path definition */
 639 VNET_FEATURE_ARC_INIT (ip6_output, static) =
 640 {
 641   .arc_name  = "ip6-output",
 642   .start_nodes = VNET_FEATURES ("ip6-rewrite", "ip6-midchain"),
 643   .arc_index_ptr = &ip6_main.lookup_main.output_feature_arc_index,
 644 };
 645
 646 VNET_FEATURE_INIT (ip6_ipsec_output, static) = {
 647   .arc_name = "ip6-output",
 648   .node_name = "ipsec-output-ip6",
 649   .runs_before = VNET_FEATURES ("interface-output"),
 650 };
 651
 652 VNET_FEATURE_INIT (ip6_interface_output, static) = {
 653   .arc_name = "ip6-output",
 654   .node_name = "interface-output",
 655   .runs_before = 0, /* not before any other features */
 656 };
 657 /* *INDENT-ON* */
 658
 659 clib_error_t *
 660 ip6_sw_interface_add_del (vnet_main_t * vnm, u32 sw_if_index, u32 is_add)
 661 {
 662   vnet_feature_enable_disable ("ip6-unicast", "ip6-drop", sw_if_index,
 663                                is_add, 0, 0);
 664
 665   vnet_feature_enable_disable ("ip6-multicast", "ip6-drop", sw_if_index,
 666                                is_add, 0, 0);
 667
 668   vnet_feature_enable_disable ("ip6-output", "interface-output", sw_if_index,
 669                                is_add, 0, 0);
 670
 671   return /* no error */ 0;
 672 }
 673
 674 VNET_SW_INTERFACE_ADD_DEL_FUNCTION (ip6_sw_interface_add_del);
 675
 676 static uword
 677 ip6_lookup (vlib_main_t * vm,
 678             vlib_node_runtime_t * node, vlib_frame_t * frame)
 679 {
 680   return ip6_lookup_inline (vm, node, frame);
 681 }
 682
 683 static u8 *format_ip6_lookup_trace (u8 * s, va_list * args);
 684
 685 /* *INDENT-OFF* */
 686 VLIB_REGISTER_NODE (ip6_lookup_node) =
 687 {
 688   .function = ip6_lookup,
 689   .name = "ip6-lookup",
 690   .vector_size = sizeof (u32),
 691   .format_trace = format_ip6_lookup_trace,
 692   .n_next_nodes = IP6_LOOKUP_N_NEXT,
 693   .next_nodes = IP6_LOOKUP_NEXT_NODES,
 694 };
 695 /* *INDENT-ON* */
 696
 697 VLIB_NODE_FUNCTION_MULTIARCH (ip6_lookup_node, ip6_lookup);
 698
 699 always_inline uword
 700 ip6_load_balance (vlib_main_t * vm,
 701                   vlib_node_runtime_t * node, vlib_frame_t * frame)
 702 {
 703   vlib_combined_counter_main_t *cm = &load_balance_main.lbm_via_counters;
 704   u32 n_left_from, n_left_to_next, *from, *to_next;
 705   ip_lookup_next_t next;
 706   u32 thread_index = vlib_get_thread_index ();
 707   ip6_main_t *im = &ip6_main;
 708
 709   from = vlib_frame_vector_args (frame);
 710   n_left_from = frame->n_vectors;
 711   next = node->cached_next_index;
 712
 713   if (node->flags & VLIB_NODE_FLAG_TRACE)
 714     ip6_forward_next_trace (vm, node, frame, VLIB_TX);
 715
 716   while (n_left_from > 0)
 717     {
 718       vlib_get_next_frame (vm, node, next, to_next, n_left_to_next);
 719
 720
 721       while (n_left_from >= 4 && n_left_to_next >= 2)
 722         {
 723           ip_lookup_next_t next0, next1;
 724           const load_balance_t *lb0, *lb1;
 725           vlib_buffer_t *p0, *p1;
 726           u32 pi0, lbi0, hc0, pi1, lbi1, hc1;
 727           const ip6_header_t *ip0, *ip1;
 728           const dpo_id_t *dpo0, *dpo1;
 729
 730           /* Prefetch next iteration. */
 731           {
 732             vlib_buffer_t *p2, *p3;
 733
 734             p2 = vlib_get_buffer (vm, from[2]);
 735             p3 = vlib_get_buffer (vm, from[3]);
 736
 737             vlib_prefetch_buffer_header (p2, STORE);
 738             vlib_prefetch_buffer_header (p3, STORE);
 739
 740             CLIB_PREFETCH (p2->data, sizeof (ip0[0]), STORE);
 741             CLIB_PREFETCH (p3->data, sizeof (ip0[0]), STORE);
 742           }
 743
 744           pi0 = to_next[0] = from[0];
 745           pi1 = to_next[1] = from[1];
 746
 747           from += 2;
 748           n_left_from -= 2;
 749           to_next += 2;
 750           n_left_to_next -= 2;
 751
 752           p0 = vlib_get_buffer (vm, pi0);
 753           p1 = vlib_get_buffer (vm, pi1);
 754
 755           ip0 = vlib_buffer_get_current (p0);
 756           ip1 = vlib_buffer_get_current (p1);
 757           lbi0 = vnet_buffer (p0)->ip.adj_index[VLIB_TX];
 758           lbi1 = vnet_buffer (p1)->ip.adj_index[VLIB_TX];
 759
 760           lb0 = load_balance_get (lbi0);
 761           lb1 = load_balance_get (lbi1);
 762
 763           /*
 764            * this node is for via FIBs we can re-use the hash value from the
 765            * to node if present.
 766            * We don't want to use the same hash value at each level in the recursion
 767            * graph as that would lead to polarisation
 768            */
 769           hc0 = hc1 = 0;
 770
 771           if (PREDICT_FALSE (lb0->lb_n_buckets > 1))
 772             {
 773               if (PREDICT_TRUE (vnet_buffer (p0)->ip.flow_hash))
 774                 {
 775                   hc0 = vnet_buffer (p0)->ip.flow_hash =
 776                     vnet_buffer (p0)->ip.flow_hash >> 1;
 777                 }
 778               else
 779                 {
 780                   hc0 = vnet_buffer (p0)->ip.flow_hash =
 781                     ip6_compute_flow_hash (ip0, lb0->lb_hash_config);
 782                 }
 783             }
 784           if (PREDICT_FALSE (lb1->lb_n_buckets > 1))
 785             {
 786               if (PREDICT_TRUE (vnet_buffer (p1)->ip.flow_hash))
 787                 {
 788                   hc1 = vnet_buffer (p1)->ip.flow_hash =
 789                     vnet_buffer (p1)->ip.flow_hash >> 1;
 790                 }
 791               else
 792                 {
 793                   hc1 = vnet_buffer (p1)->ip.flow_hash =
 794                     ip6_compute_flow_hash (ip1, lb1->lb_hash_config);
 795                 }
 796             }
 797
 798           dpo0 =
 799             load_balance_get_bucket_i (lb0,
 800                                        hc0 & (lb0->lb_n_buckets_minus_1));
 801           dpo1 =
 802             load_balance_get_bucket_i (lb1,
 803                                        hc1 & (lb1->lb_n_buckets_minus_1));
 804
 805           next0 = dpo0->dpoi_next_node;
 806           next1 = dpo1->dpoi_next_node;
 807
 808           /* Only process the HBH Option Header if explicitly configured to do so */
 809           if (PREDICT_FALSE
 810               (ip0->protocol == IP_PROTOCOL_IP6_HOP_BY_HOP_OPTIONS))
 811             {
 812               next0 = (dpo_is_adj (dpo0) && im->hbh_enabled) ?
 813                 (ip_lookup_next_t) IP6_LOOKUP_NEXT_HOP_BY_HOP : next0;
 814             }
 815           /* Only process the HBH Option Header if explicitly configured to do so */
 816           if (PREDICT_FALSE
 817               (ip1->protocol == IP_PROTOCOL_IP6_HOP_BY_HOP_OPTIONS))
 818             {
 819               next1 = (dpo_is_adj (dpo1) && im->hbh_enabled) ?
 820                 (ip_lookup_next_t) IP6_LOOKUP_NEXT_HOP_BY_HOP : next1;
 821             }
 822
 823           vnet_buffer (p0)->ip.adj_index[VLIB_TX] = dpo0->dpoi_index;
 824           vnet_buffer (p1)->ip.adj_index[VLIB_TX] = dpo1->dpoi_index;
 825
 826           vlib_increment_combined_counter
 827             (cm, thread_index, lbi0, 1, vlib_buffer_length_in_chain (vm, p0));
 828           vlib_increment_combined_counter
 829             (cm, thread_index, lbi1, 1, vlib_buffer_length_in_chain (vm, p1));
 830
 831           vlib_validate_buffer_enqueue_x2 (vm, node, next,
 832                                            to_next, n_left_to_next,
 833                                            pi0, pi1, next0, next1);
 834         }
 835
 836       while (n_left_from > 0 && n_left_to_next > 0)
 837         {
 838           ip_lookup_next_t next0;
 839           const load_balance_t *lb0;
 840           vlib_buffer_t *p0;
 841           u32 pi0, lbi0, hc0;
 842           const ip6_header_t *ip0;
 843           const dpo_id_t *dpo0;
 844
 845           pi0 = from[0];
 846           to_next[0] = pi0;
 847           from += 1;
 848           to_next += 1;
 849           n_left_to_next -= 1;
 850           n_left_from -= 1;
 851
 852           p0 = vlib_get_buffer (vm, pi0);
 853
 854           ip0 = vlib_buffer_get_current (p0);
 855           lbi0 = vnet_buffer (p0)->ip.adj_index[VLIB_TX];
 856
 857           lb0 = load_balance_get (lbi0);
 858
 859           hc0 = 0;
 860           if (PREDICT_FALSE (lb0->lb_n_buckets > 1))
 861             {
 862               if (PREDICT_TRUE (vnet_buffer (p0)->ip.flow_hash))
 863                 {
 864                   hc0 = vnet_buffer (p0)->ip.flow_hash =
 865                     vnet_buffer (p0)->ip.flow_hash >> 1;
 866                 }
 867               else
 868                 {
 869                   hc0 = vnet_buffer (p0)->ip.flow_hash =
 870                     ip6_compute_flow_hash (ip0, lb0->lb_hash_config);
 871                 }
 872             }
 873           dpo0 =
 874             load_balance_get_bucket_i (lb0,
 875                                        hc0 & (lb0->lb_n_buckets_minus_1));
 876
 877           next0 = dpo0->dpoi_next_node;
 878           vnet_buffer (p0)->ip.adj_index[VLIB_TX] = dpo0->dpoi_index;
 879
 880           /* Only process the HBH Option Header if explicitly configured to do so */
 881           if (PREDICT_FALSE
 882               (ip0->protocol == IP_PROTOCOL_IP6_HOP_BY_HOP_OPTIONS))
 883             {
 884               next0 = (dpo_is_adj (dpo0) && im->hbh_enabled) ?
 885                 (ip_lookup_next_t) IP6_LOOKUP_NEXT_HOP_BY_HOP : next0;
 886             }
 887
 888           vlib_increment_combined_counter
 889             (cm, thread_index, lbi0, 1, vlib_buffer_length_in_chain (vm, p0));
 890
 891           vlib_validate_buffer_enqueue_x1 (vm, node, next,
 892                                            to_next, n_left_to_next,
 893                                            pi0, next0);
 894         }
 895
 896       vlib_put_next_frame (vm, node, next, n_left_to_next);
 897     }
 898
 899   return frame->n_vectors;
 900 }
 901
 902 /* *INDENT-OFF* */
 903 VLIB_REGISTER_NODE (ip6_load_balance_node) =
 904 {
 905   .function = ip6_load_balance,
 906   .name = "ip6-load-balance",
 907   .vector_size = sizeof (u32),
 908   .sibling_of = "ip6-lookup",
 909   .format_trace = format_ip6_lookup_trace,
 910 };
 911 /* *INDENT-ON* */
 912
 913 VLIB_NODE_FUNCTION_MULTIARCH (ip6_load_balance_node, ip6_load_balance);
 914
 915 typedef struct
 916 {
 917   /* Adjacency taken. */
 918   u32 adj_index;
 919   u32 flow_hash;
 920   u32 fib_index;
 921
 922   /* Packet data, possibly *after* rewrite. */
 923   u8 packet_data[128 - 1 * sizeof (u32)];
 924 }
 925 ip6_forward_next_trace_t;
 926
 927 u8 *
 928 format_ip6_forward_next_trace (u8 * s, va_list * args)
 929 {
 930   CLIB_UNUSED (vlib_main_t * vm) = va_arg (*args, vlib_main_t *);
 931   CLIB_UNUSED (vlib_node_t * node) = va_arg (*args, vlib_node_t *);
 932   ip6_forward_next_trace_t *t = va_arg (*args, ip6_forward_next_trace_t *);
 933   uword indent = format_get_indent (s);
 934
 935   s = format (s, "%U%U",
 936               format_white_space, indent,
 937               format_ip6_header, t->packet_data, sizeof (t->packet_data));
 938   return s;
 939 }
 940
 941 static u8 *
 942 format_ip6_lookup_trace (u8 * s, va_list * args)
 943 {
 944   CLIB_UNUSED (vlib_main_t * vm) = va_arg (*args, vlib_main_t *);
 945   CLIB_UNUSED (vlib_node_t * node) = va_arg (*args, vlib_node_t *);
 946   ip6_forward_next_trace_t *t = va_arg (*args, ip6_forward_next_trace_t *);
 947   uword indent = format_get_indent (s);
 948
 949   s = format (s, "fib %d dpo-idx %d flow hash: 0x%08x",
 950               t->fib_index, t->adj_index, t->flow_hash);
 951   s = format (s, "\n%U%U",
 952               format_white_space, indent,
 953               format_ip6_header, t->packet_data, sizeof (t->packet_data));
 954   return s;
 955 }
 956
 957
 958 static u8 *
 959 format_ip6_rewrite_trace (u8 * s, va_list * args)
 960 {
 961   CLIB_UNUSED (vlib_main_t * vm) = va_arg (*args, vlib_main_t *);
 962   CLIB_UNUSED (vlib_node_t * node) = va_arg (*args, vlib_node_t *);
 963   ip6_forward_next_trace_t *t = va_arg (*args, ip6_forward_next_trace_t *);
 964   uword indent = format_get_indent (s);
 965
 966   s = format (s, "tx_sw_if_index %d adj-idx %d : %U flow hash: 0x%08x",
 967               t->fib_index, t->adj_index, format_ip_adjacency,
 968               t->adj_index, FORMAT_IP_ADJACENCY_NONE, t->flow_hash);
 969   s = format (s, "\n%U%U",
 970               format_white_space, indent,
 971               format_ip_adjacency_packet_data,
 972               t->adj_index, t->packet_data, sizeof (t->packet_data));
 973   return s;
 974 }
 975
 976 /* Common trace function for all ip6-forward next nodes. */
 977 void
 978 ip6_forward_next_trace (vlib_main_t * vm,
 979                         vlib_node_runtime_t * node,
 980                         vlib_frame_t * frame, vlib_rx_or_tx_t which_adj_index)
 981 {
 982   u32 *from, n_left;
 983   ip6_main_t *im = &ip6_main;
 984
 985   n_left = frame->n_vectors;
 986   from = vlib_frame_vector_args (frame);
 987
 988   while (n_left >= 4)
 989     {
 990       u32 bi0, bi1;
 991       vlib_buffer_t *b0, *b1;
 992       ip6_forward_next_trace_t *t0, *t1;
 993
 994       /* Prefetch next iteration. */
 995       vlib_prefetch_buffer_with_index (vm, from[2], LOAD);
 996       vlib_prefetch_buffer_with_index (vm, from[3], LOAD);
 997
 998       bi0 = from[0];
 999       bi1 = from[1];
1000
1001       b0 = vlib_get_buffer (vm, bi0);
1002       b1 = vlib_get_buffer (vm, bi1);
1003
1004       if (b0->flags & VLIB_BUFFER_IS_TRACED)
1005         {
1006           t0 = vlib_add_trace (vm, node, b0, sizeof (t0[0]));
1007           t0->adj_index = vnet_buffer (b0)->ip.adj_index[which_adj_index];
1008           t0->flow_hash = vnet_buffer (b0)->ip.flow_hash;
1009           t0->fib_index =
1010             (vnet_buffer (b0)->sw_if_index[VLIB_TX] !=
1011              (u32) ~ 0) ? vnet_buffer (b0)->sw_if_index[VLIB_TX] :
1012             vec_elt (im->fib_index_by_sw_if_index,
1013                      vnet_buffer (b0)->sw_if_index[VLIB_RX]);
1014
1015           clib_memcpy (t0->packet_data,
1016                        vlib_buffer_get_current (b0),
1017                        sizeof (t0->packet_data));
1018         }
1019       if (b1->flags & VLIB_BUFFER_IS_TRACED)
1020         {
1021           t1 = vlib_add_trace (vm, node, b1, sizeof (t1[0]));
1022           t1->adj_index = vnet_buffer (b1)->ip.adj_index[which_adj_index];
1023           t1->flow_hash = vnet_buffer (b1)->ip.flow_hash;
1024           t1->fib_index =
1025             (vnet_buffer (b1)->sw_if_index[VLIB_TX] !=
1026              (u32) ~ 0) ? vnet_buffer (b1)->sw_if_index[VLIB_TX] :
1027             vec_elt (im->fib_index_by_sw_if_index,
1028                      vnet_buffer (b1)->sw_if_index[VLIB_RX]);
1029
1030           clib_memcpy (t1->packet_data,
1031                        vlib_buffer_get_current (b1),
1032                        sizeof (t1->packet_data));
1033         }
1034       from += 2;
1035       n_left -= 2;
1036     }
1037
1038   while (n_left >= 1)
1039     {
1040       u32 bi0;
1041       vlib_buffer_t *b0;
1042       ip6_forward_next_trace_t *t0;
1043
1044       bi0 = from[0];
1045
1046       b0 = vlib_get_buffer (vm, bi0);
1047
1048       if (b0->flags & VLIB_BUFFER_IS_TRACED)
1049         {
1050           t0 = vlib_add_trace (vm, node, b0, sizeof (t0[0]));
1051           t0->adj_index = vnet_buffer (b0)->ip.adj_index[which_adj_index];
1052           t0->flow_hash = vnet_buffer (b0)->ip.flow_hash;
1053           t0->fib_index =
1054             (vnet_buffer (b0)->sw_if_index[VLIB_TX] !=
1055              (u32) ~ 0) ? vnet_buffer (b0)->sw_if_index[VLIB_TX] :
1056             vec_elt (im->fib_index_by_sw_if_index,
1057                      vnet_buffer (b0)->sw_if_index[VLIB_RX]);
1058
1059           clib_memcpy (t0->packet_data,
1060                        vlib_buffer_get_current (b0),
1061                        sizeof (t0->packet_data));
1062         }
1063       from += 1;
1064       n_left -= 1;
1065     }
1066 }
1067
1068 static uword
1069 ip6_drop_or_punt (vlib_main_t * vm,
1070                   vlib_node_runtime_t * node,
1071                   vlib_frame_t * frame, ip6_error_t error_code)
1072 {
1073   u32 *buffers = vlib_frame_vector_args (frame);
1074   uword n_packets = frame->n_vectors;
1075
1076   vlib_error_drop_buffers (vm, node, buffers,
1077                            /* stride */ 1,
1078                            n_packets,
1079                            /* next */ 0,
1080                            ip6_input_node.index, error_code);
1081
1082   if (node->flags & VLIB_NODE_FLAG_TRACE)
1083     ip6_forward_next_trace (vm, node, frame, VLIB_TX);
1084
1085   return n_packets;
1086 }
1087
1088 static uword
1089 ip6_drop (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
1090 {
1091   return ip6_drop_or_punt (vm, node, frame, IP6_ERROR_ADJACENCY_DROP);
1092 }
1093
1094 static uword
1095 ip6_punt (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
1096 {
1097   return ip6_drop_or_punt (vm, node, frame, IP6_ERROR_ADJACENCY_PUNT);
1098 }
1099
1100 /* *INDENT-OFF* */
1101 VLIB_REGISTER_NODE (ip6_drop_node, static) =
1102 {
1103   .function = ip6_drop,
1104   .name = "ip6-drop",
1105   .vector_size = sizeof (u32),
1106   .format_trace = format_ip6_forward_next_trace,
1107   .n_next_nodes = 1,
1108   .next_nodes =
1109   {
1110     [0] = "error-drop",},
1111 };
1112 /* *INDENT-ON* */
1113
1114 VLIB_NODE_FUNCTION_MULTIARCH (ip6_drop_node, ip6_drop);
1115
1116 /* *INDENT-OFF* */
1117 VLIB_REGISTER_NODE (ip6_punt_node, static) =
1118 {
1119   .function = ip6_punt,
1120   .name = "ip6-punt",
1121   .vector_size = sizeof (u32),
1122   .format_trace = format_ip6_forward_next_trace,
1123   .n_next_nodes = 1,
1124   .next_nodes =
1125   {
1126     [0] = "error-punt",},
1127 };
1128 /* *INDENT-ON* */
1129
1130 VLIB_NODE_FUNCTION_MULTIARCH (ip6_punt_node, ip6_punt);
1131
1132 /* Compute TCP/UDP/ICMP6 checksum in software. */
1133 u16
1134 ip6_tcp_udp_icmp_compute_checksum (vlib_main_t * vm, vlib_buffer_t * p0,
1135                                    ip6_header_t * ip0, int *bogus_lengthp)
1136 {
1137   ip_csum_t sum0;
1138   u16 sum16, payload_length_host_byte_order;
1139   u32 i, n_this_buffer, n_bytes_left;
1140   u32 headers_size = sizeof (ip0[0]);
1141   void *data_this_buffer;
1142
1143   ASSERT (bogus_lengthp);
1144   *bogus_lengthp = 0;
1145
1146   /* Initialize checksum with ip header. */
1147   sum0 = ip0->payload_length + clib_host_to_net_u16 (ip0->protocol);
1148   payload_length_host_byte_order = clib_net_to_host_u16 (ip0->payload_length);
1149   data_this_buffer = (void *) (ip0 + 1);
1150
1151   for (i = 0; i < ARRAY_LEN (ip0->src_address.as_uword); i++)
1152     {
1153       sum0 = ip_csum_with_carry (sum0,
1154                                  clib_mem_unaligned (&ip0->
1155                                                      src_address.as_uword[i],
1156                                                      uword));
1157       sum0 =
1158         ip_csum_with_carry (sum0,
1159                             clib_mem_unaligned (&ip0->dst_address.as_uword[i],
1160                                                 uword));
1161     }
1162
1163   /* some icmp packets may come with a "router alert" hop-by-hop extension header (e.g., mldv2 packets)
1164    * or UDP-Ping packets */
1165   if (PREDICT_FALSE (ip0->protocol == IP_PROTOCOL_IP6_HOP_BY_HOP_OPTIONS))
1166     {
1167       u32 skip_bytes;
1168       ip6_hop_by_hop_ext_t *ext_hdr =
1169         (ip6_hop_by_hop_ext_t *) data_this_buffer;
1170
1171       /* validate really icmp6 next */
1172       ASSERT ((ext_hdr->next_hdr == IP_PROTOCOL_ICMP6)
1173               || (ext_hdr->next_hdr == IP_PROTOCOL_UDP));
1174
1175       skip_bytes = 8 * (1 + ext_hdr->n_data_u64s);
1176       data_this_buffer = (void *) ((u8 *) data_this_buffer + skip_bytes);
1177
1178       payload_length_host_byte_order -= skip_bytes;
1179       headers_size += skip_bytes;
1180     }
1181
1182   n_bytes_left = n_this_buffer = payload_length_host_byte_order;
1183   if (p0 && n_this_buffer + headers_size > p0->current_length)
1184     n_this_buffer =
1185       p0->current_length >
1186       headers_size ? p0->current_length - headers_size : 0;
1187   while (1)
1188     {
1189       sum0 = ip_incremental_checksum (sum0, data_this_buffer, n_this_buffer);
1190       n_bytes_left -= n_this_buffer;
1191       if (n_bytes_left == 0)
1192         break;
1193
1194       if (!(p0->flags & VLIB_BUFFER_NEXT_PRESENT))
1195         {
1196           *bogus_lengthp = 1;
1197           return 0xfefe;
1198         }
1199       p0 = vlib_get_buffer (vm, p0->next_buffer);
1200       data_this_buffer = vlib_buffer_get_current (p0);
1201       n_this_buffer = p0->current_length;
1202     }
1203
1204   sum16 = ~ip_csum_fold (sum0);
1205
1206   return sum16;
1207 }
1208
1209 u32
1210 ip6_tcp_udp_icmp_validate_checksum (vlib_main_t * vm, vlib_buffer_t * p0)
1211 {
1212   ip6_header_t *ip0 = vlib_buffer_get_current (p0);
1213   udp_header_t *udp0;
1214   u16 sum16;
1215   int bogus_length;
1216
1217   /* some icmp packets may come with a "router alert" hop-by-hop extension header (e.g., mldv2 packets) */
1218   ASSERT (ip0->protocol == IP_PROTOCOL_TCP
1219           || ip0->protocol == IP_PROTOCOL_ICMP6
1220           || ip0->protocol == IP_PROTOCOL_UDP
1221           || ip0->protocol == IP_PROTOCOL_IP6_HOP_BY_HOP_OPTIONS);
1222
1223   udp0 = (void *) (ip0 + 1);
1224   if (ip0->protocol == IP_PROTOCOL_UDP && udp0->checksum == 0)
1225     {
1226       p0->flags |= (IP_BUFFER_L4_CHECKSUM_COMPUTED
1227                     | IP_BUFFER_L4_CHECKSUM_CORRECT);
1228       return p0->flags;
1229     }
1230
1231   sum16 = ip6_tcp_udp_icmp_compute_checksum (vm, p0, ip0, &bogus_length);
1232
1233   p0->flags |= (IP_BUFFER_L4_CHECKSUM_COMPUTED
1234                 | ((sum16 == 0) << LOG2_IP_BUFFER_L4_CHECKSUM_CORRECT));
1235
1236   return p0->flags;
1237 }
1238
1239 /**
1240  * @brief returns number of links on which src is reachable.
1241  */
1242 always_inline int
1243 ip6_urpf_loose_check (ip6_main_t * im, vlib_buffer_t * b, ip6_header_t * i)
1244 {
1245   const load_balance_t *lb0;
1246   index_t lbi;
1247
1248   lbi = ip6_fib_table_fwding_lookup_with_if_index (im,
1249                                                    vnet_buffer
1250                                                    (b)->sw_if_index[VLIB_RX],
1251                                                    &i->src_address);
1252
1253   lb0 = load_balance_get (lbi);
1254
1255   return (fib_urpf_check_size (lb0->lb_urpf));
1256 }
1257
1258 static uword
1259 ip6_local (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
1260 {
1261   ip6_main_t *im = &ip6_main;
1262   ip_lookup_main_t *lm = &im->lookup_main;
1263   ip_local_next_t next_index;
1264   u32 *from, *to_next, n_left_from, n_left_to_next;
1265   vlib_node_runtime_t *error_node =
1266     vlib_node_get_runtime (vm, ip6_input_node.index);
1267
1268   from = vlib_frame_vector_args (frame);
1269   n_left_from = frame->n_vectors;
1270   next_index = node->cached_next_index;
1271
1272   if (node->flags & VLIB_NODE_FLAG_TRACE)
1273     ip6_forward_next_trace (vm, node, frame, VLIB_TX);
1274
1275   while (n_left_from > 0)
1276     {
1277       vlib_get_next_frame (vm, node, next_index, to_next, n_left_to_next);
1278
1279       while (n_left_from >= 4 && n_left_to_next >= 2)
1280         {
1281           vlib_buffer_t *p0, *p1;
1282           ip6_header_t *ip0, *ip1;
1283           udp_header_t *udp0, *udp1;
1284           u32 pi0, ip_len0, udp_len0, flags0, next0;
1285           u32 pi1, ip_len1, udp_len1, flags1, next1;
1286           i32 len_diff0, len_diff1;
1287           u8 error0, type0, good_l4_checksum0;
1288           u8 error1, type1, good_l4_checksum1;
1289           u32 udp_offset0, udp_offset1;
1290
1291           pi0 = to_next[0] = from[0];
1292           pi1 = to_next[1] = from[1];
1293           from += 2;
1294           n_left_from -= 2;
1295           to_next += 2;
1296           n_left_to_next -= 2;
1297
1298           p0 = vlib_get_buffer (vm, pi0);
1299           p1 = vlib_get_buffer (vm, pi1);
1300
1301           ip0 = vlib_buffer_get_current (p0);
1302           ip1 = vlib_buffer_get_current (p1);
1303
1304           vnet_buffer (p0)->ip.start_of_ip_header = p0->current_data;
1305           vnet_buffer (p1)->ip.start_of_ip_header = p1->current_data;
1306
1307           type0 = lm->builtin_protocol_by_ip_protocol[ip0->protocol];
1308           type1 = lm->builtin_protocol_by_ip_protocol[ip1->protocol];
1309
1310           next0 = lm->local_next_by_ip_protocol[ip0->protocol];
1311           next1 = lm->local_next_by_ip_protocol[ip1->protocol];
1312
1313           flags0 = p0->flags;
1314           flags1 = p1->flags;
1315
1316           good_l4_checksum0 = (flags0 & IP_BUFFER_L4_CHECKSUM_CORRECT) != 0;
1317           good_l4_checksum1 = (flags1 & IP_BUFFER_L4_CHECKSUM_CORRECT) != 0;
1318           len_diff0 = 0;
1319           len_diff1 = 0;
1320
1321           if (PREDICT_TRUE (IP_PROTOCOL_UDP == ip6_locate_header (p0, ip0,
1322                                                                   IP_PROTOCOL_UDP,
1323                                                                   &udp_offset0)))
1324             {
1325               udp0 = (udp_header_t *) ((u8 *) ip0 + udp_offset0);
1326               /* Don't verify UDP checksum for packets with explicit zero checksum. */
1327               good_l4_checksum0 |= type0 == IP_BUILTIN_PROTOCOL_UDP
1328                 && udp0->checksum == 0;
1329               /* Verify UDP length. */
1330               ip_len0 = clib_net_to_host_u16 (ip0->payload_length);
1331               udp_len0 = clib_net_to_host_u16 (udp0->length);
1332               len_diff0 = ip_len0 - udp_len0;
1333             }
1334           if (PREDICT_TRUE (IP_PROTOCOL_UDP == ip6_locate_header (p1, ip1,
1335                                                                   IP_PROTOCOL_UDP,
1336                                                                   &udp_offset1)))
1337             {
1338               udp1 = (udp_header_t *) ((u8 *) ip1 + udp_offset1);
1339               /* Don't verify UDP checksum for packets with explicit zero checksum. */
1340               good_l4_checksum1 |= type1 == IP_BUILTIN_PROTOCOL_UDP
1341                 && udp1->checksum == 0;
1342               /* Verify UDP length. */
1343               ip_len1 = clib_net_to_host_u16 (ip1->payload_length);
1344               udp_len1 = clib_net_to_host_u16 (udp1->length);
1345               len_diff1 = ip_len1 - udp_len1;
1346             }
1347
1348           good_l4_checksum0 |= type0 == IP_BUILTIN_PROTOCOL_UNKNOWN;
1349           good_l4_checksum1 |= type1 == IP_BUILTIN_PROTOCOL_UNKNOWN;
1350
1351           len_diff0 = type0 == IP_BUILTIN_PROTOCOL_UDP ? len_diff0 : 0;
1352           len_diff1 = type1 == IP_BUILTIN_PROTOCOL_UDP ? len_diff1 : 0;
1353
1354           if (PREDICT_FALSE (type0 != IP_BUILTIN_PROTOCOL_UNKNOWN
1355                              && !good_l4_checksum0
1356                              && !(flags0 & IP_BUFFER_L4_CHECKSUM_COMPUTED)))
1357             {
1358               flags0 = ip6_tcp_udp_icmp_validate_checksum (vm, p0);
1359               good_l4_checksum0 =
1360                 (flags0 & IP_BUFFER_L4_CHECKSUM_CORRECT) != 0;
1361             }
1362           if (PREDICT_FALSE (type1 != IP_BUILTIN_PROTOCOL_UNKNOWN
1363                              && !good_l4_checksum1
1364                              && !(flags1 & IP_BUFFER_L4_CHECKSUM_COMPUTED)))
1365             {
1366               flags1 = ip6_tcp_udp_icmp_validate_checksum (vm, p1);
1367               good_l4_checksum1 =
1368                 (flags1 & IP_BUFFER_L4_CHECKSUM_CORRECT) != 0;
1369             }
1370
1371           error0 = error1 = IP6_ERROR_UNKNOWN_PROTOCOL;
1372
1373           error0 = len_diff0 < 0 ? IP6_ERROR_UDP_LENGTH : error0;
1374           error1 = len_diff1 < 0 ? IP6_ERROR_UDP_LENGTH : error1;
1375
1376           ASSERT (IP6_ERROR_UDP_CHECKSUM + IP_BUILTIN_PROTOCOL_UDP ==
1377                   IP6_ERROR_UDP_CHECKSUM);
1378           ASSERT (IP6_ERROR_UDP_CHECKSUM + IP_BUILTIN_PROTOCOL_ICMP ==
1379                   IP6_ERROR_ICMP_CHECKSUM);
1380           error0 =
1381             (!good_l4_checksum0 ? IP6_ERROR_UDP_CHECKSUM + type0 : error0);
1382           error1 =
1383             (!good_l4_checksum1 ? IP6_ERROR_UDP_CHECKSUM + type1 : error1);
1384
1385           /* Drop packets from unroutable hosts. */
1386           /* If this is a neighbor solicitation (ICMP), skip source RPF check */
1387           if (error0 == IP6_ERROR_UNKNOWN_PROTOCOL &&
1388               type0 != IP_BUILTIN_PROTOCOL_ICMP &&
1389               !ip6_address_is_link_local_unicast (&ip0->src_address))
1390             {
1391               error0 = (!ip6_urpf_loose_check (im, p0, ip0)
1392                         ? IP6_ERROR_SRC_LOOKUP_MISS : error0);
1393             }
1394           if (error1 == IP6_ERROR_UNKNOWN_PROTOCOL &&
1395               type1 != IP_BUILTIN_PROTOCOL_ICMP &&
1396               !ip6_address_is_link_local_unicast (&ip1->src_address))
1397             {
1398               error1 = (!ip6_urpf_loose_check (im, p1, ip1)
1399                         ? IP6_ERROR_SRC_LOOKUP_MISS : error1);
1400             }
1401
1402           next0 =
1403             error0 != IP6_ERROR_UNKNOWN_PROTOCOL ? IP_LOCAL_NEXT_DROP : next0;
1404           next1 =
1405             error1 != IP6_ERROR_UNKNOWN_PROTOCOL ? IP_LOCAL_NEXT_DROP : next1;
1406
1407           p0->error = error_node->errors[error0];
1408           p1->error = error_node->errors[error1];
1409
1410           vlib_validate_buffer_enqueue_x2 (vm, node, next_index,
1411                                            to_next, n_left_to_next,
1412                                            pi0, pi1, next0, next1);
1413         }
1414
1415       while (n_left_from > 0 && n_left_to_next > 0)
1416         {
1417           vlib_buffer_t *p0;
1418           ip6_header_t *ip0;
1419           udp_header_t *udp0;
1420           u32 pi0, ip_len0, udp_len0, flags0, next0;
1421           i32 len_diff0;
1422           u8 error0, type0, good_l4_checksum0;
1423           u32 udp_offset0;
1424
1425           pi0 = to_next[0] = from[0];
1426           from += 1;
1427           n_left_from -= 1;
1428           to_next += 1;
1429           n_left_to_next -= 1;
1430
1431           p0 = vlib_get_buffer (vm, pi0);
1432
1433           ip0 = vlib_buffer_get_current (p0);
1434
1435           vnet_buffer (p0)->ip.start_of_ip_header = p0->current_data;
1436
1437           type0 = lm->builtin_protocol_by_ip_protocol[ip0->protocol];
1438           next0 = lm->local_next_by_ip_protocol[ip0->protocol];
1439
1440           flags0 = p0->flags;
1441
1442           good_l4_checksum0 = (flags0 & IP_BUFFER_L4_CHECKSUM_CORRECT) != 0;
1443           len_diff0 = 0;
1444
1445           if (PREDICT_TRUE (IP_PROTOCOL_UDP == ip6_locate_header (p0, ip0,
1446                                                                   IP_PROTOCOL_UDP,
1447                                                                   &udp_offset0)))
1448             {
1449               udp0 = (udp_header_t *) ((u8 *) ip0 + udp_offset0);
1450               /* Don't verify UDP checksum for packets with explicit zero checksum. */
1451               good_l4_checksum0 |= type0 == IP_BUILTIN_PROTOCOL_UDP
1452                 && udp0->checksum == 0;
1453               /* Verify UDP length. */
1454               ip_len0 = clib_net_to_host_u16 (ip0->payload_length);
1455               udp_len0 = clib_net_to_host_u16 (udp0->length);
1456               len_diff0 = ip_len0 - udp_len0;
1457             }
1458
1459           good_l4_checksum0 |= type0 == IP_BUILTIN_PROTOCOL_UNKNOWN;
1460           len_diff0 = type0 == IP_BUILTIN_PROTOCOL_UDP ? len_diff0 : 0;
1461
1462           if (PREDICT_FALSE (type0 != IP_BUILTIN_PROTOCOL_UNKNOWN
1463                              && !good_l4_checksum0
1464                              && !(flags0 & IP_BUFFER_L4_CHECKSUM_COMPUTED)))
1465             {
1466               flags0 = ip6_tcp_udp_icmp_validate_checksum (vm, p0);
1467               good_l4_checksum0 =
1468                 (flags0 & IP_BUFFER_L4_CHECKSUM_CORRECT) != 0;
1469             }
1470
1471           error0 = IP6_ERROR_UNKNOWN_PROTOCOL;
1472
1473           error0 = len_diff0 < 0 ? IP6_ERROR_UDP_LENGTH : error0;
1474
1475           ASSERT (IP6_ERROR_UDP_CHECKSUM + IP_BUILTIN_PROTOCOL_UDP ==
1476                   IP6_ERROR_UDP_CHECKSUM);
1477           ASSERT (IP6_ERROR_UDP_CHECKSUM + IP_BUILTIN_PROTOCOL_ICMP ==
1478                   IP6_ERROR_ICMP_CHECKSUM);
1479           error0 =
1480             (!good_l4_checksum0 ? IP6_ERROR_UDP_CHECKSUM + type0 : error0);
1481
1482           /* If this is a neighbor solicitation (ICMP), skip source RPF check */
1483           if (error0 == IP6_ERROR_UNKNOWN_PROTOCOL &&
1484               type0 != IP_BUILTIN_PROTOCOL_ICMP &&
1485               !ip6_address_is_link_local_unicast (&ip0->src_address))
1486             {
1487               error0 = (!ip6_urpf_loose_check (im, p0, ip0)
1488                         ? IP6_ERROR_SRC_LOOKUP_MISS : error0);
1489             }
1490
1491           next0 =
1492             error0 != IP6_ERROR_UNKNOWN_PROTOCOL ? IP_LOCAL_NEXT_DROP : next0;
1493
1494           p0->error = error_node->errors[error0];
1495
1496           vlib_validate_buffer_enqueue_x1 (vm, node, next_index,
1497                                            to_next, n_left_to_next,
1498                                            pi0, next0);
1499         }
1500
1501       vlib_put_next_frame (vm, node, next_index, n_left_to_next);
1502     }
1503
1504   return frame->n_vectors;
1505 }
1506
1507 /* *INDENT-OFF* */
1508 VLIB_REGISTER_NODE (ip6_local_node, static) =
1509 {
1510   .function = ip6_local,
1511   .name = "ip6-local",
1512   .vector_size = sizeof (u32),
1513   .format_trace = format_ip6_forward_next_trace,
1514   .n_next_nodes = IP_LOCAL_N_NEXT,
1515   .next_nodes =
1516   {
1517     [IP_LOCAL_NEXT_DROP] = "error-drop",
1518     [IP_LOCAL_NEXT_PUNT] = "error-punt",
1519     [IP_LOCAL_NEXT_UDP_LOOKUP] = "ip6-udp-lookup",
1520     [IP_LOCAL_NEXT_ICMP] = "ip6-icmp-input",
1521   },
1522 };
1523 /* *INDENT-ON* */
1524
1525 VLIB_NODE_FUNCTION_MULTIARCH (ip6_local_node, ip6_local);
1526
1527 void
1528 ip6_register_protocol (u32 protocol, u32 node_index)
1529 {
1530   vlib_main_t *vm = vlib_get_main ();
1531   ip6_main_t *im = &ip6_main;
1532   ip_lookup_main_t *lm = &im->lookup_main;
1533
1534   ASSERT (protocol < ARRAY_LEN (lm->local_next_by_ip_protocol));
1535   lm->local_next_by_ip_protocol[protocol] =
1536     vlib_node_add_next (vm, ip6_local_node.index, node_index);
1537 }
1538
1539 typedef enum
1540 {
1541   IP6_DISCOVER_NEIGHBOR_NEXT_DROP,
1542   IP6_DISCOVER_NEIGHBOR_NEXT_REPLY_TX,
1543   IP6_DISCOVER_NEIGHBOR_N_NEXT,
1544 } ip6_discover_neighbor_next_t;
1545
1546 typedef enum
1547 {
1548   IP6_DISCOVER_NEIGHBOR_ERROR_DROP,
1549   IP6_DISCOVER_NEIGHBOR_ERROR_REQUEST_SENT,
1550   IP6_DISCOVER_NEIGHBOR_ERROR_NO_SOURCE_ADDRESS,
1551 } ip6_discover_neighbor_error_t;
1552
1553 static uword
1554 ip6_discover_neighbor_inline (vlib_main_t * vm,
1555                               vlib_node_runtime_t * node,
1556                               vlib_frame_t * frame, int is_glean)
1557 {
1558   vnet_main_t *vnm = vnet_get_main ();
1559   ip6_main_t *im = &ip6_main;
1560   ip_lookup_main_t *lm = &im->lookup_main;
1561   u32 *from, *to_next_drop;
1562   uword n_left_from, n_left_to_next_drop;
1563   static f64 time_last_seed_change = -1e100;
1564   static u32 hash_seeds[3];
1565   static uword hash_bitmap[256 / BITS (uword)];
1566   f64 time_now;
1567   int bogus_length;
1568
1569   if (node->flags & VLIB_NODE_FLAG_TRACE)
1570     ip6_forward_next_trace (vm, node, frame, VLIB_TX);
1571
1572   time_now = vlib_time_now (vm);
1573   if (time_now - time_last_seed_change > 1e-3)
1574     {
1575       uword i;
1576       u32 *r = clib_random_buffer_get_data (&vm->random_buffer,
1577                                             sizeof (hash_seeds));
1578       for (i = 0; i < ARRAY_LEN (hash_seeds); i++)
1579         hash_seeds[i] = r[i];
1580
1581       /* Mark all hash keys as been not-seen before. */
1582       for (i = 0; i < ARRAY_LEN (hash_bitmap); i++)
1583         hash_bitmap[i] = 0;
1584
1585       time_last_seed_change = time_now;
1586     }
1587
1588   from = vlib_frame_vector_args (frame);
1589   n_left_from = frame->n_vectors;
1590
1591   while (n_left_from > 0)
1592     {
1593       vlib_get_next_frame (vm, node, IP6_DISCOVER_NEIGHBOR_NEXT_DROP,
1594                            to_next_drop, n_left_to_next_drop);
1595
1596       while (n_left_from > 0 && n_left_to_next_drop > 0)
1597         {
1598           vlib_buffer_t *p0;
1599           ip6_header_t *ip0;
1600           u32 pi0, adj_index0, a0, b0, c0, m0, sw_if_index0, drop0;
1601           uword bm0;
1602           ip_adjacency_t *adj0;
1603           vnet_hw_interface_t *hw_if0;
1604           u32 next0;
1605
1606           pi0 = from[0];
1607
1608           p0 = vlib_get_buffer (vm, pi0);
1609
1610           adj_index0 = vnet_buffer (p0)->ip.adj_index[VLIB_TX];
1611
1612           ip0 = vlib_buffer_get_current (p0);
1613
1614           adj0 = ip_get_adjacency (lm, adj_index0);
1615
1616           if (!is_glean)
1617             {
1618               ip0->dst_address.as_u64[0] =
1619                 adj0->sub_type.nbr.next_hop.ip6.as_u64[0];
1620               ip0->dst_address.as_u64[1] =
1621                 adj0->sub_type.nbr.next_hop.ip6.as_u64[1];
1622             }
1623
1624           a0 = hash_seeds[0];
1625           b0 = hash_seeds[1];
1626           c0 = hash_seeds[2];
1627
1628           sw_if_index0 = adj0->rewrite_header.sw_if_index;
1629           vnet_buffer (p0)->sw_if_index[VLIB_TX] = sw_if_index0;
1630
1631           a0 ^= sw_if_index0;
1632           b0 ^= ip0->dst_address.as_u32[0];
1633           c0 ^= ip0->dst_address.as_u32[1];
1634
1635           hash_v3_mix32 (a0, b0, c0);
1636
1637           b0 ^= ip0->dst_address.as_u32[2];
1638           c0 ^= ip0->dst_address.as_u32[3];
1639
1640           hash_v3_finalize32 (a0, b0, c0);
1641
1642           c0 &= BITS (hash_bitmap) - 1;
1643           c0 = c0 / BITS (uword);
1644           m0 = (uword) 1 << (c0 % BITS (uword));
1645
1646           bm0 = hash_bitmap[c0];
1647           drop0 = (bm0 & m0) != 0;
1648
1649           /* Mark it as seen. */
1650           hash_bitmap[c0] = bm0 | m0;
1651
1652           from += 1;
1653           n_left_from -= 1;
1654           to_next_drop[0] = pi0;
1655           to_next_drop += 1;
1656           n_left_to_next_drop -= 1;
1657
1658           hw_if0 = vnet_get_sup_hw_interface (vnm, sw_if_index0);
1659
1660           /* If the interface is link-down, drop the pkt */
1661           if (!(hw_if0->flags & VNET_HW_INTERFACE_FLAG_LINK_UP))
1662             drop0 = 1;
1663
1664           p0->error =
1665             node->errors[drop0 ? IP6_DISCOVER_NEIGHBOR_ERROR_DROP
1666                          : IP6_DISCOVER_NEIGHBOR_ERROR_REQUEST_SENT];
1667           if (drop0)
1668             continue;
1669
1670           /*
1671            * the adj has been updated to a rewrite but the node the DPO that got
1672            * us here hasn't - yet. no big deal. we'll drop while we wait.
1673            */
1674           if (IP_LOOKUP_NEXT_REWRITE == adj0->lookup_next_index)
1675             continue;
1676
1677           {
1678             u32 bi0 = 0;
1679             icmp6_neighbor_solicitation_header_t *h0;
1680             vlib_buffer_t *b0;
1681
1682             h0 = vlib_packet_template_get_packet
1683               (vm, &im->discover_neighbor_packet_template, &bi0);
1684
1685             /*
1686              * Build ethernet header.
1687              * Choose source address based on destination lookup
1688              * adjacency.
1689              */
1690             if (ip6_src_address_for_packet (lm,
1691                                             sw_if_index0,
1692                                             &h0->ip.src_address))
1693               {
1694                 /* There is no address on the interface */
1695                 p0->error =
1696                   node->errors[IP6_DISCOVER_NEIGHBOR_ERROR_NO_SOURCE_ADDRESS];
1697                 vlib_buffer_free (vm, &bi0, 1);
1698                 continue;
1699               }
1700
1701             /*
1702              * Destination address is a solicited node multicast address.
1703              * We need to fill in
1704              * the low 24 bits with low 24 bits of target's address.
1705              */
1706             h0->ip.dst_address.as_u8[13] = ip0->dst_address.as_u8[13];
1707             h0->ip.dst_address.as_u8[14] = ip0->dst_address.as_u8[14];
1708             h0->ip.dst_address.as_u8[15] = ip0->dst_address.as_u8[15];
1709
1710             h0->neighbor.target_address = ip0->dst_address;
1711
1712             clib_memcpy (h0->link_layer_option.ethernet_address,
1713                          hw_if0->hw_address, vec_len (hw_if0->hw_address));
1714
1715             /* $$$$ appears we need this; why is the checksum non-zero? */
1716             h0->neighbor.icmp.checksum = 0;
1717             h0->neighbor.icmp.checksum =
1718               ip6_tcp_udp_icmp_compute_checksum (vm, 0, &h0->ip,
1719                                                  &bogus_length);
1720
1721             ASSERT (bogus_length == 0);
1722
1723             vlib_buffer_copy_trace_flag (vm, p0, bi0);
1724             b0 = vlib_get_buffer (vm, bi0);
1725             vnet_buffer (b0)->sw_if_index[VLIB_TX]
1726               = vnet_buffer (p0)->sw_if_index[VLIB_TX];
1727
1728             /* Add rewrite/encap string. */
1729             vnet_rewrite_one_header (adj0[0], h0, sizeof (ethernet_header_t));
1730             vlib_buffer_advance (b0, -adj0->rewrite_header.data_bytes);
1731
1732             next0 = IP6_DISCOVER_NEIGHBOR_NEXT_REPLY_TX;
1733
1734             vlib_set_next_frame_buffer (vm, node, next0, bi0);
1735           }
1736         }
1737
1738       vlib_put_next_frame (vm, node, IP6_DISCOVER_NEIGHBOR_NEXT_DROP,
1739                            n_left_to_next_drop);
1740     }
1741
1742   return frame->n_vectors;
1743 }
1744
1745 static uword
1746 ip6_discover_neighbor (vlib_main_t * vm,
1747                        vlib_node_runtime_t * node, vlib_frame_t * frame)
1748 {
1749   return (ip6_discover_neighbor_inline (vm, node, frame, 0));
1750 }
1751
1752 static uword
1753 ip6_glean (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
1754 {
1755   return (ip6_discover_neighbor_inline (vm, node, frame, 1));
1756 }
1757
1758 static char *ip6_discover_neighbor_error_strings[] = {
1759   [IP6_DISCOVER_NEIGHBOR_ERROR_DROP] = "address overflow drops",
1760   [IP6_DISCOVER_NEIGHBOR_ERROR_REQUEST_SENT] = "neighbor solicitations sent",
1761   [IP6_DISCOVER_NEIGHBOR_ERROR_NO_SOURCE_ADDRESS]
1762     = "no source address for ND solicitation",
1763 };
1764
1765 /* *INDENT-OFF* */
1766 VLIB_REGISTER_NODE (ip6_discover_neighbor_node) =
1767 {
1768   .function = ip6_discover_neighbor,
1769   .name = "ip6-discover-neighbor",
1770   .vector_size = sizeof (u32),
1771   .format_trace = format_ip6_forward_next_trace,
1772   .n_errors = ARRAY_LEN (ip6_discover_neighbor_error_strings),
1773   .error_strings = ip6_discover_neighbor_error_strings,
1774   .n_next_nodes = IP6_DISCOVER_NEIGHBOR_N_NEXT,
1775   .next_nodes =
1776   {
1777     [IP6_DISCOVER_NEIGHBOR_NEXT_DROP] = "error-drop",
1778     [IP6_DISCOVER_NEIGHBOR_NEXT_REPLY_TX] = "interface-output",
1779   },
1780 };
1781 /* *INDENT-ON* */
1782
1783 /* *INDENT-OFF* */
1784 VLIB_REGISTER_NODE (ip6_glean_node) =
1785 {
1786   .function = ip6_glean,
1787   .name = "ip6-glean",
1788   .vector_size = sizeof (u32),
1789   .format_trace = format_ip6_forward_next_trace,
1790   .n_errors = ARRAY_LEN (ip6_discover_neighbor_error_strings),
1791   .error_strings = ip6_discover_neighbor_error_strings,
1792   .n_next_nodes = IP6_DISCOVER_NEIGHBOR_N_NEXT,
1793   .next_nodes =
1794   {
1795     [IP6_DISCOVER_NEIGHBOR_NEXT_DROP] = "error-drop",
1796     [IP6_DISCOVER_NEIGHBOR_NEXT_REPLY_TX] = "interface-output",
1797   },
1798 };
1799 /* *INDENT-ON* */
1800
1801 clib_error_t *
1802 ip6_probe_neighbor (vlib_main_t * vm, ip6_address_t * dst, u32 sw_if_index)
1803 {
1804   vnet_main_t *vnm = vnet_get_main ();
1805   ip6_main_t *im = &ip6_main;
1806   icmp6_neighbor_solicitation_header_t *h;
1807   ip6_address_t *src;
1808   ip_interface_address_t *ia;
1809   ip_adjacency_t *adj;
1810   vnet_hw_interface_t *hi;
1811   vnet_sw_interface_t *si;
1812   vlib_buffer_t *b;
1813   u32 bi = 0;
1814   int bogus_length;
1815
1816   si = vnet_get_sw_interface (vnm, sw_if_index);
1817
1818   if (!(si->flags & VNET_SW_INTERFACE_FLAG_ADMIN_UP))
1819     {
1820       return clib_error_return (0, "%U: interface %U down",
1821                                 format_ip6_address, dst,
1822                                 format_vnet_sw_if_index_name, vnm,
1823                                 sw_if_index);
1824     }
1825
1826   src =
1827     ip6_interface_address_matching_destination (im, dst, sw_if_index, &ia);
1828   if (!src)
1829     {
1830       vnm->api_errno = VNET_API_ERROR_NO_MATCHING_INTERFACE;
1831       return clib_error_return
1832         (0, "no matching interface address for destination %U (interface %U)",
1833          format_ip6_address, dst,
1834          format_vnet_sw_if_index_name, vnm, sw_if_index);
1835     }
1836
1837   h =
1838     vlib_packet_template_get_packet (vm,
1839                                      &im->discover_neighbor_packet_template,
1840                                      &bi);
1841
1842   hi = vnet_get_sup_hw_interface (vnm, sw_if_index);
1843
1844   /* Destination address is a solicited node multicast address.  We need to fill in
1845      the low 24 bits with low 24 bits of target's address. */
1846   h->ip.dst_address.as_u8[13] = dst->as_u8[13];
1847   h->ip.dst_address.as_u8[14] = dst->as_u8[14];
1848   h->ip.dst_address.as_u8[15] = dst->as_u8[15];
1849
1850   h->ip.src_address = src[0];
1851   h->neighbor.target_address = dst[0];
1852
1853   clib_memcpy (h->link_layer_option.ethernet_address, hi->hw_address,
1854                vec_len (hi->hw_address));
1855
1856   h->neighbor.icmp.checksum =
1857     ip6_tcp_udp_icmp_compute_checksum (vm, 0, &h->ip, &bogus_length);
1858   ASSERT (bogus_length == 0);
1859
1860   b = vlib_get_buffer (vm, bi);
1861   vnet_buffer (b)->sw_if_index[VLIB_RX] =
1862     vnet_buffer (b)->sw_if_index[VLIB_TX] = sw_if_index;
1863
1864   /* Add encapsulation string for software interface (e.g. ethernet header). */
1865   adj = ip_get_adjacency (&im->lookup_main, ia->neighbor_probe_adj_index);
1866   vnet_rewrite_one_header (adj[0], h, sizeof (ethernet_header_t));
1867   vlib_buffer_advance (b, -adj->rewrite_header.data_bytes);
1868
1869   {
1870     vlib_frame_t *f = vlib_get_frame_to_node (vm, hi->output_node_index);
1871     u32 *to_next = vlib_frame_vector_args (f);
1872     to_next[0] = bi;
1873     f->n_vectors = 1;
1874     vlib_put_frame_to_node (vm, hi->output_node_index, f);
1875   }
1876
1877   return /* no error */ 0;
1878 }
1879
1880 typedef enum
1881 {
1882   IP6_REWRITE_NEXT_DROP,
1883   IP6_REWRITE_NEXT_ICMP_ERROR,
1884 } ip6_rewrite_next_t;
1885
1886 always_inline uword
1887 ip6_rewrite_inline (vlib_main_t * vm,
1888                     vlib_node_runtime_t * node,
1889                     vlib_frame_t * frame,
1890                     int do_counters, int is_midchain, int is_mcast)
1891 {
1892   ip_lookup_main_t *lm = &ip6_main.lookup_main;
1893   u32 *from = vlib_frame_vector_args (frame);
1894   u32 n_left_from, n_left_to_next, *to_next, next_index;
1895   vlib_node_runtime_t *error_node =
1896     vlib_node_get_runtime (vm, ip6_input_node.index);
1897
1898   n_left_from = frame->n_vectors;
1899   next_index = node->cached_next_index;
1900   u32 thread_index = vlib_get_thread_index ();
1901
1902   while (n_left_from > 0)
1903     {
1904       vlib_get_next_frame (vm, node, next_index, to_next, n_left_to_next);
1905
1906       while (n_left_from >= 4 && n_left_to_next >= 2)
1907         {
1908           ip_adjacency_t *adj0, *adj1;
1909           vlib_buffer_t *p0, *p1;
1910           ip6_header_t *ip0, *ip1;
1911           u32 pi0, rw_len0, next0, error0, adj_index0;
1912           u32 pi1, rw_len1, next1, error1, adj_index1;
1913           u32 tx_sw_if_index0, tx_sw_if_index1;
1914
1915           /* Prefetch next iteration. */
1916           {
1917             vlib_buffer_t *p2, *p3;
1918
1919             p2 = vlib_get_buffer (vm, from[2]);
1920             p3 = vlib_get_buffer (vm, from[3]);
1921
1922             vlib_prefetch_buffer_header (p2, LOAD);
1923             vlib_prefetch_buffer_header (p3, LOAD);
1924
1925             CLIB_PREFETCH (p2->pre_data, 32, STORE);
1926             CLIB_PREFETCH (p3->pre_data, 32, STORE);
1927
1928             CLIB_PREFETCH (p2->data, sizeof (ip0[0]), STORE);
1929             CLIB_PREFETCH (p3->data, sizeof (ip0[0]), STORE);
1930           }
1931
1932           pi0 = to_next[0] = from[0];
1933           pi1 = to_next[1] = from[1];
1934
1935           from += 2;
1936           n_left_from -= 2;
1937           to_next += 2;
1938           n_left_to_next -= 2;
1939
1940           p0 = vlib_get_buffer (vm, pi0);
1941           p1 = vlib_get_buffer (vm, pi1);
1942
1943           adj_index0 = vnet_buffer (p0)->ip.adj_index[VLIB_TX];
1944           adj_index1 = vnet_buffer (p1)->ip.adj_index[VLIB_TX];
1945
1946           ip0 = vlib_buffer_get_current (p0);
1947           ip1 = vlib_buffer_get_current (p1);
1948
1949           error0 = error1 = IP6_ERROR_NONE;
1950           next0 = next1 = IP6_REWRITE_NEXT_DROP;
1951
1952           if (PREDICT_TRUE (!(p0->flags & VNET_BUFFER_LOCALLY_ORIGINATED)))
1953             {
1954               i32 hop_limit0 = ip0->hop_limit;
1955
1956               /* Input node should have reject packets with hop limit 0. */
1957               ASSERT (ip0->hop_limit > 0);
1958
1959               hop_limit0 -= 1;
1960
1961               ip0->hop_limit = hop_limit0;
1962
1963               /*
1964                * If the hop count drops below 1 when forwarding, generate
1965                * an ICMP response.
1966                */
1967               if (PREDICT_FALSE (hop_limit0 <= 0))
1968                 {
1969                   error0 = IP6_ERROR_TIME_EXPIRED;
1970                   next0 = IP6_REWRITE_NEXT_ICMP_ERROR;
1971                   vnet_buffer (p0)->sw_if_index[VLIB_TX] = (u32) ~ 0;
1972                   icmp6_error_set_vnet_buffer (p0, ICMP6_time_exceeded,
1973                                                ICMP6_time_exceeded_ttl_exceeded_in_transit,
1974                                                0);
1975                 }
1976             }
1977           else
1978             {
1979               p0->flags &= ~VNET_BUFFER_LOCALLY_ORIGINATED;
1980             }
1981           if (PREDICT_TRUE (!(p1->flags & VNET_BUFFER_LOCALLY_ORIGINATED)))
1982             {
1983               i32 hop_limit1 = ip1->hop_limit;
1984
1985               /* Input node should have reject packets with hop limit 0. */
1986               ASSERT (ip1->hop_limit > 0);
1987
1988               hop_limit1 -= 1;
1989
1990               ip1->hop_limit = hop_limit1;
1991
1992               /*
1993                * If the hop count drops below 1 when forwarding, generate
1994                * an ICMP response.
1995                */
1996               if (PREDICT_FALSE (hop_limit1 <= 0))
1997                 {
1998                   error1 = IP6_ERROR_TIME_EXPIRED;
1999                   next1 = IP6_REWRITE_NEXT_ICMP_ERROR;
2000                   vnet_buffer (p1)->sw_if_index[VLIB_TX] = (u32) ~ 0;
2001                   icmp6_error_set_vnet_buffer (p1, ICMP6_time_exceeded,
2002                                                ICMP6_time_exceeded_ttl_exceeded_in_transit,
2003                                                0);
2004                 }
2005             }
2006           else
2007             {
2008               p1->flags &= ~VNET_BUFFER_LOCALLY_ORIGINATED;
2009             }
2010           adj0 = ip_get_adjacency (lm, adj_index0);
2011           adj1 = ip_get_adjacency (lm, adj_index1);
2012
2013           rw_len0 = adj0[0].rewrite_header.data_bytes;
2014           rw_len1 = adj1[0].rewrite_header.data_bytes;
2015           vnet_buffer (p0)->ip.save_rewrite_length = rw_len0;
2016           vnet_buffer (p1)->ip.save_rewrite_length = rw_len1;
2017
2018           if (do_counters)
2019             {
2020               vlib_increment_combined_counter
2021                 (&adjacency_counters,
2022                  thread_index, adj_index0, 1,
2023                  vlib_buffer_length_in_chain (vm, p0) + rw_len0);
2024               vlib_increment_combined_counter
2025                 (&adjacency_counters,
2026                  thread_index, adj_index1, 1,
2027                  vlib_buffer_length_in_chain (vm, p1) + rw_len1);
2028             }
2029
2030           /* Check MTU of outgoing interface. */
2031           error0 =
2032             (vlib_buffer_length_in_chain (vm, p0) >
2033              adj0[0].
2034              rewrite_header.max_l3_packet_bytes ? IP6_ERROR_MTU_EXCEEDED :
2035              error0);
2036           error1 =
2037             (vlib_buffer_length_in_chain (vm, p1) >
2038              adj1[0].
2039              rewrite_header.max_l3_packet_bytes ? IP6_ERROR_MTU_EXCEEDED :
2040              error1);
2041
2042           /* Don't adjust the buffer for hop count issue; icmp-error node
2043            * wants to see the IP headerr */
2044           if (PREDICT_TRUE (error0 == IP6_ERROR_NONE))
2045             {
2046               p0->current_data -= rw_len0;
2047               p0->current_length += rw_len0;
2048
2049               tx_sw_if_index0 = adj0[0].rewrite_header.sw_if_index;
2050               vnet_buffer (p0)->sw_if_index[VLIB_TX] = tx_sw_if_index0;
2051               next0 = adj0[0].rewrite_header.next_index;
2052
2053               if (PREDICT_FALSE
2054                   (adj0[0].rewrite_header.flags & VNET_REWRITE_HAS_FEATURES))
2055                 vnet_feature_arc_start (lm->output_feature_arc_index,
2056                                         tx_sw_if_index0, &next0, p0);
2057             }
2058           if (PREDICT_TRUE (error1 == IP6_ERROR_NONE))
2059             {
2060               p1->current_data -= rw_len1;
2061               p1->current_length += rw_len1;
2062
2063               tx_sw_if_index1 = adj1[0].rewrite_header.sw_if_index;
2064               vnet_buffer (p1)->sw_if_index[VLIB_TX] = tx_sw_if_index1;
2065               next1 = adj1[0].rewrite_header.next_index;
2066
2067               if (PREDICT_FALSE
2068                   (adj1[0].rewrite_header.flags & VNET_REWRITE_HAS_FEATURES))
2069                 vnet_feature_arc_start (lm->output_feature_arc_index,
2070                                         tx_sw_if_index1, &next1, p1);
2071             }
2072
2073           /* Guess we are only writing on simple Ethernet header. */
2074           vnet_rewrite_two_headers (adj0[0], adj1[0],
2075                                     ip0, ip1, sizeof (ethernet_header_t));
2076
2077           if (is_midchain)
2078             {
2079               adj0->sub_type.midchain.fixup_func (vm, adj0, p0);
2080               adj1->sub_type.midchain.fixup_func (vm, adj1, p1);
2081             }
2082           if (is_mcast)
2083             {
2084               /*
2085                * copy bytes from the IP address into the MAC rewrite
2086                */
2087               vnet_fixup_one_header (adj0[0], &ip0->dst_address, ip0);
2088               vnet_fixup_one_header (adj1[0], &ip1->dst_address, ip1);
2089             }
2090
2091           vlib_validate_buffer_enqueue_x2 (vm, node, next_index,
2092                                            to_next, n_left_to_next,
2093                                            pi0, pi1, next0, next1);
2094         }
2095
2096       while (n_left_from > 0 && n_left_to_next > 0)
2097         {
2098           ip_adjacency_t *adj0;
2099           vlib_buffer_t *p0;
2100           ip6_header_t *ip0;
2101           u32 pi0, rw_len0;
2102           u32 adj_index0, next0, error0;
2103           u32 tx_sw_if_index0;
2104
2105           pi0 = to_next[0] = from[0];
2106
2107           p0 = vlib_get_buffer (vm, pi0);
2108
2109           adj_index0 = vnet_buffer (p0)->ip.adj_index[VLIB_TX];
2110
2111           adj0 = ip_get_adjacency (lm, adj_index0);
2112
2113           ip0 = vlib_buffer_get_current (p0);
2114
2115           error0 = IP6_ERROR_NONE;
2116           next0 = IP6_REWRITE_NEXT_DROP;
2117
2118           /* Check hop limit */
2119           if (PREDICT_TRUE (!(p0->flags & VNET_BUFFER_LOCALLY_ORIGINATED)))
2120             {
2121               i32 hop_limit0 = ip0->hop_limit;
2122
2123               ASSERT (ip0->hop_limit > 0);
2124
2125               hop_limit0 -= 1;
2126
2127               ip0->hop_limit = hop_limit0;
2128
2129               if (PREDICT_FALSE (hop_limit0 <= 0))
2130                 {
2131                   /*
2132                    * If the hop count drops below 1 when forwarding, generate
2133                    * an ICMP response.
2134                    */
2135                   error0 = IP6_ERROR_TIME_EXPIRED;
2136                   next0 = IP6_REWRITE_NEXT_ICMP_ERROR;
2137                   vnet_buffer (p0)->sw_if_index[VLIB_TX] = (u32) ~ 0;
2138                   icmp6_error_set_vnet_buffer (p0, ICMP6_time_exceeded,
2139                                                ICMP6_time_exceeded_ttl_exceeded_in_transit,
2140                                                0);
2141                 }
2142             }
2143           else
2144             {
2145               p0->flags &= ~VNET_BUFFER_LOCALLY_ORIGINATED;
2146             }
2147
2148           /* Guess we are only writing on simple Ethernet header. */
2149           vnet_rewrite_one_header (adj0[0], ip0, sizeof (ethernet_header_t));
2150
2151           /* Update packet buffer attributes/set output interface. */
2152           rw_len0 = adj0[0].rewrite_header.data_bytes;
2153           vnet_buffer (p0)->ip.save_rewrite_length = rw_len0;
2154
2155           if (do_counters)
2156             {
2157               vlib_increment_combined_counter
2158                 (&adjacency_counters,
2159                  thread_index, adj_index0, 1,
2160                  vlib_buffer_length_in_chain (vm, p0) + rw_len0);
2161             }
2162
2163           /* Check MTU of outgoing interface. */
2164           error0 =
2165             (vlib_buffer_length_in_chain (vm, p0) >
2166              adj0[0].
2167              rewrite_header.max_l3_packet_bytes ? IP6_ERROR_MTU_EXCEEDED :
2168              error0);
2169
2170           /* Don't adjust the buffer for hop count issue; icmp-error node
2171            * wants to see the IP headerr */
2172           if (PREDICT_TRUE (error0 == IP6_ERROR_NONE))
2173             {
2174               p0->current_data -= rw_len0;
2175               p0->current_length += rw_len0;
2176
2177               tx_sw_if_index0 = adj0[0].rewrite_header.sw_if_index;
2178
2179               vnet_buffer (p0)->sw_if_index[VLIB_TX] = tx_sw_if_index0;
2180               next0 = adj0[0].rewrite_header.next_index;
2181
2182               if (PREDICT_FALSE
2183                   (adj0[0].rewrite_header.flags & VNET_REWRITE_HAS_FEATURES))
2184                 vnet_feature_arc_start (lm->output_feature_arc_index,
2185                                         tx_sw_if_index0, &next0, p0);
2186             }
2187
2188           if (is_midchain)
2189             {
2190               adj0->sub_type.midchain.fixup_func (vm, adj0, p0);
2191             }
2192           if (is_mcast)
2193             {
2194               vnet_fixup_one_header (adj0[0], &ip0->dst_address, ip0);
2195             }
2196
2197           p0->error = error_node->errors[error0];
2198
2199           from += 1;
2200           n_left_from -= 1;
2201           to_next += 1;
2202           n_left_to_next -= 1;
2203
2204           vlib_validate_buffer_enqueue_x1 (vm, node, next_index,
2205                                            to_next, n_left_to_next,
2206                                            pi0, next0);
2207         }
2208
2209       vlib_put_next_frame (vm, node, next_index, n_left_to_next);
2210     }
2211
2212   /* Need to do trace after rewrites to pick up new packet data. */
2213   if (node->flags & VLIB_NODE_FLAG_TRACE)
2214     ip6_forward_next_trace (vm, node, frame, VLIB_TX);
2215
2216   return frame->n_vectors;
2217 }
2218
2219 static uword
2220 ip6_rewrite (vlib_main_t * vm,
2221              vlib_node_runtime_t * node, vlib_frame_t * frame)
2222 {
2223   if (adj_are_counters_enabled ())
2224     return ip6_rewrite_inline (vm, node, frame, 1, 0, 0);
2225   else
2226     return ip6_rewrite_inline (vm, node, frame, 0, 0, 0);
2227 }
2228
2229 static uword
2230 ip6_rewrite_mcast (vlib_main_t * vm,
2231                    vlib_node_runtime_t * node, vlib_frame_t * frame)
2232 {
2233   if (adj_are_counters_enabled ())
2234     return ip6_rewrite_inline (vm, node, frame, 1, 0, 1);
2235   else
2236     return ip6_rewrite_inline (vm, node, frame, 0, 0, 1);
2237 }
2238
2239 static uword
2240 ip6_midchain (vlib_main_t * vm,
2241               vlib_node_runtime_t * node, vlib_frame_t * frame)
2242 {
2243   if (adj_are_counters_enabled ())
2244     return ip6_rewrite_inline (vm, node, frame, 1, 1, 0);
2245   else
2246     return ip6_rewrite_inline (vm, node, frame, 0, 1, 0);
2247 }
2248
2249 /* *INDENT-OFF* */
2250 VLIB_REGISTER_NODE (ip6_midchain_node) =
2251 {
2252   .function = ip6_midchain,
2253   .name = "ip6-midchain",
2254   .vector_size = sizeof (u32),
2255   .format_trace = format_ip6_forward_next_trace,
2256   .sibling_of = "ip6-rewrite",
2257   };
2258 /* *INDENT-ON* */
2259
2260 VLIB_NODE_FUNCTION_MULTIARCH (ip6_midchain_node, ip6_midchain);
2261
2262 /* *INDENT-OFF* */
2263 VLIB_REGISTER_NODE (ip6_rewrite_node) =
2264 {
2265   .function = ip6_rewrite,
2266   .name = "ip6-rewrite",
2267   .vector_size = sizeof (u32),
2268   .format_trace = format_ip6_rewrite_trace,
2269   .n_next_nodes = 2,
2270   .next_nodes =
2271   {
2272     [IP6_REWRITE_NEXT_DROP] = "error-drop",
2273     [IP6_REWRITE_NEXT_ICMP_ERROR] = "ip6-icmp-error",
2274   },
2275 };
2276 /* *INDENT-ON* */
2277
2278 VLIB_NODE_FUNCTION_MULTIARCH (ip6_rewrite_node, ip6_rewrite);
2279
2280 /* *INDENT-OFF* */
2281 VLIB_REGISTER_NODE (ip6_rewrite_mcast_node) =
2282 {
2283   .function = ip6_rewrite_mcast,
2284   .name = "ip6-rewrite-mcast",
2285   .vector_size = sizeof (u32),
2286   .format_trace = format_ip6_rewrite_trace,
2287   .sibling_of = "ip6-rewrite",
2288 };
2289 /* *INDENT-ON* */
2290
2291 VLIB_NODE_FUNCTION_MULTIARCH (ip6_rewrite_mcast_node, ip6_rewrite_mcast);
2292
2293 /*
2294  * Hop-by-Hop handling
2295  */
2296 ip6_hop_by_hop_main_t ip6_hop_by_hop_main;
2297
2298 #define foreach_ip6_hop_by_hop_error \
2299 _(PROCESSED, "pkts with ip6 hop-by-hop options") \
2300 _(FORMAT, "incorrectly formatted hop-by-hop options") \
2301 _(UNKNOWN_OPTION, "unknown ip6 hop-by-hop options")
2302
2303 /* *INDENT-OFF* */
2304 typedef enum
2305 {
2306 #define _(sym,str) IP6_HOP_BY_HOP_ERROR_##sym,
2307   foreach_ip6_hop_by_hop_error
2308 #undef _
2309   IP6_HOP_BY_HOP_N_ERROR,
2310 } ip6_hop_by_hop_error_t;
2311 /* *INDENT-ON* */
2312
2313 /*
2314  * Primary h-b-h handler trace support
2315  * We work pretty hard on the problem for obvious reasons
2316  */
2317 typedef struct
2318 {
2319   u32 next_index;
2320   u32 trace_len;
2321   u8 option_data[256];
2322 } ip6_hop_by_hop_trace_t;
2323
2324 vlib_node_registration_t ip6_hop_by_hop_node;
2325
2326 static char *ip6_hop_by_hop_error_strings[] = {
2327 #define _(sym,string) string,
2328   foreach_ip6_hop_by_hop_error
2329 #undef _
2330 };
2331
2332 u8 *
2333 format_ip6_hop_by_hop_ext_hdr (u8 * s, va_list * args)
2334 {
2335   ip6_hop_by_hop_header_t *hbh0 = va_arg (*args, ip6_hop_by_hop_header_t *);
2336   int total_len = va_arg (*args, int);
2337   ip6_hop_by_hop_option_t *opt0, *limit0;
2338   ip6_hop_by_hop_main_t *hm = &ip6_hop_by_hop_main;
2339   u8 type0;
2340
2341   s = format (s, "IP6_HOP_BY_HOP: next protocol %d len %d total %d",
2342               hbh0->protocol, (hbh0->length + 1) << 3, total_len);
2343
2344   opt0 = (ip6_hop_by_hop_option_t *) (hbh0 + 1);
2345   limit0 = (ip6_hop_by_hop_option_t *) ((u8 *) hbh0 + total_len);
2346
2347   while (opt0 < limit0)
2348     {
2349       type0 = opt0->type;
2350       switch (type0)
2351         {
2352         case 0:         /* Pad, just stop */
2353           opt0 = (ip6_hop_by_hop_option_t *) ((u8 *) opt0 + 1);
2354           break;
2355
2356         default:
2357           if (hm->trace[type0])
2358             {
2359               s = (*hm->trace[type0]) (s, opt0);
2360             }
2361           else
2362             {
2363               s =
2364                 format (s, "\n    unrecognized option %d length %d", type0,
2365                         opt0->length);
2366             }
2367           opt0 =
2368             (ip6_hop_by_hop_option_t *) (((u8 *) opt0) + opt0->length +
2369                                          sizeof (ip6_hop_by_hop_option_t));
2370           break;
2371         }
2372     }
2373   return s;
2374 }
2375
2376 static u8 *
2377 format_ip6_hop_by_hop_trace (u8 * s, va_list * args)
2378 {
2379   CLIB_UNUSED (vlib_main_t * vm) = va_arg (*args, vlib_main_t *);
2380   CLIB_UNUSED (vlib_node_t * node) = va_arg (*args, vlib_node_t *);
2381   ip6_hop_by_hop_trace_t *t = va_arg (*args, ip6_hop_by_hop_trace_t *);
2382   ip6_hop_by_hop_header_t *hbh0;
2383   ip6_hop_by_hop_option_t *opt0, *limit0;
2384   ip6_hop_by_hop_main_t *hm = &ip6_hop_by_hop_main;
2385
2386   u8 type0;
2387
2388   hbh0 = (ip6_hop_by_hop_header_t *) t->option_data;
2389
2390   s = format (s, "IP6_HOP_BY_HOP: next index %d len %d traced %d",
2391               t->next_index, (hbh0->length + 1) << 3, t->trace_len);
2392
2393   opt0 = (ip6_hop_by_hop_option_t *) (hbh0 + 1);
2394   limit0 = (ip6_hop_by_hop_option_t *) ((u8 *) hbh0) + t->trace_len;
2395
2396   while (opt0 < limit0)
2397     {
2398       type0 = opt0->type;
2399       switch (type0)
2400         {
2401         case 0:         /* Pad, just stop */
2402           opt0 = (ip6_hop_by_hop_option_t *) ((u8 *) opt0) + 1;
2403           break;
2404
2405         default:
2406           if (hm->trace[type0])
2407             {
2408               s = (*hm->trace[type0]) (s, opt0);
2409             }
2410           else
2411             {
2412               s =
2413                 format (s, "\n    unrecognized option %d length %d", type0,
2414                         opt0->length);
2415             }
2416           opt0 =
2417             (ip6_hop_by_hop_option_t *) (((u8 *) opt0) + opt0->length +
2418                                          sizeof (ip6_hop_by_hop_option_t));
2419           break;
2420         }
2421     }
2422   return s;
2423 }
2424
2425 always_inline u8
2426 ip6_scan_hbh_options (vlib_buffer_t * b0,
2427                       ip6_header_t * ip0,
2428                       ip6_hop_by_hop_header_t * hbh0,
2429                       ip6_hop_by_hop_option_t * opt0,
2430                       ip6_hop_by_hop_option_t * limit0, u32 * next0)
2431 {
2432   ip6_hop_by_hop_main_t *hm = &ip6_hop_by_hop_main;
2433   u8 type0;
2434   u8 error0 = 0;
2435
2436   while (opt0 < limit0)
2437     {
2438       type0 = opt0->type;
2439       switch (type0)
2440         {
2441         case 0:         /* Pad1 */
2442           opt0 = (ip6_hop_by_hop_option_t *) ((u8 *) opt0) + 1;
2443           continue;
2444         case 1:         /* PadN */
2445           break;
2446         default:
2447           if (hm->options[type0])
2448             {
2449               if ((*hm->options[type0]) (b0, ip0, opt0) < 0)
2450                 {
2451                   error0 = IP6_HOP_BY_HOP_ERROR_FORMAT;
2452                   return (error0);
2453                 }
2454             }
2455           else
2456             {
2457               /* Unrecognized mandatory option, check the two high order bits */
2458               switch (opt0->type & HBH_OPTION_TYPE_HIGH_ORDER_BITS)
2459                 {
2460                 case HBH_OPTION_TYPE_SKIP_UNKNOWN:
2461                   break;
2462                 case HBH_OPTION_TYPE_DISCARD_UNKNOWN:
2463                   error0 = IP6_HOP_BY_HOP_ERROR_UNKNOWN_OPTION;
2464                   *next0 = IP_LOOKUP_NEXT_DROP;
2465                   break;
2466                 case HBH_OPTION_TYPE_DISCARD_UNKNOWN_ICMP:
2467                   error0 = IP6_HOP_BY_HOP_ERROR_UNKNOWN_OPTION;
2468                   *next0 = IP_LOOKUP_NEXT_ICMP_ERROR;
2469                   icmp6_error_set_vnet_buffer (b0, ICMP6_parameter_problem,
2470                                                ICMP6_parameter_problem_unrecognized_option,
2471                                                (u8 *) opt0 - (u8 *) ip0);
2472                   break;
2473                 case HBH_OPTION_TYPE_DISCARD_UNKNOWN_ICMP_NOT_MCAST:
2474                   error0 = IP6_HOP_BY_HOP_ERROR_UNKNOWN_OPTION;
2475                   if (!ip6_address_is_multicast (&ip0->dst_address))
2476                     {
2477                       *next0 = IP_LOOKUP_NEXT_ICMP_ERROR;
2478                       icmp6_error_set_vnet_buffer (b0,
2479                                                    ICMP6_parameter_problem,
2480                                                    ICMP6_parameter_problem_unrecognized_option,
2481                                                    (u8 *) opt0 - (u8 *) ip0);
2482                     }
2483                   else
2484                     {
2485                       *next0 = IP_LOOKUP_NEXT_DROP;
2486                     }
2487                   break;
2488                 }
2489               return (error0);
2490             }
2491         }
2492       opt0 =
2493         (ip6_hop_by_hop_option_t *) (((u8 *) opt0) + opt0->length +
2494                                      sizeof (ip6_hop_by_hop_option_t));
2495     }
2496   return (error0);
2497 }
2498
2499 /*
2500  * Process the Hop-by-Hop Options header
2501  */
2502 static uword
2503 ip6_hop_by_hop (vlib_main_t * vm,
2504                 vlib_node_runtime_t * node, vlib_frame_t * frame)
2505 {
2506   vlib_node_runtime_t *error_node =
2507     vlib_node_get_runtime (vm, ip6_hop_by_hop_node.index);
2508   ip6_hop_by_hop_main_t *hm = &ip6_hop_by_hop_main;
2509   u32 n_left_from, *from, *to_next;
2510   ip_lookup_next_t next_index;
2511   ip6_main_t *im = &ip6_main;
2512   ip_lookup_main_t *lm = &im->lookup_main;
2513
2514   from = vlib_frame_vector_args (frame);
2515   n_left_from = frame->n_vectors;
2516   next_index = node->cached_next_index;
2517
2518   while (n_left_from > 0)
2519     {
2520       u32 n_left_to_next;
2521
2522       vlib_get_next_frame (vm, node, next_index, to_next, n_left_to_next);
2523
2524       while (n_left_from >= 4 && n_left_to_next >= 2)
2525         {
2526           u32 bi0, bi1;
2527           vlib_buffer_t *b0, *b1;
2528           u32 next0, next1;
2529           ip6_header_t *ip0, *ip1;
2530           ip6_hop_by_hop_header_t *hbh0, *hbh1;
2531           ip6_hop_by_hop_option_t *opt0, *limit0, *opt1, *limit1;
2532           u8 error0 = 0, error1 = 0;
2533
2534           /* Prefetch next iteration. */
2535           {
2536             vlib_buffer_t *p2, *p3;
2537
2538             p2 = vlib_get_buffer (vm, from[2]);
2539             p3 = vlib_get_buffer (vm, from[3]);
2540
2541             vlib_prefetch_buffer_header (p2, LOAD);
2542             vlib_prefetch_buffer_header (p3, LOAD);
2543
2544             CLIB_PREFETCH (p2->data, 2 * CLIB_CACHE_LINE_BYTES, LOAD);
2545             CLIB_PREFETCH (p3->data, 2 * CLIB_CACHE_LINE_BYTES, LOAD);
2546           }
2547
2548           /* Speculatively enqueue b0, b1 to the current next frame */
2549           to_next[0] = bi0 = from[0];
2550           to_next[1] = bi1 = from[1];
2551           from += 2;
2552           to_next += 2;
2553           n_left_from -= 2;
2554           n_left_to_next -= 2;
2555
2556           b0 = vlib_get_buffer (vm, bi0);
2557           b1 = vlib_get_buffer (vm, bi1);
2558
2559           /* Default use the next_index from the adjacency. A HBH option rarely redirects to a different node */
2560           u32 adj_index0 = vnet_buffer (b0)->ip.adj_index[VLIB_TX];
2561           ip_adjacency_t *adj0 = ip_get_adjacency (lm, adj_index0);
2562           u32 adj_index1 = vnet_buffer (b1)->ip.adj_index[VLIB_TX];
2563           ip_adjacency_t *adj1 = ip_get_adjacency (lm, adj_index1);
2564
2565           /* Default use the next_index from the adjacency. A HBH option rarely redirects to a different node */
2566           next0 = adj0->lookup_next_index;
2567           next1 = adj1->lookup_next_index;
2568
2569           ip0 = vlib_buffer_get_current (b0);
2570           ip1 = vlib_buffer_get_current (b1);
2571           hbh0 = (ip6_hop_by_hop_header_t *) (ip0 + 1);
2572           hbh1 = (ip6_hop_by_hop_header_t *) (ip1 + 1);
2573           opt0 = (ip6_hop_by_hop_option_t *) (hbh0 + 1);
2574           opt1 = (ip6_hop_by_hop_option_t *) (hbh1 + 1);
2575           limit0 =
2576             (ip6_hop_by_hop_option_t *) ((u8 *) hbh0 +
2577                                          ((hbh0->length + 1) << 3));
2578           limit1 =
2579             (ip6_hop_by_hop_option_t *) ((u8 *) hbh1 +
2580                                          ((hbh1->length + 1) << 3));
2581
2582           /*
2583            * Basic validity checks
2584            */
2585           if ((hbh0->length + 1) << 3 >
2586               clib_net_to_host_u16 (ip0->payload_length))
2587             {
2588               error0 = IP6_HOP_BY_HOP_ERROR_FORMAT;
2589               next0 = IP_LOOKUP_NEXT_DROP;
2590               goto outdual;
2591             }
2592           /* Scan the set of h-b-h options, process ones that we understand */
2593           error0 = ip6_scan_hbh_options (b0, ip0, hbh0, opt0, limit0, &next0);
2594
2595           if ((hbh1->length + 1) << 3 >
2596               clib_net_to_host_u16 (ip1->payload_length))
2597             {
2598               error1 = IP6_HOP_BY_HOP_ERROR_FORMAT;
2599               next1 = IP_LOOKUP_NEXT_DROP;
2600               goto outdual;
2601             }
2602           /* Scan the set of h-b-h options, process ones that we understand */
2603           error1 = ip6_scan_hbh_options (b1, ip1, hbh1, opt1, limit1, &next1);
2604
2605         outdual:
2606           /* Has the classifier flagged this buffer for special treatment? */
2607           if (PREDICT_FALSE
2608               ((error0 == 0)
2609                && (vnet_buffer (b0)->l2_classify.opaque_index & OI_DECAP)))
2610             next0 = hm->next_override;
2611
2612           /* Has the classifier flagged this buffer for special treatment? */
2613           if (PREDICT_FALSE
2614               ((error1 == 0)
2615                && (vnet_buffer (b1)->l2_classify.opaque_index & OI_DECAP)))
2616             next1 = hm->next_override;
2617
2618           if (PREDICT_FALSE ((node->flags & VLIB_NODE_FLAG_TRACE)))
2619             {
2620               if (b0->flags & VLIB_BUFFER_IS_TRACED)
2621                 {
2622                   ip6_hop_by_hop_trace_t *t =
2623                     vlib_add_trace (vm, node, b0, sizeof (*t));
2624                   u32 trace_len = (hbh0->length + 1) << 3;
2625                   t->next_index = next0;
2626                   /* Capture the h-b-h option verbatim */
2627                   trace_len =
2628                     trace_len <
2629                     ARRAY_LEN (t->option_data) ? trace_len :
2630                     ARRAY_LEN (t->option_data);
2631                   t->trace_len = trace_len;
2632                   clib_memcpy (t->option_data, hbh0, trace_len);
2633                 }
2634               if (b1->flags & VLIB_BUFFER_IS_TRACED)
2635                 {
2636                   ip6_hop_by_hop_trace_t *t =
2637                     vlib_add_trace (vm, node, b1, sizeof (*t));
2638                   u32 trace_len = (hbh1->length + 1) << 3;
2639                   t->next_index = next1;
2640                   /* Capture the h-b-h option verbatim */
2641                   trace_len =
2642                     trace_len <
2643                     ARRAY_LEN (t->option_data) ? trace_len :
2644                     ARRAY_LEN (t->option_data);
2645                   t->trace_len = trace_len;
2646                   clib_memcpy (t->option_data, hbh1, trace_len);
2647                 }
2648
2649             }
2650
2651           b0->error = error_node->errors[error0];
2652           b1->error = error_node->errors[error1];
2653
2654           /* verify speculative enqueue, maybe switch current next frame */
2655           vlib_validate_buffer_enqueue_x2 (vm, node, next_index, to_next,
2656                                            n_left_to_next, bi0, bi1, next0,
2657                                            next1);
2658         }
2659
2660       while (n_left_from > 0 && n_left_to_next > 0)
2661         {
2662           u32 bi0;
2663           vlib_buffer_t *b0;
2664           u32 next0;
2665           ip6_header_t *ip0;
2666           ip6_hop_by_hop_header_t *hbh0;
2667           ip6_hop_by_hop_option_t *opt0, *limit0;
2668           u8 error0 = 0;
2669
2670           /* Speculatively enqueue b0 to the current next frame */
2671           bi0 = from[0];
2672           to_next[0] = bi0;
2673           from += 1;
2674           to_next += 1;
2675           n_left_from -= 1;
2676           n_left_to_next -= 1;
2677
2678           b0 = vlib_get_buffer (vm, bi0);
2679           /*
2680            * Default use the next_index from the adjacency.
2681            * A HBH option rarely redirects to a different node
2682            */
2683           u32 adj_index0 = vnet_buffer (b0)->ip.adj_index[VLIB_TX];
2684           ip_adjacency_t *adj0 = ip_get_adjacency (lm, adj_index0);
2685           next0 = adj0->lookup_next_index;
2686
2687           ip0 = vlib_buffer_get_current (b0);
2688           hbh0 = (ip6_hop_by_hop_header_t *) (ip0 + 1);
2689           opt0 = (ip6_hop_by_hop_option_t *) (hbh0 + 1);
2690           limit0 =
2691             (ip6_hop_by_hop_option_t *) ((u8 *) hbh0 +
2692                                          ((hbh0->length + 1) << 3));
2693
2694           /*
2695            * Basic validity checks
2696            */
2697           if ((hbh0->length + 1) << 3 >
2698               clib_net_to_host_u16 (ip0->payload_length))
2699             {
2700               error0 = IP6_HOP_BY_HOP_ERROR_FORMAT;
2701               next0 = IP_LOOKUP_NEXT_DROP;
2702               goto out0;
2703             }
2704
2705           /* Scan the set of h-b-h options, process ones that we understand */
2706           error0 = ip6_scan_hbh_options (b0, ip0, hbh0, opt0, limit0, &next0);
2707
2708         out0:
2709           /* Has the classifier flagged this buffer for special treatment? */
2710           if (PREDICT_FALSE
2711               ((error0 == 0)
2712                && (vnet_buffer (b0)->l2_classify.opaque_index & OI_DECAP)))
2713             next0 = hm->next_override;
2714
2715           if (PREDICT_FALSE (b0->flags & VLIB_BUFFER_IS_TRACED))
2716             {
2717               ip6_hop_by_hop_trace_t *t =
2718                 vlib_add_trace (vm, node, b0, sizeof (*t));
2719               u32 trace_len = (hbh0->length + 1) << 3;
2720               t->next_index = next0;
2721               /* Capture the h-b-h option verbatim */
2722               trace_len =
2723                 trace_len <
2724                 ARRAY_LEN (t->option_data) ? trace_len :
2725                 ARRAY_LEN (t->option_data);
2726               t->trace_len = trace_len;
2727               clib_memcpy (t->option_data, hbh0, trace_len);
2728             }
2729
2730           b0->error = error_node->errors[error0];
2731
2732           /* verify speculative enqueue, maybe switch current next frame */
2733           vlib_validate_buffer_enqueue_x1 (vm, node, next_index, to_next,
2734                                            n_left_to_next, bi0, next0);
2735         }
2736       vlib_put_next_frame (vm, node, next_index, n_left_to_next);
2737     }
2738   return frame->n_vectors;
2739 }
2740
2741 /* *INDENT-OFF* */
2742 VLIB_REGISTER_NODE (ip6_hop_by_hop_node) =
2743 {
2744   .function = ip6_hop_by_hop,
2745   .name = "ip6-hop-by-hop",
2746   .sibling_of = "ip6-lookup",
2747   .vector_size = sizeof (u32),
2748   .format_trace = format_ip6_hop_by_hop_trace,
2749   .type = VLIB_NODE_TYPE_INTERNAL,
2750   .n_errors = ARRAY_LEN (ip6_hop_by_hop_error_strings),
2751   .error_strings = ip6_hop_by_hop_error_strings,
2752   .n_next_nodes = 0,
2753 };
2754 /* *INDENT-ON* */
2755
2756 VLIB_NODE_FUNCTION_MULTIARCH (ip6_hop_by_hop_node, ip6_hop_by_hop);
2757
2758 static clib_error_t *
2759 ip6_hop_by_hop_init (vlib_main_t * vm)
2760 {
2761   ip6_hop_by_hop_main_t *hm = &ip6_hop_by_hop_main;
2762   memset (hm->options, 0, sizeof (hm->options));
2763   memset (hm->trace, 0, sizeof (hm->trace));
2764   hm->next_override = IP6_LOOKUP_NEXT_POP_HOP_BY_HOP;
2765   return (0);
2766 }
2767
2768 VLIB_INIT_FUNCTION (ip6_hop_by_hop_init);
2769
2770 void
2771 ip6_hbh_set_next_override (uword next)
2772 {
2773   ip6_hop_by_hop_main_t *hm = &ip6_hop_by_hop_main;
2774
2775   hm->next_override = next;
2776 }
2777
2778 int
2779 ip6_hbh_register_option (u8 option,
2780                          int options (vlib_buffer_t * b, ip6_header_t * ip,
2781                                       ip6_hop_by_hop_option_t * opt),
2782                          u8 * trace (u8 * s, ip6_hop_by_hop_option_t * opt))
2783 {
2784   ip6_main_t *im = &ip6_main;
2785   ip6_hop_by_hop_main_t *hm = &ip6_hop_by_hop_main;
2786
2787   ASSERT (option < ARRAY_LEN (hm->options));
2788
2789   /* Already registered */
2790   if (hm->options[option])
2791     return (-1);
2792
2793   hm->options[option] = options;
2794   hm->trace[option] = trace;
2795
2796   /* Set global variable */
2797   im->hbh_enabled = 1;
2798
2799   return (0);
2800 }
2801
2802 int
2803 ip6_hbh_unregister_option (u8 option)
2804 {
2805   ip6_main_t *im = &ip6_main;
2806   ip6_hop_by_hop_main_t *hm = &ip6_hop_by_hop_main;
2807
2808   ASSERT (option < ARRAY_LEN (hm->options));
2809
2810   /* Not registered */
2811   if (!hm->options[option])
2812     return (-1);
2813
2814   hm->options[option] = NULL;
2815   hm->trace[option] = NULL;
2816
2817   /* Disable global knob if this was the last option configured */
2818   int i;
2819   bool found = false;
2820   for (i = 0; i < 256; i++)
2821     {
2822       if (hm->options[option])
2823         {
2824           found = true;
2825           break;
2826         }
2827     }
2828   if (!found)
2829     im->hbh_enabled = 0;
2830
2831   return (0);
2832 }
2833
2834 /* Global IP6 main. */
2835 ip6_main_t ip6_main;
2836
2837 static clib_error_t *
2838 ip6_lookup_init (vlib_main_t * vm)
2839 {
2840   ip6_main_t *im = &ip6_main;
2841   clib_error_t *error;
2842   uword i;
2843
2844   if ((error = vlib_call_init_function (vm, vnet_feature_init)))
2845     return error;
2846
2847   for (i = 0; i < ARRAY_LEN (im->fib_masks); i++)
2848     {
2849       u32 j, i0, i1;
2850
2851       i0 = i / 32;
2852       i1 = i % 32;
2853
2854       for (j = 0; j < i0; j++)
2855         im->fib_masks[i].as_u32[j] = ~0;
2856
2857       if (i1)
2858         im->fib_masks[i].as_u32[i0] =
2859           clib_host_to_net_u32 (pow2_mask (i1) << (32 - i1));
2860     }
2861
2862   ip_lookup_init (&im->lookup_main, /* is_ip6 */ 1);
2863
2864   if (im->lookup_table_nbuckets == 0)
2865     im->lookup_table_nbuckets = IP6_FIB_DEFAULT_HASH_NUM_BUCKETS;
2866
2867   im->lookup_table_nbuckets = 1 << max_log2 (im->lookup_table_nbuckets);
2868
2869   if (im->lookup_table_size == 0)
2870     im->lookup_table_size = IP6_FIB_DEFAULT_HASH_MEMORY_SIZE;
2871
2872   BV (clib_bihash_init) (&(im->ip6_table[IP6_FIB_TABLE_FWDING].ip6_hash),
2873                          "ip6 FIB fwding table",
2874                          im->lookup_table_nbuckets, im->lookup_table_size);
2875   BV (clib_bihash_init) (&im->ip6_table[IP6_FIB_TABLE_NON_FWDING].ip6_hash,
2876                          "ip6 FIB non-fwding table",
2877                          im->lookup_table_nbuckets, im->lookup_table_size);
2878
2879   /* Create FIB with index 0 and table id of 0. */
2880   fib_table_find_or_create_and_lock (FIB_PROTOCOL_IP6, 0);
2881   mfib_table_find_or_create_and_lock (FIB_PROTOCOL_IP6, 0);
2882
2883   {
2884     pg_node_t *pn;
2885     pn = pg_get_node (ip6_lookup_node.index);
2886     pn->unformat_edit = unformat_pg_ip6_header;
2887   }
2888
2889   /* Unless explicitly configured, don't process HBH options */
2890   im->hbh_enabled = 0;
2891
2892   {
2893     icmp6_neighbor_solicitation_header_t p;
2894
2895     memset (&p, 0, sizeof (p));
2896
2897     p.ip.ip_version_traffic_class_and_flow_label =
2898       clib_host_to_net_u32 (0x6 << 28);
2899     p.ip.payload_length =
2900       clib_host_to_net_u16 (sizeof (p) -
2901                             STRUCT_OFFSET_OF
2902                             (icmp6_neighbor_solicitation_header_t, neighbor));
2903     p.ip.protocol = IP_PROTOCOL_ICMP6;
2904     p.ip.hop_limit = 255;
2905     ip6_set_solicited_node_multicast_address (&p.ip.dst_address, 0);
2906
2907     p.neighbor.icmp.type = ICMP6_neighbor_solicitation;
2908
2909     p.link_layer_option.header.type =
2910       ICMP6_NEIGHBOR_DISCOVERY_OPTION_source_link_layer_address;
2911     p.link_layer_option.header.n_data_u64s =
2912       sizeof (p.link_layer_option) / sizeof (u64);
2913
2914     vlib_packet_template_init (vm,
2915                                &im->discover_neighbor_packet_template,
2916                                &p, sizeof (p),
2917                                /* alloc chunk size */ 8,
2918                                "ip6 neighbor discovery");
2919   }
2920
2921   return error;
2922 }
2923
2924 VLIB_INIT_FUNCTION (ip6_lookup_init);
2925
2926 static clib_error_t *
2927 add_del_ip6_interface_table (vlib_main_t * vm,
2928                              unformat_input_t * input,
2929                              vlib_cli_command_t * cmd)
2930 {
2931   vnet_main_t *vnm = vnet_get_main ();
2932   ip_interface_address_t *ia;
2933   clib_error_t *error = 0;
2934   u32 sw_if_index, table_id;
2935
2936   sw_if_index = ~0;
2937
2938   if (!unformat_user (input, unformat_vnet_sw_interface, vnm, &sw_if_index))
2939     {
2940       error = clib_error_return (0, "unknown interface `%U'",
2941                                  format_unformat_error, input);
2942       goto done;
2943     }
2944
2945   if (unformat (input, "%d", &table_id))
2946     ;
2947   else
2948     {
2949       error = clib_error_return (0, "expected table id `%U'",
2950                                  format_unformat_error, input);
2951       goto done;
2952     }
2953
2954   /*
2955    * If the interface already has in IP address, then a change int
2956    * VRF is not allowed. The IP address applied must first be removed.
2957    * We do not do that automatically here, since VPP has no knowledge
2958    * of whether thoses subnets are valid in the destination VRF.
2959    */
2960   /* *INDENT-OFF* */
2961   foreach_ip_interface_address (&ip6_main.lookup_main,
2962                                 ia, sw_if_index,
2963                                 1 /* honor unnumbered */,
2964   ({
2965       ip4_address_t * a;
2966
2967       a = ip_interface_address_get_address (&ip6_main.lookup_main, ia);
2968       error = clib_error_return (0, "interface %U has address %U",
2969                                  format_vnet_sw_if_index_name, vnm,
2970                                  sw_if_index,
2971                                  format_ip6_address, a);
2972       goto done;
2973   }));
2974   /* *INDENT-ON* */
2975
2976   {
2977     u32 fib_index = fib_table_find_or_create_and_lock (FIB_PROTOCOL_IP6,
2978                                                        table_id);
2979
2980     vec_validate (ip6_main.fib_index_by_sw_if_index, sw_if_index);
2981     ip6_main.fib_index_by_sw_if_index[sw_if_index] = fib_index;
2982
2983     fib_index = mfib_table_find_or_create_and_lock (FIB_PROTOCOL_IP6,
2984                                                     table_id);
2985
2986     vec_validate (ip6_main.mfib_index_by_sw_if_index, sw_if_index);
2987     ip6_main.mfib_index_by_sw_if_index[sw_if_index] = fib_index;
2988   }
2989
2990
2991 done:
2992   return error;
2993 }
2994
2995 /*?
2996  * Place the indicated interface into the supplied IPv6 FIB table (also known
2997  * as a VRF). If the FIB table does not exist, this command creates it. To
2998  * display the current IPv6 FIB table, use the command '<em>show ip6 fib</em>'.
2999  * FIB table will only be displayed if a route has been added to the table, or
3000  * an IP Address is assigned to an interface in the table (which adds a route
3001  * automatically).
3002  *
3003  * @note IP addresses added after setting the interface IP table are added to
3004  * the indicated FIB table. If an IP address is added prior to changing the
3005  * table then this is an error. The control plane must remove these addresses
3006  * first and then change the table. VPP will not automatically move the
3007  * addresses from the old to the new table as it does not know the validity
3008  * of such a change.
3009  *
3010  * @cliexpar
3011  * Example of how to add an interface to an IPv6 FIB table (where 2 is the table-id):
3012  * @cliexcmd{set interface ip6 table GigabitEthernet2/0/0 2}
3013  ?*/
3014 /* *INDENT-OFF* */
3015 VLIB_CLI_COMMAND (set_interface_ip6_table_command, static) =
3016 {
3017   .path = "set interface ip6 table",
3018   .function = add_del_ip6_interface_table,
3019   .short_help = "set interface ip6 table <interface> <table-id>"
3020 };
3021 /* *INDENT-ON* */
3022
3023 void
3024 ip6_link_local_address_from_ethernet_mac_address (ip6_address_t * ip,
3025                                                   u8 * mac)
3026 {
3027   ip->as_u64[0] = clib_host_to_net_u64 (0xFE80000000000000ULL);
3028   /* Invert the "u" bit */
3029   ip->as_u8[8] = mac[0] ^ (1 << 1);
3030   ip->as_u8[9] = mac[1];
3031   ip->as_u8[10] = mac[2];
3032   ip->as_u8[11] = 0xFF;
3033   ip->as_u8[12] = 0xFE;
3034   ip->as_u8[13] = mac[3];
3035   ip->as_u8[14] = mac[4];
3036   ip->as_u8[15] = mac[5];
3037 }
3038
3039 void
3040 ip6_ethernet_mac_address_from_link_local_address (u8 * mac,
3041                                                   ip6_address_t * ip)
3042 {
3043   /* Invert the previously inverted "u" bit */
3044   mac[0] = ip->as_u8[8] ^ (1 << 1);
3045   mac[1] = ip->as_u8[9];
3046   mac[2] = ip->as_u8[10];
3047   mac[3] = ip->as_u8[13];
3048   mac[4] = ip->as_u8[14];
3049   mac[5] = ip->as_u8[15];
3050 }
3051
3052 static clib_error_t *
3053 test_ip6_link_command_fn (vlib_main_t * vm,
3054                           unformat_input_t * input, vlib_cli_command_t * cmd)
3055 {
3056   u8 mac[6];
3057   ip6_address_t _a, *a = &_a;
3058
3059   if (unformat (input, "%U", unformat_ethernet_address, mac))
3060     {
3061       ip6_link_local_address_from_ethernet_mac_address (a, mac);
3062       vlib_cli_output (vm, "Link local address: %U", format_ip6_address, a);
3063       ip6_ethernet_mac_address_from_link_local_address (mac, a);
3064       vlib_cli_output (vm, "Original MAC address: %U",
3065                        format_ethernet_address, mac);
3066     }
3067
3068   return 0;
3069 }
3070
3071 /*?
3072  * This command converts the given MAC Address into an IPv6 link-local
3073  * address.
3074  *
3075  * @cliexpar
3076  * Example of how to create an IPv6 link-local address:
3077  * @cliexstart{test ip6 link 16:d9:e0:91:79:86}
3078  * Link local address: fe80::14d9:e0ff:fe91:7986
3079  * Original MAC address: 16:d9:e0:91:79:86
3080  * @cliexend
3081 ?*/
3082 /* *INDENT-OFF* */
3083 VLIB_CLI_COMMAND (test_link_command, static) =
3084 {
3085   .path = "test ip6 link",
3086   .function = test_ip6_link_command_fn,
3087   .short_help = "test ip6 link <mac-address>",
3088 };
3089 /* *INDENT-ON* */
3090
3091 int
3092 vnet_set_ip6_flow_hash (u32 table_id, u32 flow_hash_config)
3093 {
3094   ip6_main_t *im6 = &ip6_main;
3095   ip6_fib_t *fib;
3096   uword *p = hash_get (im6->fib_index_by_table_id, table_id);
3097
3098   if (p == 0)
3099     return -1;
3100
3101   fib = ip6_fib_get (p[0]);
3102
3103   fib->flow_hash_config = flow_hash_config;
3104   return 1;
3105 }
3106
3107 static clib_error_t *
3108 set_ip6_flow_hash_command_fn (vlib_main_t * vm,
3109                               unformat_input_t * input,
3110                               vlib_cli_command_t * cmd)
3111 {
3112   int matched = 0;
3113   u32 table_id = 0;
3114   u32 flow_hash_config = 0;
3115   int rv;
3116
3117   while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
3118     {
3119       if (unformat (input, "table %d", &table_id))
3120         matched = 1;
3121 #define _(a,v) \
3122     else if (unformat (input, #a)) { flow_hash_config |= v; matched=1;}
3123       foreach_flow_hash_bit
3124 #undef _
3125         else
3126         break;
3127     }
3128
3129   if (matched == 0)
3130     return clib_error_return (0, "unknown input `%U'",
3131                               format_unformat_error, input);
3132
3133   rv = vnet_set_ip6_flow_hash (table_id, flow_hash_config);
3134   switch (rv)
3135     {
3136     case 1:
3137       break;
3138
3139     case -1:
3140       return clib_error_return (0, "no such FIB table %d", table_id);
3141
3142     default:
3143       clib_warning ("BUG: illegal flow hash config 0x%x", flow_hash_config);
3144       break;
3145     }
3146
3147   return 0;
3148 }
3149
3150 /*?
3151  * Configure the set of IPv6 fields used by the flow hash.
3152  *
3153  * @cliexpar
3154  * @parblock
3155  * Example of how to set the flow hash on a given table:
3156  * @cliexcmd{set ip6 flow-hash table 8 dst sport dport proto}
3157  *
3158  * Example of display the configured flow hash:
3159  * @cliexstart{show ip6 fib}
3160  * ipv6-VRF:0, fib_index 0, flow hash: src dst sport dport proto
3161  * @::/0
3162  *   unicast-ip6-chain
3163  *   [@0]: dpo-load-balance: [index:5 buckets:1 uRPF:5 to:[0:0]]
3164  *     [0] [@0]: dpo-drop ip6
3165  * fe80::/10
3166  *   unicast-ip6-chain
3167  *   [@0]: dpo-load-balance: [index:10 buckets:1 uRPF:10 to:[0:0]]
3168  *     [0] [@2]: dpo-receive
3169  * ff02::1/128
3170  *   unicast-ip6-chain
3171  *   [@0]: dpo-load-balance: [index:8 buckets:1 uRPF:8 to:[0:0]]
3172  *     [0] [@2]: dpo-receive
3173  * ff02::2/128
3174  *   unicast-ip6-chain
3175  *   [@0]: dpo-load-balance: [index:7 buckets:1 uRPF:7 to:[0:0]]
3176  *     [0] [@2]: dpo-receive
3177  * ff02::16/128
3178  *   unicast-ip6-chain
3179  *   [@0]: dpo-load-balance: [index:9 buckets:1 uRPF:9 to:[0:0]]
3180  *     [0] [@2]: dpo-receive
3181  * ff02::1:ff00:0/104
3182  *   unicast-ip6-chain
3183  *   [@0]: dpo-load-balance: [index:6 buckets:1 uRPF:6 to:[0:0]]
3184  *     [0] [@2]: dpo-receive
3185  * ipv6-VRF:8, fib_index 1, flow hash: dst sport dport proto
3186  * @::/0
3187  *   unicast-ip6-chain
3188  *   [@0]: dpo-load-balance: [index:21 buckets:1 uRPF:20 to:[0:0]]
3189  *     [0] [@0]: dpo-drop ip6
3190  * @::a:1:1:0:4/126
3191  *   unicast-ip6-chain
3192  *   [@0]: dpo-load-balance: [index:27 buckets:1 uRPF:26 to:[0:0]]
3193  *     [0] [@4]: ipv6-glean: af_packet0
3194  * @::a:1:1:0:7/128
3195  *   unicast-ip6-chain
3196  *   [@0]: dpo-load-balance: [index:28 buckets:1 uRPF:27 to:[0:0]]
3197  *     [0] [@2]: dpo-receive: @::a:1:1:0:7 on af_packet0
3198  * fe80::/10
3199  *   unicast-ip6-chain
3200  *   [@0]: dpo-load-balance: [index:26 buckets:1 uRPF:25 to:[0:0]]
3201  *     [0] [@2]: dpo-receive
3202  * fe80::fe:3eff:fe3e:9222/128
3203  *   unicast-ip6-chain
3204  *   [@0]: dpo-load-balance: [index:29 buckets:1 uRPF:28 to:[0:0]]
3205  *     [0] [@2]: dpo-receive: fe80::fe:3eff:fe3e:9222 on af_packet0
3206  * ff02::1/128
3207  *   unicast-ip6-chain
3208  *   [@0]: dpo-load-balance: [index:24 buckets:1 uRPF:23 to:[0:0]]
3209  *     [0] [@2]: dpo-receive
3210  * ff02::2/128
3211  *   unicast-ip6-chain
3212  *   [@0]: dpo-load-balance: [index:23 buckets:1 uRPF:22 to:[0:0]]
3213  *     [0] [@2]: dpo-receive
3214  * ff02::16/128
3215  *   unicast-ip6-chain
3216  *   [@0]: dpo-load-balance: [index:25 buckets:1 uRPF:24 to:[0:0]]
3217  *     [0] [@2]: dpo-receive
3218  * ff02::1:ff00:0/104
3219  *   unicast-ip6-chain
3220  *   [@0]: dpo-load-balance: [index:22 buckets:1 uRPF:21 to:[0:0]]
3221  *     [0] [@2]: dpo-receive
3222  * @cliexend
3223  * @endparblock
3224 ?*/
3225 /* *INDENT-OFF* */
3226 VLIB_CLI_COMMAND (set_ip6_flow_hash_command, static) =
3227 {
3228   .path = "set ip6 flow-hash",
3229   .short_help =
3230   "set ip6 flow-hash table <table-id> [src] [dst] [sport] [dport] [proto] [reverse]",
3231   .function = set_ip6_flow_hash_command_fn,
3232 };
3233 /* *INDENT-ON* */
3234
3235 static clib_error_t *
3236 show_ip6_local_command_fn (vlib_main_t * vm,
3237                            unformat_input_t * input, vlib_cli_command_t * cmd)
3238 {
3239   ip6_main_t *im = &ip6_main;
3240   ip_lookup_main_t *lm = &im->lookup_main;
3241   int i;
3242
3243   vlib_cli_output (vm, "Protocols handled by ip6_local");
3244   for (i = 0; i < ARRAY_LEN (lm->local_next_by_ip_protocol); i++)
3245     {
3246       if (lm->local_next_by_ip_protocol[i] != IP_LOCAL_NEXT_PUNT)
3247         vlib_cli_output (vm, "%d", i);
3248     }
3249   return 0;
3250 }
3251
3252
3253
3254 /*?
3255  * Display the set of protocols handled by the local IPv6 stack.
3256  *
3257  * @cliexpar
3258  * Example of how to display local protocol table:
3259  * @cliexstart{show ip6 local}
3260  * Protocols handled by ip6_local
3261  * 17
3262  * 43
3263  * 58
3264  * 115
3265  * @cliexend
3266 ?*/
3267 /* *INDENT-OFF* */
3268 VLIB_CLI_COMMAND (show_ip6_local, static) =
3269 {
3270   .path = "show ip6 local",
3271   .function = show_ip6_local_command_fn,
3272   .short_help = "show ip6 local",
3273 };
3274 /* *INDENT-ON* */
3275
3276 int
3277 vnet_set_ip6_classify_intfc (vlib_main_t * vm, u32 sw_if_index,
3278                              u32 table_index)
3279 {
3280   vnet_main_t *vnm = vnet_get_main ();
3281   vnet_interface_main_t *im = &vnm->interface_main;
3282   ip6_main_t *ipm = &ip6_main;
3283   ip_lookup_main_t *lm = &ipm->lookup_main;
3284   vnet_classify_main_t *cm = &vnet_classify_main;
3285   ip6_address_t *if_addr;
3286
3287   if (pool_is_free_index (im->sw_interfaces, sw_if_index))
3288     return VNET_API_ERROR_NO_MATCHING_INTERFACE;
3289
3290   if (table_index != ~0 && pool_is_free_index (cm->tables, table_index))
3291     return VNET_API_ERROR_NO_SUCH_ENTRY;
3292
3293   vec_validate (lm->classify_table_index_by_sw_if_index, sw_if_index);
3294   lm->classify_table_index_by_sw_if_index[sw_if_index] = table_index;
3295
3296   if_addr = ip6_interface_first_address (ipm, sw_if_index);
3297
3298   if (NULL != if_addr)
3299     {
3300       fib_prefix_t pfx = {
3301         .fp_len = 128,
3302         .fp_proto = FIB_PROTOCOL_IP6,
3303         .fp_addr.ip6 = *if_addr,
3304       };
3305       u32 fib_index;
3306
3307       fib_index = fib_table_get_index_for_sw_if_index (FIB_PROTOCOL_IP4,
3308                                                        sw_if_index);
3309
3310
3311       if (table_index != (u32) ~ 0)
3312         {
3313           dpo_id_t dpo = DPO_INVALID;
3314
3315           dpo_set (&dpo,
3316                    DPO_CLASSIFY,
3317                    DPO_PROTO_IP6,
3318                    classify_dpo_create (DPO_PROTO_IP6, table_index));
3319
3320           fib_table_entry_special_dpo_add (fib_index,
3321                                            &pfx,
3322                                            FIB_SOURCE_CLASSIFY,
3323                                            FIB_ENTRY_FLAG_NONE, &dpo);
3324           dpo_reset (&dpo);
3325         }
3326       else
3327         {
3328           fib_table_entry_special_remove (fib_index,
3329                                           &pfx, FIB_SOURCE_CLASSIFY);
3330         }
3331     }
3332
3333   return 0;
3334 }
3335
3336 static clib_error_t *
3337 set_ip6_classify_command_fn (vlib_main_t * vm,
3338                              unformat_input_t * input,
3339                              vlib_cli_command_t * cmd)
3340 {
3341   u32 table_index = ~0;
3342   int table_index_set = 0;
3343   u32 sw_if_index = ~0;
3344   int rv;
3345
3346   while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
3347     {
3348       if (unformat (input, "table-index %d", &table_index))
3349         table_index_set = 1;
3350       else if (unformat (input, "intfc %U", unformat_vnet_sw_interface,
3351                          vnet_get_main (), &sw_if_index))
3352         ;
3353       else
3354         break;
3355     }
3356
3357   if (table_index_set == 0)
3358     return clib_error_return (0, "classify table-index must be specified");
3359
3360   if (sw_if_index == ~0)
3361     return clib_error_return (0, "interface / subif must be specified");
3362
3363   rv = vnet_set_ip6_classify_intfc (vm, sw_if_index, table_index);
3364
3365   switch (rv)
3366     {
3367     case 0:
3368       break;
3369
3370     case VNET_API_ERROR_NO_MATCHING_INTERFACE:
3371       return clib_error_return (0, "No such interface");
3372
3373     case VNET_API_ERROR_NO_SUCH_ENTRY:
3374       return clib_error_return (0, "No such classifier table");
3375     }
3376   return 0;
3377 }
3378
3379 /*?
3380  * Assign a classification table to an interface. The classification
3381  * table is created using the '<em>classify table</em>' and '<em>classify session</em>'
3382  * commands. Once the table is create, use this command to filter packets
3383  * on an interface.
3384  *
3385  * @cliexpar
3386  * Example of how to assign a classification table to an interface:
3387  * @cliexcmd{set ip6 classify intfc GigabitEthernet2/0/0 table-index 1}
3388 ?*/
3389 /* *INDENT-OFF* */
3390 VLIB_CLI_COMMAND (set_ip6_classify_command, static) =
3391 {
3392   .path = "set ip6 classify",
3393   .short_help =
3394   "set ip6 classify intfc <interface> table-index <classify-idx>",
3395   .function = set_ip6_classify_command_fn,
3396 };
3397 /* *INDENT-ON* */
3398
3399 static clib_error_t *
3400 ip6_config (vlib_main_t * vm, unformat_input_t * input)
3401 {
3402   ip6_main_t *im = &ip6_main;
3403   uword heapsize = 0;
3404   u32 tmp;
3405   u32 nbuckets = 0;
3406
3407   while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
3408     {
3409       if (unformat (input, "hash-buckets %d", &tmp))
3410         nbuckets = tmp;
3411       else if (unformat (input, "heap-size %dm", &tmp))
3412         heapsize = ((u64) tmp) << 20;
3413       else if (unformat (input, "heap-size %dM", &tmp))
3414         heapsize = ((u64) tmp) << 20;
3415       else if (unformat (input, "heap-size %dg", &tmp))
3416         heapsize = ((u64) tmp) << 30;
3417       else if (unformat (input, "heap-size %dG", &tmp))
3418         heapsize = ((u64) tmp) << 30;
3419       else
3420         return clib_error_return (0, "unknown input '%U'",
3421                                   format_unformat_error, input);
3422     }
3423
3424   im->lookup_table_nbuckets = nbuckets;
3425   im->lookup_table_size = heapsize;
3426
3427   return 0;
3428 }
3429
3430 VLIB_EARLY_CONFIG_FUNCTION (ip6_config, "ip6");
3431
3432 /*
3433  * fd.io coding-style-patch-verification: ON
3434  *
3435  * Local Variables:
3436  * eval: (c-set-style "gnu")
3437  * End:
3438  */