ec5ca11b179d2d489ff9e3b018c6b872e8331fca
[vpp.git] / src / vnet / ipsec / ipsec_sa.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 #ifndef __IPSEC_SPD_SA_H__
16 #define __IPSEC_SPD_SA_H__
17
18 #include <vlib/vlib.h>
19 #include <vnet/crypto/crypto.h>
20 #include <vnet/ip/ip.h>
21 #include <vnet/fib/fib_node.h>
22 #include <vnet/tunnel/tunnel.h>
23
24 #define foreach_ipsec_crypto_alg    \
25   _ (0, NONE, "none")               \
26   _ (1, AES_CBC_128, "aes-cbc-128") \
27   _ (2, AES_CBC_192, "aes-cbc-192") \
28   _ (3, AES_CBC_256, "aes-cbc-256") \
29   _ (4, AES_CTR_128, "aes-ctr-128") \
30   _ (5, AES_CTR_192, "aes-ctr-192") \
31   _ (6, AES_CTR_256, "aes-ctr-256") \
32   _ (7, AES_GCM_128, "aes-gcm-128") \
33   _ (8, AES_GCM_192, "aes-gcm-192") \
34   _ (9, AES_GCM_256, "aes-gcm-256") \
35   _ (10, DES_CBC, "des-cbc")        \
36   _ (11, 3DES_CBC, "3des-cbc")
37
38 typedef enum
39 {
40 #define _(v, f, s) IPSEC_CRYPTO_ALG_##f = v,
41   foreach_ipsec_crypto_alg
42 #undef _
43     IPSEC_CRYPTO_N_ALG,
44 } __clib_packed ipsec_crypto_alg_t;
45
46 #define IPSEC_CRYPTO_ALG_IS_GCM(_alg)                     \
47   (((_alg == IPSEC_CRYPTO_ALG_AES_GCM_128) ||             \
48     (_alg == IPSEC_CRYPTO_ALG_AES_GCM_192) ||             \
49     (_alg == IPSEC_CRYPTO_ALG_AES_GCM_256)))
50
51 #define IPSEC_CRYPTO_ALG_IS_CTR(_alg)                                         \
52   (((_alg == IPSEC_CRYPTO_ALG_AES_CTR_128) ||                                 \
53     (_alg == IPSEC_CRYPTO_ALG_AES_CTR_192) ||                                 \
54     (_alg == IPSEC_CRYPTO_ALG_AES_CTR_256)))
55
56 #define foreach_ipsec_integ_alg                                            \
57   _ (0, NONE, "none")                                                      \
58   _ (1, MD5_96, "md5-96")           /* RFC2403 */                          \
59   _ (2, SHA1_96, "sha1-96")         /* RFC2404 */                          \
60   _ (3, SHA_256_96, "sha-256-96")   /* draft-ietf-ipsec-ciph-sha-256-00 */ \
61   _ (4, SHA_256_128, "sha-256-128") /* RFC4868 */                          \
62   _ (5, SHA_384_192, "sha-384-192") /* RFC4868 */                          \
63   _ (6, SHA_512_256, "sha-512-256")     /* RFC4868 */
64
65 typedef enum
66 {
67 #define _(v, f, s) IPSEC_INTEG_ALG_##f = v,
68   foreach_ipsec_integ_alg
69 #undef _
70     IPSEC_INTEG_N_ALG,
71 } __clib_packed ipsec_integ_alg_t;
72
73 typedef enum
74 {
75   IPSEC_PROTOCOL_AH = 0,
76   IPSEC_PROTOCOL_ESP = 1
77 } __clib_packed ipsec_protocol_t;
78
79 #define IPSEC_KEY_MAX_LEN 128
80 typedef struct ipsec_key_t_
81 {
82   u8 len;
83   u8 data[IPSEC_KEY_MAX_LEN];
84 } ipsec_key_t;
85
86 /*
87  * Enable extended sequence numbers
88  * Enable Anti-replay
89  * IPsec tunnel mode if non-zero, else transport mode
90  * IPsec tunnel mode is IPv6 if non-zero,
91  * else IPv4 tunnel only valid if is_tunnel is non-zero
92  * enable UDP encapsulation for NAT traversal
93  */
94 #define foreach_ipsec_sa_flags                                                \
95   _ (0, NONE, "none")                                                         \
96   _ (1, USE_ESN, "esn")                                                       \
97   _ (2, USE_ANTI_REPLAY, "anti-replay")                                       \
98   _ (4, IS_TUNNEL, "tunnel")                                                  \
99   _ (8, IS_TUNNEL_V6, "tunnel-v6")                                            \
100   _ (16, UDP_ENCAP, "udp-encap")                                              \
101   _ (32, IS_PROTECT, "Protect")                                               \
102   _ (64, IS_INBOUND, "inbound")                                               \
103   _ (128, IS_AEAD, "aead")                                                    \
104   _ (256, IS_CTR, "ctr")                                                      \
105   _ (512, IS_ASYNC, "async")                                                  \
106   _ (1024, NO_ALGO_NO_DROP, "no-algo-no-drop")
107
108 typedef enum ipsec_sad_flags_t_
109 {
110 #define _(v, f, s) IPSEC_SA_FLAG_##f = v,
111   foreach_ipsec_sa_flags
112 #undef _
113 } __clib_packed ipsec_sa_flags_t;
114
115 STATIC_ASSERT (sizeof (ipsec_sa_flags_t) == 2, "IPSEC SA flags != 2 byte");
116
117 typedef struct
118 {
119   CLIB_CACHE_LINE_ALIGN_MARK (cacheline0);
120
121   /* flags */
122   ipsec_sa_flags_t flags;
123
124   u8 crypto_iv_size;
125   u8 esp_block_align;
126   u8 integ_icv_size;
127
128   u8 __pad1[3];
129
130   u32 thread_index;
131
132   u32 spi;
133   u32 seq;
134   u32 seq_hi;
135   u64 replay_window;
136   u64 ctr_iv_counter;
137   dpo_id_t dpo;
138
139   vnet_crypto_key_index_t crypto_key_index;
140   vnet_crypto_key_index_t integ_key_index;
141
142   /* Union data shared by sync and async ops, updated when mode is
143    * changed. */
144   union
145   {
146     struct
147     {
148       vnet_crypto_op_id_t crypto_enc_op_id:16;
149       vnet_crypto_op_id_t crypto_dec_op_id:16;
150       vnet_crypto_op_id_t integ_op_id:16;
151     };
152
153     struct
154     {
155       vnet_crypto_async_op_id_t crypto_async_enc_op_id:16;
156       vnet_crypto_async_op_id_t crypto_async_dec_op_id:16;
157       vnet_crypto_key_index_t linked_key_index;
158     };
159
160     u64 crypto_op_data;
161   };
162
163   CLIB_CACHE_LINE_ALIGN_MARK (cacheline1);
164
165   union
166   {
167     ip4_header_t ip4_hdr;
168     ip6_header_t ip6_hdr;
169   };
170   udp_header_t udp_hdr;
171
172   /* Salt used in CTR modes (incl. GCM) - stored in network byte order */
173   u32 salt;
174
175   ipsec_protocol_t protocol;
176   tunnel_encap_decap_flags_t tunnel_flags;
177   u8 __pad[2];
178
179   /* data accessed by dataplane code should be above this comment */
180     CLIB_CACHE_LINE_ALIGN_MARK (cacheline2);
181
182   /* Elements with u64 size multiples */
183   union
184   {
185     struct
186     {
187       vnet_crypto_op_id_t crypto_enc_op_id:16;
188       vnet_crypto_op_id_t crypto_dec_op_id:16;
189       vnet_crypto_op_id_t integ_op_id:16;
190     };
191     u64 data;
192   } sync_op_data;
193
194   union
195   {
196     struct
197     {
198       vnet_crypto_async_op_id_t crypto_async_enc_op_id:16;
199       vnet_crypto_async_op_id_t crypto_async_dec_op_id:16;
200       vnet_crypto_key_index_t linked_key_index;
201     };
202     u64 data;
203   } async_op_data;
204
205   tunnel_t tunnel;
206
207   fib_node_t node;
208
209   /* elements with u32 size */
210   u32 id;
211   u32 stat_index;
212   vnet_crypto_alg_t integ_calg;
213   vnet_crypto_alg_t crypto_calg;
214
215   /* else u8 packed */
216   ipsec_crypto_alg_t crypto_alg;
217   ipsec_integ_alg_t integ_alg;
218
219   ipsec_key_t integ_key;
220   ipsec_key_t crypto_key;
221 } ipsec_sa_t;
222
223 STATIC_ASSERT_OFFSET_OF (ipsec_sa_t, cacheline1, CLIB_CACHE_LINE_BYTES);
224 STATIC_ASSERT_OFFSET_OF (ipsec_sa_t, cacheline2, 2 * CLIB_CACHE_LINE_BYTES);
225
226 /**
227  * Pool of IPSec SAs
228  */
229 extern ipsec_sa_t *ipsec_sa_pool;
230
231 /*
232  * Ensure that the IPsec data does not overlap with the IP data in
233  * the buffer meta data
234  */
235 STATIC_ASSERT (STRUCT_OFFSET_OF (vnet_buffer_opaque_t, ipsec.sad_index) ==
236                  STRUCT_OFFSET_OF (vnet_buffer_opaque_t, ip.save_protocol),
237                "IPSec data is overlapping with IP data");
238
239 #define _(a,v,s)                                                        \
240   always_inline int                                                     \
241   ipsec_sa_is_set_##v (const ipsec_sa_t *sa) {                          \
242     return (sa->flags & IPSEC_SA_FLAG_##v);                             \
243   }
244 foreach_ipsec_sa_flags
245 #undef _
246 #define _(a,v,s)                                                        \
247   always_inline int                                                     \
248   ipsec_sa_set_##v (ipsec_sa_t *sa) {                                   \
249     return (sa->flags |= IPSEC_SA_FLAG_##v);                            \
250   }
251   foreach_ipsec_sa_flags
252 #undef _
253 #define _(a,v,s)                                                        \
254   always_inline int                                                     \
255   ipsec_sa_unset_##v (ipsec_sa_t *sa) {                                 \
256     return (sa->flags &= ~IPSEC_SA_FLAG_##v);                           \
257   }
258   foreach_ipsec_sa_flags
259 #undef _
260 /**
261  * @brief
262  * SA packet & bytes counters
263  */
264 extern vlib_combined_counter_main_t ipsec_sa_counters;
265 extern vlib_simple_counter_main_t ipsec_sa_lost_counters;
266
267 extern void ipsec_mk_key (ipsec_key_t * key, const u8 * data, u8 len);
268
269 extern int
270 ipsec_sa_add_and_lock (u32 id, u32 spi, ipsec_protocol_t proto,
271                        ipsec_crypto_alg_t crypto_alg, const ipsec_key_t *ck,
272                        ipsec_integ_alg_t integ_alg, const ipsec_key_t *ik,
273                        ipsec_sa_flags_t flags, u32 salt, u16 src_port,
274                        u16 dst_port, const tunnel_t *tun, u32 *sa_out_index);
275 extern index_t ipsec_sa_find_and_lock (u32 id);
276 extern int ipsec_sa_unlock_id (u32 id);
277 extern void ipsec_sa_unlock (index_t sai);
278 extern void ipsec_sa_lock (index_t sai);
279 extern void ipsec_sa_clear (index_t sai);
280 extern void ipsec_sa_set_crypto_alg (ipsec_sa_t * sa,
281                                      ipsec_crypto_alg_t crypto_alg);
282 extern void ipsec_sa_set_integ_alg (ipsec_sa_t * sa,
283                                     ipsec_integ_alg_t integ_alg);
284
285 typedef walk_rc_t (*ipsec_sa_walk_cb_t) (ipsec_sa_t * sa, void *ctx);
286 extern void ipsec_sa_walk (ipsec_sa_walk_cb_t cd, void *ctx);
287
288 extern u8 *format_ipsec_replay_window (u8 *s, va_list *args);
289 extern u8 *format_ipsec_crypto_alg (u8 * s, va_list * args);
290 extern u8 *format_ipsec_integ_alg (u8 * s, va_list * args);
291 extern u8 *format_ipsec_sa (u8 * s, va_list * args);
292 extern u8 *format_ipsec_key (u8 * s, va_list * args);
293 extern uword unformat_ipsec_crypto_alg (unformat_input_t * input,
294                                         va_list * args);
295 extern uword unformat_ipsec_integ_alg (unformat_input_t * input,
296                                        va_list * args);
297 extern uword unformat_ipsec_key (unformat_input_t * input, va_list * args);
298
299 #define IPSEC_UDP_PORT_NONE ((u16)~0)
300
301 /*
302  * Anti Replay definitions
303  */
304
305 #define IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE (64)
306 #define IPSEC_SA_ANTI_REPLAY_WINDOW_MAX_INDEX (IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE-1)
307
308 /*
309  * sequence number less than the lower bound are outside of the window
310  * From RFC4303 Appendix A:
311  *  Bl = Tl - W + 1
312  */
313 #define IPSEC_SA_ANTI_REPLAY_WINDOW_LOWER_BOUND(_tl) (_tl - IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE + 1)
314
315 always_inline int
316 ipsec_sa_anti_replay_check (const ipsec_sa_t *sa, u32 seq)
317 {
318   if (ipsec_sa_is_set_USE_ANTI_REPLAY (sa) &&
319       sa->replay_window & (1ULL << (sa->seq - seq)))
320     return 1;
321   else
322     return 0;
323 }
324
325 /*
326  * Anti replay check.
327  *  inputs need to be in host byte order.
328  *
329  * The function runs in two contexts. pre and post decrypt.
330  * Pre-decrypt it:
331  *  1 - determines if a packet is a replay - a simple check in the window
332  *  2 - returns the hi-seq number that should be used to decrypt.
333  * post-decrypt:
334  *  Checks whether the packet is a replay or falls out of window
335  *
336  * This funcion should be called even without anti-replay enabled to ensure
337  * the high sequence number is set.
338  */
339 always_inline int
340 ipsec_sa_anti_replay_and_sn_advance (const ipsec_sa_t *sa, u32 seq,
341                                      u32 hi_seq_used, bool post_decrypt,
342                                      u32 *hi_seq_req)
343 {
344   ASSERT ((post_decrypt == false) == (hi_seq_req != 0));
345
346   if (!ipsec_sa_is_set_USE_ESN (sa))
347     {
348       if (hi_seq_req)
349         /* no ESN, therefore the hi-seq is always 0 */
350         *hi_seq_req = 0;
351
352       if (!ipsec_sa_is_set_USE_ANTI_REPLAY (sa))
353         return 0;
354
355       if (PREDICT_TRUE (seq > sa->seq))
356         return 0;
357
358       u32 diff = sa->seq - seq;
359
360       if (IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE > diff)
361         return ((sa->replay_window & (1ULL << diff)) ? 1 : 0);
362       else
363         return 1;
364
365       return 0;
366     }
367
368   if (!ipsec_sa_is_set_USE_ANTI_REPLAY (sa))
369     {
370       /* there's no AR configured for this SA, but in order
371        * to know whether a packet has wrapped the hi ESN we need
372        * to know whether it is out of window. if we use the default
373        * lower bound then we are effectively forcing AR because
374        * out of window packets will get the increased hi seq number
375        * and will thus fail to decrypt. IOW we need a window to know
376        * if the SN has wrapped, but we don't want a window to check for
377        * anti replay. to resolve the contradiction we use a huge window.
378        * if the packet is not within 2^30 of the current SN, we'll consider
379        * it a wrap.
380        */
381       if (hi_seq_req)
382         {
383           if (seq >= sa->seq)
384             /* The packet's sequence number is larger that the SA's.
385              * that can't be a warp - unless we lost more than
386              * 2^32 packets ... how could we know? */
387             *hi_seq_req = sa->seq_hi;
388           else
389             {
390               /* The packet's SN is less than the SAs, so either the SN has
391                * wrapped or the SN is just old. */
392               if (sa->seq - seq > (1 << 30))
393                 /* It's really really really old => it wrapped */
394                 *hi_seq_req = sa->seq_hi + 1;
395               else
396                 *hi_seq_req = sa->seq_hi;
397             }
398         }
399       /*
400        * else
401        *   this is post-decrpyt and since it decrypted we accept it
402        */
403       return 0;
404     }
405   if (PREDICT_TRUE (sa->seq >= (IPSEC_SA_ANTI_REPLAY_WINDOW_MAX_INDEX)))
406     {
407       /*
408        * the last sequence number VPP recieved is more than one
409        * window size greater than zero.
410        * Case A from RFC4303 Appendix A.
411        */
412       if (seq < IPSEC_SA_ANTI_REPLAY_WINDOW_LOWER_BOUND (sa->seq))
413         {
414           /*
415            * the received sequence number is lower than the lower bound
416            * of the window, this could mean either a replay packet or that
417            * the high sequence number has wrapped. if it decrypts corrently
418            * then it's the latter.
419            */
420           if (post_decrypt)
421             {
422               if (hi_seq_used == sa->seq_hi)
423                 /* the high sequence number used to succesfully decrypt this
424                  * packet is the same as the last-sequnence number of the SA.
425                  * that means this packet did not cause a wrap.
426                  * this packet is thus out of window and should be dropped */
427                 return 1;
428               else
429                 /* The packet decrypted with a different high sequence number
430                  * to the SA, that means it is the wrap packet and should be
431                  * accepted */
432                 return 0;
433             }
434           else
435             {
436               /* pre-decrypt it might be the might that casues a wrap, we
437                * need to decrpyt to find out */
438               if (hi_seq_req)
439                 *hi_seq_req = sa->seq_hi + 1;
440               return 0;
441             }
442         }
443       else
444         {
445           /*
446            * the recieved sequence number greater than the low
447            * end of the window.
448            */
449           if (hi_seq_req)
450             *hi_seq_req = sa->seq_hi;
451           if (seq <= sa->seq)
452             /*
453              * The recieved seq number is within bounds of the window
454              * check if it's a duplicate
455              */
456             return (ipsec_sa_anti_replay_check (sa, seq));
457           else
458             /*
459              * The received sequence number is greater than the window
460              * upper bound. this packet will move the window along, assuming
461              * it decrypts correctly.
462              */
463             return 0;
464         }
465     }
466   else
467     {
468       /*
469        * the last sequence number VPP recieved is within one window
470        * size of zero, i.e. 0 < TL < WINDOW_SIZE, the lower bound is thus a
471        * large sequence number.
472        * Note that the check below uses unsiged integer arthimetic, so the
473        * RHS will be a larger number.
474        * Case B from RFC4303 Appendix A.
475        */
476       if (seq < IPSEC_SA_ANTI_REPLAY_WINDOW_LOWER_BOUND (sa->seq))
477         {
478           /*
479            * the sequence number is less than the lower bound.
480            */
481           if (seq <= sa->seq)
482             {
483               /*
484                * the packet is within the window upper bound.
485                * check for duplicates.
486                */
487               if (hi_seq_req)
488                 *hi_seq_req = sa->seq_hi;
489               return (ipsec_sa_anti_replay_check (sa, seq));
490             }
491           else
492             {
493               /*
494                * the packet is less the window lower bound or greater than
495                * the higher bound, depending on how you look at it...
496                * We're assuming, given that the last sequence number received,
497                * TL < WINDOW_SIZE, that a largeer seq num is more likely to be
498                * a packet that moves the window forward, than a packet that has
499                * wrapped the high sequence again. If it were the latter then
500                * we've lost close to 2^32 packets.
501                */
502               if (hi_seq_req)
503                 *hi_seq_req = sa->seq_hi;
504               return 0;
505             }
506         }
507       else
508         {
509           /*
510            * the packet seq number is between the lower bound (a large nubmer)
511            * and MAX_SEQ_NUM. This is in the window since the window upper bound
512            * tl > 0.
513            * However, since TL is the other side of 0 to the received
514            * packet, the SA has moved on to a higher sequence number.
515            */
516           if (hi_seq_req)
517             *hi_seq_req = sa->seq_hi - 1;
518           return (ipsec_sa_anti_replay_check (sa, seq));
519         }
520     }
521
522   /* unhandled case */
523   ASSERT (0);
524   return 0;
525 }
526
527 always_inline u32
528 ipsec_sa_anti_replay_window_shift (ipsec_sa_t *sa, u32 inc)
529 {
530   u32 n_lost = 0;
531
532   if (inc < IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE)
533     {
534       if (sa->seq > IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE)
535         {
536           /*
537            * count how many holes there are in the portion
538            * of the window that we will right shift of the end
539            * as a result of this increments
540            */
541           u64 mask = (((u64) 1 << inc) - 1) << (BITS (u64) - inc);
542           u64 old = sa->replay_window & mask;
543           /* the number of packets we saw in this section of the window */
544           u64 seen = count_set_bits (old);
545
546           /*
547            * the number we missed is the size of the window section
548            * minus the number we saw.
549            */
550           n_lost = inc - seen;
551         }
552       sa->replay_window = ((sa->replay_window) << inc) | 1;
553     }
554   else
555     {
556       /* holes in the replay window are lost packets */
557       n_lost = BITS (u64) - count_set_bits (sa->replay_window);
558
559       /* any sequence numbers that now fall outside the window
560        * are forever lost */
561       n_lost += inc - IPSEC_SA_ANTI_REPLAY_WINDOW_SIZE;
562
563       sa->replay_window = 1;
564     }
565
566   return (n_lost);
567 }
568
569 /*
570  * Anti replay window advance
571  *  inputs need to be in host byte order.
572  * This function both advances the anti-replay window and the sequence number
573  * We always need to move on the SN but the window updates are only needed
574  * if AR is on.
575  * However, updating the window is trivial, so we do it anyway to save
576  * the branch cost.
577  */
578 always_inline u64
579 ipsec_sa_anti_replay_advance (ipsec_sa_t *sa, u32 thread_index, u32 seq,
580                               u32 hi_seq)
581 {
582   u64 n_lost = 0;
583   u32 pos;
584
585   if (ipsec_sa_is_set_USE_ESN (sa))
586     {
587       int wrap = hi_seq - sa->seq_hi;
588
589       if (wrap == 0 && seq > sa->seq)
590         {
591           pos = seq - sa->seq;
592           n_lost = ipsec_sa_anti_replay_window_shift (sa, pos);
593           sa->seq = seq;
594         }
595       else if (wrap > 0)
596         {
597           pos = ~seq + sa->seq + 1;
598           n_lost = ipsec_sa_anti_replay_window_shift (sa, pos);
599           sa->seq = seq;
600           sa->seq_hi = hi_seq;
601         }
602       else if (wrap < 0)
603         {
604           pos = ~seq + sa->seq + 1;
605           sa->replay_window |= (1ULL << pos);
606         }
607       else
608         {
609           pos = sa->seq - seq;
610           sa->replay_window |= (1ULL << pos);
611         }
612     }
613   else
614     {
615       if (seq > sa->seq)
616         {
617           pos = seq - sa->seq;
618           n_lost = ipsec_sa_anti_replay_window_shift (sa, pos);
619           sa->seq = seq;
620         }
621       else
622         {
623           pos = sa->seq - seq;
624           sa->replay_window |= (1ULL << pos);
625         }
626     }
627
628   return n_lost;
629 }
630
631
632 /*
633  * Makes choice for thread_id should be assigned.
634  *  if input ~0, gets random worker_id based on unix_time_now_nsec
635 */
636 always_inline u32
637 ipsec_sa_assign_thread (u32 thread_id)
638 {
639   return ((thread_id) ? thread_id
640           : (unix_time_now_nsec () % vlib_num_workers ()) + 1);
641 }
642
643 always_inline ipsec_sa_t *
644 ipsec_sa_get (u32 sa_index)
645 {
646   return (pool_elt_at_index (ipsec_sa_pool, sa_index));
647 }
648
649 #endif /* __IPSEC_SPD_SA_H__ */
650
651 /*
652  * fd.io coding-style-patch-verification: ON
653  *
654  * Local Variables:
655  * eval: (c-set-style "gnu")
656  * End:
657  */