2 * Copyright (c) 2018-2019 Cisco and/or its affiliates.
3 * Licensed under the Apache License, Version 2.0 (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 <vcl/vcl_private.h>
17 #include <vlibmemory/api.h>
19 #include <vnet/format_fns.h>
20 #include <vnet/session/session.api_enum.h>
21 #include <vnet/session/session.api_types.h>
23 #define REPLY_MSG_ID_BASE msg_id_base
25 static u16 msg_id_base;
28 format_api_error (u8 * s, va_list * args)
30 i32 error = va_arg (*args, u32);
33 p = hash_get (vcm->error_string_by_error_number, -error);
36 s = format (s, "%s (%d)", p[0], error);
38 s = format (s, "%d", error);
43 vl_api_session_enable_disable_reply_t_handler
44 (vl_api_session_enable_disable_reply_t * mp)
46 vcl_worker_t *wrk = vcl_worker_get (0);
50 clib_warning ("VCL<%d>: session_enable_disable failed: %U", getpid (),
51 format_api_error, ntohl (mp->retval));
54 wrk->bapi_app_state = STATE_APP_ENABLED;
58 vl_api_app_attach_reply_t_handler (vl_api_app_attach_reply_t * mp)
60 vcl_worker_t *wrk = vcl_worker_get (0);
64 char *segment_name = 0;
68 VERR ("attach failed: %U", format_api_error, ntohl (mp->retval));
72 vcl_set_worker_index (0);
74 segment_handle = clib_net_to_host_u64 (mp->segment_handle);
75 if (segment_handle == VCL_INVALID_SEGMENT_HANDLE)
77 VERR ("invalid segment handle");
83 vec_validate (fds, mp->n_fds);
84 if (vl_socket_client_recv_fd_msg2 (&wrk->bapi_sock_ctx, fds, mp->n_fds,
88 if (mp->fd_flags & SESSION_FD_F_VPP_MQ_SEGMENT)
89 if (vcl_segment_attach (vcl_vpp_worker_segment_handle (0),
90 "vpp-mq-seg", SSVM_SEGMENT_MEMFD,
94 if (mp->fd_flags & SESSION_FD_F_MEMFD_SEGMENT)
96 segment_name = vl_api_from_api_to_new_c_string (&mp->segment_name);
98 vcl_segment_attach (segment_handle, segment_name,
99 SSVM_SEGMENT_MEMFD, fds[n_fds++]);
100 vec_free (segment_name);
105 vcl_segment_attach_mq (segment_handle, mp->app_mq, 0,
106 &wrk->app_event_queue);
108 if (mp->fd_flags & SESSION_FD_F_MQ_EVENTFD)
110 svm_msg_q_set_eventfd (wrk->app_event_queue, fds[n_fds]);
111 vcl_mq_epoll_add_evfd (wrk, wrk->app_event_queue);
115 vcl_segment_discover_mqs (vcl_vpp_worker_segment_handle (0), fds + n_fds,
117 vcl_segment_attach_mq (vcl_vpp_worker_segment_handle (0),
118 mp->vpp_ctrl_mq, mp->vpp_ctrl_mq_thread,
120 vcm->ctrl_mq = wrk->ctrl_mq;
126 segment_name = vl_api_from_api_to_new_c_string (&mp->segment_name);
128 vcl_segment_attach (segment_handle, segment_name, SSVM_SEGMENT_SHM,
130 vec_free (segment_name);
135 vcm->app_index = clib_net_to_host_u32 (mp->app_index);
136 wrk->bapi_app_state = STATE_APP_ATTACHED;
140 wrk->bapi_app_state = STATE_APP_FAILED;
141 for (i = clib_max (n_fds - 1, 0); i < vec_len (fds); i++)
147 vl_api_app_worker_add_del_reply_t_handler (vl_api_app_worker_add_del_reply_t *
150 int n_fds = 0, *fds = 0, i, rv;
154 char *segment_name = 0;
159 wrk_index = mp->context;
160 wrk = vcl_worker_get_if_valid (wrk_index);
166 clib_warning ("VCL<%d>: add/del worker failed: %U", getpid (),
167 format_api_error, ntohl (mp->retval));
171 vcl_set_worker_index (wrk_index);
172 wrk->vpp_wrk_index = clib_net_to_host_u32 (mp->wrk_index);
173 wrk->ctrl_mq = vcm->ctrl_mq;
175 segment_handle = clib_net_to_host_u64 (mp->segment_handle);
176 if (segment_handle == VCL_INVALID_SEGMENT_HANDLE)
178 clib_warning ("invalid segment handle");
184 vec_validate (fds, mp->n_fds);
185 if (vl_socket_client_recv_fd_msg2 (&wrk->bapi_sock_ctx, fds, mp->n_fds,
189 if (mp->fd_flags & SESSION_FD_F_VPP_MQ_SEGMENT)
190 if (vcl_segment_attach (vcl_vpp_worker_segment_handle (wrk_index),
191 "vpp-worker-seg", SSVM_SEGMENT_MEMFD,
195 if (mp->fd_flags & SESSION_FD_F_MEMFD_SEGMENT)
197 segment_name = vl_api_from_api_to_new_c_string (&mp->segment_name);
199 vcl_segment_attach (segment_handle, segment_name,
200 SSVM_SEGMENT_MEMFD, fds[n_fds++]);
201 vec_free (segment_name);
206 vcl_segment_attach_mq (segment_handle, mp->app_event_queue_address, 0,
207 &wrk->app_event_queue);
209 if (mp->fd_flags & SESSION_FD_F_MQ_EVENTFD)
211 svm_msg_q_set_eventfd (wrk->app_event_queue, fds[n_fds]);
212 vcl_mq_epoll_add_evfd (wrk, wrk->app_event_queue);
220 segment_name = vl_api_from_api_to_new_c_string (&mp->segment_name);
222 vcl_segment_attach (segment_handle, segment_name, SSVM_SEGMENT_SHM,
224 vec_free (segment_name);
228 wrk->bapi_app_state = STATE_APP_READY;
229 VDBG (0, "worker %u vpp-worker %u added", wrk_index, wrk->vpp_wrk_index);
233 wrk->bapi_app_state = STATE_APP_FAILED;
234 for (i = clib_max (n_fds - 1, 0); i < vec_len (fds); i++)
240 vl_api_app_add_cert_key_pair_reply_t_handler (
241 vl_api_app_add_cert_key_pair_reply_t *mp)
243 vcl_worker_t *wrk = vcl_worker_get_current ();
247 VDBG (0, "Adding cert and key failed: %U", format_api_error,
251 wrk->bapi_return = clib_net_to_host_u32 (mp->index);
252 wrk->bapi_app_state = STATE_APP_READY;
256 vl_api_app_del_cert_key_pair_reply_t_handler (
257 vl_api_app_del_cert_key_pair_reply_t *mp)
261 VDBG (0, "Deleting cert and key failed: %U", format_api_error,
267 #define foreach_sock_msg \
268 _ (SESSION_ENABLE_DISABLE_REPLY, session_enable_disable_reply) \
269 _ (APP_ATTACH_REPLY, app_attach_reply) \
270 _ (APP_ADD_CERT_KEY_PAIR_REPLY, app_add_cert_key_pair_reply) \
271 _ (APP_DEL_CERT_KEY_PAIR_REPLY, app_del_cert_key_pair_reply) \
272 _ (APP_WORKER_ADD_DEL_REPLY, app_worker_add_del_reply)
274 #define vl_print(handle, ...) fformat (handle, __VA_ARGS__)
275 #define vl_endianfun /* define message structures */
276 #include <vnet/session/session.api.h>
279 /* instantiate all the print functions we know about */
281 #include <vnet/session/session.api.h>
284 #define vl_api_version(n, v) static u32 api_version = v;
285 #include <vnet/session/session.api.h>
286 #undef vl_api_version
289 vcl_bapi_hookup (void)
291 u8 *msg_base_lookup_name = format (0, "session_%08x%c", api_version, 0);
294 vl_client_get_first_plugin_msg_id ((char *) msg_base_lookup_name);
296 vec_free (msg_base_lookup_name);
298 if (REPLY_MSG_ID_BASE == (u16) ~0)
302 vl_msg_api_set_handlers ( \
303 REPLY_MSG_ID_BASE + VL_API_##N, #n, vl_api_##n##_t_handler, \
304 vl_noop_handler, vl_api_##n##_t_endian, vl_api_##n##_t_print, \
305 sizeof (vl_api_##n##_t), 1, vl_api_##n##_t_print_json, \
306 vl_api_##n##_t_tojson, vl_api_##n##_t_fromjson);
312 * VPP-API message functions
315 vcl_bapi_send_session_enable_disable (u8 is_enable)
317 vcl_worker_t *wrk = vcl_worker_get_current ();
318 vl_api_session_enable_disable_t *bmp;
319 bmp = vl_msg_api_alloc (sizeof (*bmp));
320 memset (bmp, 0, sizeof (*bmp));
322 bmp->_vl_msg_id = ntohs (REPLY_MSG_ID_BASE + VL_API_SESSION_ENABLE_DISABLE);
323 bmp->client_index = wrk->api_client_handle;
324 bmp->context = htonl (0xfeedface);
325 bmp->is_enable = is_enable;
326 vl_msg_api_send_shmem (wrk->vl_input_queue, (u8 *) & bmp);
330 vcl_bapi_send_attach (void)
332 vcl_worker_t *wrk = vcl_worker_get_current ();
333 u8 tls_engine = CRYPTO_ENGINE_OPENSSL;
334 vl_api_app_attach_t *bmp;
335 u8 nsid_len = vec_len (vcm->cfg.namespace_id);
336 u8 app_is_proxy = (vcm->cfg.app_proxy_transport_tcp ||
337 vcm->cfg.app_proxy_transport_udp);
339 tls_engine = vcm->cfg.tls_engine ? vcm->cfg.tls_engine : tls_engine;
341 bmp = vl_msg_api_alloc (sizeof (*bmp));
342 memset (bmp, 0, sizeof (*bmp));
344 bmp->_vl_msg_id = ntohs (REPLY_MSG_ID_BASE + VL_API_APP_ATTACH);
345 bmp->client_index = wrk->api_client_handle;
346 bmp->context = htonl (0xfeedface);
347 bmp->options[APP_OPTIONS_FLAGS] =
348 APP_OPTIONS_FLAGS_ACCEPT_REDIRECT | APP_OPTIONS_FLAGS_ADD_SEGMENT |
349 (vcm->cfg.app_scope_local ? APP_OPTIONS_FLAGS_USE_LOCAL_SCOPE : 0) |
350 (vcm->cfg.app_scope_global ? APP_OPTIONS_FLAGS_USE_GLOBAL_SCOPE : 0) |
351 (app_is_proxy ? APP_OPTIONS_FLAGS_IS_PROXY : 0) |
352 (vcm->cfg.use_mq_eventfd ? APP_OPTIONS_FLAGS_EVT_MQ_USE_EVENTFD : 0);
353 bmp->options[APP_OPTIONS_PROXY_TRANSPORT] =
354 (u64) ((vcm->cfg.app_proxy_transport_tcp ? 1 << TRANSPORT_PROTO_TCP : 0) |
355 (vcm->cfg.app_proxy_transport_udp ? 1 << TRANSPORT_PROTO_UDP : 0));
356 bmp->options[APP_OPTIONS_SEGMENT_SIZE] = vcm->cfg.segment_size;
357 bmp->options[APP_OPTIONS_ADD_SEGMENT_SIZE] = vcm->cfg.add_segment_size;
358 bmp->options[APP_OPTIONS_RX_FIFO_SIZE] = vcm->cfg.rx_fifo_size;
359 bmp->options[APP_OPTIONS_TX_FIFO_SIZE] = vcm->cfg.tx_fifo_size;
360 bmp->options[APP_OPTIONS_PREALLOC_FIFO_PAIRS] =
361 vcm->cfg.preallocated_fifo_pairs;
362 bmp->options[APP_OPTIONS_EVT_QUEUE_SIZE] = vcm->cfg.event_queue_size;
363 bmp->options[APP_OPTIONS_TLS_ENGINE] = tls_engine;
366 vl_api_vec_to_api_string (vcm->cfg.namespace_id, &bmp->namespace_id);
367 bmp->options[APP_OPTIONS_NAMESPACE_SECRET] = vcm->cfg.namespace_secret;
369 vl_msg_api_send_shmem (wrk->vl_input_queue, (u8 *) & bmp);
373 vcl_bapi_send_detach (void)
375 vcl_worker_t *wrk = vcl_worker_get_current ();
376 vl_api_application_detach_t *bmp;
377 bmp = vl_msg_api_alloc (sizeof (*bmp));
378 memset (bmp, 0, sizeof (*bmp));
380 bmp->_vl_msg_id = ntohs (REPLY_MSG_ID_BASE + VL_API_APPLICATION_DETACH);
381 bmp->client_index = wrk->api_client_handle;
382 bmp->context = htonl (0xfeedface);
383 vl_msg_api_send_shmem (wrk->vl_input_queue, (u8 *) & bmp);
387 vcl_bapi_send_app_worker_add_del (u8 is_add)
389 vcl_worker_t *wrk = vcl_worker_get_current ();
390 vl_api_app_worker_add_del_t *mp;
392 mp = vl_msg_api_alloc (sizeof (*mp));
393 memset (mp, 0, sizeof (*mp));
395 mp->_vl_msg_id = ntohs (REPLY_MSG_ID_BASE + VL_API_APP_WORKER_ADD_DEL);
396 mp->client_index = wrk->api_client_handle;
397 mp->app_index = clib_host_to_net_u32 (vcm->app_index);
398 mp->context = wrk->wrk_index;
401 mp->wrk_index = clib_host_to_net_u32 (wrk->vpp_wrk_index);
403 vl_msg_api_send_shmem (wrk->vl_input_queue, (u8 *) & mp);
407 vcl_bapi_send_child_worker_del (vcl_worker_t * child_wrk)
409 vcl_worker_t *wrk = vcl_worker_get_current ();
410 vl_api_app_worker_add_del_t *mp;
412 mp = vl_msg_api_alloc (sizeof (*mp));
413 memset (mp, 0, sizeof (*mp));
415 mp->_vl_msg_id = ntohs (REPLY_MSG_ID_BASE + VL_API_APP_WORKER_ADD_DEL);
416 mp->client_index = wrk->api_client_handle;
417 mp->app_index = clib_host_to_net_u32 (vcm->app_index);
418 mp->context = wrk->wrk_index;
420 mp->wrk_index = clib_host_to_net_u32 (child_wrk->vpp_wrk_index);
422 vl_msg_api_send_shmem (wrk->vl_input_queue, (u8 *) & mp);
426 vcl_bapi_send_app_add_cert_key_pair (vppcom_cert_key_pair_t *ckpair)
428 vcl_worker_t *wrk = vcl_worker_get_current ();
429 u32 cert_len = ckpair->cert_len;
430 u32 key_len = ckpair->key_len;
431 vl_api_app_add_cert_key_pair_t *bmp;
433 bmp = vl_msg_api_alloc (sizeof (*bmp) + cert_len + key_len);
434 clib_memset (bmp, 0, sizeof (*bmp) + cert_len + key_len);
436 bmp->_vl_msg_id = ntohs (REPLY_MSG_ID_BASE + VL_API_APP_ADD_CERT_KEY_PAIR);
437 bmp->client_index = wrk->api_client_handle;
438 bmp->context = wrk->wrk_index;
439 bmp->cert_len = clib_host_to_net_u16 (cert_len);
440 bmp->certkey_len = clib_host_to_net_u16 (key_len + cert_len);
441 clib_memcpy_fast (bmp->certkey, ckpair->cert, cert_len);
442 clib_memcpy_fast (bmp->certkey + cert_len, ckpair->key, key_len);
444 vl_msg_api_send_shmem (wrk->vl_input_queue, (u8 *) &bmp);
448 vcl_bapi_send_app_del_cert_key_pair (u32 ckpair_index)
450 vcl_worker_t *wrk = vcl_worker_get_current ();
451 vl_api_app_del_cert_key_pair_t *bmp;
452 bmp = vl_msg_api_alloc (sizeof (*bmp));
453 clib_memset (bmp, 0, sizeof (*bmp));
455 bmp->_vl_msg_id = ntohs (REPLY_MSG_ID_BASE + VL_API_APP_DEL_CERT_KEY_PAIR);
456 bmp->client_index = wrk->api_client_handle;
457 bmp->context = wrk->wrk_index;
458 bmp->index = clib_host_to_net_u32 (ckpair_index);
459 vl_msg_api_send_shmem (wrk->vl_input_queue, (u8 *) &bmp);
463 vcl_bapi_max_nsid_len (void)
465 vl_api_app_attach_t *mp;
466 return (sizeof (mp->namespace_id) - 1);
470 vcl_bapi_init_error_string_table (void)
472 vcm->error_string_by_error_number = hash_create (0, sizeof (uword));
474 #define _(n, v, s) hash_set (vcm->error_string_by_error_number, -v, s);
475 foreach_vnet_api_error;
478 hash_set (vcm->error_string_by_error_number, 99, "Misc");
482 vcl_bapi_cleanup (void)
484 socket_client_main_t *scm = &socket_client_main;
485 api_main_t *am = vlibapi_get_main ();
487 am->my_client_index = ~0;
488 am->my_registration = 0;
489 am->vl_input_queue = 0;
490 am->msg_index_by_name_and_crc = 0;
493 vl_client_api_unmap ();
497 vcl_bapi_connect_to_vpp (void)
499 vcl_worker_t *wrk = vcl_worker_get_current ();
500 vppcom_cfg_t *vcl_cfg = &vcm->cfg;
505 wrk_name = format (0, "%v-wrk-%u%c", vcm->app_name, wrk->wrk_index, 0);
507 /* Make sure api is cleaned up in case this is a connect from a
511 vlibapi_set_main (&wrk->bapi_api_ctx);
512 vlibapi_set_memory_client_main (&wrk->bapi_mem_ctx);
514 if (!vcl_cfg->vpp_bapi_socket_name)
520 if (vl_socket_client_connect2 (&wrk->bapi_sock_ctx,
521 (char *) vcl_cfg->vpp_bapi_socket_name,
523 0 /* default rx/tx buffer */ ))
525 VERR ("app (%s) socket connect failed!", wrk_name);
526 rv = VPPCOM_ECONNREFUSED;
530 if (vl_socket_client_init_shm2 (&wrk->bapi_sock_ctx, 0,
531 1 /* want_pthread */ ))
533 VERR ("app (%s) init shm failed!", wrk_name);
534 rv = VPPCOM_ECONNREFUSED;
539 am = vlibapi_get_main ();
540 wrk->vl_input_queue = am->shmem_hdr->vl_input_queue;
541 wrk->api_client_handle = (u32) am->my_client_index;
543 VDBG (0, "app (%s) is connected to VPP!", wrk_name);
544 vcl_evt (VCL_EVT_INIT, vcm);
552 vcl_bapi_disconnect_from_vpp (void)
554 vcl_worker_t *wrk = vcl_worker_get_current ();
555 vppcom_cfg_t *vcl_cfg = &vcm->cfg;
557 if (vcl_cfg->vpp_bapi_socket_name)
558 vl_socket_client_disconnect2 (&wrk->bapi_sock_ctx);
560 vl_client_disconnect_from_vlib ();
564 vcl_bapi_app_state_str (vcl_bapi_app_state_t state)
570 case STATE_APP_START:
571 st = "STATE_APP_START";
574 case STATE_APP_CONN_VPP:
575 st = "STATE_APP_CONN_VPP";
578 case STATE_APP_ENABLED:
579 st = "STATE_APP_ENABLED";
582 case STATE_APP_ATTACHED:
583 st = "STATE_APP_ATTACHED";
587 st = "UNKNOWN_APP_STATE";
595 vcl_bapi_wait_for_wrk_state_change (vcl_bapi_app_state_t app_state)
597 vcl_worker_t *wrk = vcl_worker_get_current ();
598 f64 timeout = clib_time_now (&wrk->clib_time) + vcm->cfg.app_timeout;
600 while (clib_time_now (&wrk->clib_time) < timeout)
602 if (wrk->bapi_app_state == app_state)
604 if (wrk->bapi_app_state == STATE_APP_FAILED)
605 return VPPCOM_ECONNABORTED;
607 VDBG (0, "timeout waiting for state %s, current state %d",
608 vcl_bapi_app_state_str (app_state), wrk->bapi_app_state);
609 vcl_evt (VCL_EVT_SESSION_TIMEOUT, vcm, bapi_app_state);
611 return VPPCOM_ETIMEDOUT;
615 vcl_bapi_session_enable (void)
617 vcl_worker_t *wrk = vcl_worker_get_current ();
620 if (wrk->bapi_app_state != STATE_APP_ENABLED)
622 vcl_bapi_send_session_enable_disable (1 /* is_enabled == TRUE */ );
623 rv = vcl_bapi_wait_for_wrk_state_change (STATE_APP_ENABLED);
624 if (PREDICT_FALSE (rv))
626 VDBG (0, "application session enable timed out! returning %d (%s)",
627 rv, vppcom_retval_str (rv));
637 vcl_worker_t *wrk = vcl_worker_get_current ();
640 wrk->bapi_app_state = STATE_APP_START;
641 vcl_bapi_init_error_string_table ();
642 rv = vcl_bapi_connect_to_vpp ();
645 VERR ("couldn't connect to VPP!");
648 VDBG (0, "sending session enable");
649 rv = vcl_bapi_session_enable ();
652 VERR ("vppcom_app_session_enable() failed!");
660 vcl_bapi_attach (void)
664 /* API hookup and connect to VPP */
665 if ((rv = vcl_bapi_init ()))
668 vcl_bapi_send_attach ();
669 rv = vcl_bapi_wait_for_wrk_state_change (STATE_APP_ATTACHED);
670 if (PREDICT_FALSE (rv))
672 VDBG (0, "application attach timed out! returning %d (%s)", rv,
673 vppcom_retval_str (rv));
681 vcl_bapi_app_worker_add (void)
683 vcl_worker_t *wrk = vcl_worker_get_current ();
685 if (vcl_bapi_connect_to_vpp ())
688 wrk->bapi_app_state = STATE_APP_ADDING_WORKER;
689 vcl_bapi_send_app_worker_add_del (1 /* is_add */ );
690 if (vcl_bapi_wait_for_wrk_state_change (STATE_APP_READY))
696 vcl_bapi_app_worker_del (vcl_worker_t * wrk)
698 /* Notify vpp that the worker is going away */
699 if (wrk->wrk_index == vcl_get_worker_index ())
700 vcl_bapi_send_app_worker_add_del (0 /* is_add */ );
702 vcl_bapi_send_child_worker_del (wrk);
704 /* Disconnect the binary api */
705 if (vec_len (vcm->workers) == 1)
706 vcl_bapi_disconnect_from_vpp ();
708 vl_client_send_disconnect (1 /* vpp should cleanup */ );
712 vcl_bapi_recv_fds (vcl_worker_t * wrk, int *fds, int n_fds)
716 if ((err = vl_socket_client_recv_fd_msg2 (&wrk->bapi_sock_ctx, fds, n_fds,
719 clib_error_report (err);
727 vcl_bapi_add_cert_key_pair (vppcom_cert_key_pair_t *ckpair)
729 vcl_worker_t *wrk = vcl_worker_get_current ();
731 if (ckpair->key_len == 0 || ckpair->key_len == ~0)
732 return VPPCOM_EINVAL;
734 vcl_bapi_send_app_add_cert_key_pair (ckpair);
735 wrk->bapi_app_state = STATE_APP_ADDING_TLS_DATA;
736 vcl_bapi_wait_for_wrk_state_change (STATE_APP_READY);
737 if (wrk->bapi_app_state == STATE_APP_READY)
738 return wrk->bapi_return;
739 return VPPCOM_EFAULT;
743 vcl_bapi_del_cert_key_pair (u32 ckpair_index)
745 /* Don't wait for reply */
746 vcl_bapi_send_app_del_cert_key_pair (ckpair_index);
751 vcl_bapi_worker_set (void)
753 vcl_worker_t *wrk = vcl_worker_get_current ();
756 /* Find the first worker with the same pid */
757 for (i = 0; i < vec_len (vcm->workers); i++)
759 if (i == wrk->wrk_index)
761 if (vcm->workers[i].current_pid == wrk->current_pid)
763 wrk->vl_input_queue = vcm->workers[i].vl_input_queue;
764 wrk->api_client_handle = vcm->workers[i].api_client_handle;
772 * fd.io coding-style-patch-verification: ON
775 * eval: (c-set-style "gnu")