Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 1 | /* |
| 2 | * esp_decrypt.c : IPSec ESP decrypt node |
| 3 | * |
| 4 | * Copyright (c) 2015 Cisco and/or its affiliates. |
| 5 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 6 | * you may not use this file except in compliance with the License. |
| 7 | * You may obtain a copy of the License at: |
| 8 | * |
| 9 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 10 | * |
| 11 | * Unless required by applicable law or agreed to in writing, software |
| 12 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 13 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 14 | * See the License for the specific language governing permissions and |
| 15 | * limitations under the License. |
| 16 | */ |
| 17 | |
| 18 | #include <vnet/vnet.h> |
| 19 | #include <vnet/api_errno.h> |
| 20 | #include <vnet/ip/ip.h> |
| 21 | |
| 22 | #include <vnet/ipsec/ipsec.h> |
| 23 | #include <vnet/ipsec/esp.h> |
Neale Ranns | 918c161 | 2019-02-21 23:34:59 -0800 | [diff] [blame] | 24 | #include <vnet/ipsec/ipsec_io.h> |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 25 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 26 | #define foreach_esp_decrypt_next \ |
| 27 | _(DROP, "error-drop") \ |
Kingwel Xie | 561d1ca | 2019-03-05 22:56:17 -0500 | [diff] [blame] | 28 | _(IP4_INPUT, "ip4-input-no-checksum") \ |
Matus Fabian | 694265d | 2016-08-10 01:55:36 -0700 | [diff] [blame] | 29 | _(IP6_INPUT, "ip6-input") \ |
| 30 | _(IPSEC_GRE_INPUT, "ipsec-gre-input") |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 31 | |
| 32 | #define _(v, s) ESP_DECRYPT_NEXT_##v, |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 33 | typedef enum |
| 34 | { |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 35 | foreach_esp_decrypt_next |
| 36 | #undef _ |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 37 | ESP_DECRYPT_N_NEXT, |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 38 | } esp_decrypt_next_t; |
| 39 | |
| 40 | |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 41 | #define foreach_esp_decrypt_error \ |
| 42 | _(RX_PKTS, "ESP pkts received") \ |
| 43 | _(DECRYPTION_FAILED, "ESP decryption failed") \ |
| 44 | _(INTEG_ERROR, "Integrity check failed") \ |
| 45 | _(CRYPTO_ENGINE_ERROR, "crypto engine error (packet dropped)") \ |
| 46 | _(REPLAY, "SA replayed packet") \ |
| 47 | _(CHAINED_BUFFER, "chained buffers (packet dropped)") \ |
| 48 | _(OVERSIZED_HEADER, "buffer with oversized header (dropped)") \ |
| 49 | _(NO_TAIL_SPACE, "no enough buffer tail space (dropped)") |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 50 | |
| 51 | |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 52 | typedef enum |
| 53 | { |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 54 | #define _(sym,str) ESP_DECRYPT_ERROR_##sym, |
| 55 | foreach_esp_decrypt_error |
| 56 | #undef _ |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 57 | ESP_DECRYPT_N_ERROR, |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 58 | } esp_decrypt_error_t; |
| 59 | |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 60 | static char *esp_decrypt_error_strings[] = { |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 61 | #define _(sym,string) string, |
| 62 | foreach_esp_decrypt_error |
| 63 | #undef _ |
| 64 | }; |
| 65 | |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 66 | typedef struct |
| 67 | { |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 68 | u32 seq; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 69 | ipsec_crypto_alg_t crypto_alg; |
| 70 | ipsec_integ_alg_t integ_alg; |
| 71 | } esp_decrypt_trace_t; |
| 72 | |
| 73 | /* packet trace format function */ |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 74 | static u8 * |
| 75 | format_esp_decrypt_trace (u8 * s, va_list * args) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 76 | { |
| 77 | CLIB_UNUSED (vlib_main_t * vm) = va_arg (*args, vlib_main_t *); |
| 78 | CLIB_UNUSED (vlib_node_t * node) = va_arg (*args, vlib_node_t *); |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 79 | esp_decrypt_trace_t *t = va_arg (*args, esp_decrypt_trace_t *); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 80 | |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 81 | s = format (s, "esp: crypto %U integrity %U seq %u", |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 82 | format_ipsec_crypto_alg, t->crypto_alg, |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 83 | format_ipsec_integ_alg, t->integ_alg, t->seq); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 84 | return s; |
| 85 | } |
| 86 | |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 87 | typedef struct |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 88 | { |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 89 | union |
| 90 | { |
| 91 | struct |
| 92 | { |
| 93 | u8 icv_sz; |
| 94 | u8 iv_sz; |
| 95 | ipsec_sa_flags_t flags:8; |
| 96 | u32 sa_index; |
| 97 | }; |
| 98 | u64 sa_data; |
| 99 | }; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 100 | |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 101 | i16 current_data; |
| 102 | i16 current_length; |
| 103 | u16 hdr_sz; |
| 104 | } esp_decrypt_packet_data_t; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 105 | |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 106 | STATIC_ASSERT_SIZEOF (esp_decrypt_packet_data_t, 2 * sizeof (u64)); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 107 | |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 108 | #define ESP_ENCRYPT_PD_F_FD_TRANSPORT (1 << 2) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 109 | |
Klement Sekera | be5a5dd | 2018-10-09 16:05:48 +0200 | [diff] [blame] | 110 | always_inline uword |
| 111 | esp_decrypt_inline (vlib_main_t * vm, |
| 112 | vlib_node_runtime_t * node, vlib_frame_t * from_frame, |
| 113 | int is_ip6) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 114 | { |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 115 | ipsec_main_t *im = &ipsec_main; |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 116 | u32 thread_index = vm->thread_index; |
| 117 | u16 buffer_data_size = vlib_buffer_get_default_data_size (vm); |
| 118 | u16 len; |
| 119 | ipsec_per_thread_data_t *ptd = vec_elt_at_index (im->ptd, thread_index); |
Damjan Marion | c98275f | 2019-03-06 14:05:01 +0100 | [diff] [blame] | 120 | u32 *from = vlib_frame_vector_args (from_frame); |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 121 | u32 n, n_left = from_frame->n_vectors; |
| 122 | vlib_buffer_t *bufs[VLIB_FRAME_SIZE], **b = bufs; |
Damjan Marion | c98275f | 2019-03-06 14:05:01 +0100 | [diff] [blame] | 123 | u16 nexts[VLIB_FRAME_SIZE], *next = nexts; |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 124 | esp_decrypt_packet_data_t pkt_data[VLIB_FRAME_SIZE], *pd = pkt_data; |
| 125 | esp_decrypt_packet_data_t cpd = { }; |
| 126 | u32 current_sa_index = ~0, current_sa_bytes = 0, current_sa_pkts = 0; |
| 127 | const u8 esp_sz = sizeof (esp_header_t); |
| 128 | ipsec_sa_t *sa0 = 0; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 129 | |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 130 | vlib_get_buffers (vm, from, b, n_left); |
| 131 | vec_reset_length (ptd->crypto_ops); |
| 132 | vec_reset_length (ptd->integ_ops); |
| 133 | clib_memset_u16 (nexts, -1, n_left); |
| 134 | |
| 135 | while (n_left > 0) |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 136 | { |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 137 | u8 *payload; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 138 | |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 139 | if (n_left > 2) |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 140 | { |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 141 | u8 *p; |
| 142 | vlib_prefetch_buffer_header (b[2], LOAD); |
| 143 | p = vlib_buffer_get_current (b[1]); |
| 144 | CLIB_PREFETCH (p, CLIB_CACHE_LINE_BYTES, LOAD); |
| 145 | p -= CLIB_CACHE_LINE_BYTES; |
| 146 | CLIB_PREFETCH (p, CLIB_CACHE_LINE_BYTES, LOAD); |
| 147 | } |
| 148 | |
| 149 | if (vlib_buffer_chain_linearize (vm, b[0]) != 1) |
| 150 | { |
| 151 | b[0]->error = node->errors[ESP_DECRYPT_ERROR_CHAINED_BUFFER]; |
Damjan Marion | 1f4e1cb | 2019-03-28 19:19:31 +0100 | [diff] [blame] | 152 | next[0] = ESP_DECRYPT_NEXT_DROP; |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 153 | goto next; |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 154 | } |
Damjan Marion | c98275f | 2019-03-06 14:05:01 +0100 | [diff] [blame] | 155 | |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 156 | if (vnet_buffer (b[0])->ipsec.sad_index != current_sa_index) |
Damjan Marion | c98275f | 2019-03-06 14:05:01 +0100 | [diff] [blame] | 157 | { |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 158 | current_sa_index = vnet_buffer (b[0])->ipsec.sad_index; |
| 159 | sa0 = pool_elt_at_index (im->sad, current_sa_index); |
Damjan Marion | 7c22ff7 | 2019-04-04 12:25:44 +0200 | [diff] [blame] | 160 | cpd.icv_sz = sa0->integ_icv_size; |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 161 | cpd.iv_sz = sa0->crypto_iv_size; |
| 162 | cpd.flags = sa0->flags; |
| 163 | cpd.sa_index = current_sa_index; |
Damjan Marion | c98275f | 2019-03-06 14:05:01 +0100 | [diff] [blame] | 164 | |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 165 | vlib_increment_combined_counter (&ipsec_sa_counters, thread_index, |
| 166 | current_sa_index, current_sa_pkts, |
| 167 | current_sa_bytes); |
Damjan Marion | c98275f | 2019-03-06 14:05:01 +0100 | [diff] [blame] | 168 | |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 169 | current_sa_bytes = current_sa_pkts = 0; |
| 170 | } |
| 171 | |
| 172 | /* store packet data for next round for easier prefetch */ |
| 173 | pd->sa_data = cpd.sa_data; |
| 174 | pd->current_data = b[0]->current_data; |
| 175 | pd->current_length = b[0]->current_length; |
| 176 | pd->hdr_sz = pd->current_data - vnet_buffer (b[0])->l3_hdr_offset; |
| 177 | payload = b[0]->data + pd->current_data; |
| 178 | |
| 179 | /* we need 4 extra bytes for HMAC calculation when ESN are used */ |
| 180 | if ((sa0->flags & IPSEC_SA_FLAG_USE_ESN) && pd->icv_sz && |
| 181 | (pd->current_data + pd->current_length + 4 > buffer_data_size)) |
| 182 | { |
| 183 | b[0]->error = node->errors[ESP_DECRYPT_ERROR_NO_TAIL_SPACE]; |
| 184 | next[0] = ESP_DECRYPT_NEXT_DROP; |
| 185 | goto next; |
| 186 | } |
| 187 | |
| 188 | /* anti-reply check */ |
| 189 | if (ipsec_sa_anti_replay_check (sa0, &((esp_header_t *) payload)->seq)) |
| 190 | { |
| 191 | b[0]->error = node->errors[ESP_DECRYPT_ERROR_REPLAY]; |
| 192 | next[0] = ESP_DECRYPT_NEXT_DROP; |
| 193 | goto next; |
| 194 | } |
| 195 | |
| 196 | len = pd->current_length - cpd.icv_sz; |
| 197 | current_sa_pkts += 1; |
| 198 | current_sa_bytes += pd->current_length; |
| 199 | |
| 200 | if (PREDICT_TRUE (cpd.icv_sz > 0)) |
| 201 | { |
| 202 | vnet_crypto_op_t *op; |
| 203 | vec_add2_aligned (ptd->integ_ops, op, 1, CLIB_CACHE_LINE_BYTES); |
| 204 | |
Damjan Marion | 060bfb9 | 2019-03-29 13:47:54 +0100 | [diff] [blame] | 205 | vnet_crypto_op_init (op, sa0->integ_op_id); |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 206 | op->key = sa0->integ_key.data; |
| 207 | op->key_len = sa0->integ_key.len; |
| 208 | op->src = payload; |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 209 | op->flags = VNET_CRYPTO_OP_FLAG_HMAC_CHECK; |
| 210 | op->user_data = b - bufs; |
Damjan Marion | 060bfb9 | 2019-03-29 13:47:54 +0100 | [diff] [blame] | 211 | op->digest = payload + len; |
| 212 | op->digest_len = cpd.icv_sz; |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 213 | op->len = len; |
| 214 | if (PREDICT_TRUE (sa0->flags & IPSEC_SA_FLAG_USE_ESN)) |
Damjan Marion | c98275f | 2019-03-06 14:05:01 +0100 | [diff] [blame] | 215 | { |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 216 | /* shift ICV for 4 bytes to insert ESN */ |
| 217 | u8 tmp[ESP_MAX_ICV_SIZE], sz = sizeof (sa0->seq_hi); |
| 218 | clib_memcpy_fast (tmp, payload + len, ESP_MAX_ICV_SIZE); |
| 219 | clib_memcpy_fast (payload + len, &sa0->seq_hi, sz); |
| 220 | clib_memcpy_fast (payload + len + sz, tmp, ESP_MAX_ICV_SIZE); |
| 221 | op->len += sz; |
| 222 | op->dst += sz; |
Damjan Marion | c98275f | 2019-03-06 14:05:01 +0100 | [diff] [blame] | 223 | } |
| 224 | } |
| 225 | |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 226 | payload += esp_sz; |
| 227 | len -= esp_sz; |
Damjan Marion | c98275f | 2019-03-06 14:05:01 +0100 | [diff] [blame] | 228 | |
Damjan Marion | 060bfb9 | 2019-03-29 13:47:54 +0100 | [diff] [blame] | 229 | if (sa0->crypto_enc_op_id != VNET_CRYPTO_OP_NONE) |
Damjan Marion | c98275f | 2019-03-06 14:05:01 +0100 | [diff] [blame] | 230 | { |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 231 | vnet_crypto_op_t *op; |
| 232 | vec_add2_aligned (ptd->crypto_ops, op, 1, CLIB_CACHE_LINE_BYTES); |
Damjan Marion | 060bfb9 | 2019-03-29 13:47:54 +0100 | [diff] [blame] | 233 | vnet_crypto_op_init (op, sa0->crypto_dec_op_id); |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 234 | op->key = sa0->crypto_key.data; |
| 235 | op->iv = payload; |
| 236 | op->src = op->dst = payload += cpd.iv_sz; |
| 237 | op->len = len; |
| 238 | op->user_data = b - bufs; |
Damjan Marion | c98275f | 2019-03-06 14:05:01 +0100 | [diff] [blame] | 239 | } |
| 240 | |
| 241 | /* next */ |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 242 | next: |
| 243 | n_left -= 1; |
Damjan Marion | c98275f | 2019-03-06 14:05:01 +0100 | [diff] [blame] | 244 | next += 1; |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 245 | pd += 1; |
| 246 | b += 1; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 247 | } |
Damjan Marion | c98275f | 2019-03-06 14:05:01 +0100 | [diff] [blame] | 248 | |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 249 | vlib_increment_combined_counter (&ipsec_sa_counters, thread_index, |
| 250 | current_sa_index, current_sa_pkts, |
| 251 | current_sa_bytes); |
Klement Sekera | be5a5dd | 2018-10-09 16:05:48 +0200 | [diff] [blame] | 252 | |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 253 | if ((n = vec_len (ptd->integ_ops))) |
| 254 | { |
| 255 | vnet_crypto_op_t *op = ptd->integ_ops; |
| 256 | n -= vnet_crypto_process_ops (vm, op, n); |
| 257 | while (n) |
| 258 | { |
| 259 | ASSERT (op - ptd->integ_ops < vec_len (ptd->integ_ops)); |
| 260 | if (op->status != VNET_CRYPTO_OP_STATUS_COMPLETED) |
| 261 | { |
| 262 | u32 err, bi = op->user_data; |
| 263 | if (op->status == VNET_CRYPTO_OP_STATUS_FAIL_BAD_HMAC) |
| 264 | err = ESP_DECRYPT_ERROR_INTEG_ERROR; |
| 265 | else |
| 266 | err = ESP_DECRYPT_ERROR_CRYPTO_ENGINE_ERROR; |
| 267 | bufs[bi]->error = node->errors[err]; |
| 268 | nexts[bi] = ESP_DECRYPT_NEXT_DROP; |
| 269 | n--; |
| 270 | } |
| 271 | op++; |
| 272 | } |
| 273 | } |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 274 | if ((n = vec_len (ptd->crypto_ops))) |
| 275 | { |
| 276 | vnet_crypto_op_t *op = ptd->crypto_ops; |
| 277 | n -= vnet_crypto_process_ops (vm, op, n); |
| 278 | while (n) |
| 279 | { |
| 280 | ASSERT (op - ptd->crypto_ops < vec_len (ptd->crypto_ops)); |
| 281 | if (op->status != VNET_CRYPTO_OP_STATUS_COMPLETED) |
| 282 | { |
| 283 | u32 bi = op->user_data; |
| 284 | u32 err = ESP_DECRYPT_ERROR_CRYPTO_ENGINE_ERROR; |
| 285 | bufs[bi]->error = node->errors[err]; |
| 286 | nexts[bi] = ESP_DECRYPT_NEXT_DROP; |
| 287 | n--; |
| 288 | } |
| 289 | op++; |
| 290 | } |
| 291 | } |
| 292 | |
| 293 | /* Post decryption ronud - adjust packet data start and length and next |
| 294 | node */ |
| 295 | |
| 296 | n_left = from_frame->n_vectors; |
| 297 | next = nexts; |
| 298 | pd = pkt_data; |
| 299 | b = bufs; |
| 300 | |
| 301 | while (n_left) |
| 302 | { |
| 303 | const u8 tun_flags = IPSEC_SA_FLAG_IS_TUNNEL | |
| 304 | IPSEC_SA_FLAG_IS_TUNNEL_V6; |
| 305 | |
| 306 | if (n_left >= 2) |
| 307 | { |
| 308 | void *data = b[1]->data + pd[1].current_data; |
| 309 | |
| 310 | /* buffer metadata */ |
| 311 | vlib_prefetch_buffer_header (b[1], LOAD); |
| 312 | |
| 313 | /* esp_footer_t */ |
| 314 | CLIB_PREFETCH (data + pd[1].current_length - pd[1].icv_sz - 2, |
| 315 | CLIB_CACHE_LINE_BYTES, LOAD); |
| 316 | |
| 317 | /* packet headers */ |
| 318 | CLIB_PREFETCH (data - CLIB_CACHE_LINE_BYTES, |
| 319 | CLIB_CACHE_LINE_BYTES * 2, LOAD); |
| 320 | } |
| 321 | |
| 322 | if (next[0] < ESP_DECRYPT_N_NEXT) |
| 323 | goto trace; |
| 324 | |
| 325 | sa0 = vec_elt_at_index (im->sad, pd->sa_index); |
| 326 | u8 *payload = b[0]->data + pd->current_data; |
| 327 | |
| 328 | ipsec_sa_anti_replay_advance (sa0, &((esp_header_t *) payload)->seq); |
| 329 | |
| 330 | esp_footer_t *f = (esp_footer_t *) (b[0]->data + pd->current_data + |
| 331 | pd->current_length - sizeof (*f) - |
| 332 | pd->icv_sz); |
| 333 | u16 adv = pd->iv_sz + esp_sz; |
| 334 | u16 tail = sizeof (esp_footer_t) + f->pad_length + pd->icv_sz; |
| 335 | |
| 336 | if ((pd->flags & tun_flags) == 0) /* transport mode */ |
| 337 | { |
| 338 | u8 udp_sz = (is_ip6 == 0 && pd->flags & IPSEC_SA_FLAG_UDP_ENCAP) ? |
| 339 | sizeof (udp_header_t) : 0; |
| 340 | u16 ip_hdr_sz = pd->hdr_sz - udp_sz; |
| 341 | u8 *old_ip = b[0]->data + pd->current_data - ip_hdr_sz - udp_sz; |
| 342 | u8 *ip = old_ip + adv + udp_sz; |
| 343 | |
| 344 | if (is_ip6 && ip_hdr_sz > 64) |
| 345 | memmove (ip, old_ip, ip_hdr_sz); |
| 346 | else |
| 347 | clib_memcpy_le64 (ip, old_ip, ip_hdr_sz); |
| 348 | |
| 349 | b[0]->current_data = pd->current_data + adv - ip_hdr_sz; |
| 350 | b[0]->current_length = pd->current_length + ip_hdr_sz - tail - adv; |
| 351 | |
| 352 | if (is_ip6) |
| 353 | { |
| 354 | ip6_header_t *ip6 = (ip6_header_t *) ip; |
| 355 | u16 len = clib_net_to_host_u16 (ip6->payload_length); |
| 356 | len -= adv + tail; |
| 357 | ip6->payload_length = clib_host_to_net_u16 (len); |
| 358 | ip6->protocol = f->next_header; |
| 359 | next[0] = ESP_DECRYPT_NEXT_IP6_INPUT; |
| 360 | } |
| 361 | else |
| 362 | { |
| 363 | ip4_header_t *ip4 = (ip4_header_t *) ip; |
| 364 | ip_csum_t sum = ip4->checksum; |
| 365 | u16 len = clib_net_to_host_u16 (ip4->length); |
| 366 | len = clib_host_to_net_u16 (len - adv - tail - udp_sz); |
| 367 | sum = ip_csum_update (sum, ip4->protocol, f->next_header, |
| 368 | ip4_header_t, protocol); |
| 369 | sum = ip_csum_update (sum, ip4->length, len, |
| 370 | ip4_header_t, length); |
| 371 | ip4->checksum = ip_csum_fold (sum); |
| 372 | ip4->protocol = f->next_header; |
| 373 | ip4->length = len; |
| 374 | next[0] = ESP_DECRYPT_NEXT_IP4_INPUT; |
| 375 | } |
| 376 | } |
| 377 | else |
| 378 | { |
| 379 | if (PREDICT_TRUE (f->next_header == IP_PROTOCOL_IP_IN_IP)) |
| 380 | { |
| 381 | next[0] = ESP_DECRYPT_NEXT_IP4_INPUT; |
| 382 | b[0]->current_data = pd->current_data + adv; |
| 383 | b[0]->current_length = pd->current_length + adv - tail; |
| 384 | } |
| 385 | else if (f->next_header == IP_PROTOCOL_IPV6) |
| 386 | { |
| 387 | next[0] = ESP_DECRYPT_NEXT_IP6_INPUT; |
| 388 | b[0]->current_data = pd->current_data + adv; |
| 389 | b[0]->current_length = pd->current_length + adv - tail; |
| 390 | } |
| 391 | else |
| 392 | { |
| 393 | next[0] = ESP_DECRYPT_NEXT_DROP; |
| 394 | b[0]->error = node->errors[ESP_DECRYPT_ERROR_DECRYPTION_FAILED]; |
| 395 | } |
| 396 | } |
| 397 | |
Neale Ranns | e524d45 | 2019-02-19 15:22:46 +0000 | [diff] [blame] | 398 | if (PREDICT_FALSE (ipsec_sa_is_set_IS_GRE (sa0))) |
Damjan Marion | b4fff3a | 2019-03-25 15:54:40 +0100 | [diff] [blame] | 399 | next[0] = ESP_DECRYPT_NEXT_IPSEC_GRE_INPUT; |
| 400 | |
| 401 | trace: |
| 402 | if (PREDICT_FALSE (b[0]->flags & VLIB_BUFFER_IS_TRACED)) |
| 403 | { |
| 404 | esp_decrypt_trace_t *tr; |
| 405 | u8 *payload = b[0]->data + pd->current_data; |
| 406 | tr = vlib_add_trace (vm, node, b[0], sizeof (*tr)); |
| 407 | sa0 = pool_elt_at_index (im->sad, |
| 408 | vnet_buffer (b[0])->ipsec.sad_index); |
| 409 | tr->crypto_alg = sa0->crypto_alg; |
| 410 | tr->integ_alg = sa0->integ_alg; |
| 411 | tr->seq = clib_host_to_net_u32 (((esp_header_t *) payload)->seq); |
| 412 | } |
| 413 | |
| 414 | /* next */ |
| 415 | n_left -= 1; |
| 416 | next += 1; |
| 417 | pd += 1; |
| 418 | b += 1; |
| 419 | } |
| 420 | |
| 421 | n_left = from_frame->n_vectors; |
| 422 | vlib_node_increment_counter (vm, node->node_index, |
| 423 | ESP_DECRYPT_ERROR_RX_PKTS, n_left); |
| 424 | |
| 425 | vlib_buffer_enqueue_to_next (vm, node, from, nexts, n_left); |
| 426 | |
| 427 | b = bufs; |
| 428 | return n_left; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 429 | } |
| 430 | |
Klement Sekera | b8f3544 | 2018-10-29 13:38:19 +0100 | [diff] [blame] | 431 | VLIB_NODE_FN (esp4_decrypt_node) (vlib_main_t * vm, |
| 432 | vlib_node_runtime_t * node, |
| 433 | vlib_frame_t * from_frame) |
Klement Sekera | be5a5dd | 2018-10-09 16:05:48 +0200 | [diff] [blame] | 434 | { |
| 435 | return esp_decrypt_inline (vm, node, from_frame, 0 /* is_ip6 */ ); |
| 436 | } |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 437 | |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 438 | /* *INDENT-OFF* */ |
Klement Sekera | be5a5dd | 2018-10-09 16:05:48 +0200 | [diff] [blame] | 439 | VLIB_REGISTER_NODE (esp4_decrypt_node) = { |
Klement Sekera | be5a5dd | 2018-10-09 16:05:48 +0200 | [diff] [blame] | 440 | .name = "esp4-decrypt", |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 441 | .vector_size = sizeof (u32), |
| 442 | .format_trace = format_esp_decrypt_trace, |
| 443 | .type = VLIB_NODE_TYPE_INTERNAL, |
| 444 | |
| 445 | .n_errors = ARRAY_LEN(esp_decrypt_error_strings), |
| 446 | .error_strings = esp_decrypt_error_strings, |
| 447 | |
| 448 | .n_next_nodes = ESP_DECRYPT_N_NEXT, |
| 449 | .next_nodes = { |
| 450 | #define _(s,n) [ESP_DECRYPT_NEXT_##s] = n, |
| 451 | foreach_esp_decrypt_next |
| 452 | #undef _ |
| 453 | }, |
| 454 | }; |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 455 | /* *INDENT-ON* */ |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 456 | |
Klement Sekera | b8f3544 | 2018-10-29 13:38:19 +0100 | [diff] [blame] | 457 | VLIB_NODE_FN (esp6_decrypt_node) (vlib_main_t * vm, |
| 458 | vlib_node_runtime_t * node, |
| 459 | vlib_frame_t * from_frame) |
Klement Sekera | be5a5dd | 2018-10-09 16:05:48 +0200 | [diff] [blame] | 460 | { |
| 461 | return esp_decrypt_inline (vm, node, from_frame, 1 /* is_ip6 */ ); |
| 462 | } |
| 463 | |
| 464 | /* *INDENT-OFF* */ |
| 465 | VLIB_REGISTER_NODE (esp6_decrypt_node) = { |
Klement Sekera | be5a5dd | 2018-10-09 16:05:48 +0200 | [diff] [blame] | 466 | .name = "esp6-decrypt", |
| 467 | .vector_size = sizeof (u32), |
| 468 | .format_trace = format_esp_decrypt_trace, |
| 469 | .type = VLIB_NODE_TYPE_INTERNAL, |
| 470 | |
| 471 | .n_errors = ARRAY_LEN(esp_decrypt_error_strings), |
| 472 | .error_strings = esp_decrypt_error_strings, |
| 473 | |
| 474 | .n_next_nodes = ESP_DECRYPT_N_NEXT, |
| 475 | .next_nodes = { |
| 476 | #define _(s,n) [ESP_DECRYPT_NEXT_##s] = n, |
| 477 | foreach_esp_decrypt_next |
| 478 | #undef _ |
| 479 | }, |
| 480 | }; |
| 481 | /* *INDENT-ON* */ |
| 482 | |
Keith Burns (alagalah) | 166a9d4 | 2016-08-06 11:00:56 -0700 | [diff] [blame] | 483 | /* |
| 484 | * fd.io coding-style-patch-verification: ON |
| 485 | * |
| 486 | * Local Variables: |
| 487 | * eval: (c-set-style "gnu") |
| 488 | * End: |
| 489 | */ |