Florin Coras | 999840c | 2020-03-18 20:31:34 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2020 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 | |
| 16 | #ifndef SRC_VNET_TCP_TCP_INLINES_H_ |
| 17 | #define SRC_VNET_TCP_TCP_INLINES_H_ |
| 18 | |
| 19 | #include <vnet/tcp/tcp.h> |
| 20 | |
| 21 | always_inline tcp_header_t * |
| 22 | tcp_buffer_hdr (vlib_buffer_t * b) |
| 23 | { |
| 24 | ASSERT ((signed) b->current_data >= (signed) -VLIB_BUFFER_PRE_DATA_SIZE); |
| 25 | return (tcp_header_t *) (b->data + b->current_data |
| 26 | + vnet_buffer (b)->tcp.hdr_offset); |
| 27 | } |
| 28 | |
| 29 | always_inline tcp_connection_t * |
| 30 | tcp_connection_get (u32 conn_index, u32 thread_index) |
| 31 | { |
| 32 | tcp_worker_ctx_t *wrk = tcp_get_worker (thread_index); |
| 33 | if (PREDICT_FALSE (pool_is_free_index (wrk->connections, conn_index))) |
| 34 | return 0; |
| 35 | return pool_elt_at_index (wrk->connections, conn_index); |
| 36 | } |
| 37 | |
| 38 | always_inline tcp_connection_t * |
| 39 | tcp_connection_get_if_valid (u32 conn_index, u32 thread_index) |
| 40 | { |
| 41 | tcp_worker_ctx_t *wrk; |
| 42 | if (thread_index >= vec_len (tcp_main.wrk_ctx)) |
| 43 | return 0; |
| 44 | wrk = tcp_get_worker (thread_index); |
| 45 | if (pool_is_free_index (wrk->connections, conn_index)) |
| 46 | return 0; |
| 47 | return pool_elt_at_index (wrk->connections, conn_index); |
| 48 | } |
| 49 | |
| 50 | always_inline void |
| 51 | tcp_connection_set_state (tcp_connection_t * tc, tcp_state_t state) |
| 52 | { |
| 53 | tc->state = state; |
| 54 | TCP_EVT (TCP_EVT_STATE_CHANGE, tc); |
| 55 | } |
| 56 | |
| 57 | always_inline tcp_connection_t * |
| 58 | tcp_listener_get (u32 tli) |
| 59 | { |
| 60 | tcp_connection_t *tc = 0; |
| 61 | if (!pool_is_free_index (tcp_main.listener_pool, tli)) |
| 62 | tc = pool_elt_at_index (tcp_main.listener_pool, tli); |
| 63 | return tc; |
| 64 | } |
| 65 | |
| 66 | always_inline tcp_connection_t * |
| 67 | tcp_half_open_connection_get (u32 conn_index) |
| 68 | { |
Florin Coras | 57b2e4a | 2021-07-06 08:25:36 -0700 | [diff] [blame] | 69 | return tcp_connection_get (conn_index, 0); |
Florin Coras | 999840c | 2020-03-18 20:31:34 +0000 | [diff] [blame] | 70 | } |
| 71 | |
| 72 | /** |
| 73 | * Our estimate of the number of bytes that have left the network |
| 74 | */ |
| 75 | always_inline u32 |
| 76 | tcp_bytes_out (const tcp_connection_t * tc) |
| 77 | { |
| 78 | if (tcp_opts_sack_permitted (&tc->rcv_opts)) |
| 79 | return tc->sack_sb.sacked_bytes + tc->sack_sb.lost_bytes; |
| 80 | else |
| 81 | return clib_min (tc->rcv_dupacks * tc->snd_mss, |
| 82 | tc->snd_nxt - tc->snd_una); |
| 83 | } |
| 84 | |
| 85 | /** |
| 86 | * Our estimate of the number of bytes in flight (pipe size) |
| 87 | */ |
| 88 | always_inline u32 |
| 89 | tcp_flight_size (const tcp_connection_t * tc) |
| 90 | { |
| 91 | int flight_size; |
| 92 | |
| 93 | flight_size = (int) (tc->snd_nxt - tc->snd_una) - tcp_bytes_out (tc) |
| 94 | + tc->snd_rxt_bytes - tc->rxt_delivered; |
| 95 | |
| 96 | ASSERT (flight_size >= 0); |
| 97 | |
| 98 | return flight_size; |
| 99 | } |
| 100 | |
| 101 | /** |
| 102 | * Initial cwnd as per RFC5681 |
| 103 | */ |
| 104 | always_inline u32 |
| 105 | tcp_initial_cwnd (const tcp_connection_t * tc) |
| 106 | { |
| 107 | if (tcp_cfg.initial_cwnd_multiplier > 0) |
| 108 | return tcp_cfg.initial_cwnd_multiplier * tc->snd_mss; |
| 109 | |
| 110 | if (tc->snd_mss > 2190) |
| 111 | return 2 * tc->snd_mss; |
| 112 | else if (tc->snd_mss > 1095) |
| 113 | return 3 * tc->snd_mss; |
| 114 | else |
| 115 | return 4 * tc->snd_mss; |
| 116 | } |
| 117 | |
| 118 | /* |
| 119 | * Accumulate acked bytes for cwnd increase |
| 120 | * |
| 121 | * Once threshold bytes are accumulated, snd_mss bytes are added |
| 122 | * to the cwnd. |
| 123 | */ |
| 124 | always_inline void |
| 125 | tcp_cwnd_accumulate (tcp_connection_t * tc, u32 thresh, u32 bytes) |
| 126 | { |
| 127 | tc->cwnd_acc_bytes += bytes; |
| 128 | if (tc->cwnd_acc_bytes >= thresh) |
| 129 | { |
| 130 | u32 inc = tc->cwnd_acc_bytes / thresh; |
| 131 | tc->cwnd_acc_bytes -= inc * thresh; |
| 132 | tc->cwnd += inc * tc->snd_mss; |
| 133 | tc->cwnd = clib_min (tc->cwnd, tc->tx_fifo_size); |
| 134 | } |
| 135 | } |
| 136 | |
| 137 | always_inline u32 |
| 138 | tcp_loss_wnd (const tcp_connection_t * tc) |
| 139 | { |
| 140 | /* Whatever we have in flight + the packet we're about to send */ |
| 141 | return tcp_flight_size (tc) + tc->snd_mss; |
| 142 | } |
| 143 | |
| 144 | always_inline u32 |
| 145 | tcp_available_snd_wnd (const tcp_connection_t * tc) |
| 146 | { |
| 147 | return clib_min (tc->cwnd, tc->snd_wnd); |
| 148 | } |
| 149 | |
| 150 | always_inline u32 |
| 151 | tcp_available_output_snd_space (const tcp_connection_t * tc) |
| 152 | { |
| 153 | u32 available_wnd = tcp_available_snd_wnd (tc); |
| 154 | int flight_size = (int) (tc->snd_nxt - tc->snd_una); |
| 155 | |
| 156 | if (available_wnd <= flight_size) |
| 157 | return 0; |
| 158 | |
| 159 | return available_wnd - flight_size; |
| 160 | } |
| 161 | |
| 162 | /** |
| 163 | * Estimate of how many bytes we can still push into the network |
| 164 | */ |
| 165 | always_inline u32 |
| 166 | tcp_available_cc_snd_space (const tcp_connection_t * tc) |
| 167 | { |
| 168 | u32 available_wnd = tcp_available_snd_wnd (tc); |
| 169 | u32 flight_size = tcp_flight_size (tc); |
| 170 | |
| 171 | if (available_wnd <= flight_size) |
| 172 | return 0; |
| 173 | |
| 174 | return available_wnd - flight_size; |
| 175 | } |
| 176 | |
| 177 | always_inline u8 |
| 178 | tcp_is_lost_fin (tcp_connection_t * tc) |
| 179 | { |
Florin Coras | 55e556c | 2020-10-23 10:45:48 -0700 | [diff] [blame] | 180 | if ((tc->flags & TCP_CONN_FINSNT) && (tc->snd_nxt - tc->snd_una == 1)) |
Florin Coras | 999840c | 2020-03-18 20:31:34 +0000 | [diff] [blame] | 181 | return 1; |
| 182 | return 0; |
| 183 | } |
| 184 | |
Florin Coras | 8f10b90 | 2021-04-02 18:32:00 -0700 | [diff] [blame] | 185 | /** |
| 186 | * Time used to generate timestamps, not the timestamp |
| 187 | */ |
Florin Coras | 999840c | 2020-03-18 20:31:34 +0000 | [diff] [blame] | 188 | always_inline u32 |
Florin Coras | 8f10b90 | 2021-04-02 18:32:00 -0700 | [diff] [blame] | 189 | tcp_time_tstamp (u32 thread_index) |
Florin Coras | 999840c | 2020-03-18 20:31:34 +0000 | [diff] [blame] | 190 | { |
Florin Coras | 8f10b90 | 2021-04-02 18:32:00 -0700 | [diff] [blame] | 191 | return tcp_main.wrk_ctx[thread_index].time_tstamp; |
Florin Coras | 999840c | 2020-03-18 20:31:34 +0000 | [diff] [blame] | 192 | } |
| 193 | |
| 194 | /** |
| 195 | * Generate timestamp for tcp connection |
| 196 | */ |
| 197 | always_inline u32 |
| 198 | tcp_tstamp (tcp_connection_t * tc) |
| 199 | { |
Florin Coras | 8f10b90 | 2021-04-02 18:32:00 -0700 | [diff] [blame] | 200 | return (tcp_main.wrk_ctx[tc->c_thread_index].time_tstamp - |
Florin Coras | 999840c | 2020-03-18 20:31:34 +0000 | [diff] [blame] | 201 | tc->timestamp_delta); |
| 202 | } |
| 203 | |
| 204 | always_inline f64 |
| 205 | tcp_time_now_us (u32 thread_index) |
| 206 | { |
Florin Coras | 8f10b90 | 2021-04-02 18:32:00 -0700 | [diff] [blame] | 207 | return tcp_main.wrk_ctx[thread_index].time_us; |
Florin Coras | 999840c | 2020-03-18 20:31:34 +0000 | [diff] [blame] | 208 | } |
| 209 | |
Florin Coras | 8f10b90 | 2021-04-02 18:32:00 -0700 | [diff] [blame] | 210 | always_inline void |
| 211 | tcp_set_time_now (tcp_worker_ctx_t *wrk, f64 now) |
Florin Coras | 999840c | 2020-03-18 20:31:34 +0000 | [diff] [blame] | 212 | { |
Florin Coras | 8f10b90 | 2021-04-02 18:32:00 -0700 | [diff] [blame] | 213 | /* TCP internal cache of time reference. Could use @ref transport_time_now |
| 214 | * but because @ref tcp_time_now_us is used per packet, caching might |
| 215 | * slightly improve efficiency. */ |
| 216 | wrk->time_us = now; |
| 217 | wrk->time_tstamp = (u64) (now * TCP_TSTP_HZ); |
| 218 | } |
| 219 | |
| 220 | always_inline void |
| 221 | tcp_update_time_now (tcp_worker_ctx_t *wrk) |
| 222 | { |
| 223 | f64 now = vlib_time_now (wrk->vm); |
| 224 | |
| 225 | /* Both pacer and tcp us time need to be updated */ |
| 226 | transport_update_pacer_time (wrk->vm->thread_index, now); |
| 227 | tcp_set_time_now (wrk, now); |
Florin Coras | 999840c | 2020-03-18 20:31:34 +0000 | [diff] [blame] | 228 | } |
| 229 | |
| 230 | always_inline tcp_connection_t * |
| 231 | tcp_input_lookup_buffer (vlib_buffer_t * b, u8 thread_index, u32 * error, |
| 232 | u8 is_ip4, u8 is_nolookup) |
| 233 | { |
| 234 | u32 fib_index = vnet_buffer (b)->ip.fib_index; |
| 235 | int n_advance_bytes, n_data_bytes; |
| 236 | transport_connection_t *tc; |
| 237 | tcp_header_t *tcp; |
| 238 | u8 result = 0; |
| 239 | |
Nathan Skrzypczak | bfa8608 | 2021-09-09 18:31:36 +0200 | [diff] [blame^] | 240 | /* Set the sw_if_index[VLIB_RX] to the interface we received |
| 241 | * the connection on (the local interface) */ |
| 242 | vnet_buffer (b)->sw_if_index[VLIB_RX] = |
| 243 | vnet_buffer (b)->ip.rx_sw_if_index != ~0 ? |
| 244 | vnet_buffer (b)->ip.rx_sw_if_index : |
| 245 | vnet_buffer (b)->sw_if_index[VLIB_RX]; |
| 246 | |
Florin Coras | 999840c | 2020-03-18 20:31:34 +0000 | [diff] [blame] | 247 | if (is_ip4) |
| 248 | { |
| 249 | ip4_header_t *ip4 = vlib_buffer_get_current (b); |
| 250 | int ip_hdr_bytes = ip4_header_bytes (ip4); |
| 251 | if (PREDICT_FALSE (b->current_length < ip_hdr_bytes + sizeof (*tcp))) |
| 252 | { |
| 253 | *error = TCP_ERROR_LENGTH; |
| 254 | return 0; |
| 255 | } |
| 256 | tcp = ip4_next_header (ip4); |
| 257 | vnet_buffer (b)->tcp.hdr_offset = (u8 *) tcp - (u8 *) ip4; |
| 258 | n_advance_bytes = (ip_hdr_bytes + tcp_header_bytes (tcp)); |
| 259 | n_data_bytes = clib_net_to_host_u16 (ip4->length) - n_advance_bytes; |
| 260 | |
| 261 | /* Length check. Checksum computed by ipx_local no need to compute again */ |
| 262 | if (PREDICT_FALSE (n_data_bytes < 0)) |
| 263 | { |
| 264 | *error = TCP_ERROR_LENGTH; |
| 265 | return 0; |
| 266 | } |
| 267 | |
| 268 | if (!is_nolookup) |
| 269 | tc = session_lookup_connection_wt4 (fib_index, &ip4->dst_address, |
| 270 | &ip4->src_address, tcp->dst_port, |
| 271 | tcp->src_port, |
| 272 | TRANSPORT_PROTO_TCP, thread_index, |
| 273 | &result); |
| 274 | } |
| 275 | else |
| 276 | { |
| 277 | ip6_header_t *ip6 = vlib_buffer_get_current (b); |
| 278 | if (PREDICT_FALSE (b->current_length < sizeof (*ip6) + sizeof (*tcp))) |
| 279 | { |
| 280 | *error = TCP_ERROR_LENGTH; |
| 281 | return 0; |
| 282 | } |
| 283 | tcp = ip6_next_header (ip6); |
| 284 | vnet_buffer (b)->tcp.hdr_offset = (u8 *) tcp - (u8 *) ip6; |
| 285 | n_advance_bytes = tcp_header_bytes (tcp); |
| 286 | n_data_bytes = clib_net_to_host_u16 (ip6->payload_length) |
| 287 | - n_advance_bytes; |
| 288 | n_advance_bytes += sizeof (ip6[0]); |
| 289 | |
| 290 | if (PREDICT_FALSE (n_data_bytes < 0)) |
| 291 | { |
| 292 | *error = TCP_ERROR_LENGTH; |
| 293 | return 0; |
| 294 | } |
| 295 | |
| 296 | if (!is_nolookup) |
| 297 | { |
| 298 | if (PREDICT_FALSE |
| 299 | (ip6_address_is_link_local_unicast (&ip6->dst_address))) |
| 300 | { |
Florin Coras | 1a18d11 | 2020-04-21 19:55:39 +0000 | [diff] [blame] | 301 | ip6_main_t *im = &ip6_main; |
Florin Coras | 999840c | 2020-03-18 20:31:34 +0000 | [diff] [blame] | 302 | fib_index = vec_elt (im->fib_index_by_sw_if_index, |
| 303 | vnet_buffer (b)->sw_if_index[VLIB_RX]); |
| 304 | } |
| 305 | |
| 306 | tc = session_lookup_connection_wt6 (fib_index, &ip6->dst_address, |
| 307 | &ip6->src_address, |
| 308 | tcp->dst_port, tcp->src_port, |
| 309 | TRANSPORT_PROTO_TCP, |
| 310 | thread_index, &result); |
| 311 | } |
| 312 | } |
| 313 | |
| 314 | if (is_nolookup) |
| 315 | tc = |
| 316 | (transport_connection_t *) tcp_connection_get (vnet_buffer (b)-> |
| 317 | tcp.connection_index, |
| 318 | thread_index); |
| 319 | |
| 320 | vnet_buffer (b)->tcp.seq_number = clib_net_to_host_u32 (tcp->seq_number); |
| 321 | vnet_buffer (b)->tcp.ack_number = clib_net_to_host_u32 (tcp->ack_number); |
| 322 | vnet_buffer (b)->tcp.data_offset = n_advance_bytes; |
| 323 | vnet_buffer (b)->tcp.data_len = n_data_bytes; |
| 324 | vnet_buffer (b)->tcp.seq_end = vnet_buffer (b)->tcp.seq_number |
| 325 | + n_data_bytes; |
Florin Coras | 999840c | 2020-03-18 20:31:34 +0000 | [diff] [blame] | 326 | |
| 327 | *error = result ? TCP_ERROR_NONE + result : *error; |
| 328 | |
| 329 | return tcp_get_connection_from_transport (tc); |
| 330 | } |
| 331 | |
| 332 | /** |
| 333 | * Initialize connection by gleaning network and rcv params from buffer |
| 334 | * |
| 335 | * @param tc connection to initialize |
| 336 | * @param b buffer whose current data is pointing at ip |
| 337 | * @param is_ip4 flag set to 1 if using ip4 |
| 338 | */ |
| 339 | always_inline void |
| 340 | tcp_init_w_buffer (tcp_connection_t * tc, vlib_buffer_t * b, u8 is_ip4) |
| 341 | { |
| 342 | tcp_header_t *th = tcp_buffer_hdr (b); |
| 343 | |
| 344 | tc->c_lcl_port = th->dst_port; |
| 345 | tc->c_rmt_port = th->src_port; |
| 346 | tc->c_is_ip4 = is_ip4; |
| 347 | |
| 348 | if (is_ip4) |
| 349 | { |
| 350 | ip4_header_t *ip4 = vlib_buffer_get_current (b); |
| 351 | tc->c_lcl_ip4.as_u32 = ip4->dst_address.as_u32; |
| 352 | tc->c_rmt_ip4.as_u32 = ip4->src_address.as_u32; |
| 353 | } |
| 354 | else |
| 355 | { |
| 356 | ip6_header_t *ip6 = vlib_buffer_get_current (b); |
| 357 | clib_memcpy_fast (&tc->c_lcl_ip6, &ip6->dst_address, |
| 358 | sizeof (ip6_address_t)); |
| 359 | clib_memcpy_fast (&tc->c_rmt_ip6, &ip6->src_address, |
| 360 | sizeof (ip6_address_t)); |
| 361 | } |
| 362 | |
| 363 | tc->irs = vnet_buffer (b)->tcp.seq_number; |
| 364 | tc->rcv_nxt = vnet_buffer (b)->tcp.seq_number + 1; |
| 365 | tc->rcv_las = tc->rcv_nxt; |
| 366 | tc->sw_if_index = vnet_buffer (b)->sw_if_index[VLIB_RX]; |
| 367 | tc->snd_wl1 = vnet_buffer (b)->tcp.seq_number; |
| 368 | tc->snd_wl2 = vnet_buffer (b)->tcp.ack_number; |
| 369 | |
| 370 | /* RFC1323: TSval timestamps sent on {SYN} and {SYN,ACK} |
| 371 | * segments are used to initialize PAWS. */ |
| 372 | if (tcp_opts_tstamp (&tc->rcv_opts)) |
| 373 | { |
| 374 | tc->tsval_recent = tc->rcv_opts.tsval; |
Florin Coras | 8f10b90 | 2021-04-02 18:32:00 -0700 | [diff] [blame] | 375 | tc->tsval_recent_age = tcp_time_tstamp (tc->c_thread_index); |
Florin Coras | 999840c | 2020-03-18 20:31:34 +0000 | [diff] [blame] | 376 | } |
| 377 | |
| 378 | if (tcp_opts_wscale (&tc->rcv_opts)) |
| 379 | tc->snd_wscale = tc->rcv_opts.wscale; |
| 380 | |
| 381 | tc->snd_wnd = clib_net_to_host_u16 (th->window) << tc->snd_wscale; |
| 382 | } |
| 383 | |
| 384 | always_inline void |
| 385 | tcp_update_rto (tcp_connection_t * tc) |
| 386 | { |
| 387 | tc->rto = clib_min (tc->srtt + (tc->rttvar << 2), TCP_RTO_MAX); |
| 388 | tc->rto = clib_max (tc->rto, TCP_RTO_MIN); |
| 389 | } |
| 390 | |
| 391 | always_inline u8 |
| 392 | tcp_is_descheduled (tcp_connection_t * tc) |
| 393 | { |
| 394 | return (transport_connection_is_descheduled (&tc->connection) ? 1 : 0); |
| 395 | } |
| 396 | |
| 397 | /** |
| 398 | * Push TCP header to buffer |
| 399 | * |
| 400 | * @param vm - vlib_main |
| 401 | * @param b - buffer to write the header to |
| 402 | * @param sp_net - source port net order |
| 403 | * @param dp_net - destination port net order |
| 404 | * @param seq - sequence number net order |
| 405 | * @param ack - ack number net order |
| 406 | * @param tcp_hdr_opts_len - header and options length in bytes |
| 407 | * @param flags - header flags |
| 408 | * @param wnd - window size |
| 409 | * |
| 410 | * @return - pointer to start of TCP header |
| 411 | */ |
| 412 | always_inline void * |
| 413 | vlib_buffer_push_tcp_net_order (vlib_buffer_t * b, u16 sp, u16 dp, u32 seq, |
| 414 | u32 ack, u8 tcp_hdr_opts_len, u8 flags, |
| 415 | u16 wnd) |
| 416 | { |
| 417 | tcp_header_t *th; |
| 418 | |
| 419 | th = vlib_buffer_push_uninit (b, tcp_hdr_opts_len); |
| 420 | |
| 421 | th->src_port = sp; |
| 422 | th->dst_port = dp; |
| 423 | th->seq_number = seq; |
| 424 | th->ack_number = ack; |
| 425 | th->data_offset_and_reserved = (tcp_hdr_opts_len >> 2) << 4; |
| 426 | th->flags = flags; |
| 427 | th->window = wnd; |
| 428 | th->checksum = 0; |
| 429 | th->urgent_pointer = 0; |
| 430 | vnet_buffer (b)->l4_hdr_offset = (u8 *) th - b->data; |
| 431 | b->flags |= VNET_BUFFER_F_L4_HDR_OFFSET_VALID; |
| 432 | return th; |
| 433 | } |
| 434 | |
| 435 | /** |
| 436 | * Push TCP header to buffer |
| 437 | * |
| 438 | * @param b - buffer to write the header to |
| 439 | * @param sp_net - source port net order |
| 440 | * @param dp_net - destination port net order |
| 441 | * @param seq - sequence number host order |
| 442 | * @param ack - ack number host order |
| 443 | * @param tcp_hdr_opts_len - header and options length in bytes |
| 444 | * @param flags - header flags |
| 445 | * @param wnd - window size |
| 446 | * |
| 447 | * @return - pointer to start of TCP header |
| 448 | */ |
| 449 | always_inline void * |
| 450 | vlib_buffer_push_tcp (vlib_buffer_t * b, u16 sp_net, u16 dp_net, u32 seq, |
| 451 | u32 ack, u8 tcp_hdr_opts_len, u8 flags, u16 wnd) |
| 452 | { |
| 453 | return vlib_buffer_push_tcp_net_order (b, sp_net, dp_net, |
| 454 | clib_host_to_net_u32 (seq), |
| 455 | clib_host_to_net_u32 (ack), |
| 456 | tcp_hdr_opts_len, flags, |
| 457 | clib_host_to_net_u16 (wnd)); |
| 458 | } |
| 459 | |
| 460 | #endif /* SRC_VNET_TCP_TCP_INLINES_H_ */ |
| 461 | |
| 462 | /* |
| 463 | * fd.io coding-style-patch-verification: ON |
| 464 | * |
| 465 | * Local Variables: |
| 466 | * eval: (c-set-style "gnu") |
| 467 | * End: |
| 468 | */ |