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