blob: 4aa09d7560eae2b24cb2e6aefe5c11c4063038c4 [file] [log] [blame]
Ed Warnickecb9cada2015-12-08 15:45:58 -07001/*
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 */
Sergio Gonzalez Monroya10f62b2016-11-25 13:36:12 +000015#ifndef __IPSEC_H__
16#define __IPSEC_H__
17
Sergio Gonzalez Monroydb93cd92017-08-26 15:22:05 +010018#include <vnet/ip/ip.h>
Damjan Marion91f17dc2019-03-18 18:59:25 +010019#include <vnet/crypto/crypto.h>
Sergio Gonzalez Monroydb93cd92017-08-26 15:22:05 +010020#include <vnet/feature/feature.h>
21
Klement Sekera4f10db32018-11-12 14:32:19 +010022#include <vppinfra/types.h>
23#include <vppinfra/cache.h>
24
Neale Ranns999c8ee2019-02-01 03:31:24 -080025#include <vnet/ipsec/ipsec_spd.h>
26#include <vnet/ipsec/ipsec_spd_policy.h>
27#include <vnet/ipsec/ipsec_sa.h>
Ed Warnickecb9cada2015-12-08 15:45:58 -070028
Neale Ranns302b25a2020-10-19 13:23:33 +000029#include <vppinfra/bihash_8_16.h>
Neale Ranns7b4e52f2020-05-24 16:17:50 +000030
Neale Ranns302b25a2020-10-19 13:23:33 +000031#include <vppinfra/bihash_24_16.h>
Neale Ranns7b4e52f2020-05-24 16:17:50 +000032
Piotr Bronowski993b6be2022-08-31 13:48:14 +000033#define IPSEC_FP_IP4_HASHES_POOL_SIZE 128
34#define IPSEC_FP_IP6_HASHES_POOL_SIZE 128
35
Klement Sekerab4d30532018-11-08 13:00:02 +010036typedef clib_error_t *(*add_del_sa_sess_cb_t) (u32 sa_index, u8 is_add);
37typedef clib_error_t *(*check_support_cb_t) (ipsec_sa_t * sa);
Fan Zhangf5395782020-04-29 14:00:03 +010038typedef clib_error_t *(*enable_disable_cb_t) (int is_enable);
Klement Sekerab4d30532018-11-08 13:00:02 +010039
Keith Burns (alagalah)166a9d42016-08-06 11:00:56 -070040typedef struct
41{
Zachary Leaf7cd35f52021-06-25 08:11:15 -050042 u64 key[2]; // 16 bytes
Govindarajan Mohandoss6d7dfcb2021-03-19 19:20:49 +000043 u64 value;
44 i32 bucket_lock;
45 u32 un_used;
46} ipsec4_hash_kv_16_8_t;
47
48typedef union
49{
50 struct
51 {
52 ip4_address_t ip4_addr[2];
53 u16 port[2];
54 u8 proto;
55 u8 pad[3];
56 };
57 ipsec4_hash_kv_16_8_t kv_16_8;
58} ipsec4_spd_5tuple_t;
59
Zachary Leaf7cd35f52021-06-25 08:11:15 -050060typedef union
61{
62 struct
63 {
64 ip4_address_t ip4_src_addr;
65 ip4_address_t ip4_dest_addr;
66 ipsec_spd_policy_type_t policy_type;
67 u8 pad[4];
68 }; // 16 bytes total
69 ipsec4_hash_kv_16_8_t kv_16_8;
70} ipsec4_inbound_spd_tuple_t;
71
Govindarajan Mohandoss6d7dfcb2021-03-19 19:20:49 +000072typedef struct
73{
Klement Sekerab4d30532018-11-08 13:00:02 +010074 u8 *name;
75 /* add/del callback */
76 add_del_sa_sess_cb_t add_del_sa_sess_cb;
77 /* check support function */
78 check_support_cb_t check_support_cb;
79 u32 ah4_encrypt_node_index;
80 u32 ah4_decrypt_node_index;
81 u32 ah4_encrypt_next_index;
82 u32 ah4_decrypt_next_index;
83 u32 ah6_encrypt_node_index;
84 u32 ah6_decrypt_node_index;
85 u32 ah6_encrypt_next_index;
86 u32 ah6_decrypt_next_index;
87} ipsec_ah_backend_t;
88
89typedef struct
90{
91 u8 *name;
92 /* add/del callback */
93 add_del_sa_sess_cb_t add_del_sa_sess_cb;
94 /* check support function */
95 check_support_cb_t check_support_cb;
96 u32 esp4_encrypt_node_index;
97 u32 esp4_decrypt_node_index;
98 u32 esp4_encrypt_next_index;
99 u32 esp4_decrypt_next_index;
100 u32 esp6_encrypt_node_index;
101 u32 esp6_decrypt_node_index;
102 u32 esp6_encrypt_next_index;
103 u32 esp6_decrypt_next_index;
Neale Ranns7ec120e2020-01-21 04:58:02 +0000104 u32 esp4_decrypt_tun_node_index;
105 u32 esp4_decrypt_tun_next_index;
Neale Ranns4ec36c52020-03-31 09:21:29 -0400106 u32 esp4_encrypt_tun_node_index;
Neale Ranns7ec120e2020-01-21 04:58:02 +0000107 u32 esp6_decrypt_tun_node_index;
108 u32 esp6_decrypt_tun_next_index;
Neale Ranns4ec36c52020-03-31 09:21:29 -0400109 u32 esp6_encrypt_tun_node_index;
Neale Ranns4a58e492020-12-21 13:19:10 +0000110 u32 esp_mpls_encrypt_tun_node_index;
Klement Sekerab4d30532018-11-08 13:00:02 +0100111} ipsec_esp_backend_t;
Sergio Gonzalez Monroyd04b60b2017-01-20 15:35:23 +0000112
113typedef struct
114{
Damjan Marion060bfb92019-03-29 13:47:54 +0100115 vnet_crypto_op_id_t enc_op_id;
116 vnet_crypto_op_id_t dec_op_id;
Damjan Mariond1bed682019-04-24 15:20:35 +0200117 vnet_crypto_alg_t alg;
Klement Sekera4f10db32018-11-12 14:32:19 +0100118 u8 iv_size;
Christian Hoppsfb7e7ed2019-11-03 07:02:15 -0500119 u8 block_align;
Neale Ranns47feb112019-04-11 15:14:07 +0000120 u8 icv_size;
Damjan Marion91f17dc2019-03-18 18:59:25 +0100121} ipsec_main_crypto_alg_t;
Klement Sekera4f10db32018-11-12 14:32:19 +0100122
123typedef struct
124{
Damjan Marion060bfb92019-03-29 13:47:54 +0100125 vnet_crypto_op_id_t op_id;
Damjan Mariond1bed682019-04-24 15:20:35 +0200126 vnet_crypto_alg_t alg;
Damjan Marion7c22ff72019-04-04 12:25:44 +0200127 u8 icv_size;
Damjan Marion91f17dc2019-03-18 18:59:25 +0100128} ipsec_main_integ_alg_t;
Klement Sekera4f10db32018-11-12 14:32:19 +0100129
130typedef struct
131{
Filip Tehlarefcad1a2020-02-04 09:36:04 +0000132 CLIB_CACHE_LINE_ALIGN_MARK (cacheline0);
Damjan Marionc59b9a22019-03-19 15:38:40 +0100133 vnet_crypto_op_t *crypto_ops;
134 vnet_crypto_op_t *integ_ops;
Filip Tehlarefcad1a2020-02-04 09:36:04 +0000135 vnet_crypto_op_t *chained_crypto_ops;
136 vnet_crypto_op_t *chained_integ_ops;
137 vnet_crypto_op_chunk_t *chunks;
Neale Rannsfc811342021-02-26 10:35:33 +0000138 vnet_crypto_async_frame_t **async_frames;
Damjan Marionc59b9a22019-03-19 15:38:40 +0100139} ipsec_per_thread_data_t;
140
141typedef struct
142{
Ed Warnickecb9cada2015-12-08 15:45:58 -0700143 /* pool of tunnel instances */
Keith Burns (alagalah)166a9d42016-08-06 11:00:56 -0700144 ipsec_spd_t *spds;
Neale Rannsa09c1ff2019-02-04 01:10:30 -0800145 /* pool of policies */
146 ipsec_policy_t *policies;
Piotr Bronowski993b6be2022-08-31 13:48:14 +0000147 /* pool of bihash tables for ipv4 ipsec rules */
148 clib_bihash_16_8_t *fp_ip4_lookup_hashes_pool;
149 /* pool of bihash tables for ipv6 ipsec rules */
150 clib_bihash_40_8_t *fp_ip6_lookup_hashes_pool;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700151
Piotr Bronowski993b6be2022-08-31 13:48:14 +0000152 u32 fp_spd_ipv4_out_is_enabled;
153 u32 fp_spd_ipv4_in_is_enabled;
154 u32 fp_spd_ipv6_out_is_enabled;
155 u32 fp_spd_ipv6_in_is_enabled;
156 /* pool of fast path mask types */
Piotr Bronowski04643102022-05-10 13:18:22 +0000157 ipsec_fp_mask_type_entry_t *fp_mask_types;
158 u32 fp_lookup_hash_buckets; /* number of buckets should be power of two */
159
Neale Rannsabc56602020-04-01 09:45:23 +0000160 /* hash tables of UDP port registrations */
161 uword *udp_port_registrations;
162
Keith Burns (alagalah)166a9d42016-08-06 11:00:56 -0700163 uword *tunnel_index_by_key;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700164
BenoƮt Ganne98ca76a2022-04-11 18:51:25 +0200165 /* next_header protocol registration */
166 u16 *next_header_registrations;
167
Ed Warnickecb9cada2015-12-08 15:45:58 -0700168 /* convenience */
169 vlib_main_t *vlib_main;
170 vnet_main_t *vnet_main;
171
Ed Warnickecb9cada2015-12-08 15:45:58 -0700172 /* hashes */
Keith Burns (alagalah)166a9d42016-08-06 11:00:56 -0700173 uword *spd_index_by_spd_id;
174 uword *spd_index_by_sw_if_index;
175 uword *sa_index_by_sa_id;
Kingwel Xie1ba5bc82019-03-20 07:21:58 -0400176 uword *ipsec4_if_pool_index_by_key;
177 uword *ipsec6_if_pool_index_by_key;
Matthew Smith8e1039a2018-04-12 07:32:56 -0500178 uword *ipsec_if_real_dev_by_show_dev;
Neale Ranns25edf142019-03-22 08:12:48 +0000179 uword *ipsec_if_by_sw_if_index;
Neale Ranns7b4e52f2020-05-24 16:17:50 +0000180
Govindarajan Mohandoss6d7dfcb2021-03-19 19:20:49 +0000181 ipsec4_hash_kv_16_8_t *ipsec4_out_spd_hash_tbl;
Zachary Leaf7cd35f52021-06-25 08:11:15 -0500182 ipsec4_hash_kv_16_8_t *ipsec4_in_spd_hash_tbl;
Neale Ranns302b25a2020-10-19 13:23:33 +0000183 clib_bihash_8_16_t tun4_protect_by_key;
184 clib_bihash_24_16_t tun6_protect_by_key;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700185
Paul Vinciguerrabdc0e6b2018-09-22 05:32:50 -0700186 /* node indices */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700187 u32 error_drop_node_index;
Klement Sekerabe5a5dd2018-10-09 16:05:48 +0200188 u32 esp4_encrypt_node_index;
189 u32 esp4_decrypt_node_index;
Neale Ranns7ec120e2020-01-21 04:58:02 +0000190 u32 esp4_decrypt_tun_node_index;
Neale Ranns4ec36c52020-03-31 09:21:29 -0400191 u32 esp4_encrypt_tun_node_index;
Klement Sekerabe5a5dd2018-10-09 16:05:48 +0200192 u32 ah4_encrypt_node_index;
193 u32 ah4_decrypt_node_index;
194 u32 esp6_encrypt_node_index;
195 u32 esp6_decrypt_node_index;
Neale Ranns7ec120e2020-01-21 04:58:02 +0000196 u32 esp6_decrypt_tun_node_index;
Neale Ranns4ec36c52020-03-31 09:21:29 -0400197 u32 esp6_encrypt_tun_node_index;
Neale Ranns4a58e492020-12-21 13:19:10 +0000198 u32 esp_mpls_encrypt_tun_node_index;
Klement Sekerabe5a5dd2018-10-09 16:05:48 +0200199 u32 ah6_encrypt_node_index;
200 u32 ah6_decrypt_node_index;
Paul Vinciguerrabdc0e6b2018-09-22 05:32:50 -0700201 /* next node indices */
Klement Sekerabe5a5dd2018-10-09 16:05:48 +0200202 u32 esp4_encrypt_next_index;
203 u32 esp4_decrypt_next_index;
Neale Ranns7ec120e2020-01-21 04:58:02 +0000204 u32 esp4_decrypt_tun_next_index;
Klement Sekerabe5a5dd2018-10-09 16:05:48 +0200205 u32 ah4_encrypt_next_index;
206 u32 ah4_decrypt_next_index;
207 u32 esp6_encrypt_next_index;
208 u32 esp6_decrypt_next_index;
Neale Ranns7ec120e2020-01-21 04:58:02 +0000209 u32 esp6_decrypt_tun_next_index;
Klement Sekerabe5a5dd2018-10-09 16:05:48 +0200210 u32 ah6_encrypt_next_index;
211 u32 ah6_decrypt_next_index;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700212
Klement Sekerab4d30532018-11-08 13:00:02 +0100213 /* pool of ah backends */
214 ipsec_ah_backend_t *ah_backends;
215 /* pool of esp backends */
216 ipsec_esp_backend_t *esp_backends;
217 /* index of current ah backend */
218 u32 ah_current_backend;
219 /* index of current esp backend */
220 u32 esp_current_backend;
221 /* index of default ah backend */
222 u32 ah_default_backend;
223 /* index of default esp backend */
224 u32 esp_default_backend;
Damjan Marion91f17dc2019-03-18 18:59:25 +0100225
226 /* crypto alg data */
227 ipsec_main_crypto_alg_t *crypto_algs;
228
229 /* crypto integ data */
230 ipsec_main_integ_alg_t *integ_algs;
Damjan Marionc59b9a22019-03-19 15:38:40 +0100231
232 /* per-thread data */
233 ipsec_per_thread_data_t *ptd;
Neale Rannsf62a8c02019-04-02 08:13:33 +0000234
235 /** Worker handoff */
236 u32 ah4_enc_fq_index;
237 u32 ah4_dec_fq_index;
238 u32 ah6_enc_fq_index;
239 u32 ah6_dec_fq_index;
240
241 u32 esp4_enc_fq_index;
242 u32 esp4_dec_fq_index;
243 u32 esp6_enc_fq_index;
244 u32 esp6_dec_fq_index;
245 u32 esp4_enc_tun_fq_index;
246 u32 esp6_enc_tun_fq_index;
Neale Ranns4a58e492020-12-21 13:19:10 +0000247 u32 esp_mpls_enc_tun_fq_index;
Neale Rannsf62a8c02019-04-02 08:13:33 +0000248 u32 esp4_dec_tun_fq_index;
249 u32 esp6_dec_tun_fq_index;
Fan Zhangf5395782020-04-29 14:00:03 +0100250
Govindarajan Mohandoss6d7dfcb2021-03-19 19:20:49 +0000251 /* Number of buckets for flow cache */
252 u32 ipsec4_out_spd_hash_num_buckets;
253 u32 ipsec4_out_spd_flow_cache_entries;
254 u32 epoch_count;
Zachary Leaf7cd35f52021-06-25 08:11:15 -0500255 u8 output_flow_cache_flag;
256
257 u32 ipsec4_in_spd_hash_num_buckets;
258 u32 ipsec4_in_spd_flow_cache_entries;
259 u32 input_epoch_count;
260 u8 input_flow_cache_flag;
261
Fan Zhangf5395782020-04-29 14:00:03 +0100262 u8 async_mode;
Filip Tehlarc73f3292021-06-22 08:21:31 +0000263 u16 msg_id_base;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700264} ipsec_main_t;
265
Neale Rannsb294f102019-04-03 13:17:50 +0000266typedef enum ipsec_format_flags_t_
267{
268 IPSEC_FORMAT_BRIEF = 0,
269 IPSEC_FORMAT_DETAIL = (1 << 0),
Christian E. Hopps01d61e72019-09-27 14:43:22 -0400270 IPSEC_FORMAT_INSECURE = (1 << 1),
Neale Rannsb294f102019-04-03 13:17:50 +0000271} ipsec_format_flags_t;
272
Dave Wallace71612d62017-10-24 01:32:41 -0400273extern ipsec_main_t ipsec_main;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700274
Klement Sekerab4d30532018-11-08 13:00:02 +0100275clib_error_t *ipsec_add_del_sa_sess_cb (ipsec_main_t * im, u32 sa_index,
276 u8 is_add);
277
278clib_error_t *ipsec_check_support_cb (ipsec_main_t * im, ipsec_sa_t * sa);
279
Neale Rannsabc56602020-04-01 09:45:23 +0000280extern vlib_node_registration_t ipsec4_tun_input_node;
281extern vlib_node_registration_t ipsec6_tun_input_node;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700282
Ed Warnickecb9cada2015-12-08 15:45:58 -0700283/*
284 * functions
285 */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700286
Ed Warnickecb9cada2015-12-08 15:45:58 -0700287/*
288 * inline functions
289 */
290
Matus Fabian08a6f012016-11-15 06:08:51 -0800291static_always_inline u32
292get_next_output_feature_node_index (vlib_buffer_t * b,
293 vlib_node_runtime_t * nr)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700294{
Matus Fabian08a6f012016-11-15 06:08:51 -0800295 u32 next;
Keith Burns (alagalah)166a9d42016-08-06 11:00:56 -0700296 vlib_main_t *vm = vlib_get_main ();
Matus Fabian08a6f012016-11-15 06:08:51 -0800297 vlib_node_t *node = vlib_get_node (vm, nr->node_index);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700298
Damjan Marion7d98a122018-07-19 20:42:08 +0200299 vnet_feature_next (&next, b);
Matus Fabian08a6f012016-11-15 06:08:51 -0800300 return node->next_nodes[next];
Ed Warnickecb9cada2015-12-08 15:45:58 -0700301}
Keith Burns (alagalah)166a9d42016-08-06 11:00:56 -0700302
Govindarajan Mohandoss6d7dfcb2021-03-19 19:20:49 +0000303static_always_inline u64
304ipsec4_hash_16_8 (ipsec4_hash_kv_16_8_t *v)
305{
306#ifdef clib_crc32c_uses_intrinsics
307 return clib_crc32c ((u8 *) v->key, 16);
308#else
309 u64 tmp = v->key[0] ^ v->key[1];
310 return clib_xxhash (tmp);
311#endif
312}
313
314static_always_inline int
315ipsec4_hash_key_compare_16_8 (u64 *a, u64 *b)
316{
317#if defined(CLIB_HAVE_VEC128) && defined(CLIB_HAVE_VEC128_UNALIGNED_LOAD_STORE)
318 u64x2 v;
319 v = u64x2_load_unaligned (a) ^ u64x2_load_unaligned (b);
320 return u64x2_is_all_zero (v);
321#else
322 return ((a[0] ^ b[0]) | (a[1] ^ b[1])) == 0;
323#endif
324}
325
326/* clib_spinlock_lock is not used to save another memory indirection */
327static_always_inline void
328ipsec_spinlock_lock (i32 *lock)
329{
330 i32 free = 0;
331 while (!clib_atomic_cmp_and_swap_acq_relax_n (lock, &free, 1, 0))
332 {
333 /* atomic load limits number of compare_exchange executions */
334 while (clib_atomic_load_relax_n (lock))
335 CLIB_PAUSE ();
336 /* on failure, compare_exchange writes lock into free */
337 free = 0;
338 }
339}
340
341static_always_inline void
342ipsec_spinlock_unlock (i32 *lock)
343{
344 /* Make sure all reads/writes are complete before releasing the lock */
345 clib_atomic_release (lock);
346}
347
Arthur de Kerhorad95b062022-11-16 19:12:05 +0100348/* Special case to drop or hand off packets for sync/async modes.
349 *
350 * Different than sync mode, async mode only enqueue drop or hand-off packets
351 * to next nodes.
352 */
353always_inline void
354ipsec_set_next_index (vlib_buffer_t *b, vlib_node_runtime_t *node,
355 u32 thread_index, u32 err, u32 ipsec_sa_err, u16 index,
356 u16 *nexts, u16 drop_next, u32 sa_index)
357{
358 nexts[index] = drop_next;
359 b->error = node->errors[err];
360 if (PREDICT_TRUE (ipsec_sa_err != ~0))
361 vlib_increment_simple_counter (&ipsec_sa_err_counters[ipsec_sa_err],
362 thread_index, sa_index, 1);
363}
364
Klement Sekerab4d30532018-11-08 13:00:02 +0100365u32 ipsec_register_ah_backend (vlib_main_t * vm, ipsec_main_t * im,
366 const char *name,
367 const char *ah4_encrypt_node_name,
368 const char *ah4_decrypt_node_name,
369 const char *ah6_encrypt_node_name,
370 const char *ah6_decrypt_node_name,
371 check_support_cb_t ah_check_support_cb,
372 add_del_sa_sess_cb_t ah_add_del_sa_sess_cb);
373
Neale Ranns4a58e492020-12-21 13:19:10 +0000374u32 ipsec_register_esp_backend (
375 vlib_main_t *vm, ipsec_main_t *im, const char *name,
376 const char *esp4_encrypt_node_name, const char *esp4_encrypt_tun_node_name,
377 const char *esp4_decrypt_node_name, const char *esp4_decrypt_tun_node_name,
378 const char *esp6_encrypt_node_name, const char *esp6_encrypt_tun_node_name,
379 const char *esp6_decrypt_node_name, const char *esp6_decrypt_tun_node_name,
380 const char *esp_mpls_encrypt_tun_node_name,
381 check_support_cb_t esp_check_support_cb,
Xiaoming Jiang9a9604b2023-03-09 02:03:50 +0000382 add_del_sa_sess_cb_t esp_add_del_sa_sess_cb);
Klement Sekerab4d30532018-11-08 13:00:02 +0100383
384int ipsec_select_ah_backend (ipsec_main_t * im, u32 ah_backend_idx);
385int ipsec_select_esp_backend (ipsec_main_t * im, u32 esp_backend_idx);
Neale Ranns25edf142019-03-22 08:12:48 +0000386
Neale Rannse8915fc2019-04-23 20:57:55 -0400387clib_error_t *ipsec_rsc_in_use (ipsec_main_t * im);
Neale Ranns4ec36c52020-03-31 09:21:29 -0400388void ipsec_set_async_mode (u32 is_enabled);
Neale Rannse8915fc2019-04-23 20:57:55 -0400389
Matthew Smith6f1eb482022-08-09 22:19:38 +0000390extern void ipsec_register_udp_port (u16 udp_port, u8 is_ip4);
391extern void ipsec_unregister_udp_port (u16 udp_port, u8 is_ip4);
Neale Rannsabc56602020-04-01 09:45:23 +0000392
BenoƮt Ganne98ca76a2022-04-11 18:51:25 +0200393extern clib_error_t *ipsec_register_next_header (vlib_main_t *vm,
394 u8 next_header,
395 const char *next_node);
396
Sergio Gonzalez Monroya10f62b2016-11-25 13:36:12 +0000397#endif /* __IPSEC_H__ */
398
Keith Burns (alagalah)166a9d42016-08-06 11:00:56 -0700399/*
400 * fd.io coding-style-patch-verification: ON
401 *
402 * Local Variables:
403 * eval: (c-set-style "gnu")
404 * End:
405 */