src/vnet/devices/af_packet/device.c

/*
 *------------------------------------------------------------------
 * af_packet.c - linux kernel packet interface
 *
 * Copyright (c) 2016 Cisco and/or its affiliates.
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at:
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 *------------------------------------------------------------------
 */

#include <linux/if_packet.h>
#include <sys/socket.h>
#include <sys/ioctl.h>
#include <net/if.h>
#include <net/if_arp.h>

#include <vlib/vlib.h>
#include <vlib/unix/unix.h>
#include <vnet/ip/ip.h>
#include <vnet/ethernet/ethernet.h>
#include <vnet/ip/ip4_packet.h>
#include <vnet/ip/ip6_packet.h>
#include <vnet/ip/ip_psh_cksum.h>
#include <vnet/tcp/tcp_packet.h>
#include <vnet/udp/udp_packet.h>

#include <vnet/devices/af_packet/af_packet.h>
#include <vnet/devices/virtio/virtio_std.h>

#define foreach_af_packet_tx_func_error               \
_(FRAME_NOT_READY, "tx frame not ready")              \
_(TXRING_EAGAIN,   "tx sendto temporary failure")     \
_(TXRING_FATAL,    "tx sendto fatal failure")         \
_(TXRING_OVERRUN,  "tx ring overrun")

typedef enum
{
#define _(f,s) AF_PACKET_TX_ERROR_##f,
  foreach_af_packet_tx_func_error
#undef _
    AF_PACKET_TX_N_ERROR,
} af_packet_tx_func_error_t;

static char *af_packet_tx_func_error_strings[] = {
#define _(n,s) s,
  foreach_af_packet_tx_func_error
#undef _
};

typedef struct
{
  u32 buffer_index;
  u32 hw_if_index;
  tpacket3_hdr_t tph;
  vnet_virtio_net_hdr_t vnet_hdr;
  vlib_buffer_t buffer;
} af_packet_tx_trace_t;

#ifndef CLIB_MARCH_VARIANT
u8 *
format_af_packet_device_name (u8 * s, va_list * args)
{
  u32 i = va_arg (*args, u32);
  af_packet_main_t *apm = &af_packet_main;
  af_packet_if_t *apif = pool_elt_at_index (apm->interfaces, i);

  s = format (s, "host-%s", apif->host_if_name);
  return s;
}
#endif /* CLIB_MARCH_VARIANT */

static u8 *
format_af_packet_device (u8 * s, va_list * args)
{
  u32 dev_instance = va_arg (*args, u32);
  u32 indent = format_get_indent (s);
  int __clib_unused verbose = va_arg (*args, int);

  af_packet_main_t *apm = &af_packet_main;
  af_packet_if_t *apif = pool_elt_at_index (apm->interfaces, dev_instance);
  clib_spinlock_lock_if_init (&apif->lockp);
  u32 tx_block_sz = apif->tx_req->tp_block_size;
  u32 tx_frame_sz = apif->tx_req->tp_frame_size;
  u32 tx_frame_nr = apif->tx_req->tp_frame_nr;
  u32 tx_block_nr = apif->tx_req->tp_block_nr;
  u32 rx_block_size = apif->rx_req->tp_block_size;
  u32 rx_frame_size = apif->rx_req->tp_frame_size;
  u32 rx_frame_nr = apif->rx_req->tp_frame_nr;
  u32 rx_block_nr = apif->rx_req->tp_block_nr;
  int block = 0;
  u8 *tx_block_start = apif->tx_ring[block];
  u32 tx_frame = apif->next_tx_frame;
  tpacket3_hdr_t *tph;

  s = format (s, "Linux PACKET socket interface\n");
  s = format (s, "%UTX block size:%d nr:%d  TX frame size:%d nr:%d\n",
	      format_white_space, indent, tx_block_sz, tx_block_nr,
	      tx_frame_sz, tx_frame_nr);
  s = format (s, "%URX block size:%d nr:%d  RX frame size:%d nr:%d\n",
	      format_white_space, indent, rx_block_size, rx_block_nr,
	      rx_frame_size, rx_frame_nr);
  s = format (s, "%Unext frame:%d\n", format_white_space, indent,
	      apif->next_tx_frame);

  int n_send_req = 0, n_avail = 0, n_sending = 0, n_tot = 0, n_wrong = 0;
  do
    {
      tph = (tpacket3_hdr_t *) (tx_block_start + tx_frame * tx_frame_sz);
      tx_frame = (tx_frame + 1) % tx_frame_nr;
      if (tph->tp_status == 0)
	n_avail++;
      else if (tph->tp_status & TP_STATUS_SEND_REQUEST)
	n_send_req++;
      else if (tph->tp_status & TP_STATUS_SENDING)
	n_sending++;
      else
	n_wrong++;
      n_tot++;
    }
  while (tx_frame != apif->next_tx_frame);
  s = format (s, "%Uavailable:%d request:%d sending:%d wrong:%d total:%d\n",
	      format_white_space, indent, n_avail, n_send_req, n_sending,
	      n_wrong, n_tot);

  clib_spinlock_unlock_if_init (&apif->lockp);
  return s;
}

static u8 *
format_af_packet_tx_trace (u8 *s, va_list *va)
{
  CLIB_UNUSED (vlib_main_t * vm) = va_arg (*va, vlib_main_t *);
  CLIB_UNUSED (vlib_node_t * node) = va_arg (*va, vlib_node_t *);
  af_packet_tx_trace_t *t = va_arg (*va, af_packet_tx_trace_t *);
  u32 indent = format_get_indent (s);

  s = format (s, "af_packet: hw_if_index %u", t->hw_if_index);

  s =
    format (s,
	    "\n%Utpacket3_hdr:\n%Ustatus 0x%x len %u snaplen %u mac %u net %u"
	    "\n%Usec 0x%x nsec 0x%x vlan %U"
#ifdef TP_STATUS_VLAN_TPID_VALID
	    " vlan_tpid %u"
#endif
	    ,
	    format_white_space, indent + 2, format_white_space, indent + 4,
	    t->tph.tp_status, t->tph.tp_len, t->tph.tp_snaplen, t->tph.tp_mac,
	    t->tph.tp_net, format_white_space, indent + 4, t->tph.tp_sec,
	    t->tph.tp_nsec, format_ethernet_vlan_tci, t->tph.hv1.tp_vlan_tci
#ifdef TP_STATUS_VLAN_TPID_VALID
	    ,
	    t->tph.hv1.tp_vlan_tpid
#endif
    );

  s = format (s,
	      "\n%Uvnet-hdr:\n%Uflags 0x%02x gso_type 0x%02x hdr_len %u"
	      "\n%Ugso_size %u csum_start %u csum_offset %u",
	      format_white_space, indent + 2, format_white_space, indent + 4,
	      t->vnet_hdr.flags, t->vnet_hdr.gso_type, t->vnet_hdr.hdr_len,
	      format_white_space, indent + 4, t->vnet_hdr.gso_size,
	      t->vnet_hdr.csum_start, t->vnet_hdr.csum_offset);

  s = format (s, "\n%Ubuffer 0x%x:\n%U%U", format_white_space, indent + 2,
	      t->buffer_index, format_white_space, indent + 4,
	      format_vnet_buffer_no_chain, &t->buffer);
  s = format (s, "\n%U%U", format_white_space, indent + 2,
	      format_ethernet_header_with_length, t->buffer.pre_data,
	      sizeof (t->buffer.pre_data));
  return s;
}

static void
af_packet_tx_trace (vlib_main_t *vm, vlib_node_runtime_t *node,
		    vlib_buffer_t *b0, u32 bi, tpacket3_hdr_t *tph,
		    vnet_virtio_net_hdr_t *vnet_hdr, u32 hw_if_index)
{
  af_packet_tx_trace_t *t;
  t = vlib_add_trace (vm, node, b0, sizeof (t[0]));
  t->hw_if_index = hw_if_index;
  t->buffer_index = bi;

  clib_memcpy_fast (&t->tph, tph, sizeof (*tph));
  clib_memcpy_fast (&t->vnet_hdr, vnet_hdr, sizeof (*vnet_hdr));
  clib_memcpy_fast (&t->buffer, b0, sizeof (*b0) - sizeof (b0->pre_data));
  clib_memcpy_fast (t->buffer.pre_data, vlib_buffer_get_current (b0),
		    sizeof (t->buffer.pre_data));
}

static_always_inline void
fill_gso_offload (vlib_buffer_t *b0, vnet_virtio_net_hdr_t *vnet_hdr)
{
  vnet_buffer_oflags_t oflags = vnet_buffer (b0)->oflags;
  if (b0->flags & VNET_BUFFER_F_IS_IP4)
    {
      ip4_header_t *ip4;
      vnet_hdr->gso_type = VIRTIO_NET_HDR_GSO_TCPV4;
      vnet_hdr->gso_size = vnet_buffer2 (b0)->gso_size;
      vnet_hdr->hdr_len =
	vnet_buffer (b0)->l4_hdr_offset + vnet_buffer2 (b0)->gso_l4_hdr_sz;
      vnet_hdr->flags = VIRTIO_NET_HDR_F_NEEDS_CSUM;
      vnet_hdr->csum_start = vnet_buffer (b0)->l4_hdr_offset; // 0x22;
      vnet_hdr->csum_offset = STRUCT_OFFSET_OF (tcp_header_t, checksum);
      ip4 = (ip4_header_t *) (vlib_buffer_get_current (b0) +
			      vnet_buffer (b0)->l3_hdr_offset);
      if (oflags & VNET_BUFFER_OFFLOAD_F_IP_CKSUM)
	ip4->checksum = ip4_header_checksum (ip4);
    }
  else if (b0->flags & VNET_BUFFER_F_IS_IP6)
    {
      vnet_hdr->gso_type = VIRTIO_NET_HDR_GSO_TCPV6;
      vnet_hdr->gso_size = vnet_buffer2 (b0)->gso_size;
      vnet_hdr->hdr_len =
	vnet_buffer (b0)->l4_hdr_offset + vnet_buffer2 (b0)->gso_l4_hdr_sz;
      vnet_hdr->flags = VIRTIO_NET_HDR_F_NEEDS_CSUM;
      vnet_hdr->csum_start = vnet_buffer (b0)->l4_hdr_offset; // 0x36;
      vnet_hdr->csum_offset = STRUCT_OFFSET_OF (tcp_header_t, checksum);
    }
}

static_always_inline void
fill_cksum_offload (vlib_buffer_t *b0, vnet_virtio_net_hdr_t *vnet_hdr)
{
  vnet_buffer_oflags_t oflags = vnet_buffer (b0)->oflags;
  if (b0->flags & VNET_BUFFER_F_IS_IP4)
    {
      ip4_header_t *ip4;
      ip4 = (ip4_header_t *) (vlib_buffer_get_current (b0) +
			      vnet_buffer (b0)->l3_hdr_offset);
      if (oflags & VNET_BUFFER_OFFLOAD_F_IP_CKSUM)
	ip4->checksum = ip4_header_checksum (ip4);
      vnet_hdr->flags = VIRTIO_NET_HDR_F_NEEDS_CSUM;
      vnet_hdr->csum_start = 0x22;
      if (oflags & VNET_BUFFER_OFFLOAD_F_TCP_CKSUM)
	{
	  tcp_header_t *tcp =
	    (tcp_header_t *) (vlib_buffer_get_current (b0) +
			      vnet_buffer (b0)->l4_hdr_offset);
	  tcp->checksum = ip4_pseudo_header_cksum (ip4);
	  vnet_hdr->csum_offset = STRUCT_OFFSET_OF (tcp_header_t, checksum);
	}
      else if (oflags & VNET_BUFFER_OFFLOAD_F_UDP_CKSUM)
	{
	  udp_header_t *udp =
	    (udp_header_t *) (vlib_buffer_get_current (b0) +
			      vnet_buffer (b0)->l4_hdr_offset);
	  udp->checksum = ip4_pseudo_header_cksum (ip4);
	  vnet_hdr->csum_offset = STRUCT_OFFSET_OF (udp_header_t, checksum);
	}
    }
  else if (b0->flags & VNET_BUFFER_F_IS_IP6)
    {
      ip6_header_t *ip6;
      vnet_hdr->flags = VIRTIO_NET_HDR_F_NEEDS_CSUM;
      vnet_hdr->csum_start = 0x36;
      ip6 = (ip6_header_t *) (vlib_buffer_get_current (b0) +
			      vnet_buffer (b0)->l3_hdr_offset);
      if (oflags & VNET_BUFFER_OFFLOAD_F_TCP_CKSUM)
	{
	  tcp_header_t *tcp =
	    (tcp_header_t *) (vlib_buffer_get_current (b0) +
			      vnet_buffer (b0)->l4_hdr_offset);
	  tcp->checksum = ip6_pseudo_header_cksum (ip6);
	  vnet_hdr->csum_offset = STRUCT_OFFSET_OF (tcp_header_t, checksum);
	}
      else if (oflags & VNET_BUFFER_OFFLOAD_F_UDP_CKSUM)
	{
	  udp_header_t *udp =
	    (udp_header_t *) (vlib_buffer_get_current (b0) +
			      vnet_buffer (b0)->l4_hdr_offset);
	  udp->checksum = ip6_pseudo_header_cksum (ip6);
	  vnet_hdr->csum_offset = STRUCT_OFFSET_OF (udp_header_t, checksum);
	}
    }
}

VNET_DEVICE_CLASS_TX_FN (af_packet_device_class) (vlib_main_t * vm,
						  vlib_node_runtime_t * node,
						  vlib_frame_t * frame)
{
  af_packet_main_t *apm = &af_packet_main;
  u32 *buffers = vlib_frame_vector_args (frame);
  u32 n_left = frame->n_vectors;
  u32 n_sent = 0;
  vnet_interface_output_runtime_t *rd = (void *) node->runtime_data;
  af_packet_if_t *apif =
    pool_elt_at_index (apm->interfaces, rd->dev_instance);
  clib_spinlock_lock_if_init (&apif->lockp);
  u32 block = 0;
  u32 frame_size = apif->tx_req->tp_frame_size;
  u32 frame_num = apif->tx_req->tp_frame_nr;
  u8 *block_start = apif->tx_ring[block];
  u32 tx_frame = apif->next_tx_frame;
  tpacket3_hdr_t *tph;
  u32 frame_not_ready = 0;
  u8 is_cksum_gso_enabled = (apif->is_cksum_gso_enabled == 1) ? 1 : 0;

  while (n_left)
    {
      u32 len;
      vnet_virtio_net_hdr_t *vnet_hdr = 0;
      u32 offset = 0;
      vlib_buffer_t *b0 = 0, *b0_first = 0;
      u32 bi, bi_first;

      bi = bi_first = buffers[0];
      n_left--;
      buffers++;

      tph = (tpacket3_hdr_t *) (block_start + tx_frame * frame_size);
      if (PREDICT_FALSE (tph->tp_status &
			 (TP_STATUS_SEND_REQUEST | TP_STATUS_SENDING)))
	{
	  frame_not_ready++;
	  goto next;
	}

      b0_first = b0 = vlib_get_buffer (vm, bi);

      if (PREDICT_TRUE (is_cksum_gso_enabled))
	{
	  vnet_hdr =
	    (vnet_virtio_net_hdr_t *) ((u8 *) tph + TPACKET_ALIGN (sizeof (
						      tpacket3_hdr_t)));

	  clib_memset_u8 (vnet_hdr, 0, sizeof (vnet_virtio_net_hdr_t));
	  offset = sizeof (vnet_virtio_net_hdr_t);

	  if (b0->flags & VNET_BUFFER_F_GSO)
	    fill_gso_offload (b0, vnet_hdr);
	  else if (b0->flags & VNET_BUFFER_F_OFFLOAD)
	    fill_cksum_offload (b0, vnet_hdr);
	}

      len = b0->current_length;
      clib_memcpy_fast ((u8 *) tph + TPACKET_ALIGN (sizeof (tpacket3_hdr_t)) +
			  offset,
			vlib_buffer_get_current (b0), len);
      offset += len;

      while (b0->flags & VLIB_BUFFER_NEXT_PRESENT)
	{
	  b0 = vlib_get_buffer (vm, b0->next_buffer);
	  len = b0->current_length;
	  clib_memcpy_fast ((u8 *) tph +
			      TPACKET_ALIGN (sizeof (tpacket3_hdr_t)) + offset,
			    vlib_buffer_get_current (b0), len);
	  offset += len;
	}

      tph->tp_len = tph->tp_snaplen = offset;
      tph->tp_status = TP_STATUS_SEND_REQUEST;
      n_sent++;

      if (PREDICT_FALSE (b0_first->flags & VLIB_BUFFER_IS_TRACED))
	{
	  if (PREDICT_TRUE (is_cksum_gso_enabled))
	    af_packet_tx_trace (vm, node, b0_first, bi_first, tph, vnet_hdr,
				apif->hw_if_index);
	  else
	    {
	      vnet_virtio_net_hdr_t vnet_hdr2 = {};
	      af_packet_tx_trace (vm, node, b0_first, bi_first, tph,
				  &vnet_hdr2, apif->hw_if_index);
	    }
	}
      tx_frame = (tx_frame + 1) % frame_num;

    next:
      /* check if we've exhausted the ring */
      if (PREDICT_FALSE (frame_not_ready + n_sent == frame_num))
	break;
    }

  CLIB_MEMORY_BARRIER ();

  if (PREDICT_TRUE (n_sent))
    {
      apif->next_tx_frame = tx_frame;

      if (PREDICT_FALSE (sendto (apif->fd, NULL, 0, MSG_DONTWAIT, NULL, 0) ==
			 -1))
	{
	  /* Uh-oh, drop & move on, but count whether it was fatal or not.
	   * Note that we have no reliable way to properly determine the
	   * disposition of the packets we just enqueued for delivery.
	   */
	  vlib_error_count (vm, node->node_index,
			    unix_error_is_fatal (errno) ?
			      AF_PACKET_TX_ERROR_TXRING_FATAL :
			      AF_PACKET_TX_ERROR_TXRING_EAGAIN,
			    n_sent);
	}
    }

  clib_spinlock_unlock_if_init (&apif->lockp);

  if (PREDICT_FALSE (frame_not_ready))
    vlib_error_count (vm, node->node_index,
		      AF_PACKET_TX_ERROR_FRAME_NOT_READY, frame_not_ready);

  if (PREDICT_FALSE (frame_not_ready + n_sent == frame_num))
    vlib_error_count (vm, node->node_index, AF_PACKET_TX_ERROR_TXRING_OVERRUN,
		      n_left);

  vlib_buffer_free (vm, vlib_frame_vector_args (frame), frame->n_vectors);
  return frame->n_vectors;
}

static void
af_packet_set_interface_next_node (vnet_main_t * vnm, u32 hw_if_index,
				   u32 node_index)
{
  af_packet_main_t *apm = &af_packet_main;
  vnet_hw_interface_t *hw = vnet_get_hw_interface (vnm, hw_if_index);
  af_packet_if_t *apif =
    pool_elt_at_index (apm->interfaces, hw->dev_instance);

  /* Shut off redirection */
  if (node_index == ~0)
    {
      apif->per_interface_next_index = node_index;
      return;
    }

  apif->per_interface_next_index =
    vlib_node_add_next (vlib_get_main (), af_packet_input_node.index,
			node_index);
}

static void
af_packet_clear_hw_interface_counters (u32 instance)
{
  /* Nothing for now */
}

static clib_error_t *
af_packet_interface_admin_up_down (vnet_main_t * vnm, u32 hw_if_index,
				   u32 flags)
{
  af_packet_main_t *apm = &af_packet_main;
  vnet_hw_interface_t *hw = vnet_get_hw_interface (vnm, hw_if_index);
  af_packet_if_t *apif =
    pool_elt_at_index (apm->interfaces, hw->dev_instance);
  u32 hw_flags;
  int rv, fd = socket (AF_UNIX, SOCK_DGRAM, 0);
  struct ifreq ifr;

  if (0 > fd)
    {
      vlib_log_warn (apm->log_class, "af_packet_%s could not open socket",
		     apif->host_if_name);
      return 0;
    }

  /* if interface is a bridge ignore */
  if (apif->host_if_index < 0)
    goto error;			/* no error */

  /* use host_if_index in case host name has changed */
  ifr.ifr_ifindex = apif->host_if_index;
  if ((rv = ioctl (fd, SIOCGIFNAME, &ifr)) < 0)
    {
      vlib_log_warn (apm->log_class,
		     "af_packet_%s ioctl could not retrieve eth name",
		     apif->host_if_name);
      goto error;
    }

  apif->is_admin_up = (flags & VNET_SW_INTERFACE_FLAG_ADMIN_UP) != 0;

  if ((rv = ioctl (fd, SIOCGIFFLAGS, &ifr)) < 0)
    {
      vlib_log_warn (apm->log_class, "af_packet_%s error: %d",
		     apif->is_admin_up ? "up" : "down", rv);
      goto error;
    }

  if (apif->is_admin_up)
    {
      hw_flags = VNET_HW_INTERFACE_FLAG_LINK_UP;
      ifr.ifr_flags |= IFF_UP;
    }
  else
    {
      hw_flags = 0;
      ifr.ifr_flags &= ~IFF_UP;
    }

  if ((rv = ioctl (fd, SIOCSIFFLAGS, &ifr)) < 0)
    {
      vlib_log_warn (apm->log_class, "af_packet_%s error: %d",
		     apif->is_admin_up ? "up" : "down", rv);
      goto error;
    }

  vnet_hw_interface_set_flags (vnm, hw_if_index, hw_flags);

error:
  if (0 <= fd)
    close (fd);

  return 0;			/* no error */
}

static clib_error_t *
af_packet_subif_add_del_function (vnet_main_t * vnm,
				  u32 hw_if_index,
				  struct vnet_sw_interface_t *st, int is_add)
{
  /* Nothing for now */
  return 0;
}

static clib_error_t *af_packet_set_mac_address_function
  (struct vnet_hw_interface_t *hi, const u8 * old_address, const u8 * address)
{
  af_packet_main_t *apm = &af_packet_main;
  af_packet_if_t *apif =
    pool_elt_at_index (apm->interfaces, hi->dev_instance);
  int rv, fd;
  struct ifreq ifr;

  if (apif->mode == AF_PACKET_IF_MODE_IP)
    {
      vlib_log_warn (apm->log_class, "af_packet_%s interface is in IP mode",
		     apif->host_if_name);
      return clib_error_return (0,
				" MAC update failed, interface is in IP mode");
    }

  fd = socket (AF_UNIX, SOCK_DGRAM, 0);
  if (0 > fd)
    {
      vlib_log_warn (apm->log_class, "af_packet_%s could not open socket",
		     apif->host_if_name);
      return 0;
    }

  /* if interface is a bridge ignore */
  if (apif->host_if_index < 0)
    goto error;			/* no error */

  /* use host_if_index in case host name has changed */
  ifr.ifr_ifindex = apif->host_if_index;
  if ((rv = ioctl (fd, SIOCGIFNAME, &ifr)) < 0)
    {
      vlib_log_warn
	(apm->log_class,
	 "af_packet_%s ioctl could not retrieve eth name, error: %d",
	 apif->host_if_name, rv);
      goto error;
    }

  clib_memcpy (ifr.ifr_hwaddr.sa_data, address, 6);
  ifr.ifr_hwaddr.sa_family = ARPHRD_ETHER;

  if ((rv = ioctl (fd, SIOCSIFHWADDR, &ifr)) < 0)
    {
      vlib_log_warn (apm->log_class,
		     "af_packet_%s ioctl could not set mac, error: %d",
		     apif->host_if_name, rv);
      goto error;
    }

error:

  if (0 <= fd)
    close (fd);

  return 0;			/* no error */
}

VNET_DEVICE_CLASS (af_packet_device_class) = {
  .name = "af-packet",
  .format_device_name = format_af_packet_device_name,
  .format_device = format_af_packet_device,
  .format_tx_trace = format_af_packet_tx_trace,
  .tx_function_n_errors = AF_PACKET_TX_N_ERROR,
  .tx_function_error_strings = af_packet_tx_func_error_strings,
  .rx_redirect_to_node = af_packet_set_interface_next_node,
  .clear_counters = af_packet_clear_hw_interface_counters,
  .admin_up_down_function = af_packet_interface_admin_up_down,
  .subif_add_del_function = af_packet_subif_add_del_function,
  .mac_addr_change_function = af_packet_set_mac_address_function,
};

/*
 * fd.io coding-style-patch-verification: ON
 *
 * Local Variables:
 * eval: (c-set-style "gnu")
 * End:
 */