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