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:
7 * http://www.apache.org/licenses/LICENSE-2.0
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.
16 #include <vnet/lisp-cp/gid_dictionary.h>
22 foreach_subprefix_match_cb_t cb;
25 gid_ip4_table_t *ip4_table;
26 gid_ip6_table_t *ip6_table;
30 static u32 ip4_lookup (gid_ip4_table_t * db, u32 vni, ip_prefix_t * key);
32 static u32 ip6_lookup (gid_ip6_table_t * db, u32 vni, ip_prefix_t * key);
35 foreach_sfib4_subprefix (BVT (clib_bihash_kv) * kvp, void *arg)
37 sfib_entry_arg_t *a = arg;
38 u32 ip = (u32) kvp->key[0];
40 u8 plen = ip_prefix_len (&a->src);
43 mask = &a->ip4_table->ip4_fib_masks[plen];
45 u32 src_ip = clib_host_to_net_u32 (ip_prefix_v4 (&a->src).as_u32);
46 src_ip &= mask->as_u32;
49 /* found sub-prefix of src prefix */
50 (a->cb) (kvp->value, a->arg);
55 gid_dict_foreach_ip4_subprefix (gid_dictionary_t * db, u32 vni,
56 ip_prefix_t * src, ip_prefix_t * dst,
57 foreach_subprefix_match_cb_t cb, void *arg)
60 gid_ip4_table_t *sfib4;
63 sfi = ip4_lookup (&db->dst_ip4_table, vni, dst);
64 if (GID_LOOKUP_MISS == sfi)
67 sfib4 = pool_elt_at_index (db->src_ip4_table_pool, sfi);
74 BV (clib_bihash_foreach_key_value_pair) (&sfib4->ip4_lookup_table,
75 foreach_sfib4_subprefix, &a);
79 foreach_sfib6_subprefix (BVT (clib_bihash_kv) * kvp, void *arg)
81 sfib_entry_arg_t *a = arg;
84 u8 plen = ip_prefix_len (&a->src);
86 mask = &a->ip6_table->ip6_fib_masks[plen];
87 ip.as_u64[0] = kvp->key[0];
88 ip.as_u64[1] = kvp->key[1];
90 if (ip6_address_is_equal_masked (&ip_prefix_v6 (&a->src), &ip, mask))
92 /* found sub-prefix of src prefix */
93 (a->cb) (kvp->value, a->arg);
98 gid_dict_foreach_ip6_subprefix (gid_dictionary_t * db, u32 vni,
99 ip_prefix_t * src, ip_prefix_t * dst,
100 foreach_subprefix_match_cb_t cb, void *arg)
103 gid_ip6_table_t *sfib6;
106 sfi = ip6_lookup (&db->dst_ip6_table, vni, dst);
107 if (GID_LOOKUP_MISS == sfi)
110 sfib6 = pool_elt_at_index (db->src_ip6_table_pool, sfi);
117 BV (clib_bihash_foreach_key_value_pair) (&sfib6->ip6_lookup_table,
118 foreach_sfib6_subprefix, &a);
122 gid_dict_foreach_subprefix (gid_dictionary_t * db, gid_address_t * eid,
123 foreach_subprefix_match_cb_t cb, void *arg)
125 ip_prefix_t *ippref = &gid_address_sd_dst_ippref (eid);
127 if (IP4 == ip_prefix_version (ippref))
128 gid_dict_foreach_ip4_subprefix (db, gid_address_vni (eid),
129 &gid_address_sd_src_ippref (eid),
130 &gid_address_sd_dst_ippref (eid), cb,
133 gid_dict_foreach_ip6_subprefix (db, gid_address_vni (eid),
134 &gid_address_sd_src_ippref (eid),
135 &gid_address_sd_dst_ippref (eid), cb,
140 make_mac_sd_key (BVT (clib_bihash_kv) * kv, u32 vni, u8 src_mac[6],
143 kv->key[0] = (u64) vni;
144 kv->key[1] = mac_to_u64 (dst_mac);
145 kv->key[2] = src_mac ? mac_to_u64 (src_mac) : (u64) 0;
149 mac_sd_lookup (gid_mac_table_t * db, u32 vni, u8 * dst, u8 * src)
152 BVT (clib_bihash_kv) kv, value;
154 make_mac_sd_key (&kv, vni, src, dst);
155 rv = BV (clib_bihash_search_inline_2) (&db->mac_lookup_table, &kv, &value);
157 /* no match, try with src 0, catch all for dst */
161 rv = BV (clib_bihash_search_inline_2) (&db->mac_lookup_table, &kv,
169 return GID_LOOKUP_MISS;
173 ip4_lookup_exact_match (gid_ip4_table_t * db, u32 vni, ip_prefix_t * key)
176 BVT (clib_bihash_kv) kv, value;
180 mask = &db->ip4_fib_masks[ip_prefix_len (key)];
182 kv.key[0] = ((u64) vni << 32) | (ip_prefix_v4 (key).as_u32 & mask->as_u32);
186 rv = BV (clib_bihash_search_inline_2) (&db->ip4_lookup_table, &kv, &value);
190 return GID_LOOKUP_MISS;
194 ip4_lookup (gid_ip4_table_t * db, u32 vni, ip_prefix_t * key)
198 BVT (clib_bihash_kv) kv, value;
200 len = vec_len (db->ip4_prefix_lengths_in_search_order);
202 for (i = 0; i < len; i++)
204 int dst_address_length = db->ip4_prefix_lengths_in_search_order[i];
207 ASSERT (dst_address_length >= 0 && dst_address_length <= 32);
209 mask = &db->ip4_fib_masks[dst_address_length];
212 ((u64) vni << 32) | (ip_prefix_v4 (key).as_u32 & mask->as_u32);
217 BV (clib_bihash_search_inline_2) (&db->ip4_lookup_table, &kv, &value);
222 return GID_LOOKUP_MISS;
226 ip6_lookup_exact_match (gid_ip6_table_t * db, u32 vni, ip_prefix_t * key)
229 BVT (clib_bihash_kv) kv, value;
232 mask = &db->ip6_fib_masks[ip_prefix_len (key)];
234 kv.key[0] = ip_prefix_v6 (key).as_u64[0] & mask->as_u64[0];
235 kv.key[1] = ip_prefix_v6 (key).as_u64[1] & mask->as_u64[1];
236 kv.key[2] = (u64) vni;
238 rv = BV (clib_bihash_search_inline_2) (&db->ip6_lookup_table, &kv, &value);
242 return GID_LOOKUP_MISS;
246 ip6_lookup (gid_ip6_table_t * db, u32 vni, ip_prefix_t * key)
250 BVT (clib_bihash_kv) kv, value;
252 len = vec_len (db->ip6_prefix_lengths_in_search_order);
254 for (i = 0; i < len; i++)
256 int dst_address_length = db->ip6_prefix_lengths_in_search_order[i];
259 ASSERT (dst_address_length >= 0 && dst_address_length <= 128);
261 mask = &db->ip6_fib_masks[dst_address_length];
263 kv.key[0] = ip_prefix_v6 (key).as_u64[0] & mask->as_u64[0];
264 kv.key[1] = ip_prefix_v6 (key).as_u64[1] & mask->as_u64[1];
265 kv.key[2] = (u64) vni;
268 BV (clib_bihash_search_inline_2) (&db->ip6_lookup_table, &kv, &value);
273 return GID_LOOKUP_MISS;
277 ip_sd_lookup (gid_dictionary_t * db, u32 vni, ip_prefix_t * dst,
281 gid_ip4_table_t *sfib4;
282 gid_ip6_table_t *sfib6;
284 switch (ip_prefix_version (dst))
287 sfi = ip4_lookup (&db->dst_ip4_table, vni, dst);
288 if (GID_LOOKUP_MISS != sfi)
289 sfib4 = pool_elt_at_index (db->src_ip4_table_pool, sfi);
291 return GID_LOOKUP_MISS;
296 memset (&sp, 0, sizeof (sp));
297 return ip4_lookup_exact_match (sfib4, 0, &sp);
300 return ip4_lookup (sfib4, 0, src);
304 sfi = ip6_lookup (&db->dst_ip6_table, vni, dst);
305 if (GID_LOOKUP_MISS != sfi)
306 sfib6 = pool_elt_at_index (db->src_ip6_table_pool, sfi);
308 return GID_LOOKUP_MISS;
313 memset (&sp, 0, sizeof (sp));
314 ip_prefix_version (&sp) = IP6;
315 return ip6_lookup_exact_match (sfib6, 0, &sp);
318 return ip6_lookup (sfib6, 0, src);
322 clib_warning ("address type %d not supported!",
323 ip_prefix_version (dst));
326 return GID_LOOKUP_MISS;
330 gid_dictionary_lookup (gid_dictionary_t * db, gid_address_t * key)
332 switch (gid_address_type (key))
334 case GID_ADDR_IP_PREFIX:
335 return ip_sd_lookup (db, gid_address_vni (key),
336 &gid_address_ippref (key), 0);
338 return mac_sd_lookup (&db->sd_mac_table, gid_address_vni (key),
339 gid_address_mac (key), 0);
340 case GID_ADDR_SRC_DST:
341 switch (gid_address_sd_dst_type (key))
343 case FID_ADDR_IP_PREF:
344 return ip_sd_lookup (db, gid_address_vni (key),
345 &gid_address_sd_dst_ippref (key),
346 &gid_address_sd_src_ippref (key));
349 return mac_sd_lookup (&db->sd_mac_table, gid_address_vni (key),
350 gid_address_sd_dst_mac (key),
351 gid_address_sd_src_mac (key));
354 clib_warning ("Source/Dest address type %d not supported!",
355 gid_address_sd_dst_type (key));
360 clib_warning ("address type %d not supported!", gid_address_type (key));
363 return GID_LOOKUP_MISS;
367 gid_dictionary_sd_lookup (gid_dictionary_t * db, gid_address_t * dst,
370 switch (gid_address_type (dst))
372 case GID_ADDR_IP_PREFIX:
373 return ip_sd_lookup (db, gid_address_vni (dst),
374 &gid_address_ippref (dst),
375 &gid_address_ippref (src));
377 return mac_sd_lookup (&db->sd_mac_table, gid_address_vni (dst),
378 gid_address_mac (dst), gid_address_mac (src));
379 case GID_ADDR_SRC_DST:
380 switch (gid_address_sd_dst_type (dst))
382 case FID_ADDR_IP_PREF:
383 return ip_sd_lookup (db, gid_address_vni (dst),
384 &gid_address_sd_dst_ippref (dst),
385 &gid_address_sd_src_ippref (dst));
388 return mac_sd_lookup (&db->sd_mac_table, gid_address_vni (dst),
389 gid_address_sd_dst_mac (dst),
390 gid_address_sd_src_mac (dst));
393 clib_warning ("Source/Dest address type %d not supported!",
394 gid_address_sd_dst_type (dst));
399 clib_warning ("address type %d not supported!", gid_address_type (dst));
402 return GID_LOOKUP_MISS;
406 ip4_compute_prefix_lengths_in_search_order (gid_ip4_table_t * db)
409 vec_reset_length (db->ip4_prefix_lengths_in_search_order);
410 /* Note: bitmap reversed so this is in fact a longest prefix match */
413 clib_bitmap_foreach (i, db->ip4_non_empty_dst_address_length_bitmap,
415 int dst_address_length = 32 - i;
416 vec_add1 (db->ip4_prefix_lengths_in_search_order, dst_address_length);
423 add_del_ip4_key (gid_ip4_table_t * db, u32 vni, ip_prefix_t * pref, u32 val,
426 BVT (clib_bihash_kv) kv, value;
429 u8 plen = ip_prefix_len (pref);
431 clib_memcpy (&key, &ip_prefix_v4 (pref), sizeof (key));
432 key.as_u32 &= db->ip4_fib_masks[plen].as_u32;
435 db->ip4_non_empty_dst_address_length_bitmap =
436 clib_bitmap_set (db->ip4_non_empty_dst_address_length_bitmap,
438 ip4_compute_prefix_lengths_in_search_order (db);
440 db->ip4_prefix_len_refcount[plen]++;
444 ASSERT (db->ip4_prefix_len_refcount[plen] != 0);
446 db->ip4_prefix_len_refcount[plen]--;
448 if (db->ip4_prefix_len_refcount[plen] == 0)
450 db->ip4_non_empty_dst_address_length_bitmap =
451 clib_bitmap_set (db->ip4_non_empty_dst_address_length_bitmap,
453 ip4_compute_prefix_lengths_in_search_order (db);
457 kv.key[0] = ((u64) vni << 32) | key.as_u32;
461 if (BV (clib_bihash_search) (&db->ip4_lookup_table, &kv, &value) == 0)
462 old_val = value.value;
465 BV (clib_bihash_add_del) (&db->ip4_lookup_table, &kv, 0 /* is_add */ );
469 BV (clib_bihash_add_del) (&db->ip4_lookup_table, &kv, 1 /* is_add */ );
475 ip4_lookup_init (gid_ip4_table_t * db)
479 memset (db->ip4_prefix_len_refcount, 0,
480 sizeof (db->ip4_prefix_len_refcount));
482 for (i = 0; i < ARRAY_LEN (db->ip4_fib_masks); i++)
487 m = pow2_mask (i) << (32 - i);
490 db->ip4_fib_masks[i].as_u32 = clib_host_to_net_u32 (m);
492 if (db->ip4_lookup_table_nbuckets == 0)
493 db->ip4_lookup_table_nbuckets = IP4_LOOKUP_DEFAULT_HASH_NUM_BUCKETS;
495 db->ip4_lookup_table_nbuckets =
496 1 << max_log2 (db->ip4_lookup_table_nbuckets);
498 if (db->ip4_lookup_table_size == 0)
499 db->ip4_lookup_table_size = IP4_LOOKUP_DEFAULT_HASH_MEMORY_SIZE;
501 BV (clib_bihash_init) (&db->ip4_lookup_table, "ip4 lookup table",
502 db->ip4_lookup_table_nbuckets,
503 db->ip4_lookup_table_size);
507 add_del_sd_ip4_key (gid_dictionary_t * db, u32 vni, ip_prefix_t * dst_pref,
508 ip_prefix_t * src_pref, u32 val, u8 is_add)
510 u32 sfi, old_val = ~0;
511 gid_ip4_table_t *sfib;
513 sfi = ip4_lookup_exact_match (&db->dst_ip4_table, vni, dst_pref);
517 if (GID_LOOKUP_MISS == sfi)
519 pool_get (db->src_ip4_table_pool, sfib);
520 ip4_lookup_init (sfib);
521 add_del_ip4_key (&db->dst_ip4_table, vni, dst_pref,
522 sfib - db->src_ip4_table_pool, is_add);
524 add_del_ip4_key (sfib, 0 /* vni */ , src_pref, val, is_add);
528 memset (&sp, 0, sizeof (sp));
529 add_del_ip4_key (sfib, 0 /* vni */ , &sp, val, is_add);
534 ASSERT (!pool_is_free_index (db->src_ip4_table_pool, sfi));
535 sfib = pool_elt_at_index (db->src_ip4_table_pool, sfi);
538 old_val = ip4_lookup_exact_match (sfib, 0, src_pref);
539 add_del_ip4_key (sfib, 0 /* vni */ , src_pref, val, is_add);
544 memset (&sp, 0, sizeof (sp));
546 add_del_ip4_key (sfib, 0 /* vni */ , &sp, val, is_add);
552 if (GID_LOOKUP_MISS != sfi)
554 add_del_ip4_key (&db->dst_ip4_table, vni, dst_pref, 0, is_add);
555 sfib = pool_elt_at_index (db->src_ip4_table_pool, sfi);
557 old_val = add_del_ip4_key (sfib, 0, src_pref, 0, is_add);
561 memset (&sp, 0, sizeof (sp));
562 old_val = add_del_ip4_key (sfib, 0, &sp, 0, is_add);
566 clib_warning ("cannot delete dst mapping %U!", format_ip_prefix,
573 ip6_compute_prefix_lengths_in_search_order (gid_ip6_table_t * db)
576 vec_reset_length (db->ip6_prefix_lengths_in_search_order);
577 /* Note: bitmap reversed so this is in fact a longest prefix match */
580 clib_bitmap_foreach (i, db->ip6_non_empty_dst_address_length_bitmap,
582 int dst_address_length = 128 - i;
583 vec_add1 (db->ip6_prefix_lengths_in_search_order, dst_address_length);
589 add_del_ip6_key (gid_ip6_table_t * db, u32 vni, ip_prefix_t * pref, u32 val,
592 BVT (clib_bihash_kv) kv, value;
595 u8 plen = ip_prefix_len (pref);
597 clib_memcpy (&key, &ip_prefix_v6 (pref), sizeof (key));
598 ip6_address_mask (&key, &db->ip6_fib_masks[plen]);
601 db->ip6_non_empty_dst_address_length_bitmap =
602 clib_bitmap_set (db->ip6_non_empty_dst_address_length_bitmap,
604 ip6_compute_prefix_lengths_in_search_order (db);
605 db->ip6_prefix_len_refcount[plen]++;
609 ASSERT (db->ip6_prefix_len_refcount[plen] != 0);
611 db->ip6_prefix_len_refcount[plen]--;
613 if (db->ip6_prefix_len_refcount[plen] == 0)
615 db->ip6_non_empty_dst_address_length_bitmap =
616 clib_bitmap_set (db->ip6_non_empty_dst_address_length_bitmap,
618 ip6_compute_prefix_lengths_in_search_order (db);
622 kv.key[0] = key.as_u64[0];
623 kv.key[1] = key.as_u64[1];
624 kv.key[2] = (u64) vni;
625 // kv.key[2] = ((u64)((fib - im->fibs))<<32) | ip_prefix_len(key);
627 if (BV (clib_bihash_search) (&db->ip6_lookup_table, &kv, &value) == 0)
628 old_val = value.value;
631 BV (clib_bihash_add_del) (&db->ip6_lookup_table, &kv, 0 /* is_add */ );
635 BV (clib_bihash_add_del) (&db->ip6_lookup_table, &kv, 1 /* is_add */ );
641 add_del_mac (gid_mac_table_t * db, u32 vni, u8 * dst_mac, u8 * src_mac,
644 BVT (clib_bihash_kv) kv, value;
647 make_mac_sd_key (&kv, vni, src_mac, dst_mac);
649 if (BV (clib_bihash_search) (&db->mac_lookup_table, &kv, &value) == 0)
650 old_val = value.value;
653 BV (clib_bihash_add_del) (&db->mac_lookup_table, &kv, 0 /* is_add */ );
657 BV (clib_bihash_add_del) (&db->mac_lookup_table, &kv, 1 /* is_add */ );
663 ip6_lookup_init (gid_ip6_table_t * db)
667 memset (db->ip6_prefix_len_refcount, 0,
668 sizeof (db->ip6_prefix_len_refcount));
670 for (i = 0; i < ARRAY_LEN (db->ip6_fib_masks); i++)
677 for (j = 0; j < i0; j++)
678 db->ip6_fib_masks[i].as_u32[j] = ~0;
681 db->ip6_fib_masks[i].as_u32[i0] =
682 clib_host_to_net_u32 (pow2_mask (i1) << (32 - i1));
685 if (db->ip6_lookup_table_nbuckets == 0)
686 db->ip6_lookup_table_nbuckets = IP6_LOOKUP_DEFAULT_HASH_NUM_BUCKETS;
688 db->ip6_lookup_table_nbuckets =
689 1 << max_log2 (db->ip6_lookup_table_nbuckets);
691 if (db->ip6_lookup_table_size == 0)
692 db->ip6_lookup_table_size = IP6_LOOKUP_DEFAULT_HASH_MEMORY_SIZE;
694 BV (clib_bihash_init) (&db->ip6_lookup_table, "ip6 lookup table",
695 db->ip6_lookup_table_nbuckets,
696 db->ip6_lookup_table_size);
700 add_del_sd_ip6_key (gid_dictionary_t * db, u32 vni, ip_prefix_t * dst_pref,
701 ip_prefix_t * src_pref, u32 val, u8 is_add)
703 u32 sfi, old_val = ~0;
704 gid_ip6_table_t *sfib;
706 sfi = ip6_lookup_exact_match (&db->dst_ip6_table, vni, dst_pref);
710 if (GID_LOOKUP_MISS == sfi)
712 pool_get (db->src_ip6_table_pool, sfib);
713 ip6_lookup_init (sfib);
714 add_del_ip6_key (&db->dst_ip6_table, vni, dst_pref,
715 sfib - db->src_ip6_table_pool, is_add);
717 add_del_ip6_key (sfib, 0 /* vni */ , src_pref, val, is_add);
721 memset (&sp, 0, sizeof (sp));
722 ip_prefix_version (&sp) = IP6;
723 add_del_ip6_key (sfib, 0 /* vni */ , &sp, val, is_add);
728 ASSERT (!pool_is_free_index (db->src_ip6_table_pool, sfi));
729 sfib = pool_elt_at_index (db->src_ip6_table_pool, sfi);
732 old_val = ip6_lookup_exact_match (sfib, 0, src_pref);
733 add_del_ip6_key (sfib, 0 /* vni */ , src_pref, val, is_add);
738 memset (&sp, 0, sizeof (sp));
739 ip_prefix_version (&sp) = IP6;
741 add_del_ip6_key (sfib, 0 /* vni */ , &sp, val, is_add);
747 if (GID_LOOKUP_MISS != sfi)
749 add_del_ip6_key (&db->dst_ip6_table, vni, dst_pref, 0, is_add);
750 sfib = pool_elt_at_index (db->src_ip6_table_pool, sfi);
752 old_val = add_del_ip6_key (sfib, 0, src_pref, 0, is_add);
756 memset (&sp, 0, sizeof (sp));
757 ip_prefix_version (&sp) = IP6;
758 old_val = add_del_ip6_key (sfib, 0, &sp, 0, is_add);
762 clib_warning ("cannot delete dst mapping %U!", format_ip_prefix,
769 add_del_ip (gid_dictionary_t * db, u32 vni, ip_prefix_t * dst_key,
770 ip_prefix_t * src_key, u32 value, u8 is_add)
772 switch (ip_prefix_version (dst_key))
775 return add_del_sd_ip4_key (db, vni, dst_key, src_key, value, is_add);
778 return add_del_sd_ip6_key (db, vni, dst_key, src_key, value, is_add);
781 clib_warning ("address type %d not supported!",
782 ip_prefix_version (dst_key));
789 add_del_sd (gid_dictionary_t * db, u32 vni, source_dest_t * key, u32 value,
792 switch (sd_dst_type (key))
794 case FID_ADDR_IP_PREF:
795 add_del_ip (db, vni, &sd_dst_ippref (key), &sd_src_ippref (key),
799 return add_del_mac (&db->sd_mac_table, vni, sd_dst_mac (key),
800 sd_src_mac (key), value, is_add);
803 clib_warning ("SD address type %d not supprted!", sd_dst_type (key));
811 gid_dictionary_add_del (gid_dictionary_t * db, gid_address_t * key, u32 value,
814 switch (gid_address_type (key))
816 case GID_ADDR_IP_PREFIX:
817 return add_del_ip (db, gid_address_vni (key), &gid_address_ippref (key),
820 return add_del_mac (&db->sd_mac_table, gid_address_vni (key),
821 gid_address_mac (key), 0, value, is_add);
822 case GID_ADDR_SRC_DST:
823 return add_del_sd (db, gid_address_vni (key), &gid_address_sd (key),
826 clib_warning ("address type %d not supported!", gid_address_type (key));
833 mac_lookup_init (gid_mac_table_t * db)
835 if (db->mac_lookup_table_nbuckets == 0)
836 db->mac_lookup_table_nbuckets = MAC_LOOKUP_DEFAULT_HASH_NUM_BUCKETS;
838 db->mac_lookup_table_nbuckets =
839 1 << max_log2 (db->mac_lookup_table_nbuckets);
841 if (db->mac_lookup_table_size == 0)
842 db->mac_lookup_table_size = MAC_LOOKUP_DEFAULT_HASH_MEMORY_SIZE;
844 BV (clib_bihash_init) (&db->mac_lookup_table, "mac lookup table",
845 db->mac_lookup_table_nbuckets,
846 db->mac_lookup_table_size);
850 gid_dictionary_init (gid_dictionary_t * db)
852 ip4_lookup_init (&db->dst_ip4_table);
853 ip6_lookup_init (&db->dst_ip6_table);
854 mac_lookup_init (&db->sd_mac_table);
858 * fd.io coding-style-patch-verification: ON
861 * eval: (c-set-style "gnu")