2 * Copyright (c) 2011-2017 Nicira, Inc.
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at:
8 * http://www.apache.org/licenses/LICENSE-2.0
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
19 #include "openvswitch/meta-flow.h"
23 #include <netinet/icmp6.h>
24 #include <netinet/ip6.h>
26 #include "classifier.h"
27 #include "openvswitch/dynamic-string.h"
29 #include "openvswitch/ofp-util.h"
31 #include "ovs-thread.h"
34 #include "openvswitch/shash.h"
35 #include "socket-util.h"
36 #include "tun-metadata.h"
37 #include "unaligned.h"
39 #include "openvswitch/ofp-errors.h"
40 #include "openvswitch/vlog.h"
41 #include "vl-mff-map.h"
43 VLOG_DEFINE_THIS_MODULE(meta_flow
);
45 #define FLOW_U32OFS(FIELD) \
46 offsetof(struct flow, FIELD) % 4 ? -1 : offsetof(struct flow, FIELD) / 4
48 #define MF_FIELD_SIZES(MEMBER) \
49 sizeof ((union mf_value *)0)->MEMBER, \
50 8 * sizeof ((union mf_value *)0)->MEMBER
52 extern const struct mf_field mf_fields
[MFF_N_IDS
]; /* Silence a warning. */
54 const struct mf_field mf_fields
[MFF_N_IDS
] = {
55 #include "meta-flow.inc"
58 /* Maps from an mf_field's 'name' or 'extra_name' to the mf_field. */
59 static struct shash mf_by_name
;
61 /* Rate limit for parse errors. These always indicate a bug in an OpenFlow
62 * controller and so there's not much point in showing a lot of them. */
63 static struct vlog_rate_limit rl
= VLOG_RATE_LIMIT_INIT(1, 5);
65 #define MF_VALUE_EXACT_8 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff
66 #define MF_VALUE_EXACT_16 MF_VALUE_EXACT_8, MF_VALUE_EXACT_8
67 #define MF_VALUE_EXACT_32 MF_VALUE_EXACT_16, MF_VALUE_EXACT_16
68 #define MF_VALUE_EXACT_64 MF_VALUE_EXACT_32, MF_VALUE_EXACT_32
69 #define MF_VALUE_EXACT_128 MF_VALUE_EXACT_64, MF_VALUE_EXACT_64
70 #define MF_VALUE_EXACT_INITIALIZER { .tun_metadata = { MF_VALUE_EXACT_128 } }
72 const union mf_value exact_match_mask
= MF_VALUE_EXACT_INITIALIZER
;
74 static void nxm_init(void);
76 /* Returns the field with the given 'name', or a null pointer if no field has
78 const struct mf_field
*
79 mf_from_name(const char *name
)
82 return shash_find_data(&mf_by_name
, name
);
85 /* Returns the field with the given 'name' (which is 'len' bytes long), or a
86 * null pointer if no field has that name. */
87 const struct mf_field
*
88 mf_from_name_len(const char *name
, size_t len
)
92 struct shash_node
*node
= shash_find_len(&mf_by_name
, name
, len
);
93 return node
? node
->data
: NULL
;
101 shash_init(&mf_by_name
);
102 for (i
= 0; i
< MFF_N_IDS
; i
++) {
103 const struct mf_field
*mf
= &mf_fields
[i
];
105 ovs_assert(mf
->id
== i
); /* Fields must be in the enum order. */
107 shash_add_once(&mf_by_name
, mf
->name
, mf
);
108 if (mf
->extra_name
) {
109 shash_add_once(&mf_by_name
, mf
->extra_name
, mf
);
117 static pthread_once_t once
= PTHREAD_ONCE_INIT
;
118 pthread_once(&once
, nxm_do_init
);
121 /* Consider the two value/mask pairs 'a_value/a_mask' and 'b_value/b_mask' as
122 * restrictions on a field's value. Then, this function initializes
123 * 'dst_value/dst_mask' such that it combines the restrictions of both pairs.
124 * This is not always possible, i.e. if one pair insists on a value of 0 in
125 * some bit and the other pair insists on a value of 1 in that bit. This
126 * function returns false in a case where the combined restriction is
127 * impossible (in which case 'dst_value/dst_mask' is not fully initialized),
130 * (As usually true for value/mask pairs in OVS, any 1-bit in a value must have
131 * a corresponding 1-bit in its mask.) */
133 mf_subvalue_intersect(const union mf_subvalue
*a_value
,
134 const union mf_subvalue
*a_mask
,
135 const union mf_subvalue
*b_value
,
136 const union mf_subvalue
*b_mask
,
137 union mf_subvalue
*dst_value
,
138 union mf_subvalue
*dst_mask
)
140 for (int i
= 0; i
< ARRAY_SIZE(a_value
->be64
); i
++) {
141 ovs_be64 av
= a_value
->be64
[i
];
142 ovs_be64 am
= a_mask
->be64
[i
];
143 ovs_be64 bv
= b_value
->be64
[i
];
144 ovs_be64 bm
= b_mask
->be64
[i
];
145 ovs_be64
*dv
= &dst_value
->be64
[i
];
146 ovs_be64
*dm
= &dst_mask
->be64
[i
];
148 if ((av
^ bv
) & (am
& bm
)) {
157 /* Returns the "number of bits" in 'v', e.g. 1 if only the lowest-order bit is
158 * set, 2 if the second-lowest-order bit is set, and so on. */
160 mf_subvalue_width(const union mf_subvalue
*v
)
162 return 1 + bitwise_rscan(v
, sizeof *v
, true, sizeof *v
* 8 - 1, -1);
165 /* For positive 'n', shifts the bits in 'value' 'n' bits to the left, and for
166 * negative 'n', shifts the bits '-n' bits to the right. */
168 mf_subvalue_shift(union mf_subvalue
*value
, int n
)
171 union mf_subvalue tmp
;
172 memset(&tmp
, 0, sizeof tmp
);
174 if (n
> 0 && n
< 8 * sizeof tmp
) {
175 bitwise_copy(value
, sizeof *value
, 0,
178 } else if (n
< 0 && n
> -8 * sizeof tmp
) {
179 bitwise_copy(value
, sizeof *value
, -n
,
187 /* Appends a formatted representation of 'sv' to 's'. */
189 mf_subvalue_format(const union mf_subvalue
*sv
, struct ds
*s
)
191 ds_put_hex(s
, sv
, sizeof *sv
);
194 /* Returns true if 'wc' wildcards all the bits in field 'mf', false if 'wc'
195 * specifies at least one bit in the field.
197 * The caller is responsible for ensuring that 'wc' corresponds to a flow that
198 * meets 'mf''s prerequisites. */
200 mf_is_all_wild(const struct mf_field
*mf
, const struct flow_wildcards
*wc
)
204 return !wc
->masks
.dp_hash
;
206 return !wc
->masks
.recirc_id
;
208 return !wc
->masks
.conj_id
;
210 return !wc
->masks
.tunnel
.ip_src
;
212 return !wc
->masks
.tunnel
.ip_dst
;
213 case MFF_TUN_IPV6_SRC
:
214 return ipv6_mask_is_any(&wc
->masks
.tunnel
.ipv6_src
);
215 case MFF_TUN_IPV6_DST
:
216 return ipv6_mask_is_any(&wc
->masks
.tunnel
.ipv6_dst
);
218 return !wc
->masks
.tunnel
.tun_id
;
220 return !wc
->masks
.tunnel
.ip_tos
;
222 return !wc
->masks
.tunnel
.ip_ttl
;
224 return !(wc
->masks
.tunnel
.flags
& FLOW_TNL_PUB_F_MASK
);
226 return !wc
->masks
.tunnel
.gbp_id
;
227 case MFF_TUN_GBP_FLAGS
:
228 return !wc
->masks
.tunnel
.gbp_flags
;
229 CASE_MFF_TUN_METADATA
:
230 return !ULLONG_GET(wc
->masks
.tunnel
.metadata
.present
.map
,
231 mf
->id
- MFF_TUN_METADATA0
);
233 return !wc
->masks
.metadata
;
235 case MFF_IN_PORT_OXM
:
236 return !wc
->masks
.in_port
.ofp_port
;
237 case MFF_SKB_PRIORITY
:
238 return !wc
->masks
.skb_priority
;
240 return !wc
->masks
.pkt_mark
;
242 return !wc
->masks
.ct_state
;
244 return !wc
->masks
.ct_zone
;
246 return !wc
->masks
.ct_mark
;
248 return ovs_u128_is_zero(wc
->masks
.ct_label
);
249 case MFF_CT_NW_PROTO
:
250 return !wc
->masks
.ct_nw_proto
;
252 return !wc
->masks
.ct_nw_src
;
254 return !wc
->masks
.ct_nw_dst
;
256 return !wc
->masks
.ct_tp_src
;
258 return !wc
->masks
.ct_tp_dst
;
259 case MFF_CT_IPV6_SRC
:
260 return ipv6_mask_is_any(&wc
->masks
.ct_ipv6_src
);
261 case MFF_CT_IPV6_DST
:
262 return ipv6_mask_is_any(&wc
->masks
.ct_ipv6_dst
);
264 return !wc
->masks
.regs
[mf
->id
- MFF_REG0
];
266 return !flow_get_xreg(&wc
->masks
, mf
->id
- MFF_XREG0
);
268 ovs_u128 value
= flow_get_xxreg(&wc
->masks
, mf
->id
- MFF_XXREG0
);
269 return ovs_u128_is_zero(value
);
271 case MFF_ACTSET_OUTPUT
:
272 return !wc
->masks
.actset_output
;
275 return eth_addr_is_zero(wc
->masks
.dl_src
);
277 return eth_addr_is_zero(wc
->masks
.dl_dst
);
279 return !wc
->masks
.dl_type
;
283 return eth_addr_is_zero(wc
->masks
.arp_sha
);
287 return eth_addr_is_zero(wc
->masks
.arp_tha
);
290 return !wc
->masks
.vlan_tci
;
292 return !(wc
->masks
.vlan_tci
& htons(VLAN_VID_MASK
));
294 return !(wc
->masks
.vlan_tci
& htons(VLAN_VID_MASK
| VLAN_CFI
));
295 case MFF_DL_VLAN_PCP
:
297 return !(wc
->masks
.vlan_tci
& htons(VLAN_PCP_MASK
));
300 return !(wc
->masks
.mpls_lse
[0] & htonl(MPLS_LABEL_MASK
));
302 return !(wc
->masks
.mpls_lse
[0] & htonl(MPLS_TC_MASK
));
304 return !(wc
->masks
.mpls_lse
[0] & htonl(MPLS_BOS_MASK
));
306 return !(wc
->masks
.mpls_lse
[0] & htonl(MPLS_TTL_MASK
));
309 return !wc
->masks
.nw_src
;
311 return !wc
->masks
.nw_dst
;
314 return ipv6_mask_is_any(&wc
->masks
.ipv6_src
);
316 return ipv6_mask_is_any(&wc
->masks
.ipv6_dst
);
319 return !wc
->masks
.ipv6_label
;
322 return !wc
->masks
.nw_proto
;
324 case MFF_IP_DSCP_SHIFTED
:
325 return !(wc
->masks
.nw_tos
& IP_DSCP_MASK
);
327 return !(wc
->masks
.nw_tos
& IP_ECN_MASK
);
329 return !wc
->masks
.nw_ttl
;
332 return ipv6_mask_is_any(&wc
->masks
.nd_target
);
335 return !(wc
->masks
.nw_frag
& FLOW_NW_FRAG_MASK
);
338 return !wc
->masks
.nw_proto
;
340 return !wc
->masks
.nw_src
;
342 return !wc
->masks
.nw_dst
;
347 case MFF_ICMPV4_TYPE
:
348 case MFF_ICMPV6_TYPE
:
349 return !wc
->masks
.tp_src
;
353 case MFF_ICMPV4_CODE
:
354 case MFF_ICMPV6_CODE
:
355 return !wc
->masks
.tp_dst
;
357 return !wc
->masks
.tcp_flags
;
365 /* Initializes 'mask' with the wildcard bit pattern for field 'mf' within 'wc'.
366 * Each bit in 'mask' will be set to 1 if the bit is significant for matching
367 * purposes, or to 0 if it is wildcarded.
369 * The caller is responsible for ensuring that 'wc' corresponds to a flow that
370 * meets 'mf''s prerequisites. */
372 mf_get_mask(const struct mf_field
*mf
, const struct flow_wildcards
*wc
,
373 union mf_value
*mask
)
375 mf_get_value(mf
, &wc
->masks
, mask
);
378 /* Tests whether 'mask' is a valid wildcard bit pattern for 'mf'. Returns true
379 * if the mask is valid, false otherwise. */
381 mf_is_mask_valid(const struct mf_field
*mf
, const union mf_value
*mask
)
383 switch (mf
->maskable
) {
385 return (is_all_zeros(mask
, mf
->n_bytes
) ||
386 is_all_ones(mask
, mf
->n_bytes
));
395 /* Returns true if 'flow' meets the prerequisites for 'mf', false otherwise.
396 * If a non-NULL 'mask' is passed, zero-valued matches can also be verified.
397 * Sets inspected bits in 'wc', if non-NULL. */
399 mf_are_prereqs_ok__(const struct mf_field
*mf
, const struct flow
*flow
,
400 const struct flow_wildcards
*mask
,
401 struct flow_wildcards
*wc
)
403 switch (mf
->prereqs
) {
407 return (flow
->dl_type
== htons(ETH_TYPE_ARP
) ||
408 flow
->dl_type
== htons(ETH_TYPE_RARP
));
410 return flow
->dl_type
== htons(ETH_TYPE_IP
);
412 return flow
->dl_type
== htons(ETH_TYPE_IPV6
);
414 return is_vlan(flow
, wc
);
416 return eth_type_mpls(flow
->dl_type
);
418 return is_ip_any(flow
);
420 return is_ct_valid(flow
, mask
, wc
);
422 return flow
->dl_type
== htons(ETH_TYPE_IP
)
423 && is_ct_valid(flow
, mask
, wc
);
425 return flow
->dl_type
== htons(ETH_TYPE_IPV6
)
426 && is_ct_valid(flow
, mask
, wc
);
428 /* Matching !FRAG_LATER is not enforced (mask is not checked). */
429 return is_tcp(flow
, wc
) && !(flow
->nw_frag
& FLOW_NW_FRAG_LATER
);
431 return is_udp(flow
, wc
) && !(flow
->nw_frag
& FLOW_NW_FRAG_LATER
);
433 return is_sctp(flow
, wc
) && !(flow
->nw_frag
& FLOW_NW_FRAG_LATER
);
435 return is_icmpv4(flow
, wc
);
437 return is_icmpv6(flow
, wc
);
439 return is_nd(flow
, wc
);
441 return is_nd(flow
, wc
) && flow
->tp_src
== htons(ND_NEIGHBOR_SOLICIT
);
443 return is_nd(flow
, wc
) && flow
->tp_src
== htons(ND_NEIGHBOR_ADVERT
);
449 /* Returns true if 'flow' meets the prerequisites for 'mf', false otherwise.
450 * Sets inspected bits in 'wc', if non-NULL. */
452 mf_are_prereqs_ok(const struct mf_field
*mf
, const struct flow
*flow
,
453 struct flow_wildcards
*wc
)
455 return mf_are_prereqs_ok__(mf
, flow
, NULL
, wc
);
458 /* Returns true if 'match' meets the prerequisites for 'mf', false otherwise.
461 mf_are_match_prereqs_ok(const struct mf_field
*mf
, const struct match
*match
)
463 return mf_are_prereqs_ok__(mf
, &match
->flow
, &match
->wc
, NULL
);
466 /* Returns true if 'value' may be a valid value *as part of a masked match*,
469 * A value is not rejected just because it is not valid for the field in
470 * question, but only if it doesn't make sense to test the bits in question at
471 * all. For example, the MFF_VLAN_TCI field will never have a nonzero value
472 * without the VLAN_CFI bit being set, but we can't reject those values because
473 * it is still legitimate to test just for those bits (see the documentation
474 * for NXM_OF_VLAN_TCI in meta-flow.h). On the other hand, there is never a
475 * reason to set the low bit of MFF_IP_DSCP to 1, so we reject that. */
477 mf_is_value_valid(const struct mf_field
*mf
, const union mf_value
*value
)
486 case MFF_TUN_IPV6_SRC
:
487 case MFF_TUN_IPV6_DST
:
491 case MFF_TUN_GBP_FLAGS
:
492 CASE_MFF_TUN_METADATA
:
495 case MFF_SKB_PRIORITY
:
500 case MFF_CT_NW_PROTO
:
503 case MFF_CT_IPV6_SRC
:
504 case MFF_CT_IPV6_DST
:
531 case MFF_ICMPV4_TYPE
:
532 case MFF_ICMPV4_CODE
:
533 case MFF_ICMPV6_TYPE
:
534 case MFF_ICMPV6_CODE
:
540 case MFF_IN_PORT_OXM
:
541 case MFF_ACTSET_OUTPUT
: {
543 return !ofputil_port_from_ofp11(value
->be32
, &port
);
547 return !(value
->u8
& ~IP_DSCP_MASK
);
548 case MFF_IP_DSCP_SHIFTED
:
549 return !(value
->u8
& (~IP_DSCP_MASK
>> 2));
551 return !(value
->u8
& ~IP_ECN_MASK
);
553 return !(value
->u8
& ~FLOW_NW_FRAG_MASK
);
555 return !(value
->be16
& ~htons(0x0fff));
558 return !(value
->be16
& htons(0xff00));
561 return !(value
->be16
& htons(VLAN_CFI
| VLAN_PCP_MASK
));
563 return !(value
->be16
& htons(VLAN_PCP_MASK
));
565 case MFF_DL_VLAN_PCP
:
567 return !(value
->u8
& ~(VLAN_PCP_MASK
>> VLAN_PCP_SHIFT
));
570 return !(value
->be32
& ~htonl(IPV6_LABEL_MASK
));
573 return !(value
->be32
& ~htonl(MPLS_LABEL_MASK
>> MPLS_LABEL_SHIFT
));
576 return !(value
->u8
& ~(MPLS_TC_MASK
>> MPLS_TC_SHIFT
));
579 return !(value
->u8
& ~(MPLS_BOS_MASK
>> MPLS_BOS_SHIFT
));
582 return !(value
->be16
& ~htons(FLOW_TNL_PUB_F_MASK
));
585 return !(value
->be32
& ~htonl(CS_SUPPORTED_MASK
));
593 /* Copies the value of field 'mf' from 'flow' into 'value'. The caller is
594 * responsible for ensuring that 'flow' meets 'mf''s prerequisites. */
596 mf_get_value(const struct mf_field
*mf
, const struct flow
*flow
,
597 union mf_value
*value
)
601 value
->be32
= htonl(flow
->dp_hash
);
604 value
->be32
= htonl(flow
->recirc_id
);
607 value
->be32
= htonl(flow
->conj_id
);
610 value
->be64
= flow
->tunnel
.tun_id
;
613 value
->be32
= flow
->tunnel
.ip_src
;
616 value
->be32
= flow
->tunnel
.ip_dst
;
618 case MFF_TUN_IPV6_SRC
:
619 value
->ipv6
= flow
->tunnel
.ipv6_src
;
621 case MFF_TUN_IPV6_DST
:
622 value
->ipv6
= flow
->tunnel
.ipv6_dst
;
625 value
->be16
= htons(flow
->tunnel
.flags
& FLOW_TNL_PUB_F_MASK
);
628 value
->be16
= flow
->tunnel
.gbp_id
;
630 case MFF_TUN_GBP_FLAGS
:
631 value
->u8
= flow
->tunnel
.gbp_flags
;
634 value
->u8
= flow
->tunnel
.ip_ttl
;
637 value
->u8
= flow
->tunnel
.ip_tos
;
639 CASE_MFF_TUN_METADATA
:
640 tun_metadata_read(&flow
->tunnel
, mf
, value
);
644 value
->be64
= flow
->metadata
;
648 value
->be16
= htons(ofp_to_u16(flow
->in_port
.ofp_port
));
650 case MFF_IN_PORT_OXM
:
651 value
->be32
= ofputil_port_to_ofp11(flow
->in_port
.ofp_port
);
653 case MFF_ACTSET_OUTPUT
:
654 value
->be32
= ofputil_port_to_ofp11(flow
->actset_output
);
657 case MFF_SKB_PRIORITY
:
658 value
->be32
= htonl(flow
->skb_priority
);
662 value
->be32
= htonl(flow
->pkt_mark
);
666 value
->be32
= htonl(flow
->ct_state
);
670 value
->be16
= htons(flow
->ct_zone
);
674 value
->be32
= htonl(flow
->ct_mark
);
678 value
->be128
= hton128(flow
->ct_label
);
681 case MFF_CT_NW_PROTO
:
682 value
->u8
= flow
->ct_nw_proto
;
686 value
->be32
= flow
->ct_nw_src
;
690 value
->be32
= flow
->ct_nw_dst
;
693 case MFF_CT_IPV6_SRC
:
694 value
->ipv6
= flow
->ct_ipv6_src
;
697 case MFF_CT_IPV6_DST
:
698 value
->ipv6
= flow
->ct_ipv6_dst
;
702 value
->be16
= flow
->ct_tp_src
;
706 value
->be16
= flow
->ct_tp_dst
;
710 value
->be32
= htonl(flow
->regs
[mf
->id
- MFF_REG0
]);
714 value
->be64
= htonll(flow_get_xreg(flow
, mf
->id
- MFF_XREG0
));
718 value
->be128
= hton128(flow_get_xxreg(flow
, mf
->id
- MFF_XXREG0
));
722 value
->mac
= flow
->dl_src
;
726 value
->mac
= flow
->dl_dst
;
730 value
->be16
= flow
->dl_type
;
734 value
->be16
= flow
->vlan_tci
;
738 value
->be16
= flow
->vlan_tci
& htons(VLAN_VID_MASK
);
741 value
->be16
= flow
->vlan_tci
& htons(VLAN_VID_MASK
| VLAN_CFI
);
744 case MFF_DL_VLAN_PCP
:
746 value
->u8
= vlan_tci_to_pcp(flow
->vlan_tci
);
750 value
->be32
= htonl(mpls_lse_to_label(flow
->mpls_lse
[0]));
754 value
->u8
= mpls_lse_to_tc(flow
->mpls_lse
[0]);
758 value
->u8
= mpls_lse_to_bos(flow
->mpls_lse
[0]);
762 value
->u8
= mpls_lse_to_ttl(flow
->mpls_lse
[0]);
766 value
->be32
= flow
->nw_src
;
770 value
->be32
= flow
->nw_dst
;
774 value
->ipv6
= flow
->ipv6_src
;
778 value
->ipv6
= flow
->ipv6_dst
;
782 value
->be32
= flow
->ipv6_label
;
786 value
->u8
= flow
->nw_proto
;
790 value
->u8
= flow
->nw_tos
& IP_DSCP_MASK
;
793 case MFF_IP_DSCP_SHIFTED
:
794 value
->u8
= flow
->nw_tos
>> 2;
798 value
->u8
= flow
->nw_tos
& IP_ECN_MASK
;
802 value
->u8
= flow
->nw_ttl
;
806 value
->u8
= flow
->nw_frag
;
810 value
->be16
= htons(flow
->nw_proto
);
814 value
->be32
= flow
->nw_src
;
818 value
->be32
= flow
->nw_dst
;
823 value
->mac
= flow
->arp_sha
;
828 value
->mac
= flow
->arp_tha
;
834 value
->be16
= flow
->tp_src
;
840 value
->be16
= flow
->tp_dst
;
844 value
->be16
= flow
->tcp_flags
;
847 case MFF_ICMPV4_TYPE
:
848 case MFF_ICMPV6_TYPE
:
849 value
->u8
= ntohs(flow
->tp_src
);
852 case MFF_ICMPV4_CODE
:
853 case MFF_ICMPV6_CODE
:
854 value
->u8
= ntohs(flow
->tp_dst
);
858 value
->ipv6
= flow
->nd_target
;
867 /* Makes 'match' match field 'mf' exactly, with the value matched taken from
868 * 'value'. The caller is responsible for ensuring that 'match' meets 'mf''s
871 * If non-NULL, 'err_str' returns a malloc'ed string describing any errors
872 * with the request or NULL if there is no error. The caller is reponsible
873 * for freeing the string. */
875 mf_set_value(const struct mf_field
*mf
,
876 const union mf_value
*value
, struct match
*match
, char **err_str
)
884 match_set_dp_hash(match
, ntohl(value
->be32
));
887 match_set_recirc_id(match
, ntohl(value
->be32
));
890 match_set_conj_id(match
, ntohl(value
->be32
));
893 match_set_tun_id(match
, value
->be64
);
896 match_set_tun_src(match
, value
->be32
);
899 match_set_tun_dst(match
, value
->be32
);
901 case MFF_TUN_IPV6_SRC
:
902 match_set_tun_ipv6_src(match
, &value
->ipv6
);
904 case MFF_TUN_IPV6_DST
:
905 match_set_tun_ipv6_dst(match
, &value
->ipv6
);
908 match_set_tun_flags(match
, ntohs(value
->be16
));
911 match_set_tun_gbp_id(match
, value
->be16
);
913 case MFF_TUN_GBP_FLAGS
:
914 match_set_tun_gbp_flags(match
, value
->u8
);
917 match_set_tun_tos(match
, value
->u8
);
920 match_set_tun_ttl(match
, value
->u8
);
922 CASE_MFF_TUN_METADATA
:
923 tun_metadata_set_match(mf
, value
, NULL
, match
, err_str
);
927 match_set_metadata(match
, value
->be64
);
931 match_set_in_port(match
, u16_to_ofp(ntohs(value
->be16
)));
934 case MFF_IN_PORT_OXM
: {
936 ofputil_port_from_ofp11(value
->be32
, &port
);
937 match_set_in_port(match
, port
);
940 case MFF_ACTSET_OUTPUT
: {
942 ofputil_port_from_ofp11(value
->be32
, &port
);
943 match_set_actset_output(match
, port
);
947 case MFF_SKB_PRIORITY
:
948 match_set_skb_priority(match
, ntohl(value
->be32
));
952 match_set_pkt_mark(match
, ntohl(value
->be32
));
956 match_set_ct_state(match
, ntohl(value
->be32
));
960 match_set_ct_zone(match
, ntohs(value
->be16
));
964 match_set_ct_mark(match
, ntohl(value
->be32
));
968 match_set_ct_label(match
, ntoh128(value
->be128
));
971 case MFF_CT_NW_PROTO
:
972 match_set_ct_nw_proto(match
, value
->u8
);
976 match_set_ct_nw_src(match
, value
->be32
);
980 match_set_ct_nw_dst(match
, value
->be32
);
983 case MFF_CT_IPV6_SRC
:
984 match_set_ct_ipv6_src(match
, &value
->ipv6
);
987 case MFF_CT_IPV6_DST
:
988 match_set_ct_ipv6_dst(match
, &value
->ipv6
);
992 match_set_ct_tp_src(match
, value
->be16
);
996 match_set_ct_tp_dst(match
, value
->be16
);
1000 match_set_reg(match
, mf
->id
- MFF_REG0
, ntohl(value
->be32
));
1004 match_set_xreg(match
, mf
->id
- MFF_XREG0
, ntohll(value
->be64
));
1008 match_set_xxreg(match
, mf
->id
- MFF_XXREG0
, ntoh128(value
->be128
));
1012 match_set_dl_src(match
, value
->mac
);
1016 match_set_dl_dst(match
, value
->mac
);
1020 match_set_dl_type(match
, value
->be16
);
1024 match_set_dl_tci(match
, value
->be16
);
1028 match_set_dl_vlan(match
, value
->be16
);
1031 match_set_vlan_vid(match
, value
->be16
);
1034 case MFF_DL_VLAN_PCP
:
1036 match_set_dl_vlan_pcp(match
, value
->u8
);
1039 case MFF_MPLS_LABEL
:
1040 match_set_mpls_label(match
, 0, value
->be32
);
1044 match_set_mpls_tc(match
, 0, value
->u8
);
1048 match_set_mpls_bos(match
, 0, value
->u8
);
1052 match_set_mpls_ttl(match
, 0, value
->u8
);
1056 match_set_nw_src(match
, value
->be32
);
1060 match_set_nw_dst(match
, value
->be32
);
1064 match_set_ipv6_src(match
, &value
->ipv6
);
1068 match_set_ipv6_dst(match
, &value
->ipv6
);
1071 case MFF_IPV6_LABEL
:
1072 match_set_ipv6_label(match
, value
->be32
);
1076 match_set_nw_proto(match
, value
->u8
);
1080 match_set_nw_dscp(match
, value
->u8
);
1083 case MFF_IP_DSCP_SHIFTED
:
1084 match_set_nw_dscp(match
, value
->u8
<< 2);
1088 match_set_nw_ecn(match
, value
->u8
);
1092 match_set_nw_ttl(match
, value
->u8
);
1096 match_set_nw_frag(match
, value
->u8
);
1100 match_set_nw_proto(match
, ntohs(value
->be16
));
1104 match_set_nw_src(match
, value
->be32
);
1108 match_set_nw_dst(match
, value
->be32
);
1113 match_set_arp_sha(match
, value
->mac
);
1118 match_set_arp_tha(match
, value
->mac
);
1124 match_set_tp_src(match
, value
->be16
);
1130 match_set_tp_dst(match
, value
->be16
);
1134 match_set_tcp_flags(match
, value
->be16
);
1137 case MFF_ICMPV4_TYPE
:
1138 case MFF_ICMPV6_TYPE
:
1139 match_set_icmp_type(match
, value
->u8
);
1142 case MFF_ICMPV4_CODE
:
1143 case MFF_ICMPV6_CODE
:
1144 match_set_icmp_code(match
, value
->u8
);
1148 match_set_nd_target(match
, &value
->ipv6
);
1157 /* Unwildcard the bits in 'mask' of the 'wc' member field described by 'mf'.
1158 * The caller is responsible for ensuring that 'wc' meets 'mf''s
1161 mf_mask_field_masked(const struct mf_field
*mf
, const union mf_value
*mask
,
1162 struct flow_wildcards
*wc
)
1164 union mf_value temp_mask
;
1165 /* For MFF_DL_VLAN, we cannot send a all 1's to flow_set_dl_vlan() as that
1166 * will be considered as OFP10_VLAN_NONE. So make sure the mask only has
1167 * valid bits in this case. */
1168 if (mf
->id
== MFF_DL_VLAN
) {
1169 temp_mask
.be16
= htons(VLAN_VID_MASK
) & mask
->be16
;
1173 union mf_value mask_value
;
1175 mf_get_value(mf
, &wc
->masks
, &mask_value
);
1176 for (size_t i
= 0; i
< mf
->n_bytes
; i
++) {
1177 mask_value
.b
[i
] |= mask
->b
[i
];
1179 mf_set_flow_value(mf
, &mask_value
, &wc
->masks
);
1182 /* Unwildcard 'wc' member field described by 'mf'. The caller is
1183 * responsible for ensuring that 'mask' meets 'mf''s prerequisites. */
1185 mf_mask_field(const struct mf_field
*mf
, struct flow_wildcards
*wc
)
1187 mf_mask_field_masked(mf
, &exact_match_mask
, wc
);
1191 field_len(const struct mf_field
*mf
, const union mf_value
*value_
)
1193 const uint8_t *value
= &value_
->u8
;
1196 if (!mf
->variable_len
) {
1204 for (i
= 0; i
< mf
->n_bytes
; i
++) {
1205 if (value
[i
] != 0) {
1210 return mf
->n_bytes
- i
;
1213 /* Returns the effective length of the field. For fixed length fields,
1214 * this is just the defined length. For variable length fields, it is
1215 * the minimum size encoding that retains the same meaning (i.e.
1216 * discarding leading zeros).
1218 * 'is_masked' returns (if non-NULL) whether the original contained
1219 * a mask. Otherwise, a mask that is the same length as the value
1220 * might be misinterpreted as an exact match. */
1222 mf_field_len(const struct mf_field
*mf
, const union mf_value
*value
,
1223 const union mf_value
*mask
, bool *is_masked_
)
1226 bool is_masked
= mask
&& !is_all_ones(mask
, mf
->n_bytes
);
1228 len
= field_len(mf
, value
);
1230 mask_len
= field_len(mf
, mask
);
1231 len
= MAX(len
, mask_len
);
1235 *is_masked_
= is_masked
;
1241 /* Sets 'flow' member field described by 'mf' to 'value'. The caller is
1242 * responsible for ensuring that 'flow' meets 'mf''s prerequisites.*/
1244 mf_set_flow_value(const struct mf_field
*mf
,
1245 const union mf_value
*value
, struct flow
*flow
)
1249 flow
->dp_hash
= ntohl(value
->be32
);
1252 flow
->recirc_id
= ntohl(value
->be32
);
1255 flow
->conj_id
= ntohl(value
->be32
);
1258 flow
->tunnel
.tun_id
= value
->be64
;
1261 flow
->tunnel
.ip_src
= value
->be32
;
1264 flow
->tunnel
.ip_dst
= value
->be32
;
1266 case MFF_TUN_IPV6_SRC
:
1267 flow
->tunnel
.ipv6_src
= value
->ipv6
;
1269 case MFF_TUN_IPV6_DST
:
1270 flow
->tunnel
.ipv6_dst
= value
->ipv6
;
1273 flow
->tunnel
.flags
= (flow
->tunnel
.flags
& ~FLOW_TNL_PUB_F_MASK
) |
1276 case MFF_TUN_GBP_ID
:
1277 flow
->tunnel
.gbp_id
= value
->be16
;
1279 case MFF_TUN_GBP_FLAGS
:
1280 flow
->tunnel
.gbp_flags
= value
->u8
;
1283 flow
->tunnel
.ip_tos
= value
->u8
;
1286 flow
->tunnel
.ip_ttl
= value
->u8
;
1288 CASE_MFF_TUN_METADATA
:
1289 tun_metadata_write(&flow
->tunnel
, mf
, value
);
1292 flow
->metadata
= value
->be64
;
1296 flow
->in_port
.ofp_port
= u16_to_ofp(ntohs(value
->be16
));
1299 case MFF_IN_PORT_OXM
:
1300 ofputil_port_from_ofp11(value
->be32
, &flow
->in_port
.ofp_port
);
1302 case MFF_ACTSET_OUTPUT
:
1303 ofputil_port_from_ofp11(value
->be32
, &flow
->actset_output
);
1306 case MFF_SKB_PRIORITY
:
1307 flow
->skb_priority
= ntohl(value
->be32
);
1311 flow
->pkt_mark
= ntohl(value
->be32
);
1315 flow
->ct_state
= ntohl(value
->be32
);
1319 flow
->ct_zone
= ntohs(value
->be16
);
1323 flow
->ct_mark
= ntohl(value
->be32
);
1327 flow
->ct_label
= ntoh128(value
->be128
);
1330 case MFF_CT_NW_PROTO
:
1331 flow
->ct_nw_proto
= value
->u8
;
1335 flow
->ct_nw_src
= value
->be32
;
1339 flow
->ct_nw_dst
= value
->be32
;
1342 case MFF_CT_IPV6_SRC
:
1343 flow
->ct_ipv6_src
= value
->ipv6
;
1346 case MFF_CT_IPV6_DST
:
1347 flow
->ct_ipv6_dst
= value
->ipv6
;
1351 flow
->ct_tp_src
= value
->be16
;
1355 flow
->ct_tp_dst
= value
->be16
;
1359 flow
->regs
[mf
->id
- MFF_REG0
] = ntohl(value
->be32
);
1363 flow_set_xreg(flow
, mf
->id
- MFF_XREG0
, ntohll(value
->be64
));
1367 flow_set_xxreg(flow
, mf
->id
- MFF_XXREG0
, ntoh128(value
->be128
));
1371 flow
->dl_src
= value
->mac
;
1375 flow
->dl_dst
= value
->mac
;
1379 flow
->dl_type
= value
->be16
;
1383 flow
->vlan_tci
= value
->be16
;
1387 flow_set_dl_vlan(flow
, value
->be16
);
1390 flow_set_vlan_vid(flow
, value
->be16
);
1393 case MFF_DL_VLAN_PCP
:
1395 flow_set_vlan_pcp(flow
, value
->u8
);
1398 case MFF_MPLS_LABEL
:
1399 flow_set_mpls_label(flow
, 0, value
->be32
);
1403 flow_set_mpls_tc(flow
, 0, value
->u8
);
1407 flow_set_mpls_bos(flow
, 0, value
->u8
);
1411 flow_set_mpls_ttl(flow
, 0, value
->u8
);
1415 flow
->nw_src
= value
->be32
;
1419 flow
->nw_dst
= value
->be32
;
1423 flow
->ipv6_src
= value
->ipv6
;
1427 flow
->ipv6_dst
= value
->ipv6
;
1430 case MFF_IPV6_LABEL
:
1431 flow
->ipv6_label
= value
->be32
& htonl(IPV6_LABEL_MASK
);
1435 flow
->nw_proto
= value
->u8
;
1439 flow
->nw_tos
&= ~IP_DSCP_MASK
;
1440 flow
->nw_tos
|= value
->u8
& IP_DSCP_MASK
;
1443 case MFF_IP_DSCP_SHIFTED
:
1444 flow
->nw_tos
&= ~IP_DSCP_MASK
;
1445 flow
->nw_tos
|= value
->u8
<< 2;
1449 flow
->nw_tos
&= ~IP_ECN_MASK
;
1450 flow
->nw_tos
|= value
->u8
& IP_ECN_MASK
;
1454 flow
->nw_ttl
= value
->u8
;
1458 flow
->nw_frag
= value
->u8
& FLOW_NW_FRAG_MASK
;
1462 flow
->nw_proto
= ntohs(value
->be16
);
1466 flow
->nw_src
= value
->be32
;
1470 flow
->nw_dst
= value
->be32
;
1475 flow
->arp_sha
= value
->mac
;
1480 flow
->arp_tha
= value
->mac
;
1486 flow
->tp_src
= value
->be16
;
1492 flow
->tp_dst
= value
->be16
;
1496 flow
->tcp_flags
= value
->be16
;
1499 case MFF_ICMPV4_TYPE
:
1500 case MFF_ICMPV6_TYPE
:
1501 flow
->tp_src
= htons(value
->u8
);
1504 case MFF_ICMPV4_CODE
:
1505 case MFF_ICMPV6_CODE
:
1506 flow
->tp_dst
= htons(value
->u8
);
1510 flow
->nd_target
= value
->ipv6
;
1519 /* Consider each of 'src', 'mask', and 'dst' as if they were arrays of 8*n
1520 * bits. Then, for each 0 <= i < 8 * n such that mask[i] == 1, sets dst[i] =
1523 apply_mask(const uint8_t *src
, const uint8_t *mask
, uint8_t *dst
, size_t n
)
1527 for (i
= 0; i
< n
; i
++) {
1528 dst
[i
] = (src
[i
] & mask
[i
]) | (dst
[i
] & ~mask
[i
]);
1532 /* Sets 'flow' member field described by 'field' to 'value', except that bits
1533 * for which 'mask' has a 0-bit keep their existing values. The caller is
1534 * responsible for ensuring that 'flow' meets 'field''s prerequisites.*/
1536 mf_set_flow_value_masked(const struct mf_field
*field
,
1537 const union mf_value
*value
,
1538 const union mf_value
*mask
,
1543 mf_get_value(field
, flow
, &tmp
);
1544 apply_mask((const uint8_t *) value
, (const uint8_t *) mask
,
1545 (uint8_t *) &tmp
, field
->n_bytes
);
1546 mf_set_flow_value(field
, &tmp
, flow
);
1550 mf_is_tun_metadata(const struct mf_field
*mf
)
1552 return mf
->id
>= MFF_TUN_METADATA0
&&
1553 mf
->id
< MFF_TUN_METADATA0
+ TUN_METADATA_NUM_OPTS
;
1556 /* Returns true if 'mf' has previously been set in 'flow', false if
1557 * it contains a non-default value.
1559 * The caller is responsible for ensuring that 'flow' meets 'mf''s
1562 mf_is_set(const struct mf_field
*mf
, const struct flow
*flow
)
1564 if (!mf_is_tun_metadata(mf
)) {
1565 union mf_value value
;
1567 mf_get_value(mf
, flow
, &value
);
1568 return !is_all_zeros(&value
, mf
->n_bytes
);
1570 return ULLONG_GET(flow
->tunnel
.metadata
.present
.map
,
1571 mf
->id
- MFF_TUN_METADATA0
);
1575 /* Makes 'match' wildcard field 'mf'.
1577 * The caller is responsible for ensuring that 'match' meets 'mf''s
1580 * If non-NULL, 'err_str' returns a malloc'ed string describing any errors
1581 * with the request or NULL if there is no error. The caller is reponsible
1582 * for freeing the string. */
1584 mf_set_wild(const struct mf_field
*mf
, struct match
*match
, char **err_str
)
1592 match
->flow
.dp_hash
= 0;
1593 match
->wc
.masks
.dp_hash
= 0;
1596 match
->flow
.recirc_id
= 0;
1597 match
->wc
.masks
.recirc_id
= 0;
1600 match
->flow
.conj_id
= 0;
1601 match
->wc
.masks
.conj_id
= 0;
1604 match_set_tun_id_masked(match
, htonll(0), htonll(0));
1607 match_set_tun_src_masked(match
, htonl(0), htonl(0));
1610 match_set_tun_dst_masked(match
, htonl(0), htonl(0));
1612 case MFF_TUN_IPV6_SRC
:
1613 memset(&match
->wc
.masks
.tunnel
.ipv6_src
, 0,
1614 sizeof match
->wc
.masks
.tunnel
.ipv6_src
);
1615 memset(&match
->flow
.tunnel
.ipv6_src
, 0,
1616 sizeof match
->flow
.tunnel
.ipv6_src
);
1618 case MFF_TUN_IPV6_DST
:
1619 memset(&match
->wc
.masks
.tunnel
.ipv6_dst
, 0,
1620 sizeof match
->wc
.masks
.tunnel
.ipv6_dst
);
1621 memset(&match
->flow
.tunnel
.ipv6_dst
, 0,
1622 sizeof match
->flow
.tunnel
.ipv6_dst
);
1625 match_set_tun_flags_masked(match
, 0, 0);
1627 case MFF_TUN_GBP_ID
:
1628 match_set_tun_gbp_id_masked(match
, 0, 0);
1630 case MFF_TUN_GBP_FLAGS
:
1631 match_set_tun_gbp_flags_masked(match
, 0, 0);
1634 match_set_tun_tos_masked(match
, 0, 0);
1637 match_set_tun_ttl_masked(match
, 0, 0);
1639 CASE_MFF_TUN_METADATA
:
1640 tun_metadata_set_match(mf
, NULL
, NULL
, match
, err_str
);
1644 match_set_metadata_masked(match
, htonll(0), htonll(0));
1648 case MFF_IN_PORT_OXM
:
1649 match
->flow
.in_port
.ofp_port
= 0;
1650 match
->wc
.masks
.in_port
.ofp_port
= 0;
1652 case MFF_ACTSET_OUTPUT
:
1653 match
->flow
.actset_output
= 0;
1654 match
->wc
.masks
.actset_output
= 0;
1657 case MFF_SKB_PRIORITY
:
1658 match
->flow
.skb_priority
= 0;
1659 match
->wc
.masks
.skb_priority
= 0;
1663 match
->flow
.pkt_mark
= 0;
1664 match
->wc
.masks
.pkt_mark
= 0;
1668 match
->flow
.ct_state
= 0;
1669 match
->wc
.masks
.ct_state
= 0;
1673 match
->flow
.ct_zone
= 0;
1674 match
->wc
.masks
.ct_zone
= 0;
1678 match
->flow
.ct_mark
= 0;
1679 match
->wc
.masks
.ct_mark
= 0;
1683 memset(&match
->flow
.ct_label
, 0, sizeof(match
->flow
.ct_label
));
1684 memset(&match
->wc
.masks
.ct_label
, 0, sizeof(match
->wc
.masks
.ct_label
));
1687 case MFF_CT_NW_PROTO
:
1688 match
->flow
.ct_nw_proto
= 0;
1689 match
->wc
.masks
.ct_nw_proto
= 0;
1693 match
->flow
.ct_nw_src
= 0;
1694 match
->wc
.masks
.ct_nw_src
= 0;
1698 match
->flow
.ct_nw_dst
= 0;
1699 match
->wc
.masks
.ct_nw_dst
= 0;
1702 case MFF_CT_IPV6_SRC
:
1703 memset(&match
->flow
.ct_ipv6_src
, 0, sizeof(match
->flow
.ct_ipv6_src
));
1704 WC_UNMASK_FIELD(&match
->wc
, ct_ipv6_src
);
1707 case MFF_CT_IPV6_DST
:
1708 memset(&match
->flow
.ct_ipv6_dst
, 0, sizeof(match
->flow
.ct_ipv6_dst
));
1709 WC_UNMASK_FIELD(&match
->wc
, ct_ipv6_dst
);
1713 match
->flow
.ct_tp_src
= 0;
1714 match
->wc
.masks
.ct_tp_src
= 0;
1718 match
->flow
.ct_tp_dst
= 0;
1719 match
->wc
.masks
.ct_tp_dst
= 0;
1723 match_set_reg_masked(match
, mf
->id
- MFF_REG0
, 0, 0);
1727 match_set_xreg_masked(match
, mf
->id
- MFF_XREG0
, 0, 0);
1731 match_set_xxreg_masked(match
, mf
->id
- MFF_XXREG0
, OVS_U128_ZERO
,
1737 match
->flow
.dl_src
= eth_addr_zero
;
1738 match
->wc
.masks
.dl_src
= eth_addr_zero
;
1742 match
->flow
.dl_dst
= eth_addr_zero
;
1743 match
->wc
.masks
.dl_dst
= eth_addr_zero
;
1747 match
->flow
.dl_type
= htons(0);
1748 match
->wc
.masks
.dl_type
= htons(0);
1752 match_set_dl_tci_masked(match
, htons(0), htons(0));
1757 match_set_any_vid(match
);
1760 case MFF_DL_VLAN_PCP
:
1762 match_set_any_pcp(match
);
1765 case MFF_MPLS_LABEL
:
1766 match_set_any_mpls_label(match
, 0);
1770 match_set_any_mpls_tc(match
, 0);
1774 match_set_any_mpls_bos(match
, 0);
1778 match_set_any_mpls_ttl(match
, 0);
1783 match_set_nw_src_masked(match
, htonl(0), htonl(0));
1788 match_set_nw_dst_masked(match
, htonl(0), htonl(0));
1792 memset(&match
->wc
.masks
.ipv6_src
, 0, sizeof match
->wc
.masks
.ipv6_src
);
1793 memset(&match
->flow
.ipv6_src
, 0, sizeof match
->flow
.ipv6_src
);
1797 memset(&match
->wc
.masks
.ipv6_dst
, 0, sizeof match
->wc
.masks
.ipv6_dst
);
1798 memset(&match
->flow
.ipv6_dst
, 0, sizeof match
->flow
.ipv6_dst
);
1801 case MFF_IPV6_LABEL
:
1802 match
->wc
.masks
.ipv6_label
= htonl(0);
1803 match
->flow
.ipv6_label
= htonl(0);
1807 match
->wc
.masks
.nw_proto
= 0;
1808 match
->flow
.nw_proto
= 0;
1812 case MFF_IP_DSCP_SHIFTED
:
1813 match
->wc
.masks
.nw_tos
&= ~IP_DSCP_MASK
;
1814 match
->flow
.nw_tos
&= ~IP_DSCP_MASK
;
1818 match
->wc
.masks
.nw_tos
&= ~IP_ECN_MASK
;
1819 match
->flow
.nw_tos
&= ~IP_ECN_MASK
;
1823 match
->wc
.masks
.nw_ttl
= 0;
1824 match
->flow
.nw_ttl
= 0;
1828 match
->wc
.masks
.nw_frag
&= ~FLOW_NW_FRAG_MASK
;
1829 match
->flow
.nw_frag
&= ~FLOW_NW_FRAG_MASK
;
1833 match
->wc
.masks
.nw_proto
= 0;
1834 match
->flow
.nw_proto
= 0;
1839 match
->flow
.arp_sha
= eth_addr_zero
;
1840 match
->wc
.masks
.arp_sha
= eth_addr_zero
;
1845 match
->flow
.arp_tha
= eth_addr_zero
;
1846 match
->wc
.masks
.arp_tha
= eth_addr_zero
;
1852 case MFF_ICMPV4_TYPE
:
1853 case MFF_ICMPV6_TYPE
:
1854 match
->wc
.masks
.tp_src
= htons(0);
1855 match
->flow
.tp_src
= htons(0);
1861 case MFF_ICMPV4_CODE
:
1862 case MFF_ICMPV6_CODE
:
1863 match
->wc
.masks
.tp_dst
= htons(0);
1864 match
->flow
.tp_dst
= htons(0);
1868 match
->wc
.masks
.tcp_flags
= htons(0);
1869 match
->flow
.tcp_flags
= htons(0);
1873 memset(&match
->wc
.masks
.nd_target
, 0,
1874 sizeof match
->wc
.masks
.nd_target
);
1875 memset(&match
->flow
.nd_target
, 0, sizeof match
->flow
.nd_target
);
1884 /* Makes 'match' match field 'mf' with the specified 'value' and 'mask'.
1885 * 'value' specifies a value to match and 'mask' specifies a wildcard pattern,
1886 * with a 1-bit indicating that the corresponding value bit must match and a
1887 * 0-bit indicating a don't-care.
1889 * If 'mask' is NULL or points to all-1-bits, then this call is equivalent to
1890 * mf_set_value(mf, value, match). If 'mask' points to all-0-bits, then this
1891 * call is equivalent to mf_set_wild(mf, match).
1893 * 'mask' must be a valid mask for 'mf' (see mf_is_mask_valid()). The caller
1894 * is responsible for ensuring that 'match' meets 'mf''s prerequisites.
1896 * If non-NULL, 'err_str' returns a malloc'ed string describing any errors
1897 * with the request or NULL if there is no error. The caller is reponsible
1898 * for freeing the string.
1900 * Return a set of enum ofputil_protocol bits (as an uint32_t to avoid circular
1901 * dependency on enum ofputil_protocol definition) indicating which OpenFlow
1902 * protocol versions can support this functionality. */
1904 mf_set(const struct mf_field
*mf
,
1905 const union mf_value
*value
, const union mf_value
*mask
,
1906 struct match
*match
, char **err_str
)
1908 if (!mask
|| is_all_ones(mask
, mf
->n_bytes
)) {
1909 mf_set_value(mf
, value
, match
, err_str
);
1910 return mf
->usable_protocols_exact
;
1911 } else if (is_all_zeros(mask
, mf
->n_bytes
) && !mf_is_tun_metadata(mf
)) {
1912 /* Tunnel metadata matches on the existence of the field itself, so
1913 * it still needs to be encoded even if the value is wildcarded. */
1914 mf_set_wild(mf
, match
, err_str
);
1915 return OFPUTIL_P_ANY
;
1924 case MFF_CT_NW_PROTO
:
1927 case MFF_CT_IPV6_SRC
:
1928 case MFF_CT_IPV6_DST
:
1934 case MFF_IN_PORT_OXM
:
1935 case MFF_ACTSET_OUTPUT
:
1936 case MFF_SKB_PRIORITY
:
1939 case MFF_DL_VLAN_PCP
:
1941 case MFF_MPLS_LABEL
:
1948 case MFF_IP_DSCP_SHIFTED
:
1951 case MFF_ICMPV4_TYPE
:
1952 case MFF_ICMPV4_CODE
:
1953 case MFF_ICMPV6_TYPE
:
1954 case MFF_ICMPV6_CODE
:
1955 return OFPUTIL_P_NONE
;
1958 match_set_dp_hash_masked(match
, ntohl(value
->be32
), ntohl(mask
->be32
));
1961 match_set_tun_id_masked(match
, value
->be64
, mask
->be64
);
1964 match_set_tun_src_masked(match
, value
->be32
, mask
->be32
);
1967 match_set_tun_dst_masked(match
, value
->be32
, mask
->be32
);
1969 case MFF_TUN_IPV6_SRC
:
1970 match_set_tun_ipv6_src_masked(match
, &value
->ipv6
, &mask
->ipv6
);
1972 case MFF_TUN_IPV6_DST
:
1973 match_set_tun_ipv6_dst_masked(match
, &value
->ipv6
, &mask
->ipv6
);
1976 match_set_tun_flags_masked(match
, ntohs(value
->be16
), ntohs(mask
->be16
));
1978 case MFF_TUN_GBP_ID
:
1979 match_set_tun_gbp_id_masked(match
, value
->be16
, mask
->be16
);
1981 case MFF_TUN_GBP_FLAGS
:
1982 match_set_tun_gbp_flags_masked(match
, value
->u8
, mask
->u8
);
1985 match_set_tun_ttl_masked(match
, value
->u8
, mask
->u8
);
1988 match_set_tun_tos_masked(match
, value
->u8
, mask
->u8
);
1990 CASE_MFF_TUN_METADATA
:
1991 tun_metadata_set_match(mf
, value
, mask
, match
, err_str
);
1995 match_set_metadata_masked(match
, value
->be64
, mask
->be64
);
1999 match_set_reg_masked(match
, mf
->id
- MFF_REG0
,
2000 ntohl(value
->be32
), ntohl(mask
->be32
));
2004 match_set_xreg_masked(match
, mf
->id
- MFF_XREG0
,
2005 ntohll(value
->be64
), ntohll(mask
->be64
));
2009 match_set_xxreg_masked(match
, mf
->id
- MFF_XXREG0
,
2010 ntoh128(value
->be128
), ntoh128(mask
->be128
));
2015 match_set_pkt_mark_masked(match
, ntohl(value
->be32
),
2020 match_set_ct_state_masked(match
, ntohl(value
->be32
), ntohl(mask
->be32
));
2024 match_set_ct_mark_masked(match
, ntohl(value
->be32
), ntohl(mask
->be32
));
2028 match_set_ct_label_masked(match
, ntoh128(value
->be128
),
2029 mask
? ntoh128(mask
->be128
) : OVS_U128_MAX
);
2033 match_set_dl_dst_masked(match
, value
->mac
, mask
->mac
);
2037 match_set_dl_src_masked(match
, value
->mac
, mask
->mac
);
2042 match_set_arp_sha_masked(match
, value
->mac
, mask
->mac
);
2047 match_set_arp_tha_masked(match
, value
->mac
, mask
->mac
);
2051 match_set_dl_tci_masked(match
, value
->be16
, mask
->be16
);
2055 match_set_vlan_vid_masked(match
, value
->be16
, mask
->be16
);
2059 match_set_nw_src_masked(match
, value
->be32
, mask
->be32
);
2063 match_set_nw_dst_masked(match
, value
->be32
, mask
->be32
);
2067 match_set_ipv6_src_masked(match
, &value
->ipv6
, &mask
->ipv6
);
2071 match_set_ipv6_dst_masked(match
, &value
->ipv6
, &mask
->ipv6
);
2074 case MFF_IPV6_LABEL
:
2075 if ((mask
->be32
& htonl(IPV6_LABEL_MASK
)) == htonl(IPV6_LABEL_MASK
)) {
2076 mf_set_value(mf
, value
, match
, err_str
);
2078 match_set_ipv6_label_masked(match
, value
->be32
, mask
->be32
);
2083 match_set_nd_target_masked(match
, &value
->ipv6
, &mask
->ipv6
);
2087 match_set_nw_frag_masked(match
, value
->u8
, mask
->u8
);
2091 match_set_nw_src_masked(match
, value
->be32
, mask
->be32
);
2095 match_set_nw_dst_masked(match
, value
->be32
, mask
->be32
);
2101 match_set_tp_src_masked(match
, value
->be16
, mask
->be16
);
2107 match_set_tp_dst_masked(match
, value
->be16
, mask
->be16
);
2111 match_set_tcp_flags_masked(match
, value
->be16
, mask
->be16
);
2119 return ((mf
->usable_protocols_bitwise
== mf
->usable_protocols_cidr
2120 || ip_is_cidr(mask
->be32
))
2121 ? mf
->usable_protocols_cidr
2122 : mf
->usable_protocols_bitwise
);
2126 mf_check__(const struct mf_subfield
*sf
, const struct match
*match
,
2130 VLOG_WARN_RL(&rl
, "unknown %s field", type
);
2131 return OFPERR_OFPBAC_BAD_SET_TYPE
;
2132 } else if (!sf
->n_bits
) {
2133 VLOG_WARN_RL(&rl
, "zero bit %s field %s", type
, sf
->field
->name
);
2134 return OFPERR_OFPBAC_BAD_SET_LEN
;
2135 } else if (sf
->ofs
>= sf
->field
->n_bits
) {
2136 VLOG_WARN_RL(&rl
, "bit offset %d exceeds %d-bit width of %s field %s",
2137 sf
->ofs
, sf
->field
->n_bits
, type
, sf
->field
->name
);
2138 return OFPERR_OFPBAC_BAD_SET_LEN
;
2139 } else if (sf
->ofs
+ sf
->n_bits
> sf
->field
->n_bits
) {
2140 VLOG_WARN_RL(&rl
, "bit offset %d and width %d exceeds %d-bit width "
2141 "of %s field %s", sf
->ofs
, sf
->n_bits
,
2142 sf
->field
->n_bits
, type
, sf
->field
->name
);
2143 return OFPERR_OFPBAC_BAD_SET_LEN
;
2144 } else if (match
&& !mf_are_match_prereqs_ok(sf
->field
, match
)) {
2145 VLOG_WARN_RL(&rl
, "%s field %s lacks correct prerequisites",
2146 type
, sf
->field
->name
);
2147 return OFPERR_OFPBAC_MATCH_INCONSISTENT
;
2153 /* Sets all the bits in 'sf' to 1 within 'wc', if 'wc' is nonnull. */
2155 unwildcard_subfield(const struct mf_subfield
*sf
, struct flow_wildcards
*wc
)
2158 union mf_value mask
;
2160 memset(&mask
, 0, sizeof mask
);
2161 bitwise_one(&mask
, sf
->field
->n_bytes
, sf
->ofs
, sf
->n_bits
);
2162 mf_mask_field_masked(sf
->field
, &mask
, wc
);
2166 /* Copies 'src' into 'dst' within 'flow', and sets all the bits in 'src' and
2167 * 'dst' to 1s in 'wc', if 'wc' is nonnull.
2169 * 'src' and 'dst' may overlap. */
2171 mf_subfield_copy(const struct mf_subfield
*src
,
2172 const struct mf_subfield
*dst
,
2173 struct flow
*flow
, struct flow_wildcards
*wc
)
2175 ovs_assert(src
->n_bits
== dst
->n_bits
);
2176 if (mf_are_prereqs_ok(dst
->field
, flow
, wc
)
2177 && mf_are_prereqs_ok(src
->field
, flow
, wc
)) {
2178 unwildcard_subfield(src
, wc
);
2179 unwildcard_subfield(dst
, wc
);
2181 union mf_value src_value
;
2182 union mf_value dst_value
;
2183 mf_get_value(dst
->field
, flow
, &dst_value
);
2184 mf_get_value(src
->field
, flow
, &src_value
);
2185 bitwise_copy(&src_value
, src
->field
->n_bytes
, src
->ofs
,
2186 &dst_value
, dst
->field
->n_bytes
, dst
->ofs
,
2188 mf_set_flow_value(dst
->field
, &dst_value
, flow
);
2192 /* Swaps the bits in 'src' and 'dst' within 'flow', and sets all the bits in
2193 * 'src' and 'dst' to 1s in 'wc', if 'wc' is nonnull.
2195 * 'src' and 'dst' may overlap. */
2197 mf_subfield_swap(const struct mf_subfield
*a
,
2198 const struct mf_subfield
*b
,
2199 struct flow
*flow
, struct flow_wildcards
*wc
)
2201 ovs_assert(a
->n_bits
== b
->n_bits
);
2202 if (mf_are_prereqs_ok(a
->field
, flow
, wc
)
2203 && mf_are_prereqs_ok(b
->field
, flow
, wc
)) {
2204 unwildcard_subfield(a
, wc
);
2205 unwildcard_subfield(b
, wc
);
2207 union mf_value a_value
;
2208 union mf_value b_value
;
2209 mf_get_value(a
->field
, flow
, &a_value
);
2210 mf_get_value(b
->field
, flow
, &b_value
);
2211 union mf_value b2_value
= b_value
;
2213 /* Copy 'a' into 'b'. */
2214 bitwise_copy(&a_value
, a
->field
->n_bytes
, a
->ofs
,
2215 &b_value
, b
->field
->n_bytes
, b
->ofs
,
2217 mf_set_flow_value(b
->field
, &b_value
, flow
);
2219 /* Copy original 'b' into 'a'. */
2220 bitwise_copy(&b2_value
, b
->field
->n_bytes
, b
->ofs
,
2221 &a_value
, a
->field
->n_bytes
, a
->ofs
,
2223 mf_set_flow_value(a
->field
, &a_value
, flow
);
2227 /* Checks whether 'sf' is valid for reading a subfield out of 'flow'. Returns
2228 * 0 if so, otherwise an OpenFlow error code (e.g. as returned by
2231 mf_check_src(const struct mf_subfield
*sf
, const struct match
*match
)
2233 return mf_check__(sf
, match
, "source");
2236 /* Checks whether 'sf' is valid for writing a subfield into 'flow'. Returns 0
2237 * if so, otherwise an OpenFlow error code (e.g. as returned by
2240 mf_check_dst(const struct mf_subfield
*sf
, const struct match
*match
)
2242 int error
= mf_check__(sf
, match
, "destination");
2243 if (!error
&& !sf
->field
->writable
) {
2244 VLOG_WARN_RL(&rl
, "destination field %s is not writable",
2246 return OFPERR_OFPBAC_BAD_SET_ARGUMENT
;
2251 /* Copies the value and wildcard bit pattern for 'mf' from 'match' into the
2252 * 'value' and 'mask', respectively. */
2254 mf_get(const struct mf_field
*mf
, const struct match
*match
,
2255 union mf_value
*value
, union mf_value
*mask
)
2257 mf_get_value(mf
, &match
->flow
, value
);
2258 mf_get_mask(mf
, &match
->wc
, mask
);
2262 mf_from_integer_string(const struct mf_field
*mf
, const char *s
,
2263 uint8_t *valuep
, uint8_t *maskp
)
2266 const char *err_str
= "";
2269 err
= parse_int_string(s
, valuep
, mf
->n_bytes
, &tail
);
2270 if (err
|| (*tail
!= '\0' && *tail
!= '/')) {
2276 err
= parse_int_string(tail
+ 1, maskp
, mf
->n_bytes
, &tail
);
2277 if (err
|| *tail
!= '\0') {
2282 memset(maskp
, 0xff, mf
->n_bytes
);
2288 if (err
== ERANGE
) {
2289 return xasprintf("%s: %s too large for %u-byte field %s",
2290 s
, err_str
, mf
->n_bytes
, mf
->name
);
2292 return xasprintf("%s: bad syntax for %s %s", s
, mf
->name
, err_str
);
2297 mf_from_ethernet_string(const struct mf_field
*mf
, const char *s
,
2298 struct eth_addr
*mac
, struct eth_addr
*mask
)
2302 ovs_assert(mf
->n_bytes
== ETH_ADDR_LEN
);
2305 if (ovs_scan(s
, ETH_ADDR_SCAN_FMT
"%n", ETH_ADDR_SCAN_ARGS(*mac
), &n
)
2306 && n
== strlen(s
)) {
2307 *mask
= eth_addr_exact
;
2312 if (ovs_scan(s
, ETH_ADDR_SCAN_FMT
"/"ETH_ADDR_SCAN_FMT
"%n",
2313 ETH_ADDR_SCAN_ARGS(*mac
), ETH_ADDR_SCAN_ARGS(*mask
), &n
)
2314 && n
== strlen(s
)) {
2318 return xasprintf("%s: invalid Ethernet address", s
);
2322 mf_from_ipv4_string(const struct mf_field
*mf
, const char *s
,
2323 ovs_be32
*ip
, ovs_be32
*mask
)
2325 ovs_assert(mf
->n_bytes
== sizeof *ip
);
2326 return ip_parse_masked(s
, ip
, mask
);
2330 mf_from_ipv6_string(const struct mf_field
*mf
, const char *s
,
2331 struct in6_addr
*ipv6
, struct in6_addr
*mask
)
2333 ovs_assert(mf
->n_bytes
== sizeof *ipv6
);
2334 return ipv6_parse_masked(s
, ipv6
, mask
);
2338 mf_from_ofp_port_string(const struct mf_field
*mf
, const char *s
,
2339 ovs_be16
*valuep
, ovs_be16
*maskp
)
2343 ovs_assert(mf
->n_bytes
== sizeof(ovs_be16
));
2345 if (ofputil_port_from_string(s
, &port
)) {
2346 *valuep
= htons(ofp_to_u16(port
));
2347 *maskp
= OVS_BE16_MAX
;
2350 return xasprintf("%s: port value out of range for %s", s
, mf
->name
);
2354 mf_from_ofp_port_string32(const struct mf_field
*mf
, const char *s
,
2355 ovs_be32
*valuep
, ovs_be32
*maskp
)
2359 ovs_assert(mf
->n_bytes
== sizeof(ovs_be32
));
2360 if (ofputil_port_from_string(s
, &port
)) {
2361 *valuep
= ofputil_port_to_ofp11(port
);
2362 *maskp
= OVS_BE32_MAX
;
2365 return xasprintf("%s: port value out of range for %s", s
, mf
->name
);
2368 struct frag_handling
{
2374 static const struct frag_handling all_frags
[] = {
2375 #define A FLOW_NW_FRAG_ANY
2376 #define L FLOW_NW_FRAG_LATER
2377 /* name mask value */
2380 { "first", A
|L
, A
},
2381 { "later", A
|L
, A
|L
},
2386 { "not_later", L
, 0 },
2393 mf_from_frag_string(const char *s
, uint8_t *valuep
, uint8_t *maskp
)
2395 const struct frag_handling
*h
;
2397 for (h
= all_frags
; h
< &all_frags
[ARRAY_SIZE(all_frags
)]; h
++) {
2398 if (!strcasecmp(s
, h
->name
)) {
2399 /* We force the upper bits of the mask on to make mf_parse_value()
2400 * happy (otherwise it will never think it's an exact match.) */
2401 *maskp
= h
->mask
| ~FLOW_NW_FRAG_MASK
;
2407 return xasprintf("%s: unknown fragment type (valid types are \"no\", "
2408 "\"yes\", \"first\", \"later\", \"not_first\"", s
);
2412 parse_mf_flags(const char *s
, const char *(*bit_to_string
)(uint32_t),
2413 const char *field_name
, ovs_be16
*flagsp
, ovs_be16 allowed
,
2418 uint32_t flags
, mask
;
2420 err
= parse_flags(s
, bit_to_string
, '\0', field_name
, &err_str
,
2421 &flags
, ntohs(allowed
), maskp
? &mask
: NULL
);
2426 *flagsp
= htons(flags
);
2428 *maskp
= htons(mask
);
2435 mf_from_tcp_flags_string(const char *s
, ovs_be16
*flagsp
, ovs_be16
*maskp
)
2437 return parse_mf_flags(s
, packet_tcp_flag_to_string
, "TCP", flagsp
,
2438 TCP_FLAGS_BE16(OVS_BE16_MAX
), maskp
);
2442 mf_from_tun_flags_string(const char *s
, ovs_be16
*flagsp
, ovs_be16
*maskp
)
2444 return parse_mf_flags(s
, flow_tun_flag_to_string
, "tunnel", flagsp
,
2445 htons(FLOW_TNL_PUB_F_MASK
), maskp
);
2449 mf_from_ct_state_string(const char *s
, ovs_be32
*flagsp
, ovs_be32
*maskp
)
2453 uint32_t flags
, mask
;
2455 err
= parse_flags(s
, ct_state_to_string
, '\0', "ct_state", &err_str
,
2456 &flags
, CS_SUPPORTED_MASK
, maskp
? &mask
: NULL
);
2461 *flagsp
= htonl(flags
);
2463 *maskp
= htonl(mask
);
2469 /* Parses 's', a string value for field 'mf', into 'value' and 'mask'. Returns
2470 * NULL if successful, otherwise a malloc()'d string describing the error. */
2472 mf_parse(const struct mf_field
*mf
, const char *s
,
2473 union mf_value
*value
, union mf_value
*mask
)
2477 if (!strcmp(s
, "*")) {
2478 memset(value
, 0, mf
->n_bytes
);
2479 memset(mask
, 0, mf
->n_bytes
);
2483 switch (mf
->string
) {
2485 case MFS_HEXADECIMAL
:
2486 error
= mf_from_integer_string(mf
, s
,
2487 (uint8_t *) value
, (uint8_t *) mask
);
2491 ovs_assert(mf
->n_bytes
== sizeof(ovs_be32
));
2492 error
= mf_from_ct_state_string(s
, &value
->be32
, &mask
->be32
);
2496 error
= mf_from_ethernet_string(mf
, s
, &value
->mac
, &mask
->mac
);
2500 error
= mf_from_ipv4_string(mf
, s
, &value
->be32
, &mask
->be32
);
2504 error
= mf_from_ipv6_string(mf
, s
, &value
->ipv6
, &mask
->ipv6
);
2508 error
= mf_from_ofp_port_string(mf
, s
, &value
->be16
, &mask
->be16
);
2511 case MFS_OFP_PORT_OXM
:
2512 error
= mf_from_ofp_port_string32(mf
, s
, &value
->be32
, &mask
->be32
);
2516 error
= mf_from_frag_string(s
, &value
->u8
, &mask
->u8
);
2520 ovs_assert(mf
->n_bytes
== sizeof(ovs_be16
));
2521 error
= mf_from_tun_flags_string(s
, &value
->be16
, &mask
->be16
);
2525 ovs_assert(mf
->n_bytes
== sizeof(ovs_be16
));
2526 error
= mf_from_tcp_flags_string(s
, &value
->be16
, &mask
->be16
);
2533 if (!error
&& !mf_is_mask_valid(mf
, mask
)) {
2534 error
= xasprintf("%s: invalid mask for field %s", s
, mf
->name
);
2539 /* Parses 's', a string value for field 'mf', into 'value'. Returns NULL if
2540 * successful, otherwise a malloc()'d string describing the error. */
2542 mf_parse_value(const struct mf_field
*mf
, const char *s
, union mf_value
*value
)
2544 union mf_value mask
;
2547 error
= mf_parse(mf
, s
, value
, &mask
);
2552 if (!is_all_ones((const uint8_t *) &mask
, mf
->n_bytes
)) {
2553 return xasprintf("%s: wildcards not allowed here", s
);
2559 mf_format_integer_string(const struct mf_field
*mf
, const uint8_t *valuep
,
2560 const uint8_t *maskp
, struct ds
*s
)
2562 if (mf
->string
== MFS_HEXADECIMAL
) {
2563 ds_put_hex(s
, valuep
, mf
->n_bytes
);
2565 unsigned long long int integer
= 0;
2568 ovs_assert(mf
->n_bytes
<= 8);
2569 for (i
= 0; i
< mf
->n_bytes
; i
++) {
2570 integer
= (integer
<< 8) | valuep
[i
];
2572 ds_put_format(s
, "%lld", integer
);
2576 /* I guess we could write the mask in decimal for MFS_DECIMAL but I'm
2577 * not sure that that a bit-mask written in decimal is ever easier to
2578 * understand than the same bit-mask written in hexadecimal. */
2579 ds_put_char(s
, '/');
2580 ds_put_hex(s
, maskp
, mf
->n_bytes
);
2585 mf_format_frag_string(uint8_t value
, uint8_t mask
, struct ds
*s
)
2587 const struct frag_handling
*h
;
2589 mask
&= FLOW_NW_FRAG_MASK
;
2592 for (h
= all_frags
; h
< &all_frags
[ARRAY_SIZE(all_frags
)]; h
++) {
2593 if (value
== h
->value
&& mask
== h
->mask
) {
2594 ds_put_cstr(s
, h
->name
);
2598 ds_put_cstr(s
, "<error>");
2602 mf_format_tnl_flags_string(ovs_be16 value
, ovs_be16 mask
, struct ds
*s
)
2604 format_flags_masked(s
, NULL
, flow_tun_flag_to_string
, ntohs(value
),
2605 ntohs(mask
) & FLOW_TNL_PUB_F_MASK
, FLOW_TNL_PUB_F_MASK
);
2609 mf_format_tcp_flags_string(ovs_be16 value
, ovs_be16 mask
, struct ds
*s
)
2611 format_flags_masked(s
, NULL
, packet_tcp_flag_to_string
, ntohs(value
),
2612 TCP_FLAGS(mask
), TCP_FLAGS(OVS_BE16_MAX
));
2616 mf_format_ct_state_string(ovs_be32 value
, ovs_be32 mask
, struct ds
*s
)
2618 format_flags_masked(s
, NULL
, ct_state_to_string
, ntohl(value
),
2619 ntohl(mask
), UINT16_MAX
);
2622 /* Appends to 's' a string representation of field 'mf' whose value is in
2623 * 'value' and 'mask'. 'mask' may be NULL to indicate an exact match. */
2625 mf_format(const struct mf_field
*mf
,
2626 const union mf_value
*value
, const union mf_value
*mask
,
2630 if (is_all_zeros(mask
, mf
->n_bytes
)) {
2631 ds_put_cstr(s
, "ANY");
2633 } else if (is_all_ones(mask
, mf
->n_bytes
)) {
2638 switch (mf
->string
) {
2639 case MFS_OFP_PORT_OXM
:
2642 ofputil_port_from_ofp11(value
->be32
, &port
);
2643 ofputil_format_port(port
, s
);
2649 ofputil_format_port(u16_to_ofp(ntohs(value
->be16
)), s
);
2654 case MFS_HEXADECIMAL
:
2655 mf_format_integer_string(mf
, (uint8_t *) value
, (uint8_t *) mask
, s
);
2659 mf_format_ct_state_string(value
->be32
,
2660 mask
? mask
->be32
: OVS_BE32_MAX
, s
);
2664 eth_format_masked(value
->mac
, mask
? &mask
->mac
: NULL
, s
);
2668 ip_format_masked(value
->be32
, mask
? mask
->be32
: OVS_BE32_MAX
, s
);
2672 ipv6_format_masked(&value
->ipv6
, mask
? &mask
->ipv6
: NULL
, s
);
2676 mf_format_frag_string(value
->u8
, mask
? mask
->u8
: UINT8_MAX
, s
);
2680 mf_format_tnl_flags_string(value
->be16
,
2681 mask
? mask
->be16
: OVS_BE16_MAX
, s
);
2685 mf_format_tcp_flags_string(value
->be16
,
2686 mask
? mask
->be16
: OVS_BE16_MAX
, s
);
2694 /* Makes subfield 'sf' within 'flow' exactly match the 'sf->n_bits'
2695 * least-significant bits in 'x'.
2698 mf_write_subfield_flow(const struct mf_subfield
*sf
,
2699 const union mf_subvalue
*x
, struct flow
*flow
)
2701 const struct mf_field
*field
= sf
->field
;
2702 union mf_value value
;
2704 mf_get_value(field
, flow
, &value
);
2705 bitwise_copy(x
, sizeof *x
, 0, &value
, field
->n_bytes
,
2706 sf
->ofs
, sf
->n_bits
);
2707 mf_set_flow_value(field
, &value
, flow
);
2710 /* Makes subfield 'sf' within 'match' exactly match the 'sf->n_bits'
2711 * least-significant bits in 'x'.
2714 mf_write_subfield(const struct mf_subfield
*sf
, const union mf_subvalue
*x
,
2715 struct match
*match
)
2717 const struct mf_field
*field
= sf
->field
;
2718 union mf_value value
, mask
;
2720 mf_get(field
, match
, &value
, &mask
);
2721 bitwise_copy(x
, sizeof *x
, 0, &value
, field
->n_bytes
, sf
->ofs
, sf
->n_bits
);
2722 bitwise_one ( &mask
, field
->n_bytes
, sf
->ofs
, sf
->n_bits
);
2723 mf_set(field
, &value
, &mask
, match
, NULL
);
2727 mf_write_subfield_value(const struct mf_subfield
*sf
, const void *src
,
2728 struct match
*match
)
2730 const struct mf_field
*field
= sf
->field
;
2731 union mf_value value
, mask
;
2732 unsigned int size
= DIV_ROUND_UP(sf
->n_bits
, 8);
2734 mf_get(field
, match
, &value
, &mask
);
2735 bitwise_copy(src
, size
, 0, &value
, field
->n_bytes
, sf
->ofs
, sf
->n_bits
);
2736 bitwise_one ( &mask
, field
->n_bytes
, sf
->ofs
, sf
->n_bits
);
2737 mf_set(field
, &value
, &mask
, match
, NULL
);
2740 /* 'v' and 'm' correspond to values of 'field'. This function copies them into
2741 * 'match' in the correspond positions. */
2743 mf_mask_subfield(const struct mf_field
*field
,
2744 const union mf_subvalue
*v
,
2745 const union mf_subvalue
*m
,
2746 struct match
*match
)
2748 union mf_value value
, mask
;
2750 mf_get(field
, match
, &value
, &mask
);
2751 bitwise_copy(v
, sizeof *v
, 0, &value
, field
->n_bytes
, 0, field
->n_bits
);
2752 bitwise_copy(m
, sizeof *m
, 0, &mask
, field
->n_bytes
, 0, field
->n_bits
);
2753 mf_set(field
, &value
, &mask
, match
, NULL
);
2756 /* Initializes 'x' to the value of 'sf' within 'flow'. 'sf' must be valid for
2757 * reading 'flow', e.g. as checked by mf_check_src(). */
2759 mf_read_subfield(const struct mf_subfield
*sf
, const struct flow
*flow
,
2760 union mf_subvalue
*x
)
2762 union mf_value value
;
2764 mf_get_value(sf
->field
, flow
, &value
);
2766 memset(x
, 0, sizeof *x
);
2767 bitwise_copy(&value
, sf
->field
->n_bytes
, sf
->ofs
,
2772 /* Returns the value of 'sf' within 'flow'. 'sf' must be valid for reading
2773 * 'flow', e.g. as checked by mf_check_src() and sf->n_bits must be 64 or
2776 mf_get_subfield(const struct mf_subfield
*sf
, const struct flow
*flow
)
2778 union mf_value value
;
2780 mf_get_value(sf
->field
, flow
, &value
);
2781 return bitwise_get(&value
, sf
->field
->n_bytes
, sf
->ofs
, sf
->n_bits
);
2785 mf_format_subvalue(const union mf_subvalue
*subvalue
, struct ds
*s
)
2787 ds_put_hex(s
, subvalue
->u8
, sizeof subvalue
->u8
);
2791 field_array_set(enum mf_field_id id
, const union mf_value
*value
,
2792 struct field_array
*fa
)
2794 size_t i
, offset
= 0;
2796 ovs_assert(id
< MFF_N_IDS
);
2798 /* Find the spot for 'id'. */
2799 BITMAP_FOR_EACH_1 (i
, id
, fa
->used
.bm
) {
2800 offset
+= mf_from_id(i
)->n_bytes
;
2803 size_t value_size
= mf_from_id(id
)->n_bytes
;
2805 /* make room if necessary. */
2806 if (!bitmap_is_set(fa
->used
.bm
, id
)) {
2807 fa
->values
= xrealloc(fa
->values
, fa
->values_size
+ value_size
);
2808 /* Move remainder forward, if any. */
2809 if (offset
< fa
->values_size
) {
2810 memmove(fa
->values
+ offset
+ value_size
, fa
->values
+ offset
,
2811 fa
->values_size
- offset
);
2813 fa
->values_size
+= value_size
;
2815 bitmap_set1(fa
->used
.bm
, id
);
2817 memcpy(fa
->values
+ offset
, value
, value_size
);
2820 /* A wrapper for variable length mf_fields that is maintained by
2821 * struct vl_mff_map.*/
2822 struct vl_mf_field
{
2824 struct cmap_node cmap_node
; /* In ofproto->vl_mff_map->cmap. */
2827 static inline uint32_t
2828 mf_field_hash(uint32_t key
)
2830 return hash_int(key
, 0);
2834 mf_vl_mff_map_clear(struct vl_mff_map
*vl_mff_map
)
2835 OVS_REQUIRES(vl_mff_map
->mutex
)
2837 struct vl_mf_field
*vmf
;
2839 CMAP_FOR_EACH (vmf
, cmap_node
, &vl_mff_map
->cmap
) {
2840 cmap_remove(&vl_mff_map
->cmap
, &vmf
->cmap_node
,
2841 mf_field_hash(vmf
->mf
.id
));
2842 ovsrcu_postpone(free
, vmf
);
2846 static struct vl_mf_field
*
2847 mf_get_vl_mff__(uint32_t id
, const struct vl_mff_map
*vl_mff_map
)
2849 struct vl_mf_field
*vmf
;
2851 CMAP_FOR_EACH_WITH_HASH (vmf
, cmap_node
, mf_field_hash(id
),
2852 &vl_mff_map
->cmap
) {
2853 if (vmf
->mf
.id
== id
) {
2861 /* If 'mff' is a variable length field, looks up 'vl_mff_map', returns a
2862 * pointer to the variable length meta-flow field corresponding to 'mff'.
2863 * Returns NULL if no mapping is existed for 'mff'. */
2864 const struct mf_field
*
2865 mf_get_vl_mff(const struct mf_field
*mff
,
2866 const struct vl_mff_map
*vl_mff_map
)
2868 if (mff
&& mff
->variable_len
&& vl_mff_map
) {
2869 return &mf_get_vl_mff__(mff
->id
, vl_mff_map
)->mf
;
2875 /* Updates the tun_metadata mf_field in 'vl_mff_map' according to 'ttm'.
2876 * This function is supposed to be invoked after tun_metadata_table_mod(). */
2878 mf_vl_mff_map_mod_from_tun_metadata(struct vl_mff_map
*vl_mff_map
,
2879 const struct ofputil_tlv_table_mod
*ttm
)
2880 OVS_REQUIRES(vl_mff_map
->mutex
)
2882 struct ofputil_tlv_map
*tlv_map
;
2884 if (ttm
->command
== NXTTMC_CLEAR
) {
2885 mf_vl_mff_map_clear(vl_mff_map
);
2889 LIST_FOR_EACH (tlv_map
, list_node
, &ttm
->mappings
) {
2890 unsigned int idx
= MFF_TUN_METADATA0
+ tlv_map
->index
;
2891 struct vl_mf_field
*vmf
;
2893 if (idx
>= MFF_TUN_METADATA0
+ TUN_METADATA_NUM_OPTS
) {
2894 return OFPERR_NXTTMFC_BAD_FIELD_IDX
;
2897 switch (ttm
->command
) {
2899 vmf
= xmalloc(sizeof *vmf
);
2900 vmf
->mf
= mf_fields
[idx
];
2901 vmf
->mf
.n_bytes
= tlv_map
->option_len
;
2902 vmf
->mf
.n_bits
= tlv_map
->option_len
* 8;
2903 vmf
->mf
.mapped
= true;
2905 cmap_insert(&vl_mff_map
->cmap
, &vmf
->cmap_node
,
2906 mf_field_hash(idx
));
2910 vmf
= mf_get_vl_mff__(idx
, vl_mff_map
);
2912 cmap_remove(&vl_mff_map
->cmap
, &vmf
->cmap_node
,
2913 mf_field_hash(idx
));
2914 ovsrcu_postpone(free
, vmf
);
2927 /* Returns true if a variable length meta-flow field 'mff' is not mapped in
2928 * the 'vl_mff_map'. */
2930 mf_vl_mff_invalid(const struct mf_field
*mff
, const struct vl_mff_map
*map
)
2932 return map
&& mff
&& mff
->variable_len
&& !mff
->mapped
;