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" |
Yi Tseng | 2162993 | 2017-06-06 11:17:43 -0700 | [diff] [blame] | 4 | |
Carmelo Cascone | 837e645 | 2017-07-19 20:35:22 -0400 | [diff] [blame] | 5 | control verifyChecksum(in headers_t hdr, inout metadata_t meta) { |
Yi Tseng | 2162993 | 2017-06-06 11:17:43 -0700 | [diff] [blame] | 6 | apply { |
7 | // Nothing to do | ||||
8 | } | ||||
9 | } | ||||
10 | |||||
Carmelo Cascone | 837e645 | 2017-07-19 20:35:22 -0400 | [diff] [blame] | 11 | control computeChecksum(inout headers_t hdr, inout metadata_t meta) { |
Yi Tseng | 2162993 | 2017-06-06 11:17:43 -0700 | [diff] [blame] | 12 | apply { |
13 | // Nothing to do | ||||
14 | } | ||||
15 | } | ||||
Carmelo Cascone | 837e645 | 2017-07-19 20:35:22 -0400 | [diff] [blame] | 16 | |
Yi Tseng | 2162993 | 2017-06-06 11:17:43 -0700 | [diff] [blame] | 17 | #endif |