Remove c-11 memcpy checks from perf-critical code
[vpp.git] / src / plugins / map / map.h
1 /*
2  * Copyright (c) 2015 Cisco and/or its affiliates.
3  * Licensed under the Apache License, Version 2.0 (the "License");
4  * you may not use this file except in compliance with the License.
5  * You may obtain a copy of the License at:
6  *
7  *     http://www.apache.org/licenses/LICENSE-2.0
8  *
9  * Unless required by applicable law or agreed to in writing, software
10  * distributed under the License is distributed on an "AS IS" BASIS,
11  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12  * See the License for the specific language governing permissions and
13  * limitations under the License.
14  */
15 #include <stdbool.h>
16 #include <vppinfra/error.h>
17 #include <vnet/vnet.h>
18 #include <vnet/ip/ip.h>
19 #include <vlib/vlib.h>
20 #include <vnet/fib/fib_types.h>
21 #include <vnet/fib/ip4_fib.h>
22 #include <vnet/adj/adj.h>
23 #include <map/map_dpo.h>
24 #include <vnet/dpo/load_balance.h>
25
26 #define MAP_SKIP_IP6_LOOKUP 1
27
28 int map_create_domain (ip4_address_t * ip4_prefix, u8 ip4_prefix_len,
29                        ip6_address_t * ip6_prefix, u8 ip6_prefix_len,
30                        ip6_address_t * ip6_src, u8 ip6_src_len,
31                        u8 ea_bits_len, u8 psid_offset, u8 psid_length,
32                        u32 * map_domain_index, u16 mtu, u8 flags);
33 int map_delete_domain (u32 map_domain_index);
34 int map_add_del_psid (u32 map_domain_index, u16 psid, ip6_address_t * tep,
35                       u8 is_add);
36 u8 *format_map_trace (u8 * s, va_list * args);
37
38 typedef enum
39 {
40   MAP_DOMAIN_PREFIX = 1 << 0,
41   MAP_DOMAIN_TRANSLATION = 1 << 1,      // The domain uses MAP-T
42   MAP_DOMAIN_RFC6052 = 1 << 2,
43 } __attribute__ ((__packed__)) map_domain_flags_e;
44
45 /**
46  * IP4 reassembly logic:
47  * One virtually reassembled flow requires a map_ip4_reass_t structure in order
48  * to keep the first-fragment port number and, optionally, cache out of sequence
49  * packets.
50  * There are up to MAP_IP4_REASS_MAX_REASSEMBLY such structures.
51  * When in use, those structures are stored in a hash table of MAP_IP4_REASS_BUCKETS buckets.
52  * When a new structure needs to be used, it is allocated from available ones.
53  * If there is no structure available, the oldest in use is selected and used if and
54  * only if it was first allocated more than MAP_IP4_REASS_LIFETIME seconds ago.
55  * In case no structure can be allocated, the fragment is dropped.
56  */
57
58 #define MAP_IP4_REASS_LIFETIME_DEFAULT (100)    /* ms */
59 #define MAP_IP4_REASS_HT_RATIO_DEFAULT (1.0)
60 #define MAP_IP4_REASS_POOL_SIZE_DEFAULT 1024    // Number of reassembly structures
61 #define MAP_IP4_REASS_BUFFERS_DEFAULT 2048
62
63 #define MAP_IP4_REASS_MAX_FRAGMENTS_PER_REASSEMBLY 5    // Number of fragment per reassembly
64
65 #define MAP_IP6_REASS_LIFETIME_DEFAULT (100)    /* ms */
66 #define MAP_IP6_REASS_HT_RATIO_DEFAULT (1.0)
67 #define MAP_IP6_REASS_POOL_SIZE_DEFAULT 1024    // Number of reassembly structures
68 #define MAP_IP6_REASS_BUFFERS_DEFAULT 2048
69
70 #define MAP_IP6_REASS_MAX_FRAGMENTS_PER_REASSEMBLY 5
71
72 #define MAP_IP6_REASS_COUNT_BYTES
73 #define MAP_IP4_REASS_COUNT_BYTES
74
75 //#define IP6_MAP_T_OVERRIDE_TOS 0
76
77 /*
78  * This structure _MUST_ be no larger than a single cache line (64 bytes).
79  * If more space is needed make a union of ip6_prefix and *rules, those are mutually exclusive.
80  */
81 typedef struct
82 {
83   /* Required for pool_get_aligned */
84   CLIB_CACHE_LINE_ALIGN_MARK (cacheline0);
85   ip6_address_t ip6_src;
86   ip6_address_t ip6_prefix;
87   ip6_address_t *rules;
88   u32 suffix_mask;
89   ip4_address_t ip4_prefix;
90   u16 psid_mask;
91   u16 mtu;
92   map_domain_flags_e flags;
93   u8 ip6_prefix_len;
94   u8 ip6_src_len;
95   u8 ea_bits_len;
96   u8 psid_offset;
97   u8 psid_length;
98
99   /* helpers */
100   u8 psid_shift;
101   u8 suffix_shift;
102   u8 ea_shift;
103
104   /* not used by forwarding */
105   u8 ip4_prefix_len;
106 } map_domain_t;
107
108 STATIC_ASSERT ((sizeof (map_domain_t) <= CLIB_CACHE_LINE_BYTES),
109                "MAP domain fits in one cacheline");
110
111 #define MAP_REASS_INDEX_NONE ((u16)0xffff)
112
113 /*
114  * Hash key, padded out to 16 bytes for fast compare
115  */
116 /* *INDENT-OFF* */
117 typedef union {
118   CLIB_PACKED (struct {
119     ip4_address_t src;
120     ip4_address_t dst;
121     u16 fragment_id;
122     u8 protocol;
123   });
124   u64 as_u64[2];
125   u32 as_u32[4];
126 } map_ip4_reass_key_t;
127 /* *INDENT-ON* */
128
129 typedef struct
130 {
131   map_ip4_reass_key_t key;
132   f64 ts;
133 #ifdef MAP_IP4_REASS_COUNT_BYTES
134   u16 expected_total;
135   u16 forwarded;
136 #endif
137   i32 port;
138   u16 bucket;
139   u16 bucket_next;
140   u16 fifo_prev;
141   u16 fifo_next;
142   u32 fragments[MAP_IP4_REASS_MAX_FRAGMENTS_PER_REASSEMBLY];
143 } map_ip4_reass_t;
144
145 /*
146  * MAP domain counters
147  */
148 typedef enum
149 {
150   /* Simple counters */
151   MAP_DOMAIN_IPV4_FRAGMENT = 0,
152   /* Combined counters */
153   MAP_DOMAIN_COUNTER_RX = 0,
154   MAP_DOMAIN_COUNTER_TX,
155   MAP_N_DOMAIN_COUNTER
156 } map_domain_counter_t;
157
158 /*
159  * main_main_t
160  */
161 /* *INDENT-OFF* */
162 typedef union {
163   CLIB_PACKED (struct {
164     ip6_address_t src;
165     ip6_address_t dst;
166     u32 fragment_id;
167     u8 protocol;
168   });
169   u64 as_u64[5];
170   u32 as_u32[10];
171 } map_ip6_reass_key_t;
172 /* *INDENT-OFF* */
173
174 typedef struct {
175   u32 pi; //Cached packet or ~0
176   u16 next_data_offset; //The data offset of the additional 20 bytes or ~0
177   u8 next_data_len; //Number of bytes ready to be copied (20 if not last fragment)
178   u8 next_data[20]; //The 20 additional bytes
179 } map_ip6_fragment_t;
180
181 typedef struct {
182   map_ip6_reass_key_t key;
183   f64 ts;
184 #ifdef MAP_IP6_REASS_COUNT_BYTES
185   u16 expected_total;
186   u16 forwarded;
187 #endif
188   u16 bucket; //What hash bucket this element is linked in
189   u16 bucket_next;
190   u16 fifo_prev;
191   u16 fifo_next;
192   ip4_header_t ip4_header;
193   map_ip6_fragment_t fragments[MAP_IP6_REASS_MAX_FRAGMENTS_PER_REASSEMBLY];
194 } map_ip6_reass_t;
195
196 #ifdef MAP_SKIP_IP6_LOOKUP
197 /**
198  * A pre-resolved next-hop
199  */
200 typedef struct map_main_pre_resolved_t_
201 {
202   /**
203    * Linkage into the FIB graph
204    */
205   fib_node_t node;
206
207   /**
208    * The FIB entry index of the next-hop
209    */
210   fib_node_index_t fei;
211
212   /**
213    * This object sibling index on the FIB entry's child dependency list
214    */
215   u32 sibling;
216
217   /**
218    * The Load-balance object index to use to forward
219    */
220   dpo_id_t dpo;
221 } map_main_pre_resolved_t;
222
223 /**
224  * Pre-resolved next hops for v4 and v6. Why these are global and not
225  * per-domain is beyond me.
226  */
227 extern map_main_pre_resolved_t pre_resolved[FIB_PROTOCOL_MAX];
228 #endif
229
230 typedef struct {
231   /* pool of MAP domains */
232   map_domain_t *domains;
233
234   /* MAP Domain packet/byte counters indexed by map domain index */
235   vlib_simple_counter_main_t *simple_domain_counters;
236   vlib_combined_counter_main_t *domain_counters;
237   volatile u32 *counter_lock;
238
239   /* API message id base */
240   u16 msg_id_base;
241
242   /* Traffic class: zero, copy (~0) or fixed value */
243   u8 tc;
244   bool tc_copy;
245
246   bool sec_check;               /* Inbound security check */
247   bool sec_check_frag;          /* Inbound security check for (subsequent) fragments */
248   bool icmp6_enabled;           /* Send destination unreachable for security check failure */
249
250   bool is_ce;                   /* If this MAP node is a Customer Edge router*/
251
252   /* ICMPv6 -> ICMPv4 relay parameters */
253   ip4_address_t icmp4_src_address;
254   vlib_simple_counter_main_t icmp_relayed;
255
256   /* convenience */
257   vlib_main_t *vlib_main;
258   vnet_main_t *vnet_main;
259
260   /*
261    * IPv4 encap and decap reassembly
262    */
263   /* Configuration */
264   f32 ip4_reass_conf_ht_ratio; //Size of ht is 2^ceil(log2(ratio*pool_size))
265   u16 ip4_reass_conf_pool_size; //Max number of allocated reass structures
266   u16 ip4_reass_conf_lifetime_ms; //Time a reassembly struct is considered valid in ms
267   u32 ip4_reass_conf_buffers; //Maximum number of buffers used by ip4 reassembly
268
269   /* Runtime */
270   map_ip4_reass_t *ip4_reass_pool;
271   u8 ip4_reass_ht_log2len; //Hash table size is 2^log2len
272   u16 ip4_reass_allocated;
273   u16 *ip4_reass_hash_table;
274   u16 ip4_reass_fifo_last;
275   volatile u32 *ip4_reass_lock;
276
277   /* Counters */
278   u32 ip4_reass_buffered_counter;
279
280   bool frag_inner;              /* Inner or outer fragmentation */
281   bool frag_ignore_df;          /* Fragment (outer) packet even if DF is set */
282
283   /*
284    * IPv6 decap reassembly
285    */
286   /* Configuration */
287   f32 ip6_reass_conf_ht_ratio; //Size of ht is 2^ceil(log2(ratio*pool_size))
288   u16 ip6_reass_conf_pool_size; //Max number of allocated reass structures
289   u16 ip6_reass_conf_lifetime_ms; //Time a reassembly struct is considered valid in ms
290   u32 ip6_reass_conf_buffers; //Maximum number of buffers used by ip6 reassembly
291
292   /* Runtime */
293   map_ip6_reass_t *ip6_reass_pool;
294   u8 ip6_reass_ht_log2len; //Hash table size is 2^log2len
295   u16 ip6_reass_allocated;
296   u16 *ip6_reass_hash_table;
297   u16 ip6_reass_fifo_last;
298   volatile u32 *ip6_reass_lock;
299
300   /* Counters */
301   u32 ip6_reass_buffered_counter;
302
303 } map_main_t;
304
305 /*
306  * MAP Error counters/messages
307  */
308 #define foreach_map_error                               \
309   /* Must be first. */                                  \
310  _(NONE, "valid MAP packets")                           \
311  _(BAD_PROTOCOL, "bad protocol")                        \
312  _(SEC_CHECK, "security check failed")                  \
313  _(ENCAP_SEC_CHECK, "encap security check failed")      \
314  _(DECAP_SEC_CHECK, "decap security check failed")      \
315  _(ICMP, "unable to translate ICMP")                    \
316  _(ICMP_RELAY, "unable to relay ICMP")                  \
317  _(UNKNOWN, "unknown")                                  \
318  _(NO_BINDING, "no binding")                            \
319  _(NO_DOMAIN, "no domain")                              \
320  _(FRAGMENTED, "packet is a fragment")                  \
321  _(FRAGMENT_MEMORY, "could not cache fragment")         \
322  _(FRAGMENT_MALFORMED, "fragment has unexpected format")\
323  _(FRAGMENT_DROPPED, "dropped cached fragment")         \
324  _(MALFORMED, "malformed packet")                       \
325  _(DF_SET, "can't fragment, DF set")
326
327 typedef enum {
328 #define _(sym,str) MAP_ERROR_##sym,
329    foreach_map_error
330 #undef _
331    MAP_N_ERROR,
332  } map_error_t;
333
334 u64 map_error_counter_get(u32 node_index, map_error_t map_error);
335
336 typedef struct {
337   u32 map_domain_index;
338   u16 port;
339 } map_trace_t;
340
341 extern map_main_t map_main;
342
343 extern vlib_node_registration_t ip4_map_node;
344 extern vlib_node_registration_t ip6_map_node;
345
346 extern vlib_node_registration_t ip4_map_t_node;
347 extern vlib_node_registration_t ip4_map_t_fragmented_node;
348 extern vlib_node_registration_t ip4_map_t_tcp_udp_node;
349 extern vlib_node_registration_t ip4_map_t_icmp_node;
350
351 extern vlib_node_registration_t ip6_map_t_node;
352 extern vlib_node_registration_t ip6_map_t_fragmented_node;
353 extern vlib_node_registration_t ip6_map_t_tcp_udp_node;
354 extern vlib_node_registration_t ip6_map_t_icmp_node;
355
356 /*
357  * map_get_pfx
358  */
359 static_always_inline u64
360 map_get_pfx (map_domain_t *d, u32 addr, u16 port)
361 {
362   u16 psid = (port >> d->psid_shift) & d->psid_mask;
363
364   if (d->ea_bits_len == 0 && d->rules)
365     return clib_net_to_host_u64(d->rules[psid].as_u64[0]);
366
367   u32 suffix = (addr >> d->suffix_shift) & d->suffix_mask;
368   u64 ea = d->ea_bits_len == 0 ? 0 : (((u64) suffix << d->psid_length)) | psid;
369
370   return clib_net_to_host_u64(d->ip6_prefix.as_u64[0]) | ea << d->ea_shift;
371 }
372
373 static_always_inline u64
374 map_get_pfx_net (map_domain_t *d, u32 addr, u16 port)
375 {
376   return clib_host_to_net_u64(map_get_pfx(d, clib_net_to_host_u32(addr),
377                                           clib_net_to_host_u16(port)));
378 }
379
380 /*
381  * map_get_sfx
382  */
383 static_always_inline u64
384 map_get_sfx (map_domain_t *d, u32 addr, u16 port)
385 {
386   u16 psid = (port >> d->psid_shift) & d->psid_mask;
387
388   /* Shared 1:1 mode. */
389   if (d->ea_bits_len == 0 && d->rules)
390     return clib_net_to_host_u64(d->rules[psid].as_u64[1]);
391   if (d->ip6_prefix_len == 128)
392     return clib_net_to_host_u64(d->ip6_prefix.as_u64[1]);
393
394   if (d->flags & MAP_DOMAIN_RFC6052)
395     return (clib_net_to_host_u64(d->ip6_prefix.as_u64[1]) | addr);
396
397   /* IPv4 prefix */
398   if (d->flags & MAP_DOMAIN_PREFIX)
399     return (u64) (addr & (0xFFFFFFFF << d->suffix_shift)) << 16;
400
401   /* Shared or full IPv4 address */
402   return ((u64) addr << 16) | psid;
403 }
404
405 static_always_inline u64
406 map_get_sfx_net (map_domain_t *d, u32 addr, u16 port)
407 {
408   return clib_host_to_net_u64(map_get_sfx(d, clib_net_to_host_u32(addr),
409                                           clib_net_to_host_u16(port)));
410 }
411
412 static_always_inline u32
413 map_get_ip4 (ip6_address_t *addr, map_domain_flags_e flags)
414 {
415   if (flags & MAP_DOMAIN_RFC6052)
416     return clib_host_to_net_u32(clib_net_to_host_u64(addr->as_u64[1]));
417   else
418     return clib_host_to_net_u32(clib_net_to_host_u64(addr->as_u64[1]) >> 16);
419 }
420
421 /*
422  * Get the MAP domain from an IPv4 lookup adjacency.
423  */
424 static_always_inline map_domain_t *
425 ip4_map_get_domain (u32 mdi)
426 {
427   map_main_t *mm = &map_main;
428
429   return pool_elt_at_index(mm->domains, mdi);
430 }
431
432 /*
433  * Get the MAP domain from an IPv6 lookup adjacency.
434  * If the IPv6 address or prefix is not shared, no lookup is required.
435  * The IPv4 address is used otherwise.
436  */
437 static_always_inline map_domain_t *
438 ip6_map_get_domain (u32 mdi,
439                     ip4_address_t *addr,
440                     u32 *map_domain_index,
441                     u8 *error)
442 {
443   map_main_t *mm = &map_main;
444
445 #ifdef TODO
446   /*
447    * Disable direct MAP domain lookup on decap, until the security check is updated to verify IPv4 SA.
448    * (That's done implicitly when MAP domain is looked up in the IPv4 FIB)
449    */
450   //#ifdef MAP_NONSHARED_DOMAIN_ENABLED
451   //#error "How can you be sure this domain is not shared?"
452 #endif
453
454   *map_domain_index = mdi;
455   return pool_elt_at_index(mm->domains, mdi);
456
457 #ifdef TODO
458   u32 lbi = ip4_fib_forwarding_lookup(0, addr);
459   const dpo_id_t *dpo = load_balance_get_bucket(lbi, 0);
460   if (PREDICT_TRUE(dpo->dpoi_type == map_dpo_type ||
461                    dpo->dpoi_type == map_t_dpo_type))
462     {
463       *map_domain_index = dpo->dpoi_index;
464       return pool_elt_at_index(mm->domains, *map_domain_index);
465     }
466   *error = MAP_ERROR_NO_DOMAIN;
467   return NULL;
468 #endif
469 }
470
471 map_ip4_reass_t *
472 map_ip4_reass_get(u32 src, u32 dst, u16 fragment_id,
473                   u8 protocol, u32 **pi_to_drop);
474 void
475 map_ip4_reass_free(map_ip4_reass_t *r, u32 **pi_to_drop);
476
477 #define map_ip4_reass_lock() while (clib_atomic_test_and_set (map_main.ip4_reass_lock)) {}
478 #define map_ip4_reass_unlock() do {CLIB_MEMORY_BARRIER(); *map_main.ip4_reass_lock = 0;} while(0)
479
480 static_always_inline void
481 map_ip4_reass_get_fragments(map_ip4_reass_t *r, u32 **pi)
482 {
483   int i;
484   for (i=0; i<MAP_IP4_REASS_MAX_FRAGMENTS_PER_REASSEMBLY; i++)
485     if(r->fragments[i] != ~0) {
486       vec_add1(*pi, r->fragments[i]);
487       r->fragments[i] = ~0;
488       map_main.ip4_reass_buffered_counter--;
489     }
490 }
491
492 clib_error_t * map_plugin_api_hookup (vlib_main_t * vm);
493
494 int map_ip4_reass_add_fragment(map_ip4_reass_t *r, u32 pi);
495
496 map_ip6_reass_t *
497 map_ip6_reass_get(ip6_address_t *src, ip6_address_t *dst, u32 fragment_id,
498                   u8 protocol, u32 **pi_to_drop);
499 void
500 map_ip6_reass_free(map_ip6_reass_t *r, u32 **pi_to_drop);
501
502 #define map_ip6_reass_lock() while (clib_atomic_test_and_set (map_main.ip6_reass_lock)) {}
503 #define map_ip6_reass_unlock() do {CLIB_MEMORY_BARRIER(); *map_main.ip6_reass_lock = 0;} while(0)
504
505 int
506 map_ip6_reass_add_fragment(map_ip6_reass_t *r, u32 pi,
507                            u16 data_offset, u16 next_data_offset,
508                            u8 *data_start, u16 data_len);
509
510 void map_ip4_drop_pi(u32 pi);
511
512 int map_ip4_reass_conf_ht_ratio(f32 ht_ratio, u32 *trashed_reass, u32 *dropped_packets);
513 #define MAP_IP4_REASS_CONF_HT_RATIO_MAX 100
514 int map_ip4_reass_conf_pool_size(u16 pool_size, u32 *trashed_reass, u32 *dropped_packets);
515 #define MAP_IP4_REASS_CONF_POOL_SIZE_MAX (0xfeff)
516 int map_ip4_reass_conf_lifetime(u16 lifetime_ms);
517 #define MAP_IP4_REASS_CONF_LIFETIME_MAX 0xffff
518 int map_ip4_reass_conf_buffers(u32 buffers);
519 #define MAP_IP4_REASS_CONF_BUFFERS_MAX (0xffffffff)
520
521 void map_ip6_drop_pi(u32 pi);
522
523
524 int map_ip6_reass_conf_ht_ratio(f32 ht_ratio, u32 *trashed_reass, u32 *dropped_packets);
525 #define MAP_IP6_REASS_CONF_HT_RATIO_MAX 100
526 int map_ip6_reass_conf_pool_size(u16 pool_size, u32 *trashed_reass, u32 *dropped_packets);
527 #define MAP_IP6_REASS_CONF_POOL_SIZE_MAX (0xfeff)
528 int map_ip6_reass_conf_lifetime(u16 lifetime_ms);
529 #define MAP_IP6_REASS_CONF_LIFETIME_MAX 0xffff
530 int map_ip6_reass_conf_buffers(u32 buffers);
531 #define MAP_IP6_REASS_CONF_BUFFERS_MAX (0xffffffff)
532
533 static_always_inline void
534 ip4_map_t_embedded_address (map_domain_t *d,
535                             ip6_address_t *ip6, const ip4_address_t *ip4)
536 {
537   ASSERT(d->ip6_src_len == 96 || d->ip6_src_len == 64); //No support for other lengths for now
538   u8 offset = d->ip6_src_len == 64 ? 9 : 12;
539   ip6->as_u64[0] = d->ip6_src.as_u64[0];
540   ip6->as_u64[1] = d->ip6_src.as_u64[1];
541   clib_memcpy_fast(&ip6->as_u8[offset], ip4, 4);
542 }
543
544 static_always_inline u32
545 ip6_map_t_embedded_address (map_domain_t *d, ip6_address_t *addr)
546 {
547   ASSERT(d->ip6_src_len == 64 || d->ip6_src_len == 96);
548   u32 x;
549   u8 offset = d->ip6_src_len == 64 ? 9 : 12;
550   clib_memcpy(&x, &addr->as_u8[offset], 4);
551   return x;
552 }
553
554 static inline void
555 map_domain_counter_lock (map_main_t *mm)
556 {
557   if (mm->counter_lock)
558     while (clib_atomic_test_and_set (mm->counter_lock))
559       /* zzzz */ ;
560 }
561 static inline void
562 map_domain_counter_unlock (map_main_t *mm)
563 {
564   if (mm->counter_lock)
565     clib_atomic_release (mm->counter_lock);
566 }
567
568
569 static_always_inline void
570 map_send_all_to_node(vlib_main_t *vm, u32 *pi_vector,
571                      vlib_node_runtime_t *node, vlib_error_t *error,
572                      u32 next)
573 {
574   u32 n_left_from, *from, next_index, *to_next, n_left_to_next;
575   //Deal with fragments that are ready
576   from = pi_vector;
577   n_left_from = vec_len(pi_vector);
578   next_index = node->cached_next_index;
579   while (n_left_from > 0) {
580     vlib_get_next_frame(vm, node, next_index, to_next, n_left_to_next);
581     while (n_left_from > 0 && n_left_to_next > 0) {
582       u32 pi0 = to_next[0] = from[0];
583       from += 1;
584       n_left_from -= 1;
585       to_next += 1;
586       n_left_to_next -= 1;
587       vlib_buffer_t *p0 = vlib_get_buffer(vm, pi0);
588       p0->error = *error;
589       vlib_validate_buffer_enqueue_x1(vm, node, next_index, to_next, n_left_to_next, pi0, next);
590     }
591     vlib_put_next_frame(vm, node, next_index, n_left_to_next);
592   }
593 }
594
595 /*
596  * fd.io coding-style-patch-verification: ON
597  *
598  * Local Variables:
599  * eval: (c-set-style "gnu")
600  * End:
601  */