1 ; SPDX-License-Identifier: BSD-3-Clause
2 ; Copyright(c) 2020 Intel Corporation
17 bit<16> identification
40 header ethernet instanceof ethernet_h
41 header ipv4 instanceof ipv4_h
42 header outer_ethernet instanceof ethernet_h
43 header outer_ipv4 instanceof ipv4_h
44 header outer_udp instanceof udp_h
45 header outer_vxlan instanceof vxlan_h
55 metadata instanceof metadata_t
60 struct vxlan_encap_args_t {
61 bit<48> ethernet_dst_addr
62 bit<48> ethernet_src_addr
63 bit<16> ethernet_ether_type
66 bit<16> ipv4_total_len
67 bit<16> ipv4_identification
68 bit<16> ipv4_flags_offset
71 bit<16> ipv4_hdr_checksum
79 bit<24> vxlan_reserved
81 bit<8> vxlan_reserved2
86 // Ethernet (14) | IPv4 (total_len)
89 // Ethernet (14) | IPv4 (20) | UDP (8) | VXLAN (8) | Input frame | Ethernet FCS (4)
91 // Note: The input frame has its FCS removed before encapsulation in the output
94 // Assumption: When read from the table, the outer IPv4 and UDP headers contain
95 // the following fields:
96 // - t.ipv4_total_len: Set to 50, which covers the length of:
97 // - The outer IPv4 header (20 bytes);
98 // - The outer UDP header (8 bytes);
99 // - The outer VXLAN header (8 bytes);
100 // - The inner Ethernet header (14 bytes);
101 // - t.ipv4_hdr_checksum: Includes the above total length.
102 // - t.udp_length: Set to 30, which covers the length of:
103 // - The outer UDP header (8 bytes);
104 // - The outer VXLAN header (8 bytes);
105 // - The inner Ethernet header (14 bytes);
106 // - t.udp_checksum: Set to 0.
108 // Once the total length of the inner IPv4 packet (h.ipv4.total_len) is known,
109 // the outer IPv4 and UDP headers are updated as follows:
110 // - h.outer_ipv4.total_len = t.ipv4_total_len + h.ipv4.total_len
111 // - h.outer_ipv4.hdr_checksum = t.ipv4_hdr_checksum + h.ipv4.total_len
112 // - h.outer_udp.length = t.udp_length + h.ipv4.total_len
113 // - h.outer_udp.checksum: No change.
116 action vxlan_encap args instanceof vxlan_encap_args_t {
117 //Copy from table entry to headers and metadata.
118 dma h.outer_ethernet t.ethernet_dst_addr
119 dma h.outer_ipv4 t.ipv4_ver_ihl
120 dma h.outer_udp t.udp_src_port
121 dma h.outer_vxlan t.vxlan_flags
122 mov m.port_out t.port_out
124 //Update h.outer_ipv4.total_len field.
125 add h.outer_ipv4.total_len h.ipv4.total_len
127 //Update h.outer_ipv4.hdr_checksum field.
128 ckadd h.outer_ipv4.hdr_checksum h.ipv4.total_len
130 //Update h.outer_udp.length field.
131 add h.outer_udp.length h.ipv4.total_len
136 action drop args none {
146 h.ethernet.dst_addr exact
154 default_action drop args none
166 emit h.outer_ethernet