src/plugins/dpdk/device/common.c

   1 /*
   2  * Copyright (c) 2017 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 #include <vnet/vnet.h>
  17 #include <vppinfra/vec.h>
  18 #include <vppinfra/format.h>
  19 #include <vppinfra/file.h>
  20 #include <vlib/unix/unix.h>
  21 #include <assert.h>
  22
  23 #include <vnet/ip/ip.h>
  24 #include <vnet/ethernet/ethernet.h>
  25 #include <vnet/ethernet/arp_packet.h>
  26 #include <vnet/interface/rx_queue_funcs.h>
  27 #include <dpdk/buffer.h>
  28 #include <dpdk/device/dpdk.h>
  29 #include <dpdk/device/dpdk_priv.h>
  30 #include <vppinfra/error.h>
  31
  32 /* DPDK TX offload to vnet hw interface caps mapppings */
  33 static struct
  34 {
  35   u64 offload;
  36   vnet_hw_if_caps_t caps;
  37 } tx_off_caps_map[] = {
  38   { RTE_ETH_TX_OFFLOAD_IPV4_CKSUM, VNET_HW_IF_CAP_TX_IP4_CKSUM },
  39   { RTE_ETH_TX_OFFLOAD_TCP_CKSUM, VNET_HW_IF_CAP_TX_TCP_CKSUM },
  40   { RTE_ETH_TX_OFFLOAD_UDP_CKSUM, VNET_HW_IF_CAP_TX_UDP_CKSUM },
  41   { RTE_ETH_TX_OFFLOAD_OUTER_IPV4_CKSUM, VNET_HW_IF_CAP_TX_IP4_OUTER_CKSUM },
  42   { RTE_ETH_TX_OFFLOAD_OUTER_UDP_CKSUM, VNET_HW_IF_CAP_TX_UDP_OUTER_CKSUM },
  43   { RTE_ETH_TX_OFFLOAD_TCP_TSO, VNET_HW_IF_CAP_TCP_GSO },
  44   { RTE_ETH_TX_OFFLOAD_VXLAN_TNL_TSO, VNET_HW_IF_CAP_VXLAN_TNL_GSO }
  45 };
  46
  47 void
  48 dpdk_device_error (dpdk_device_t * xd, char *str, int rv)
  49 {
  50   dpdk_log_err ("Interface %U error %d: %s", format_dpdk_device_name,
  51                 xd->device_index, rv, rte_strerror (rv));
  52   xd->errors = clib_error_return (xd->errors, "%s[port:%d, errno:%d]: %s",
  53                                   str, xd->port_id, rv, rte_strerror (rv));
  54 }
  55
  56 void
  57 dpdk_device_setup (dpdk_device_t * xd)
  58 {
  59   vlib_main_t *vm = vlib_get_main ();
  60   vnet_main_t *vnm = vnet_get_main ();
  61   vnet_sw_interface_t *sw = vnet_get_sw_interface (vnm, xd->sw_if_index);
  62   vnet_hw_interface_t *hi = vnet_get_hw_interface (vnm, xd->hw_if_index);
  63   u16 buf_sz = vlib_buffer_get_default_data_size (vm);
  64   vnet_hw_if_caps_change_t caps = {};
  65   struct rte_eth_dev_info dev_info;
  66   struct rte_eth_conf conf = {};
  67   u64 rxo, txo;
  68   u32 max_frame_size;
  69   int rv;
  70   int j;
  71
  72   ASSERT (vlib_get_thread_index () == 0);
  73
  74   clib_error_free (xd->errors);
  75   sw->flags &= ~VNET_SW_INTERFACE_FLAG_ERROR;
  76
  77   if (xd->flags & DPDK_DEVICE_FLAG_ADMIN_UP)
  78     {
  79       vnet_hw_interface_set_flags (vnm, xd->hw_if_index, 0);
  80       dpdk_device_stop (xd);
  81     }
  82
  83   rte_eth_dev_info_get (xd->port_id, &dev_info);
  84
  85   dpdk_log_debug ("[%u] configuring device %U", xd->port_id,
  86                   format_dpdk_rte_device, dev_info.device);
  87
  88   /* create rx and tx offload wishlist */
  89   rxo = RTE_ETH_RX_OFFLOAD_IPV4_CKSUM;
  90   txo = 0;
  91
  92   if (xd->conf.enable_tcp_udp_checksum)
  93     rxo |= RTE_ETH_RX_OFFLOAD_UDP_CKSUM | RTE_ETH_RX_OFFLOAD_TCP_CKSUM;
  94
  95   if (xd->conf.disable_tx_checksum_offload == 0 &&
  96       xd->conf.enable_outer_checksum_offload)
  97     txo |=
  98       RTE_ETH_TX_OFFLOAD_OUTER_IPV4_CKSUM | RTE_ETH_TX_OFFLOAD_OUTER_UDP_CKSUM;
  99
 100   if (xd->conf.disable_tx_checksum_offload == 0)
 101     txo |= RTE_ETH_TX_OFFLOAD_IPV4_CKSUM | RTE_ETH_TX_OFFLOAD_TCP_CKSUM |
 102            RTE_ETH_TX_OFFLOAD_UDP_CKSUM;
 103
 104   if (xd->conf.disable_multi_seg == 0)
 105     {
 106       txo |= RTE_ETH_TX_OFFLOAD_MULTI_SEGS;
 107       rxo |= RTE_ETH_RX_OFFLOAD_SCATTER;
 108 #if RTE_VERSION < RTE_VERSION_NUM(21, 11, 0, 0)
 109       rxo |= DEV_RX_OFFLOAD_JUMBO_FRAME;
 110 #endif
 111     }
 112
 113   if (xd->conf.enable_lro)
 114     rxo |= RTE_ETH_RX_OFFLOAD_TCP_LRO;
 115
 116   /* per-device offload config */
 117   if (xd->conf.enable_tso)
 118     txo |= RTE_ETH_TX_OFFLOAD_TCP_CKSUM | RTE_ETH_TX_OFFLOAD_TCP_TSO |
 119            RTE_ETH_TX_OFFLOAD_VXLAN_TNL_TSO;
 120
 121   if (xd->conf.disable_rx_scatter)
 122     rxo &= ~RTE_ETH_RX_OFFLOAD_SCATTER;
 123
 124   /* mask unsupported offloads */
 125   rxo &= dev_info.rx_offload_capa;
 126   txo &= dev_info.tx_offload_capa;
 127
 128   dpdk_log_debug ("[%u] Supported RX offloads: %U", xd->port_id,
 129                   format_dpdk_rx_offload_caps, dev_info.rx_offload_capa);
 130   dpdk_log_debug ("[%u] Configured RX offloads: %U", xd->port_id,
 131                   format_dpdk_rx_offload_caps, rxo);
 132   dpdk_log_debug ("[%u] Supported TX offloads: %U", xd->port_id,
 133                   format_dpdk_tx_offload_caps, dev_info.tx_offload_capa);
 134   dpdk_log_debug ("[%u] Configured TX offloads: %U", xd->port_id,
 135                   format_dpdk_tx_offload_caps, txo);
 136
 137   /* finalize configuration */
 138   conf.rxmode.offloads = rxo;
 139   conf.txmode.offloads = txo;
 140   if (rxo & RTE_ETH_RX_OFFLOAD_TCP_LRO)
 141     conf.rxmode.max_lro_pkt_size = xd->conf.max_lro_pkt_size;
 142
 143   if (xd->conf.enable_lsc_int)
 144     conf.intr_conf.lsc = 1;
 145   if (xd->conf.enable_rxq_int)
 146     conf.intr_conf.rxq = 1;
 147
 148   conf.rxmode.mq_mode = RTE_ETH_MQ_RX_NONE;
 149   if (xd->conf.n_rx_queues > 1)
 150     {
 151       if (xd->conf.disable_rss == 0)
 152         {
 153           conf.rxmode.mq_mode = RTE_ETH_MQ_RX_RSS;
 154           conf.rx_adv_conf.rss_conf.rss_hf = xd->conf.rss_hf;
 155         }
 156     }
 157
 158 #if RTE_VERSION < RTE_VERSION_NUM(21, 11, 0, 0)
 159   if (rxo & DEV_RX_OFFLOAD_JUMBO_FRAME)
 160     {
 161       conf.rxmode.max_rx_pkt_len = dev_info.max_rx_pktlen;
 162       xd->max_supported_frame_size = dev_info.max_rx_pktlen;
 163     }
 164   else
 165     {
 166       xd->max_supported_frame_size =
 167         clib_min (1500 + xd->driver_frame_overhead, buf_sz);
 168     }
 169 #else
 170   if (xd->conf.disable_multi_seg)
 171     xd->max_supported_frame_size = clib_min (dev_info.max_rx_pktlen, buf_sz);
 172   else
 173     xd->max_supported_frame_size = dev_info.max_rx_pktlen;
 174 #endif
 175
 176   max_frame_size = clib_min (xd->max_supported_frame_size,
 177                              ethernet_main.default_mtu + hi->frame_overhead);
 178
 179 #if RTE_VERSION >= RTE_VERSION_NUM(21, 11, 0, 0)
 180   conf.rxmode.mtu = max_frame_size - xd->driver_frame_overhead;
 181 #endif
 182
 183 retry:
 184   rv = rte_eth_dev_configure (xd->port_id, xd->conf.n_rx_queues,
 185                               xd->conf.n_tx_queues, &conf);
 186   if (rv < 0 && conf.intr_conf.rxq)
 187     {
 188       conf.intr_conf.rxq = 0;
 189       goto retry;
 190     }
 191
 192 #if RTE_VERSION < RTE_VERSION_NUM(21, 11, 0, 0)
 193   rte_eth_dev_set_mtu (xd->port_id,
 194                        max_frame_size - xd->driver_frame_overhead);
 195 #endif
 196
 197   hi->max_frame_size = 0;
 198   vnet_hw_interface_set_max_frame_size (vnm, xd->hw_if_index, max_frame_size);
 199   dpdk_log_debug ("[%u] max_frame_size %u max max_frame_size %u "
 200                   "driver_frame_overhead %u",
 201                   xd->port_id, hi->max_frame_size,
 202                   xd->max_supported_frame_size, xd->driver_frame_overhead);
 203
 204   vec_validate_aligned (xd->tx_queues, xd->conf.n_tx_queues - 1,
 205                         CLIB_CACHE_LINE_BYTES);
 206   for (j = 0; j < xd->conf.n_tx_queues; j++)
 207     {
 208       rv = rte_eth_tx_queue_setup (xd->port_id, j, xd->conf.n_tx_desc,
 209                                    xd->cpu_socket, 0);
 210
 211       /* retry with any other CPU socket */
 212       if (rv < 0)
 213         rv = rte_eth_tx_queue_setup (xd->port_id, j, xd->conf.n_tx_desc,
 214                                      SOCKET_ID_ANY, 0);
 215       if (rv < 0)
 216         dpdk_device_error (xd, "rte_eth_tx_queue_setup", rv);
 217
 218       clib_spinlock_init (&vec_elt (xd->tx_queues, j).lock);
 219     }
 220
 221   vec_validate_aligned (xd->rx_queues, xd->conf.n_rx_queues - 1,
 222                         CLIB_CACHE_LINE_BYTES);
 223
 224   for (j = 0; j < xd->conf.n_rx_queues; j++)
 225     {
 226       dpdk_rx_queue_t *rxq = vec_elt_at_index (xd->rx_queues, j);
 227       u8 bpidx = vlib_buffer_pool_get_default_for_numa (
 228         vm, vnet_hw_if_get_rx_queue_numa_node (vnm, rxq->queue_index));
 229       vlib_buffer_pool_t *bp = vlib_get_buffer_pool (vm, bpidx);
 230       struct rte_mempool *mp = dpdk_mempool_by_buffer_pool_index[bpidx];
 231
 232       rv = rte_eth_rx_queue_setup (xd->port_id, j, xd->conf.n_rx_desc,
 233                                    xd->cpu_socket, 0, mp);
 234
 235       /* retry with any other CPU socket */
 236       if (rv < 0)
 237         rv = rte_eth_rx_queue_setup (xd->port_id, j, xd->conf.n_rx_desc,
 238                                      SOCKET_ID_ANY, 0, mp);
 239
 240       rxq->buffer_pool_index = bp->index;
 241
 242       if (rv < 0)
 243         dpdk_device_error (xd, "rte_eth_rx_queue_setup", rv);
 244     }
 245
 246   if (vec_len (xd->errors))
 247     goto error;
 248
 249   xd->buffer_flags =
 250     (VLIB_BUFFER_TOTAL_LENGTH_VALID | VLIB_BUFFER_EXT_HDR_VALID);
 251
 252   if ((rxo & (RTE_ETH_RX_OFFLOAD_TCP_CKSUM | RTE_ETH_RX_OFFLOAD_UDP_CKSUM)) ==
 253       (RTE_ETH_RX_OFFLOAD_TCP_CKSUM | RTE_ETH_RX_OFFLOAD_UDP_CKSUM))
 254     xd->buffer_flags |=
 255       (VNET_BUFFER_F_L4_CHECKSUM_COMPUTED | VNET_BUFFER_F_L4_CHECKSUM_CORRECT);
 256
 257   dpdk_device_flag_set (xd, DPDK_DEVICE_FLAG_RX_IP4_CKSUM,
 258                         rxo & RTE_ETH_RX_OFFLOAD_IPV4_CKSUM);
 259   dpdk_device_flag_set (xd, DPDK_DEVICE_FLAG_MAYBE_MULTISEG,
 260                         rxo & RTE_ETH_RX_OFFLOAD_SCATTER);
 261   dpdk_device_flag_set (
 262     xd, DPDK_DEVICE_FLAG_TX_OFFLOAD,
 263     (txo & (RTE_ETH_TX_OFFLOAD_TCP_CKSUM | RTE_ETH_TX_OFFLOAD_UDP_CKSUM)) ==
 264       (RTE_ETH_TX_OFFLOAD_TCP_CKSUM | RTE_ETH_TX_OFFLOAD_UDP_CKSUM));
 265
 266   /* unconditionally set mac filtering cap */
 267   caps.val = caps.mask = VNET_HW_IF_CAP_MAC_FILTER;
 268
 269   ethernet_set_flags (vnm, xd->hw_if_index,
 270                       ETHERNET_INTERFACE_FLAG_DEFAULT_L3);
 271
 272   for (int i = 0; i < ARRAY_LEN (tx_off_caps_map); i++)
 273     {
 274       __typeof__ (tx_off_caps_map[0]) *v = tx_off_caps_map + i;
 275       caps.mask |= v->caps;
 276       if ((v->offload & txo) == v->offload)
 277         caps.val |= v->caps;
 278     }
 279
 280   vnet_hw_if_change_caps (vnm, xd->hw_if_index, &caps);
 281   xd->enabled_rx_off = rxo;
 282   xd->enabled_tx_off = txo;
 283
 284   if (xd->flags & DPDK_DEVICE_FLAG_ADMIN_UP)
 285     dpdk_device_start (xd);
 286
 287   if (vec_len (xd->errors))
 288     goto error;
 289
 290   return;
 291
 292 error:
 293   xd->flags |= DPDK_DEVICE_FLAG_PMD_INIT_FAIL;
 294   sw->flags |= VNET_SW_INTERFACE_FLAG_ERROR;
 295 }
 296
 297 static clib_error_t *
 298 dpdk_rx_read_ready (clib_file_t *uf)
 299 {
 300   vnet_main_t *vnm = vnet_get_main ();
 301   dpdk_main_t *dm = &dpdk_main;
 302   u32 qidx = uf->private_data;
 303   vnet_hw_if_rx_queue_t *rxq = vnet_hw_if_get_rx_queue (vnm, qidx);
 304   dpdk_device_t *xd = vec_elt_at_index (dm->devices, rxq->dev_instance);
 305
 306   u64 b;
 307   CLIB_UNUSED (ssize_t size) = read (uf->file_descriptor, &b, sizeof (b));
 308   if (rxq->mode != VNET_HW_IF_RX_MODE_POLLING)
 309     {
 310       vnet_hw_if_rx_queue_set_int_pending (vnm, uf->private_data);
 311       rte_eth_dev_rx_intr_enable (xd->port_id, rxq->queue_id);
 312     }
 313
 314   return 0;
 315 }
 316
 317 static void
 318 dpdk_setup_interrupts (dpdk_device_t *xd)
 319 {
 320   vnet_main_t *vnm = vnet_get_main ();
 321   vnet_hw_interface_t *hi = vnet_get_hw_interface (vnm, xd->hw_if_index);
 322   int int_mode = 0;
 323   if (!hi)
 324     return;
 325
 326   if (!xd->conf.enable_rxq_int)
 327     return;
 328
 329   /* Probe for interrupt support */
 330   if (rte_eth_dev_rx_intr_enable (xd->port_id, 0))
 331     {
 332       dpdk_log_info ("probe for interrupt mode for device %U. Failed.\n",
 333                      format_dpdk_device_name, xd->device_index);
 334     }
 335   else
 336     {
 337       xd->flags |= DPDK_DEVICE_FLAG_INT_SUPPORTED;
 338       if (!(xd->flags & DPDK_DEVICE_FLAG_INT_UNMASKABLE))
 339         rte_eth_dev_rx_intr_disable (xd->port_id, 0);
 340       dpdk_log_info ("Probe for interrupt mode for device %U. Success.\n",
 341                      format_dpdk_device_name, xd->device_index);
 342     }
 343
 344   if (xd->flags & DPDK_DEVICE_FLAG_INT_SUPPORTED)
 345     {
 346       int_mode = 1;
 347       for (int q = 0; q < xd->conf.n_rx_queues; q++)
 348         {
 349           dpdk_rx_queue_t *rxq = vec_elt_at_index (xd->rx_queues, q);
 350           clib_file_t f = { 0 };
 351           rxq->efd = rte_eth_dev_rx_intr_ctl_q_get_fd (xd->port_id, q);
 352           if (rxq->efd < 0)
 353             {
 354               xd->flags &= ~DPDK_DEVICE_FLAG_INT_SUPPORTED;
 355               int_mode = 0;
 356               break;
 357             }
 358           f.read_function = dpdk_rx_read_ready;
 359           f.flags = UNIX_FILE_EVENT_EDGE_TRIGGERED;
 360           f.file_descriptor = rxq->efd;
 361           f.private_data = rxq->queue_index;
 362           f.description = format (0, "%U queue %u", format_dpdk_device_name,
 363                                   xd->device_index, q);
 364           rxq->clib_file_index = clib_file_add (&file_main, &f);
 365           vnet_hw_if_set_rx_queue_file_index (vnm, rxq->queue_index,
 366                                               rxq->clib_file_index);
 367           if (xd->flags & DPDK_DEVICE_FLAG_INT_UNMASKABLE)
 368             {
 369               clib_file_main_t *fm = &file_main;
 370               clib_file_t *f =
 371                 pool_elt_at_index (fm->file_pool, rxq->clib_file_index);
 372               fm->file_update (f, UNIX_FILE_UPDATE_DELETE);
 373             }
 374         }
 375     }
 376
 377   if (int_mode)
 378     vnet_hw_if_set_caps (vnm, hi->hw_if_index, VNET_HW_IF_CAP_INT_MODE);
 379   else
 380     vnet_hw_if_unset_caps (vnm, hi->hw_if_index, VNET_HW_IF_CAP_INT_MODE);
 381   vnet_hw_if_update_runtime_data (vnm, xd->hw_if_index);
 382 }
 383
 384 void
 385 dpdk_device_start (dpdk_device_t * xd)
 386 {
 387   int rv;
 388
 389   if (xd->flags & DPDK_DEVICE_FLAG_PMD_INIT_FAIL)
 390     return;
 391
 392   rv = rte_eth_dev_start (xd->port_id);
 393
 394   if (rv)
 395     {
 396       dpdk_device_error (xd, "rte_eth_dev_start", rv);
 397       return;
 398     }
 399
 400   dpdk_log_debug ("[%u] RX burst function: %U", xd->port_id,
 401                   format_dpdk_burst_fn, xd, VLIB_RX);
 402   dpdk_log_debug ("[%u] TX burst function: %U", xd->port_id,
 403                   format_dpdk_burst_fn, xd, VLIB_TX);
 404
 405   dpdk_setup_interrupts (xd);
 406
 407   if (xd->default_mac_address)
 408     rv = rte_eth_dev_default_mac_addr_set (xd->port_id,
 409                                            (void *) xd->default_mac_address);
 410
 411   if (rv)
 412     dpdk_device_error (xd, "rte_eth_dev_default_mac_addr_set", rv);
 413
 414   if (xd->flags & DPDK_DEVICE_FLAG_PROMISC)
 415     rte_eth_promiscuous_enable (xd->port_id);
 416   else
 417     rte_eth_promiscuous_disable (xd->port_id);
 418
 419   rte_eth_allmulticast_enable (xd->port_id);
 420
 421   dpdk_log_info ("Interface %U started", format_dpdk_device_name,
 422                  xd->device_index);
 423 }
 424
 425 void
 426 dpdk_device_stop (dpdk_device_t * xd)
 427 {
 428   if (xd->flags & DPDK_DEVICE_FLAG_PMD_INIT_FAIL)
 429     return;
 430
 431   rte_eth_allmulticast_disable (xd->port_id);
 432   rte_eth_dev_stop (xd->port_id);
 433   clib_memset (&xd->link, 0, sizeof (struct rte_eth_link));
 434
 435   dpdk_log_info ("Interface %U stopped", format_dpdk_device_name,
 436                  xd->device_index);
 437 }
 438
 439 void vl_api_force_rpc_call_main_thread (void *fp, u8 * data, u32 data_length);
 440
 441 always_inline int
 442 dpdk_port_state_callback_inline (dpdk_portid_t port_id,
 443                                  enum rte_eth_event_type type, void *param)
 444 {
 445   struct rte_eth_link link;
 446
 447   RTE_SET_USED (param);
 448   if (type != RTE_ETH_EVENT_INTR_LSC)
 449     {
 450       dpdk_log_info ("Unknown event %d received for port %d", type, port_id);
 451       return -1;
 452     }
 453
 454   rte_eth_link_get_nowait (port_id, &link);
 455   u8 link_up = link.link_status;
 456   if (link_up)
 457     dpdk_log_info ("Port %d Link Up - speed %u Mbps - %s", port_id,
 458                    (unsigned) link.link_speed,
 459                    (link.link_duplex == RTE_ETH_LINK_FULL_DUPLEX) ?
 460                            "full-duplex" :
 461                            "half-duplex");
 462   else
 463     dpdk_log_info ("Port %d Link Down\n\n", port_id);
 464
 465   return 0;
 466 }
 467
 468 int
 469 dpdk_port_state_callback (dpdk_portid_t port_id,
 470                           enum rte_eth_event_type type,
 471                           void *param,
 472                           void *ret_param __attribute__ ((unused)))
 473 {
 474   return dpdk_port_state_callback_inline (port_id, type, param);
 475 }
 476
 477 /* If this device is PCI return pointer to info, otherwise NULL */
 478 struct rte_pci_device *
 479 dpdk_get_pci_device (const struct rte_eth_dev_info *info)
 480 {
 481   const struct rte_bus *bus;
 482
 483   bus = rte_bus_find_by_device (info->device);
 484 #if RTE_VERSION >= RTE_VERSION_NUM(22, 11, 0, 0)
 485   if (bus && !strcmp (rte_bus_name (bus), "pci"))
 486 #else
 487   if (bus && !strcmp (bus->name, "pci"))
 488 #endif
 489     return RTE_DEV_TO_PCI (info->device);
 490   else
 491     return NULL;
 492 }
 493
 494 #ifdef __linux__
 495 /* If this device is VMBUS return pointer to info, otherwise NULL */
 496 struct rte_vmbus_device *
 497 dpdk_get_vmbus_device (const struct rte_eth_dev_info *info)
 498 {
 499   const struct rte_bus *bus;
 500
 501   bus = rte_bus_find_by_device (info->device);
 502 #if RTE_VERSION >= RTE_VERSION_NUM(22, 11, 0, 0)
 503   if (bus && !strcmp (rte_bus_name (bus), "vmbus"))
 504 #else
 505   if (bus && !strcmp (bus->name, "vmbus"))
 506 #endif
 507     return container_of (info->device, struct rte_vmbus_device, device);
 508   else
 509     return NULL;
 510 }
 511 #endif /* __linux__ */
 512
 513 /*
 514  * fd.io coding-style-patch-verification: ON
 515  *
 516  * Local Variables:
 517  * eval: (c-set-style "gnu")
 518  * End:
 519  */