Carmelo Cascone | 837e645 | 2017-07-19 20:35:22 -0400 | [diff] [blame] | 1 | #ifndef CHECKSUMS |
2 | #define CHECKSUMS | ||||
Yi Tseng | 2162993 | 2017-06-06 11:17:43 -0700 | [diff] [blame] | 3 | #include "headers.p4" |
4 | #include "metadata.p4" | ||||
5 | |||||
Carmelo Cascone | 837e645 | 2017-07-19 20:35:22 -0400 | [diff] [blame] | 6 | control verifyChecksum(in headers_t hdr, inout metadata_t meta) { |
Yi Tseng | 2162993 | 2017-06-06 11:17:43 -0700 | [diff] [blame] | 7 | apply { |
8 | // Nothing to do | ||||
9 | } | ||||
10 | } | ||||
11 | |||||
Carmelo Cascone | 837e645 | 2017-07-19 20:35:22 -0400 | [diff] [blame] | 12 | control computeChecksum(inout headers_t hdr, inout metadata_t meta) { |
Yi Tseng | 2162993 | 2017-06-06 11:17:43 -0700 | [diff] [blame] | 13 | apply { |
14 | // Nothing to do | ||||
15 | } | ||||
16 | } | ||||
Carmelo Cascone | 837e645 | 2017-07-19 20:35:22 -0400 | [diff] [blame] | 17 | |
Yi Tseng | 2162993 | 2017-06-06 11:17:43 -0700 | [diff] [blame] | 18 | #endif |