net: add rte prefix to ether structures
[dpdk.git] / drivers / net / mlx4 / mlx4_flow.c
index 669eba2..78bd452 100644 (file)
@@ -1,34 +1,6 @@
-/*-
- *   BSD LICENSE
- *
- *   Copyright 2017 6WIND S.A.
- *   Copyright 2017 Mellanox
- *
- *   Redistribution and use in source and binary forms, with or without
- *   modification, are permitted provided that the following conditions
- *   are met:
- *
- *     * Redistributions of source code must retain the above copyright
- *       notice, this list of conditions and the following disclaimer.
- *     * Redistributions in binary form must reproduce the above copyright
- *       notice, this list of conditions and the following disclaimer in
- *       the documentation and/or other materials provided with the
- *       distribution.
- *     * Neither the name of 6WIND S.A. nor the names of its
- *       contributors may be used to endorse or promote products derived
- *       from this software without specific prior written permission.
- *
- *   THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
- *   "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
- *   LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
- *   A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
- *   OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
- *   SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
- *   LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
- *   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
- *   THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
- *   (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
- *   OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+/* SPDX-License-Identifier: BSD-3-Clause
+ * Copyright 2017 6WIND S.A.
+ * Copyright 2017 Mellanox Technologies, Ltd
  */
 
 /**
 
 #include <rte_byteorder.h>
 #include <rte_errno.h>
-#include <rte_eth_ctrl.h>
-#include <rte_ethdev.h>
+#include <rte_ethdev_driver.h>
+#include <rte_ether.h>
 #include <rte_flow.h>
 #include <rte_flow_driver.h>
 #include <rte_malloc.h>
 
 /* PMD headers. */
 #include "mlx4.h"
+#include "mlx4_glue.h"
 #include "mlx4_flow.h"
 #include "mlx4_rxtx.h"
 #include "mlx4_utils.h"
 
 /** Processor structure associated with a flow item. */
 struct mlx4_flow_proc_item {
-       /** Bit-masks corresponding to the possibilities for the item. */
-       const void *mask;
-       /**
-        * Default bit-masks to use when item->mask is not provided. When
-        * \default_mask is also NULL, the full supported bit-mask (\mask) is
-        * used instead.
-        */
-       const void *default_mask;
-       /** Bit-masks size in bytes. */
+       /** Bit-mask for fields supported by this PMD. */
+       const void *mask_support;
+       /** Bit-mask to use when @p item->mask is not provided. */
+       const void *mask_default;
+       /** Size in bytes for @p mask_support and @p mask_default. */
        const unsigned int mask_sz;
-       /**
-        * Check support for a given item.
-        *
-        * @param item[in]
-        *   Item specification.
-        * @param mask[in]
-        *   Bit-masks covering supported fields to compare with spec,
-        *   last and mask in
-        *   \item.
-        * @param size
-        *   Bit-Mask size in bytes.
-        *
-        * @return
-        *   0 on success, negative value otherwise.
-        */
-       int (*validate)(const struct rte_flow_item *item,
-                       const uint8_t *mask, unsigned int size);
-       /**
-        * Conversion function from rte_flow to NIC specific flow.
-        *
-        * @param item
-        *   rte_flow item to convert.
-        * @param default_mask
-        *   Default bit-masks to use when item->mask is not provided.
-        * @param flow
-        *   Flow rule handle to update.
-        *
-        * @return
-        *   0 on success, negative value otherwise.
-        */
-       int (*convert)(const struct rte_flow_item *item,
-                      const void *default_mask,
-                      struct rte_flow *flow);
+       /** Merge a pattern item into a flow rule handle. */
+       int (*merge)(struct rte_flow *flow,
+                    const struct rte_flow_item *item,
+                    const struct mlx4_flow_proc_item *proc,
+                    struct rte_flow_error *error);
        /** Size in bytes of the destination structure. */
        const unsigned int dst_sz;
        /** List of possible subsequent items. */
@@ -129,114 +70,302 @@ struct mlx4_flow_proc_item {
 struct mlx4_drop {
        struct ibv_qp *qp; /**< QP target. */
        struct ibv_cq *cq; /**< CQ associated with above QP. */
-       struct priv *priv; /**< Back pointer to private data. */
+       struct mlx4_priv *priv; /**< Back pointer to private data. */
        uint32_t refcnt; /**< Reference count. */
 };
 
 /**
- * Convert Ethernet item to Verbs specification.
+ * Convert supported RSS hash field types between DPDK and Verbs formats.
  *
- * @param item[in]
- *   Item specification.
- * @param default_mask[in]
- *   Default bit-masks to use when item->mask is not provided.
- * @param flow[in, out]
+ * This function returns the supported (default) set when @p types has
+ * special value 0.
+ *
+ * @param priv
+ *   Pointer to private structure.
+ * @param types
+ *   Depending on @p verbs_to_dpdk, hash types in either DPDK (see struct
+ *   rte_eth_rss_conf) or Verbs format.
+ * @param verbs_to_dpdk
+ *   A zero value converts @p types from DPDK to Verbs, a nonzero value
+ *   performs the reverse operation.
+ *
+ * @return
+ *   Converted RSS hash fields on success, (uint64_t)-1 otherwise and
+ *   rte_errno is set.
+ */
+uint64_t
+mlx4_conv_rss_types(struct mlx4_priv *priv, uint64_t types, int verbs_to_dpdk)
+{
+       enum {
+               INNER,
+               IPV4, IPV4_1, IPV4_2, IPV6, IPV6_1, IPV6_2, IPV6_3,
+               TCP, UDP,
+               IPV4_TCP, IPV4_UDP, IPV6_TCP, IPV6_TCP_1, IPV6_UDP, IPV6_UDP_1,
+       };
+       enum {
+               VERBS_IPV4 = IBV_RX_HASH_SRC_IPV4 | IBV_RX_HASH_DST_IPV4,
+               VERBS_IPV6 = IBV_RX_HASH_SRC_IPV6 | IBV_RX_HASH_DST_IPV6,
+               VERBS_TCP = IBV_RX_HASH_SRC_PORT_TCP | IBV_RX_HASH_DST_PORT_TCP,
+               VERBS_UDP = IBV_RX_HASH_SRC_PORT_UDP | IBV_RX_HASH_DST_PORT_UDP,
+       };
+       static const uint64_t dpdk[] = {
+               [INNER] = 0,
+               [IPV4] = ETH_RSS_IPV4,
+               [IPV4_1] = ETH_RSS_FRAG_IPV4,
+               [IPV4_2] = ETH_RSS_NONFRAG_IPV4_OTHER,
+               [IPV6] = ETH_RSS_IPV6,
+               [IPV6_1] = ETH_RSS_FRAG_IPV6,
+               [IPV6_2] = ETH_RSS_NONFRAG_IPV6_OTHER,
+               [IPV6_3] = ETH_RSS_IPV6_EX,
+               [TCP] = 0,
+               [UDP] = 0,
+               [IPV4_TCP] = ETH_RSS_NONFRAG_IPV4_TCP,
+               [IPV4_UDP] = ETH_RSS_NONFRAG_IPV4_UDP,
+               [IPV6_TCP] = ETH_RSS_NONFRAG_IPV6_TCP,
+               [IPV6_TCP_1] = ETH_RSS_IPV6_TCP_EX,
+               [IPV6_UDP] = ETH_RSS_NONFRAG_IPV6_UDP,
+               [IPV6_UDP_1] = ETH_RSS_IPV6_UDP_EX,
+       };
+       static const uint64_t verbs[RTE_DIM(dpdk)] = {
+               [INNER] = IBV_RX_HASH_INNER,
+               [IPV4] = VERBS_IPV4,
+               [IPV4_1] = VERBS_IPV4,
+               [IPV4_2] = VERBS_IPV4,
+               [IPV6] = VERBS_IPV6,
+               [IPV6_1] = VERBS_IPV6,
+               [IPV6_2] = VERBS_IPV6,
+               [IPV6_3] = VERBS_IPV6,
+               [TCP] = VERBS_TCP,
+               [UDP] = VERBS_UDP,
+               [IPV4_TCP] = VERBS_IPV4 | VERBS_TCP,
+               [IPV4_UDP] = VERBS_IPV4 | VERBS_UDP,
+               [IPV6_TCP] = VERBS_IPV6 | VERBS_TCP,
+               [IPV6_TCP_1] = VERBS_IPV6 | VERBS_TCP,
+               [IPV6_UDP] = VERBS_IPV6 | VERBS_UDP,
+               [IPV6_UDP_1] = VERBS_IPV6 | VERBS_UDP,
+       };
+       const uint64_t *in = verbs_to_dpdk ? verbs : dpdk;
+       const uint64_t *out = verbs_to_dpdk ? dpdk : verbs;
+       uint64_t seen = 0;
+       uint64_t conv = 0;
+       unsigned int i;
+
+       if (!types) {
+               if (!verbs_to_dpdk)
+                       return priv->hw_rss_sup;
+               types = priv->hw_rss_sup;
+       }
+       for (i = 0; i != RTE_DIM(dpdk); ++i)
+               if (in[i] && (types & in[i]) == in[i]) {
+                       seen |= types & in[i];
+                       conv |= out[i];
+               }
+       if ((verbs_to_dpdk || (conv & priv->hw_rss_sup) == conv) &&
+           !(types & ~seen))
+               return conv;
+       rte_errno = ENOTSUP;
+       return (uint64_t)-1;
+}
+
+/**
+ * Merge Ethernet pattern item into flow rule handle.
+ *
+ * Additional mlx4-specific constraints on supported fields:
+ *
+ * - No support for partial masks, except in the specific case of matching
+ *   all multicast traffic (@p spec->dst and @p mask->dst equal to
+ *   01:00:00:00:00:00).
+ * - Not providing @p item->spec or providing an empty @p mask->dst is
+ *   *only* supported if the rule doesn't specify additional matching
+ *   criteria (i.e. rule is promiscuous-like).
+ *
+ * @param[in, out] flow
  *   Flow rule handle to update.
+ * @param[in] item
+ *   Pattern item to merge.
+ * @param[in] proc
+ *   Associated item-processing object.
+ * @param[out] error
+ *   Perform verbose error reporting if not NULL.
+ *
+ * @return
+ *   0 on success, a negative errno value otherwise and rte_errno is set.
  */
 static int
-mlx4_flow_create_eth(const struct rte_flow_item *item,
-                    const void *default_mask,
-                    struct rte_flow *flow)
+mlx4_flow_merge_eth(struct rte_flow *flow,
+                   const struct rte_flow_item *item,
+                   const struct mlx4_flow_proc_item *proc,
+                   struct rte_flow_error *error)
 {
        const struct rte_flow_item_eth *spec = item->spec;
-       const struct rte_flow_item_eth *mask = item->mask;
+       const struct rte_flow_item_eth *mask =
+               spec ? (item->mask ? item->mask : proc->mask_default) : NULL;
        struct ibv_flow_spec_eth *eth;
-       const unsigned int eth_size = sizeof(struct ibv_flow_spec_eth);
+       const char *msg;
        unsigned int i;
 
+       if (mask) {
+               uint32_t sum_dst = 0;
+               uint32_t sum_src = 0;
+
+               for (i = 0; i != sizeof(mask->dst.addr_bytes); ++i) {
+                       sum_dst += mask->dst.addr_bytes[i];
+                       sum_src += mask->src.addr_bytes[i];
+               }
+               if (sum_src) {
+                       msg = "mlx4 does not support source MAC matching";
+                       goto error;
+               } else if (!sum_dst) {
+                       flow->promisc = 1;
+               } else if (sum_dst == 1 && mask->dst.addr_bytes[0] == 1) {
+                       if (!(spec->dst.addr_bytes[0] & 1)) {
+                               msg = "mlx4 does not support the explicit"
+                                       " exclusion of all multicast traffic";
+                               goto error;
+                       }
+                       flow->allmulti = 1;
+               } else if (sum_dst != (UINT8_C(0xff) * ETHER_ADDR_LEN)) {
+                       msg = "mlx4 does not support matching partial"
+                               " Ethernet fields";
+                       goto error;
+               }
+       }
+       if (!flow->ibv_attr)
+               return 0;
+       if (flow->promisc) {
+               flow->ibv_attr->type = IBV_FLOW_ATTR_ALL_DEFAULT;
+               return 0;
+       }
+       if (flow->allmulti) {
+               flow->ibv_attr->type = IBV_FLOW_ATTR_MC_DEFAULT;
+               return 0;
+       }
        ++flow->ibv_attr->num_of_specs;
-       flow->ibv_attr->priority = 2;
        eth = (void *)((uintptr_t)flow->ibv_attr + flow->ibv_attr_size);
        *eth = (struct ibv_flow_spec_eth) {
                .type = IBV_FLOW_SPEC_ETH,
-               .size = eth_size,
+               .size = sizeof(*eth),
        };
-       if (!spec) {
+       if (!mask) {
+               eth->val.dst_mac[0] = 0xff;
                flow->ibv_attr->type = IBV_FLOW_ATTR_ALL_DEFAULT;
+               flow->promisc = 1;
                return 0;
        }
-       if (!mask)
-               mask = default_mask;
        memcpy(eth->val.dst_mac, spec->dst.addr_bytes, ETHER_ADDR_LEN);
-       memcpy(eth->val.src_mac, spec->src.addr_bytes, ETHER_ADDR_LEN);
        memcpy(eth->mask.dst_mac, mask->dst.addr_bytes, ETHER_ADDR_LEN);
-       memcpy(eth->mask.src_mac, mask->src.addr_bytes, ETHER_ADDR_LEN);
        /* Remove unwanted bits from values. */
        for (i = 0; i < ETHER_ADDR_LEN; ++i) {
                eth->val.dst_mac[i] &= eth->mask.dst_mac[i];
-               eth->val.src_mac[i] &= eth->mask.src_mac[i];
        }
        return 0;
+error:
+       return rte_flow_error_set(error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
+                                 item, msg);
 }
 
 /**
- * Convert VLAN item to Verbs specification.
+ * Merge VLAN pattern item into flow rule handle.
  *
- * @param item[in]
- *   Item specification.
- * @param default_mask[in]
- *   Default bit-masks to use when item->mask is not provided.
- * @param flow[in, out]
+ * Additional mlx4-specific constraints on supported fields:
+ *
+ * - Matching *all* VLAN traffic by omitting @p item->spec or providing an
+ *   empty @p item->mask would also include non-VLAN traffic. Doing so is
+ *   therefore unsupported.
+ * - No support for partial masks.
+ *
+ * @param[in, out] flow
  *   Flow rule handle to update.
+ * @param[in] item
+ *   Pattern item to merge.
+ * @param[in] proc
+ *   Associated item-processing object.
+ * @param[out] error
+ *   Perform verbose error reporting if not NULL.
+ *
+ * @return
+ *   0 on success, a negative errno value otherwise and rte_errno is set.
  */
 static int
-mlx4_flow_create_vlan(const struct rte_flow_item *item,
-                     const void *default_mask,
-                     struct rte_flow *flow)
+mlx4_flow_merge_vlan(struct rte_flow *flow,
+                    const struct rte_flow_item *item,
+                    const struct mlx4_flow_proc_item *proc,
+                    struct rte_flow_error *error)
 {
        const struct rte_flow_item_vlan *spec = item->spec;
-       const struct rte_flow_item_vlan *mask = item->mask;
+       const struct rte_flow_item_vlan *mask =
+               spec ? (item->mask ? item->mask : proc->mask_default) : NULL;
        struct ibv_flow_spec_eth *eth;
-       const unsigned int eth_size = sizeof(struct ibv_flow_spec_eth);
+       const char *msg;
 
-       eth = (void *)((uintptr_t)flow->ibv_attr + flow->ibv_attr_size -
-                      eth_size);
-       if (!spec)
+       if (!mask || !mask->tci) {
+               msg = "mlx4 cannot match all VLAN traffic while excluding"
+                       " non-VLAN traffic, TCI VID must be specified";
+               goto error;
+       }
+       if (mask->tci != RTE_BE16(0x0fff)) {
+               msg = "mlx4 does not support partial TCI VID matching";
+               goto error;
+       }
+       if (!flow->ibv_attr)
                return 0;
-       if (!mask)
-               mask = default_mask;
+       eth = (void *)((uintptr_t)flow->ibv_attr + flow->ibv_attr_size -
+                      sizeof(*eth));
        eth->val.vlan_tag = spec->tci;
        eth->mask.vlan_tag = mask->tci;
        eth->val.vlan_tag &= eth->mask.vlan_tag;
+       if (flow->ibv_attr->type == IBV_FLOW_ATTR_ALL_DEFAULT)
+               flow->ibv_attr->type = IBV_FLOW_ATTR_NORMAL;
        return 0;
+error:
+       return rte_flow_error_set(error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
+                                 item, msg);
 }
 
 /**
- * Convert IPv4 item to Verbs specification.
+ * Merge IPv4 pattern item into flow rule handle.
  *
- * @param item[in]
- *   Item specification.
- * @param default_mask[in]
- *   Default bit-masks to use when item->mask is not provided.
- * @param flow[in, out]
+ * Additional mlx4-specific constraints on supported fields:
+ *
+ * - No support for partial masks.
+ *
+ * @param[in, out] flow
  *   Flow rule handle to update.
+ * @param[in] item
+ *   Pattern item to merge.
+ * @param[in] proc
+ *   Associated item-processing object.
+ * @param[out] error
+ *   Perform verbose error reporting if not NULL.
+ *
+ * @return
+ *   0 on success, a negative errno value otherwise and rte_errno is set.
  */
 static int
-mlx4_flow_create_ipv4(const struct rte_flow_item *item,
-                     const void *default_mask,
-                     struct rte_flow *flow)
+mlx4_flow_merge_ipv4(struct rte_flow *flow,
+                    const struct rte_flow_item *item,
+                    const struct mlx4_flow_proc_item *proc,
+                    struct rte_flow_error *error)
 {
        const struct rte_flow_item_ipv4 *spec = item->spec;
-       const struct rte_flow_item_ipv4 *mask = item->mask;
+       const struct rte_flow_item_ipv4 *mask =
+               spec ? (item->mask ? item->mask : proc->mask_default) : NULL;
        struct ibv_flow_spec_ipv4 *ipv4;
-       unsigned int ipv4_size = sizeof(struct ibv_flow_spec_ipv4);
+       const char *msg;
 
+       if (mask &&
+           ((uint32_t)(mask->hdr.src_addr + 1) > UINT32_C(1) ||
+            (uint32_t)(mask->hdr.dst_addr + 1) > UINT32_C(1))) {
+               msg = "mlx4 does not support matching partial IPv4 fields";
+               goto error;
+       }
+       if (!flow->ibv_attr)
+               return 0;
        ++flow->ibv_attr->num_of_specs;
-       flow->ibv_attr->priority = 1;
        ipv4 = (void *)((uintptr_t)flow->ibv_attr + flow->ibv_attr_size);
        *ipv4 = (struct ibv_flow_spec_ipv4) {
                .type = IBV_FLOW_SPEC_IPV4,
-               .size = ipv4_size,
+               .size = sizeof(*ipv4),
        };
        if (!spec)
                return 0;
@@ -244,8 +373,6 @@ mlx4_flow_create_ipv4(const struct rte_flow_item *item,
                .src_ip = spec->hdr.src_addr,
                .dst_ip = spec->hdr.dst_addr,
        };
-       if (!mask)
-               mask = default_mask;
        ipv4->mask = (struct ibv_flow_ipv4_filter) {
                .src_ip = mask->hdr.src_addr,
                .dst_ip = mask->hdr.dst_addr,
@@ -254,226 +381,196 @@ mlx4_flow_create_ipv4(const struct rte_flow_item *item,
        ipv4->val.src_ip &= ipv4->mask.src_ip;
        ipv4->val.dst_ip &= ipv4->mask.dst_ip;
        return 0;
+error:
+       return rte_flow_error_set(error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
+                                 item, msg);
 }
 
 /**
- * Convert UDP item to Verbs specification.
+ * Merge UDP pattern item into flow rule handle.
  *
- * @param item[in]
- *   Item specification.
- * @param default_mask[in]
- *   Default bit-masks to use when item->mask is not provided.
- * @param flow[in, out]
+ * Additional mlx4-specific constraints on supported fields:
+ *
+ * - No support for partial masks.
+ * - Due to HW/FW limitation, flow rule priority is not taken into account
+ *   when matching UDP destination ports, doing is therefore only supported
+ *   at the highest priority level (0).
+ *
+ * @param[in, out] flow
  *   Flow rule handle to update.
+ * @param[in] item
+ *   Pattern item to merge.
+ * @param[in] proc
+ *   Associated item-processing object.
+ * @param[out] error
+ *   Perform verbose error reporting if not NULL.
+ *
+ * @return
+ *   0 on success, a negative errno value otherwise and rte_errno is set.
  */
 static int
-mlx4_flow_create_udp(const struct rte_flow_item *item,
-                    const void *default_mask,
-                    struct rte_flow *flow)
+mlx4_flow_merge_udp(struct rte_flow *flow,
+                   const struct rte_flow_item *item,
+                   const struct mlx4_flow_proc_item *proc,
+                   struct rte_flow_error *error)
 {
        const struct rte_flow_item_udp *spec = item->spec;
-       const struct rte_flow_item_udp *mask = item->mask;
+       const struct rte_flow_item_udp *mask =
+               spec ? (item->mask ? item->mask : proc->mask_default) : NULL;
        struct ibv_flow_spec_tcp_udp *udp;
-       unsigned int udp_size = sizeof(struct ibv_flow_spec_tcp_udp);
+       const char *msg;
 
+       if (mask &&
+           ((uint16_t)(mask->hdr.src_port + 1) > UINT16_C(1) ||
+            (uint16_t)(mask->hdr.dst_port + 1) > UINT16_C(1))) {
+               msg = "mlx4 does not support matching partial UDP fields";
+               goto error;
+       }
+       if (mask && mask->hdr.dst_port && flow->priority) {
+               msg = "combining UDP destination port matching with a nonzero"
+                       " priority level is not supported";
+               goto error;
+       }
+       if (!flow->ibv_attr)
+               return 0;
        ++flow->ibv_attr->num_of_specs;
-       flow->ibv_attr->priority = 0;
        udp = (void *)((uintptr_t)flow->ibv_attr + flow->ibv_attr_size);
        *udp = (struct ibv_flow_spec_tcp_udp) {
                .type = IBV_FLOW_SPEC_UDP,
-               .size = udp_size,
+               .size = sizeof(*udp),
        };
        if (!spec)
                return 0;
        udp->val.dst_port = spec->hdr.dst_port;
        udp->val.src_port = spec->hdr.src_port;
-       if (!mask)
-               mask = default_mask;
        udp->mask.dst_port = mask->hdr.dst_port;
        udp->mask.src_port = mask->hdr.src_port;
        /* Remove unwanted bits from values. */
        udp->val.src_port &= udp->mask.src_port;
        udp->val.dst_port &= udp->mask.dst_port;
        return 0;
+error:
+       return rte_flow_error_set(error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
+                                 item, msg);
 }
 
 /**
- * Convert TCP item to Verbs specification.
+ * Merge TCP pattern item into flow rule handle.
  *
- * @param item[in]
- *   Item specification.
- * @param default_mask[in]
- *   Default bit-masks to use when item->mask is not provided.
- * @param flow[in, out]
+ * Additional mlx4-specific constraints on supported fields:
+ *
+ * - No support for partial masks.
+ *
+ * @param[in, out] flow
  *   Flow rule handle to update.
+ * @param[in] item
+ *   Pattern item to merge.
+ * @param[in] proc
+ *   Associated item-processing object.
+ * @param[out] error
+ *   Perform verbose error reporting if not NULL.
+ *
+ * @return
+ *   0 on success, a negative errno value otherwise and rte_errno is set.
  */
 static int
-mlx4_flow_create_tcp(const struct rte_flow_item *item,
-                    const void *default_mask,
-                    struct rte_flow *flow)
+mlx4_flow_merge_tcp(struct rte_flow *flow,
+                   const struct rte_flow_item *item,
+                   const struct mlx4_flow_proc_item *proc,
+                   struct rte_flow_error *error)
 {
        const struct rte_flow_item_tcp *spec = item->spec;
-       const struct rte_flow_item_tcp *mask = item->mask;
+       const struct rte_flow_item_tcp *mask =
+               spec ? (item->mask ? item->mask : proc->mask_default) : NULL;
        struct ibv_flow_spec_tcp_udp *tcp;
-       unsigned int tcp_size = sizeof(struct ibv_flow_spec_tcp_udp);
+       const char *msg;
 
+       if (mask &&
+           ((uint16_t)(mask->hdr.src_port + 1) > UINT16_C(1) ||
+            (uint16_t)(mask->hdr.dst_port + 1) > UINT16_C(1))) {
+               msg = "mlx4 does not support matching partial TCP fields";
+               goto error;
+       }
+       if (!flow->ibv_attr)
+               return 0;
        ++flow->ibv_attr->num_of_specs;
-       flow->ibv_attr->priority = 0;
        tcp = (void *)((uintptr_t)flow->ibv_attr + flow->ibv_attr_size);
        *tcp = (struct ibv_flow_spec_tcp_udp) {
                .type = IBV_FLOW_SPEC_TCP,
-               .size = tcp_size,
+               .size = sizeof(*tcp),
        };
        if (!spec)
                return 0;
        tcp->val.dst_port = spec->hdr.dst_port;
        tcp->val.src_port = spec->hdr.src_port;
-       if (!mask)
-               mask = default_mask;
        tcp->mask.dst_port = mask->hdr.dst_port;
        tcp->mask.src_port = mask->hdr.src_port;
        /* Remove unwanted bits from values. */
        tcp->val.src_port &= tcp->mask.src_port;
        tcp->val.dst_port &= tcp->mask.dst_port;
        return 0;
+error:
+       return rte_flow_error_set(error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
+                                 item, msg);
 }
 
 /**
- * Check support for a given item.
+ * Perform basic sanity checks on a pattern item.
  *
- * @param item[in]
+ * @param[in] item
  *   Item specification.
- * @param mask[in]
- *   Bit-masks covering supported fields to compare with spec, last and mask in
- *   \item.
- * @param size
- *   Bit-Mask size in bytes.
+ * @param[in] proc
+ *   Associated item-processing object.
+ * @param[out] error
+ *   Perform verbose error reporting if not NULL.
  *
  * @return
- *   0 on success, negative value otherwise.
+ *   0 on success, a negative errno value otherwise and rte_errno is set.
  */
 static int
-mlx4_flow_item_validate(const struct rte_flow_item *item,
-                       const uint8_t *mask, unsigned int size)
+mlx4_flow_item_check(const struct rte_flow_item *item,
+                    const struct mlx4_flow_proc_item *proc,
+                    struct rte_flow_error *error)
 {
-       int ret = 0;
+       const uint8_t *mask;
+       unsigned int i;
 
+       /* item->last and item->mask cannot exist without item->spec. */
        if (!item->spec && (item->mask || item->last))
-               return -1;
-       if (item->spec && !item->mask) {
-               unsigned int i;
-               const uint8_t *spec = item->spec;
-
-               for (i = 0; i < size; ++i)
-                       if ((spec[i] | mask[i]) != mask[i])
-                               return -1;
-       }
-       if (item->last && !item->mask) {
-               unsigned int i;
-               const uint8_t *spec = item->last;
-
-               for (i = 0; i < size; ++i)
-                       if ((spec[i] | mask[i]) != mask[i])
-                               return -1;
-       }
-       if (item->spec && item->last) {
-               uint8_t spec[size];
-               uint8_t last[size];
-               const uint8_t *apply = mask;
-               unsigned int i;
-
-               if (item->mask)
-                       apply = item->mask;
-               for (i = 0; i < size; ++i) {
-                       spec[i] = ((const uint8_t *)item->spec)[i] & apply[i];
-                       last[i] = ((const uint8_t *)item->last)[i] & apply[i];
-               }
-               ret = memcmp(spec, last, size);
-       }
-       return ret;
-}
-
-static int
-mlx4_flow_validate_eth(const struct rte_flow_item *item,
-                      const uint8_t *mask, unsigned int size)
-{
-       if (item->mask) {
-               const struct rte_flow_item_eth *mask = item->mask;
-
-               if (mask->dst.addr_bytes[0] != 0xff ||
-                               mask->dst.addr_bytes[1] != 0xff ||
-                               mask->dst.addr_bytes[2] != 0xff ||
-                               mask->dst.addr_bytes[3] != 0xff ||
-                               mask->dst.addr_bytes[4] != 0xff ||
-                               mask->dst.addr_bytes[5] != 0xff)
-                       return -1;
-       }
-       return mlx4_flow_item_validate(item, mask, size);
-}
-
-static int
-mlx4_flow_validate_vlan(const struct rte_flow_item *item,
-                       const uint8_t *mask, unsigned int size)
-{
-       if (item->mask) {
-               const struct rte_flow_item_vlan *mask = item->mask;
-
-               if (mask->tci != 0 &&
-                   ntohs(mask->tci) != 0x0fff)
-                       return -1;
-       }
-       return mlx4_flow_item_validate(item, mask, size);
-}
-
-static int
-mlx4_flow_validate_ipv4(const struct rte_flow_item *item,
-                       const uint8_t *mask, unsigned int size)
-{
-       if (item->mask) {
-               const struct rte_flow_item_ipv4 *mask = item->mask;
-
-               if (mask->hdr.src_addr != 0 &&
-                   mask->hdr.src_addr != 0xffffffff)
-                       return -1;
-               if (mask->hdr.dst_addr != 0 &&
-                   mask->hdr.dst_addr != 0xffffffff)
-                       return -1;
-       }
-       return mlx4_flow_item_validate(item, mask, size);
-}
-
-static int
-mlx4_flow_validate_udp(const struct rte_flow_item *item,
-                      const uint8_t *mask, unsigned int size)
-{
-       if (item->mask) {
-               const struct rte_flow_item_udp *mask = item->mask;
-
-               if (mask->hdr.src_port != 0 &&
-                   mask->hdr.src_port != 0xffff)
-                       return -1;
-               if (mask->hdr.dst_port != 0 &&
-                   mask->hdr.dst_port != 0xffff)
-                       return -1;
-       }
-       return mlx4_flow_item_validate(item, mask, size);
-}
-
-static int
-mlx4_flow_validate_tcp(const struct rte_flow_item *item,
-                      const uint8_t *mask, unsigned int size)
-{
-       if (item->mask) {
-               const struct rte_flow_item_tcp *mask = item->mask;
-
-               if (mask->hdr.src_port != 0 &&
-                   mask->hdr.src_port != 0xffff)
-                       return -1;
-               if (mask->hdr.dst_port != 0 &&
-                   mask->hdr.dst_port != 0xffff)
-                       return -1;
+               return rte_flow_error_set
+                       (error, EINVAL, RTE_FLOW_ERROR_TYPE_ITEM, item,
+                        "\"mask\" or \"last\" field provided without a"
+                        " corresponding \"spec\"");
+       /* No spec, no mask, no problem. */
+       if (!item->spec)
+               return 0;
+       mask = item->mask ?
+               (const uint8_t *)item->mask :
+               (const uint8_t *)proc->mask_default;
+       assert(mask);
+       /*
+        * Single-pass check to make sure that:
+        * - Mask is supported, no bits are set outside proc->mask_support.
+        * - Both item->spec and item->last are included in mask.
+        */
+       for (i = 0; i != proc->mask_sz; ++i) {
+               if (!mask[i])
+                       continue;
+               if ((mask[i] | ((const uint8_t *)proc->mask_support)[i]) !=
+                   ((const uint8_t *)proc->mask_support)[i])
+                       return rte_flow_error_set
+                               (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
+                                item, "unsupported field found in \"mask\"");
+               if (item->last &&
+                   (((const uint8_t *)item->spec)[i] & mask[i]) !=
+                   (((const uint8_t *)item->last)[i] & mask[i]))
+                       return rte_flow_error_set
+                               (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
+                                item,
+                                "range between \"spec\" and \"last\""
+                                " is larger than \"mask\"");
        }
-       return mlx4_flow_item_validate(item, mask, size);
+       return 0;
 }
 
 /** Graph of supported items and associated actions. */
@@ -484,66 +581,62 @@ static const struct mlx4_flow_proc_item mlx4_flow_proc_item_list[] = {
        [RTE_FLOW_ITEM_TYPE_ETH] = {
                .next_item = NEXT_ITEM(RTE_FLOW_ITEM_TYPE_VLAN,
                                       RTE_FLOW_ITEM_TYPE_IPV4),
-               .mask = &(const struct rte_flow_item_eth){
+               .mask_support = &(const struct rte_flow_item_eth){
+                       /* Only destination MAC can be matched. */
                        .dst.addr_bytes = "\xff\xff\xff\xff\xff\xff",
-                       .src.addr_bytes = "\xff\xff\xff\xff\xff\xff",
                },
-               .default_mask = &rte_flow_item_eth_mask,
+               .mask_default = &rte_flow_item_eth_mask,
                .mask_sz = sizeof(struct rte_flow_item_eth),
-               .validate = mlx4_flow_validate_eth,
-               .convert = mlx4_flow_create_eth,
+               .merge = mlx4_flow_merge_eth,
                .dst_sz = sizeof(struct ibv_flow_spec_eth),
        },
        [RTE_FLOW_ITEM_TYPE_VLAN] = {
                .next_item = NEXT_ITEM(RTE_FLOW_ITEM_TYPE_IPV4),
-               .mask = &(const struct rte_flow_item_vlan){
+               .mask_support = &(const struct rte_flow_item_vlan){
                        /* Only TCI VID matching is supported. */
                        .tci = RTE_BE16(0x0fff),
                },
+               .mask_default = &rte_flow_item_vlan_mask,
                .mask_sz = sizeof(struct rte_flow_item_vlan),
-               .validate = mlx4_flow_validate_vlan,
-               .convert = mlx4_flow_create_vlan,
+               .merge = mlx4_flow_merge_vlan,
                .dst_sz = 0,
        },
        [RTE_FLOW_ITEM_TYPE_IPV4] = {
                .next_item = NEXT_ITEM(RTE_FLOW_ITEM_TYPE_UDP,
                                       RTE_FLOW_ITEM_TYPE_TCP),
-               .mask = &(const struct rte_flow_item_ipv4){
+               .mask_support = &(const struct rte_flow_item_ipv4){
                        .hdr = {
                                .src_addr = RTE_BE32(0xffffffff),
                                .dst_addr = RTE_BE32(0xffffffff),
                        },
                },
-               .default_mask = &rte_flow_item_ipv4_mask,
+               .mask_default = &rte_flow_item_ipv4_mask,
                .mask_sz = sizeof(struct rte_flow_item_ipv4),
-               .validate = mlx4_flow_validate_ipv4,
-               .convert = mlx4_flow_create_ipv4,
+               .merge = mlx4_flow_merge_ipv4,
                .dst_sz = sizeof(struct ibv_flow_spec_ipv4),
        },
        [RTE_FLOW_ITEM_TYPE_UDP] = {
-               .mask = &(const struct rte_flow_item_udp){
+               .mask_support = &(const struct rte_flow_item_udp){
                        .hdr = {
                                .src_port = RTE_BE16(0xffff),
                                .dst_port = RTE_BE16(0xffff),
                        },
                },
-               .default_mask = &rte_flow_item_udp_mask,
+               .mask_default = &rte_flow_item_udp_mask,
                .mask_sz = sizeof(struct rte_flow_item_udp),
-               .validate = mlx4_flow_validate_udp,
-               .convert = mlx4_flow_create_udp,
+               .merge = mlx4_flow_merge_udp,
                .dst_sz = sizeof(struct ibv_flow_spec_tcp_udp),
        },
        [RTE_FLOW_ITEM_TYPE_TCP] = {
-               .mask = &(const struct rte_flow_item_tcp){
+               .mask_support = &(const struct rte_flow_item_tcp){
                        .hdr = {
                                .src_port = RTE_BE16(0xffff),
                                .dst_port = RTE_BE16(0xffff),
                        },
                },
-               .default_mask = &rte_flow_item_tcp_mask,
+               .mask_default = &rte_flow_item_tcp_mask,
                .mask_sz = sizeof(struct rte_flow_item_tcp),
-               .validate = mlx4_flow_validate_tcp,
-               .convert = mlx4_flow_create_tcp,
+               .merge = mlx4_flow_merge_tcp,
                .dst_sz = sizeof(struct ibv_flow_spec_tcp_udp),
        },
 };
@@ -569,7 +662,7 @@ static const struct mlx4_flow_proc_item mlx4_flow_proc_item_list[] = {
  *   0 on success, a negative errno value otherwise and rte_errno is set.
  */
 static int
-mlx4_flow_prepare(struct priv *priv,
+mlx4_flow_prepare(struct mlx4_priv *priv,
                  const struct rte_flow_attr *attr,
                  const struct rte_flow_item pattern[],
                  const struct rte_flow_action actions[],
@@ -581,19 +674,13 @@ mlx4_flow_prepare(struct priv *priv,
        const struct mlx4_flow_proc_item *proc;
        struct rte_flow temp = { .ibv_attr_size = sizeof(*temp.ibv_attr) };
        struct rte_flow *flow = &temp;
-       uint32_t priority_override = 0;
+       const char *msg = NULL;
+       int overlap;
 
        if (attr->group)
                return rte_flow_error_set
                        (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ATTR_GROUP,
                         NULL, "groups are not supported");
-       if (priv->isolated)
-               priority_override = attr->priority;
-       else if (attr->priority)
-               return rte_flow_error_set
-                       (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ATTR_PRIORITY,
-                        NULL,
-                        "priorities are not supported outside isolated mode");
        if (attr->priority > MLX4_FLOW_PRIORITY_LAST)
                return rte_flow_error_set
                        (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ATTR_PRIORITY,
@@ -603,12 +690,18 @@ mlx4_flow_prepare(struct priv *priv,
                return rte_flow_error_set
                        (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ATTR_EGRESS,
                         NULL, "egress is not supported");
+       if (attr->transfer)
+               return rte_flow_error_set
+                       (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ATTR_TRANSFER,
+                        NULL, "transfer is not supported");
        if (!attr->ingress)
                return rte_flow_error_set
                        (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ATTR_INGRESS,
                         NULL, "only ingress is supported");
 fill:
+       overlap = 0;
        proc = mlx4_flow_proc_item_list;
+       flow->priority = attr->priority;
        /* Go over pattern. */
        for (item = pattern; item->type; ++item) {
                const struct mlx4_flow_proc_item *next = NULL;
@@ -617,18 +710,15 @@ fill:
 
                if (item->type == RTE_FLOW_ITEM_TYPE_VOID)
                        continue;
-               /*
-                * The nic can support patterns with NULL eth spec only
-                * if eth is a single item in a rule.
-                */
-               if (!item->spec && item->type == RTE_FLOW_ITEM_TYPE_ETH) {
-                       const struct rte_flow_item *next = item + 1;
-
-                       if (next->type)
-                               return rte_flow_error_set
-                                       (error, ENOTSUP,
-                                        RTE_FLOW_ERROR_TYPE_ITEM, item,
-                                        "the rule requires an Ethernet spec");
+               if (item->type == MLX4_FLOW_ITEM_TYPE_INTERNAL) {
+                       flow->internal = 1;
+                       continue;
+               }
+               if (flow->promisc || flow->allmulti) {
+                       msg = "mlx4 does not support additional matching"
+                               " criteria combined with indiscriminate"
+                               " matching on Ethernet headers";
+                       goto exit_item_not_supported;
                }
                for (i = 0; proc->next_item && proc->next_item[i]; ++i) {
                        if (proc->next_item[i] == item->type) {
@@ -639,53 +729,150 @@ fill:
                if (!next)
                        goto exit_item_not_supported;
                proc = next;
-               /* Perform validation once, while handle is not allocated. */
+               /*
+                * Perform basic sanity checks only once, while handle is
+                * not allocated.
+                */
                if (flow == &temp) {
-                       err = proc->validate(item, proc->mask, proc->mask_sz);
+                       err = mlx4_flow_item_check(item, proc, error);
                        if (err)
-                               goto exit_item_not_supported;
-               } else if (proc->convert) {
-                       err = proc->convert(item,
-                                           (proc->default_mask ?
-                                            proc->default_mask :
-                                            proc->mask),
-                                           flow);
+                               return err;
+               }
+               if (proc->merge) {
+                       err = proc->merge(flow, item, proc, error);
                        if (err)
-                               goto exit_item_not_supported;
+                               return err;
                }
                flow->ibv_attr_size += proc->dst_sz;
        }
-       /* Use specified priority level when in isolated mode. */
-       if (priv->isolated && flow != &temp)
-               flow->ibv_attr->priority = priority_override;
        /* Go over actions list. */
        for (action = actions; action->type; ++action) {
+               /* This one may appear anywhere multiple times. */
+               if (action->type == RTE_FLOW_ACTION_TYPE_VOID)
+                       continue;
+               /* Fate-deciding actions may appear exactly once. */
+               if (overlap) {
+                       msg = "cannot combine several fate-deciding actions,"
+                               " choose between DROP, QUEUE or RSS";
+                       goto exit_action_not_supported;
+               }
+               overlap = 1;
                switch (action->type) {
                        const struct rte_flow_action_queue *queue;
+                       const struct rte_flow_action_rss *rss;
+                       const uint8_t *rss_key;
+                       uint32_t rss_key_len;
+                       uint64_t fields;
+                       unsigned int i;
 
-               case RTE_FLOW_ACTION_TYPE_VOID:
-                       continue;
                case RTE_FLOW_ACTION_TYPE_DROP:
                        flow->drop = 1;
                        break;
                case RTE_FLOW_ACTION_TYPE_QUEUE:
+                       if (flow->rss)
+                               break;
                        queue = action->conf;
-                       if (queue->index >= priv->dev->data->nb_rx_queues)
+                       if (queue->index >= ETH_DEV(priv)->data->nb_rx_queues) {
+                               msg = "queue target index beyond number of"
+                                       " configured Rx queues";
                                goto exit_action_not_supported;
-                       flow->queue = 1;
-                       flow->queue_id = queue->index;
+                       }
+                       flow->rss = mlx4_rss_get
+                               (priv, 0, mlx4_rss_hash_key_default, 1,
+                                &queue->index);
+                       if (!flow->rss) {
+                               msg = "not enough resources for additional"
+                                       " single-queue RSS context";
+                               goto exit_action_not_supported;
+                       }
+                       break;
+               case RTE_FLOW_ACTION_TYPE_RSS:
+                       if (flow->rss)
+                               break;
+                       rss = action->conf;
+                       /* Default RSS configuration if none is provided. */
+                       if (rss->key_len) {
+                               rss_key = rss->key;
+                               rss_key_len = rss->key_len;
+                       } else {
+                               rss_key = mlx4_rss_hash_key_default;
+                               rss_key_len = MLX4_RSS_HASH_KEY_SIZE;
+                       }
+                       /* Sanity checks. */
+                       for (i = 0; i < rss->queue_num; ++i)
+                               if (rss->queue[i] >=
+                                   ETH_DEV(priv)->data->nb_rx_queues)
+                                       break;
+                       if (i != rss->queue_num) {
+                               msg = "queue index target beyond number of"
+                                       " configured Rx queues";
+                               goto exit_action_not_supported;
+                       }
+                       if (!rte_is_power_of_2(rss->queue_num)) {
+                               msg = "for RSS, mlx4 requires the number of"
+                                       " queues to be a power of two";
+                               goto exit_action_not_supported;
+                       }
+                       if (rss_key_len != sizeof(flow->rss->key)) {
+                               msg = "mlx4 supports exactly one RSS hash key"
+                                       " length: "
+                                       MLX4_STR_EXPAND(MLX4_RSS_HASH_KEY_SIZE);
+                               goto exit_action_not_supported;
+                       }
+                       for (i = 1; i < rss->queue_num; ++i)
+                               if (rss->queue[i] - rss->queue[i - 1] != 1)
+                                       break;
+                       if (i != rss->queue_num) {
+                               msg = "mlx4 requires RSS contexts to use"
+                                       " consecutive queue indices only";
+                               goto exit_action_not_supported;
+                       }
+                       if (rss->queue[0] % rss->queue_num) {
+                               msg = "mlx4 requires the first queue of a RSS"
+                                       " context to be aligned on a multiple"
+                                       " of the context size";
+                               goto exit_action_not_supported;
+                       }
+                       if (rss->func &&
+                           rss->func != RTE_ETH_HASH_FUNCTION_TOEPLITZ) {
+                               msg = "the only supported RSS hash function"
+                                       " is Toeplitz";
+                               goto exit_action_not_supported;
+                       }
+                       if (rss->level) {
+                               msg = "a nonzero RSS encapsulation level is"
+                                       " not supported";
+                               goto exit_action_not_supported;
+                       }
+                       rte_errno = 0;
+                       fields = mlx4_conv_rss_types(priv, rss->types, 0);
+                       if (fields == (uint64_t)-1 && rte_errno) {
+                               msg = "unsupported RSS hash type requested";
+                               goto exit_action_not_supported;
+                       }
+                       flow->rss = mlx4_rss_get
+                               (priv, fields, rss_key, rss->queue_num,
+                                rss->queue);
+                       if (!flow->rss) {
+                               msg = "either invalid parameters or not enough"
+                                       " resources for additional multi-queue"
+                                       " RSS context";
+                               goto exit_action_not_supported;
+                       }
                        break;
                default:
                        goto exit_action_not_supported;
                }
        }
-       if (!flow->queue && !flow->drop)
-               return rte_flow_error_set
-                       (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_UNSPECIFIED,
-                        NULL, "no valid action");
+       /* When fate is unknown, drop traffic. */
+       if (!overlap)
+               flow->drop = 1;
        /* Validation ends here. */
-       if (!addr)
+       if (!addr) {
+               if (flow->rss)
+                       mlx4_rss_put(flow->rss);
                return 0;
+       }
        if (flow == &temp) {
                /* Allocate proper handle based on collected data. */
                const struct mlx4_malloc_vec vec[] = {
@@ -701,19 +888,24 @@ fill:
                        },
                };
 
-               if (!mlx4_zmallocv(__func__, vec, RTE_DIM(vec)))
+               if (!mlx4_zmallocv(__func__, vec, RTE_DIM(vec))) {
+                       if (temp.rss)
+                               mlx4_rss_put(temp.rss);
                        return rte_flow_error_set
                                (error, -rte_errno,
                                 RTE_FLOW_ERROR_TYPE_UNSPECIFIED, NULL,
                                 "flow rule handle allocation failure");
+               }
                /* Most fields will be updated by second pass. */
                *flow = (struct rte_flow){
                        .ibv_attr = temp.ibv_attr,
                        .ibv_attr_size = sizeof(*flow->ibv_attr),
+                       .rss = temp.rss,
                };
                *flow->ibv_attr = (struct ibv_flow_attr){
                        .type = IBV_FLOW_ATTR_NORMAL,
                        .size = sizeof(*flow->ibv_attr),
+                       .priority = attr->priority,
                        .port = priv->port,
                };
                goto fill;
@@ -722,10 +914,10 @@ fill:
        return 0;
 exit_item_not_supported:
        return rte_flow_error_set(error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
-                                 item, "item not supported");
+                                 item, msg ? msg : "item not supported");
 exit_action_not_supported:
        return rte_flow_error_set(error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ACTION,
-                                 action, "action not supported");
+                                 action, msg ? msg : "action not supported");
 }
 
 /**
@@ -741,7 +933,7 @@ mlx4_flow_validate(struct rte_eth_dev *dev,
                   const struct rte_flow_action actions[],
                   struct rte_flow_error *error)
 {
-       struct priv *priv = dev->data->dev_private;
+       struct mlx4_priv *priv = dev->data->dev_private;
 
        return mlx4_flow_prepare(priv, attr, pattern, actions, error, NULL);
 }
@@ -757,7 +949,7 @@ mlx4_flow_validate(struct rte_eth_dev *dev,
  *   is set.
  */
 static struct mlx4_drop *
-mlx4_drop_get(struct priv *priv)
+mlx4_drop_get(struct mlx4_priv *priv)
 {
        struct mlx4_drop *drop = priv->drop;
 
@@ -774,24 +966,25 @@ mlx4_drop_get(struct priv *priv)
                .priv = priv,
                .refcnt = 1,
        };
-       drop->cq = ibv_create_cq(priv->ctx, 1, NULL, NULL, 0);
+       drop->cq = mlx4_glue->create_cq(priv->ctx, 1, NULL, NULL, 0);
        if (!drop->cq)
                goto error;
-       drop->qp = ibv_create_qp(priv->pd,
-                                &(struct ibv_qp_init_attr){
-                                       .send_cq = drop->cq,
-                                       .recv_cq = drop->cq,
-                                       .qp_type = IBV_QPT_RAW_PACKET,
-                                });
+       drop->qp = mlx4_glue->create_qp
+               (priv->pd,
+                &(struct ibv_qp_init_attr){
+                       .send_cq = drop->cq,
+                       .recv_cq = drop->cq,
+                       .qp_type = IBV_QPT_RAW_PACKET,
+                });
        if (!drop->qp)
                goto error;
        priv->drop = drop;
        return drop;
 error:
        if (drop->qp)
-               claim_zero(ibv_destroy_qp(drop->qp));
+               claim_zero(mlx4_glue->destroy_qp(drop->qp));
        if (drop->cq)
-               claim_zero(ibv_destroy_cq(drop->cq));
+               claim_zero(mlx4_glue->destroy_cq(drop->cq));
        if (drop)
                rte_free(drop);
        rte_errno = ENOMEM;
@@ -811,8 +1004,8 @@ mlx4_drop_put(struct mlx4_drop *drop)
        if (--drop->refcnt)
                return;
        drop->priv->drop = NULL;
-       claim_zero(ibv_destroy_qp(drop->qp));
-       claim_zero(ibv_destroy_cq(drop->cq));
+       claim_zero(mlx4_glue->destroy_qp(drop->qp));
+       claim_zero(mlx4_glue->destroy_cq(drop->cq));
        rte_free(drop);
 }
 
@@ -832,7 +1025,7 @@ mlx4_drop_put(struct mlx4_drop *drop)
  *   0 on success, a negative errno value otherwise and rte_errno is set.
  */
 static int
-mlx4_flow_toggle(struct priv *priv,
+mlx4_flow_toggle(struct mlx4_priv *priv,
                 struct rte_flow *flow,
                 int enable,
                 struct rte_flow_error *error)
@@ -844,32 +1037,72 @@ mlx4_flow_toggle(struct priv *priv,
        if (!enable) {
                if (!flow->ibv_flow)
                        return 0;
-               claim_zero(ibv_destroy_flow(flow->ibv_flow));
+               claim_zero(mlx4_glue->destroy_flow(flow->ibv_flow));
                flow->ibv_flow = NULL;
                if (flow->drop)
                        mlx4_drop_put(priv->drop);
+               else if (flow->rss)
+                       mlx4_rss_detach(flow->rss);
                return 0;
        }
-       if (flow->queue) {
-               struct rxq *rxq = NULL;
+       assert(flow->ibv_attr);
+       if (!flow->internal &&
+           !priv->isolated &&
+           flow->ibv_attr->priority == MLX4_FLOW_PRIORITY_LAST) {
+               if (flow->ibv_flow) {
+                       claim_zero(mlx4_glue->destroy_flow(flow->ibv_flow));
+                       flow->ibv_flow = NULL;
+                       if (flow->drop)
+                               mlx4_drop_put(priv->drop);
+                       else if (flow->rss)
+                               mlx4_rss_detach(flow->rss);
+               }
+               err = EACCES;
+               msg = ("priority level "
+                      MLX4_STR_EXPAND(MLX4_FLOW_PRIORITY_LAST)
+                      " is reserved when not in isolated mode");
+               goto error;
+       }
+       if (flow->rss) {
+               struct mlx4_rss *rss = flow->rss;
+               int missing = 0;
+               unsigned int i;
 
-               if (flow->queue_id < priv->dev->data->nb_rx_queues)
-                       rxq = priv->dev->data->rx_queues[flow->queue_id];
+               /* Stop at the first nonexistent target queue. */
+               for (i = 0; i != rss->queues; ++i)
+                       if (rss->queue_id[i] >=
+                           ETH_DEV(priv)->data->nb_rx_queues ||
+                           !ETH_DEV(priv)->data->rx_queues[rss->queue_id[i]]) {
+                               missing = 1;
+                               break;
+                       }
                if (flow->ibv_flow) {
-                       if (!rxq ^ !flow->drop)
+                       if (missing ^ !flow->drop)
                                return 0;
                        /* Verbs flow needs updating. */
-                       claim_zero(ibv_destroy_flow(flow->ibv_flow));
+                       claim_zero(mlx4_glue->destroy_flow(flow->ibv_flow));
                        flow->ibv_flow = NULL;
                        if (flow->drop)
                                mlx4_drop_put(priv->drop);
+                       else
+                               mlx4_rss_detach(rss);
+               }
+               if (!missing) {
+                       err = mlx4_rss_attach(rss);
+                       if (err) {
+                               err = -err;
+                               msg = "cannot create indirection table or hash"
+                                       " QP to associate flow rule with";
+                               goto error;
+                       }
+                       qp = rss->qp;
                }
-               if (rxq)
-                       qp = rxq->qp;
                /* A missing target queue drops traffic implicitly. */
-               flow->drop = !rxq;
+               flow->drop = missing;
        }
        if (flow->drop) {
+               if (flow->ibv_flow)
+                       return 0;
                mlx4_drop_get(priv);
                if (!priv->drop) {
                        err = rte_errno;
@@ -879,14 +1112,15 @@ mlx4_flow_toggle(struct priv *priv,
                qp = priv->drop->qp;
        }
        assert(qp);
-       assert(flow->ibv_attr);
        if (flow->ibv_flow)
                return 0;
-       flow->ibv_flow = ibv_create_flow(qp, flow->ibv_attr);
+       flow->ibv_flow = mlx4_glue->create_flow(qp, flow->ibv_attr);
        if (flow->ibv_flow)
                return 0;
        if (flow->drop)
                mlx4_drop_put(priv->drop);
+       else if (flow->rss)
+               mlx4_rss_detach(flow->rss);
        err = errno;
        msg = "flow rule rejected by device";
 error:
@@ -907,7 +1141,7 @@ mlx4_flow_create(struct rte_eth_dev *dev,
                 const struct rte_flow_action actions[],
                 struct rte_flow_error *error)
 {
-       struct priv *priv = dev->data->dev_private;
+       struct mlx4_priv *priv = dev->data->dev_private;
        struct rte_flow *flow;
        int err;
 
@@ -916,9 +1150,21 @@ mlx4_flow_create(struct rte_eth_dev *dev,
                return NULL;
        err = mlx4_flow_toggle(priv, flow, priv->started, error);
        if (!err) {
-               LIST_INSERT_HEAD(&priv->flows, flow, next);
+               struct rte_flow *curr = LIST_FIRST(&priv->flows);
+
+               /* New rules are inserted after internal ones. */
+               if (!curr || !curr->internal) {
+                       LIST_INSERT_HEAD(&priv->flows, flow, next);
+               } else {
+                       while (LIST_NEXT(curr, next) &&
+                              LIST_NEXT(curr, next)->internal)
+                               curr = LIST_NEXT(curr, next);
+                       LIST_INSERT_AFTER(curr, flow, next);
+               }
                return flow;
        }
+       if (flow->rss)
+               mlx4_rss_put(flow->rss);
        rte_flow_error_set(error, -err, RTE_FLOW_ERROR_TYPE_UNSPECIFIED, NULL,
                           error->message);
        rte_free(flow);
@@ -936,18 +1182,14 @@ mlx4_flow_isolate(struct rte_eth_dev *dev,
                  int enable,
                  struct rte_flow_error *error)
 {
-       struct priv *priv = dev->data->dev_private;
+       struct mlx4_priv *priv = dev->data->dev_private;
 
        if (!!enable == !!priv->isolated)
                return 0;
        priv->isolated = !!enable;
-       if (enable) {
-               mlx4_mac_addr_del(priv);
-       } else if (mlx4_mac_addr_add(priv) < 0) {
-               priv->isolated = 1;
-               return rte_flow_error_set(error, rte_errno,
-                                         RTE_FLOW_ERROR_TYPE_UNSPECIFIED,
-                                         NULL, "cannot leave isolated mode");
+       if (mlx4_flow_sync(priv, error)) {
+               priv->isolated = !enable;
+               return -rte_errno;
        }
        return 0;
 }
@@ -963,18 +1205,22 @@ mlx4_flow_destroy(struct rte_eth_dev *dev,
                  struct rte_flow *flow,
                  struct rte_flow_error *error)
 {
-       struct priv *priv = dev->data->dev_private;
+       struct mlx4_priv *priv = dev->data->dev_private;
        int err = mlx4_flow_toggle(priv, flow, 0, error);
 
        if (err)
                return err;
        LIST_REMOVE(flow, next);
+       if (flow->rss)
+               mlx4_rss_put(flow->rss);
        rte_free(flow);
        return 0;
 }
 
 /**
- * Destroy all flow rules.
+ * Destroy user-configured flow rules.
+ *
+ * This function skips internal flows rules.
  *
  * @see rte_flow_flush()
  * @see rte_flow_ops
@@ -983,63 +1229,357 @@ static int
 mlx4_flow_flush(struct rte_eth_dev *dev,
                struct rte_flow_error *error)
 {
-       struct priv *priv = dev->data->dev_private;
+       struct mlx4_priv *priv = dev->data->dev_private;
+       struct rte_flow *flow = LIST_FIRST(&priv->flows);
 
-       while (!LIST_EMPTY(&priv->flows)) {
-               struct rte_flow *flow;
+       while (flow) {
+               struct rte_flow *next = LIST_NEXT(flow, next);
 
-               flow = LIST_FIRST(&priv->flows);
-               mlx4_flow_destroy(dev, flow, error);
+               if (!flow->internal)
+                       mlx4_flow_destroy(dev, flow, error);
+               flow = next;
        }
        return 0;
 }
 
 /**
- * Disable flow rules.
+ * Helper function to determine the next configured VLAN filter.
  *
  * @param priv
  *   Pointer to private structure.
+ * @param vlan
+ *   VLAN ID to use as a starting point.
+ *
+ * @return
+ *   Next configured VLAN ID or a high value (>= 4096) if there is none.
  */
-void
-mlx4_flow_stop(struct priv *priv)
+static uint16_t
+mlx4_flow_internal_next_vlan(struct mlx4_priv *priv, uint16_t vlan)
 {
+       while (vlan < 4096) {
+               if (ETH_DEV(priv)->data->vlan_filter_conf.ids[vlan / 64] &
+                   (UINT64_C(1) << (vlan % 64)))
+                       return vlan;
+               ++vlan;
+       }
+       return vlan;
+}
+
+/**
+ * Generate internal flow rules.
+ *
+ * Various flow rules are created depending on the mode the device is in:
+ *
+ * 1. Promiscuous:
+ *       port MAC + broadcast + catch-all (VLAN filtering is ignored).
+ * 2. All multicast:
+ *       port MAC/VLAN + broadcast + catch-all multicast.
+ * 3. Otherwise:
+ *       port MAC/VLAN + broadcast MAC/VLAN.
+ *
+ * About MAC flow rules:
+ *
+ * - MAC flow rules are generated from @p dev->data->mac_addrs
+ *   (@p priv->mac array).
+ * - An additional flow rule for Ethernet broadcasts is also generated.
+ * - All these are per-VLAN if @p DEV_RX_OFFLOAD_VLAN_FILTER
+ *   is enabled and VLAN filters are configured.
+ *
+ * @param priv
+ *   Pointer to private structure.
+ * @param[out] error
+ *   Perform verbose error reporting if not NULL.
+ *
+ * @return
+ *   0 on success, a negative errno value otherwise and rte_errno is set.
+ */
+static int
+mlx4_flow_internal(struct mlx4_priv *priv, struct rte_flow_error *error)
+{
+       struct rte_flow_attr attr = {
+               .priority = MLX4_FLOW_PRIORITY_LAST,
+               .ingress = 1,
+       };
+       struct rte_flow_item_eth eth_spec;
+       const struct rte_flow_item_eth eth_mask = {
+               .dst.addr_bytes = "\xff\xff\xff\xff\xff\xff",
+       };
+       const struct rte_flow_item_eth eth_allmulti = {
+               .dst.addr_bytes = "\x01\x00\x00\x00\x00\x00",
+       };
+       struct rte_flow_item_vlan vlan_spec;
+       const struct rte_flow_item_vlan vlan_mask = {
+               .tci = RTE_BE16(0x0fff),
+       };
+       struct rte_flow_item pattern[] = {
+               {
+                       .type = MLX4_FLOW_ITEM_TYPE_INTERNAL,
+               },
+               {
+                       .type = RTE_FLOW_ITEM_TYPE_ETH,
+                       .spec = &eth_spec,
+                       .mask = &eth_mask,
+               },
+               {
+                       /* Replaced with VLAN if filtering is enabled. */
+                       .type = RTE_FLOW_ITEM_TYPE_END,
+               },
+               {
+                       .type = RTE_FLOW_ITEM_TYPE_END,
+               },
+       };
+       /*
+        * Round number of queues down to their previous power of 2 to
+        * comply with RSS context limitations. Extra queues silently do not
+        * get RSS by default.
+        */
+       uint32_t queues =
+               rte_align32pow2(ETH_DEV(priv)->data->nb_rx_queues + 1) >> 1;
+       uint16_t queue[queues];
+       struct rte_flow_action_rss action_rss = {
+               .func = RTE_ETH_HASH_FUNCTION_DEFAULT,
+               .level = 0,
+               .types = 0,
+               .key_len = MLX4_RSS_HASH_KEY_SIZE,
+               .queue_num = queues,
+               .key = mlx4_rss_hash_key_default,
+               .queue = queue,
+       };
+       struct rte_flow_action actions[] = {
+               {
+                       .type = RTE_FLOW_ACTION_TYPE_RSS,
+                       .conf = &action_rss,
+               },
+               {
+                       .type = RTE_FLOW_ACTION_TYPE_END,
+               },
+       };
+       struct rte_ether_addr *rule_mac = &eth_spec.dst;
+       rte_be16_t *rule_vlan =
+               (ETH_DEV(priv)->data->dev_conf.rxmode.offloads &
+                DEV_RX_OFFLOAD_VLAN_FILTER) &&
+               !ETH_DEV(priv)->data->promiscuous ?
+               &vlan_spec.tci :
+               NULL;
+       uint16_t vlan = 0;
        struct rte_flow *flow;
+       unsigned int i;
+       int err = 0;
+
+       /* Nothing to be done if there are no Rx queues. */
+       if (!queues)
+               goto error;
+       /* Prepare default RSS configuration. */
+       for (i = 0; i != queues; ++i)
+               queue[i] = i;
+       /*
+        * Set up VLAN item if filtering is enabled and at least one VLAN
+        * filter is configured.
+        */
+       if (rule_vlan) {
+               vlan = mlx4_flow_internal_next_vlan(priv, 0);
+               if (vlan < 4096) {
+                       pattern[2] = (struct rte_flow_item){
+                               .type = RTE_FLOW_ITEM_TYPE_VLAN,
+                               .spec = &vlan_spec,
+                               .mask = &vlan_mask,
+                       };
+next_vlan:
+                       *rule_vlan = rte_cpu_to_be_16(vlan);
+               } else {
+                       rule_vlan = NULL;
+               }
+       }
+       for (i = 0; i != RTE_DIM(priv->mac) + 1; ++i) {
+               const struct rte_ether_addr *mac;
+
+               /* Broadcasts are handled by an extra iteration. */
+               if (i < RTE_DIM(priv->mac))
+                       mac = &priv->mac[i];
+               else
+                       mac = &eth_mask.dst;
+               if (is_zero_ether_addr(mac))
+                       continue;
+               /* Check if MAC flow rule is already present. */
+               for (flow = LIST_FIRST(&priv->flows);
+                    flow && flow->internal;
+                    flow = LIST_NEXT(flow, next)) {
+                       const struct ibv_flow_spec_eth *eth =
+                               (const void *)((uintptr_t)flow->ibv_attr +
+                                              sizeof(*flow->ibv_attr));
+                       unsigned int j;
 
-       for (flow = LIST_FIRST(&priv->flows);
-            flow;
-            flow = LIST_NEXT(flow, next)) {
-               claim_zero(mlx4_flow_toggle(priv, flow, 0, NULL));
+                       if (!flow->mac)
+                               continue;
+                       assert(flow->ibv_attr->type == IBV_FLOW_ATTR_NORMAL);
+                       assert(flow->ibv_attr->num_of_specs == 1);
+                       assert(eth->type == IBV_FLOW_SPEC_ETH);
+                       assert(flow->rss);
+                       if (rule_vlan &&
+                           (eth->val.vlan_tag != *rule_vlan ||
+                            eth->mask.vlan_tag != RTE_BE16(0x0fff)))
+                               continue;
+                       if (!rule_vlan && eth->mask.vlan_tag)
+                               continue;
+                       for (j = 0; j != sizeof(mac->addr_bytes); ++j)
+                               if (eth->val.dst_mac[j] != mac->addr_bytes[j] ||
+                                   eth->mask.dst_mac[j] != UINT8_C(0xff) ||
+                                   eth->val.src_mac[j] != UINT8_C(0x00) ||
+                                   eth->mask.src_mac[j] != UINT8_C(0x00))
+                                       break;
+                       if (j != sizeof(mac->addr_bytes))
+                               continue;
+                       if (flow->rss->queues != queues ||
+                           memcmp(flow->rss->queue_id, action_rss.queue,
+                                  queues * sizeof(flow->rss->queue_id[0])))
+                               continue;
+                       break;
+               }
+               if (!flow || !flow->internal) {
+                       /* Not found, create a new flow rule. */
+                       memcpy(rule_mac, mac, sizeof(*mac));
+                       flow = mlx4_flow_create(ETH_DEV(priv), &attr, pattern,
+                                               actions, error);
+                       if (!flow) {
+                               err = -rte_errno;
+                               goto error;
+                       }
+               }
+               flow->select = 1;
+               flow->mac = 1;
        }
-       assert(!priv->drop);
+       if (rule_vlan) {
+               vlan = mlx4_flow_internal_next_vlan(priv, vlan + 1);
+               if (vlan < 4096)
+                       goto next_vlan;
+       }
+       /* Take care of promiscuous and all multicast flow rules. */
+       if (ETH_DEV(priv)->data->promiscuous ||
+           ETH_DEV(priv)->data->all_multicast) {
+               for (flow = LIST_FIRST(&priv->flows);
+                    flow && flow->internal;
+                    flow = LIST_NEXT(flow, next)) {
+                       if (ETH_DEV(priv)->data->promiscuous) {
+                               if (flow->promisc)
+                                       break;
+                       } else {
+                               assert(ETH_DEV(priv)->data->all_multicast);
+                               if (flow->allmulti)
+                                       break;
+                       }
+               }
+               if (flow && flow->internal) {
+                       assert(flow->rss);
+                       if (flow->rss->queues != queues ||
+                           memcmp(flow->rss->queue_id, action_rss.queue,
+                                  queues * sizeof(flow->rss->queue_id[0])))
+                               flow = NULL;
+               }
+               if (!flow || !flow->internal) {
+                       /* Not found, create a new flow rule. */
+                       if (ETH_DEV(priv)->data->promiscuous) {
+                               pattern[1].spec = NULL;
+                               pattern[1].mask = NULL;
+                       } else {
+                               assert(ETH_DEV(priv)->data->all_multicast);
+                               pattern[1].spec = &eth_allmulti;
+                               pattern[1].mask = &eth_allmulti;
+                       }
+                       pattern[2] = pattern[3];
+                       flow = mlx4_flow_create(ETH_DEV(priv), &attr, pattern,
+                                               actions, error);
+                       if (!flow) {
+                               err = -rte_errno;
+                               goto error;
+                       }
+               }
+               assert(flow->promisc || flow->allmulti);
+               flow->select = 1;
+       }
+error:
+       /* Clear selection and clean up stale internal flow rules. */
+       flow = LIST_FIRST(&priv->flows);
+       while (flow && flow->internal) {
+               struct rte_flow *next = LIST_NEXT(flow, next);
+
+               if (!flow->select)
+                       claim_zero(mlx4_flow_destroy(ETH_DEV(priv), flow,
+                                                    error));
+               else
+                       flow->select = 0;
+               flow = next;
+       }
+       return err;
 }
 
 /**
- * Enable flow rules.
+ * Synchronize flow rules.
+ *
+ * This function synchronizes flow rules with the state of the device by
+ * taking into account isolated mode and whether target queues are
+ * configured.
  *
  * @param priv
  *   Pointer to private structure.
+ * @param[out] error
+ *   Perform verbose error reporting if not NULL.
  *
  * @return
  *   0 on success, a negative errno value otherwise and rte_errno is set.
  */
 int
-mlx4_flow_start(struct priv *priv)
+mlx4_flow_sync(struct mlx4_priv *priv, struct rte_flow_error *error)
 {
-       int ret;
        struct rte_flow *flow;
+       int ret;
 
-       for (flow = LIST_FIRST(&priv->flows);
-            flow;
-            flow = LIST_NEXT(flow, next)) {
-               ret = mlx4_flow_toggle(priv, flow, 1, NULL);
-               if (unlikely(ret)) {
-                       mlx4_flow_stop(priv);
+       /* Internal flow rules are guaranteed to come first in the list. */
+       if (priv->isolated) {
+               /*
+                * Get rid of them in isolated mode, stop at the first
+                * non-internal rule found.
+                */
+               for (flow = LIST_FIRST(&priv->flows);
+                    flow && flow->internal;
+                    flow = LIST_FIRST(&priv->flows))
+                       claim_zero(mlx4_flow_destroy(ETH_DEV(priv), flow,
+                                                    error));
+       } else {
+               /* Refresh internal rules. */
+               ret = mlx4_flow_internal(priv, error);
+               if (ret)
                        return ret;
-               }
        }
+       /* Toggle the remaining flow rules . */
+       LIST_FOREACH(flow, &priv->flows, next) {
+               ret = mlx4_flow_toggle(priv, flow, priv->started, error);
+               if (ret)
+                       return ret;
+       }
+       if (!priv->started)
+               assert(!priv->drop);
        return 0;
 }
 
+/**
+ * Clean up all flow rules.
+ *
+ * Unlike mlx4_flow_flush(), this function takes care of all remaining flow
+ * rules regardless of whether they are internal or user-configured.
+ *
+ * @param priv
+ *   Pointer to private structure.
+ */
+void
+mlx4_flow_clean(struct mlx4_priv *priv)
+{
+       struct rte_flow *flow;
+
+       while ((flow = LIST_FIRST(&priv->flows)))
+               mlx4_flow_destroy(ETH_DEV(priv), flow, NULL);
+       assert(LIST_EMPTY(&priv->rss));
+}
+
 static const struct rte_flow_ops mlx4_flow_ops = {
        .validate = mlx4_flow_validate,
        .create = mlx4_flow_create,