Home
last modified time | relevance | path

Searched defs:usSum (Results 1 – 12 of 12) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum/
DusGenerateProtocolChecksum_harness.c42 uint16_t usGenerateChecksum( uint16_t usSum, in usGenerateChecksum()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ICMP/ProcessICMPEchoRequest/
DProcessICMPEchoRequest_harness.c44 uint16_t usGenerateChecksum( uint16_t usSum, in usGenerateChecksum()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/prepareReplyDNSMessage/
DprepareReplyDNSMessage_harness.c65 uint16_t usGenerateChecksum( uint16_t usSum, in usGenerateChecksum()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket/
DProcessIPPacket_harness.c39 uint16_t usGenerateChecksum( uint16_t usSum, in usGenerateChecksum()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket_IPv6/
DvProcessGeneratedUDPPacket_IPv6_harness.c24 uint16_t usGenerateChecksum( uint16_t usSum, in usGenerateChecksum()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum_IPv6/
DusGenerateProtocolChecksum_IPv6_harness.c42 uint16_t usGenerateChecksum( uint16_t usSum, in usGenerateChecksum()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/
DvProcessGeneratedUDPPacket_harness.c24 uint16_t usGenerateChecksum( uint16_t usSum, in usGenerateChecksum()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
DTCPReturnPacket_harness.c126 uint16_t usGenerateChecksum( uint16_t usSum, in usGenerateChecksum()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/
DTCPReturnPacket_IPv6_harness.c125 uint16_t usGenerateChecksum( uint16_t usSum, in usGenerateChecksum()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/
DFreeRTOS_IP_Utils_utest.c2083 uint16_t usSum = 0; in test_usGenerateChecksum_UnallignedAccess() local
2110 uint16_t usSum = 0; in test_usGenerateChecksum_OneByteToChecksum() local
2137 uint16_t usSum = 0; in test_usGenerateChecksum_OneByteAllignedButZeroLength() local
2164 uint16_t usSum = 0; in test_usGenerateChecksum_TwoByteAlligned() local
2191 uint16_t usSum = 0; in test_usGenerateChecksum_TwoByteAllignedTwoLength() local
2218 uint16_t usSum = 0; in test_usGenerateChecksum_FourByteAlligned() local
2245 uint16_t usSum = FreeRTOS_htons( 0xFFFF - 0xAB ); in test_usGenerateChecksum_FourByteAllignedSumOverflow() local
2272 uint16_t usSum = FreeRTOS_htons( 0xFFFF - 0xAB ); in test_usGenerateChecksum_FourByteAllignedSumOverflow2() local
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/DriverSAM/
DNetworkInterface.c778 uint16_t usSum; in prvGenerateCRC16() local
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IP_Utils.c1210 uint16_t usGenerateChecksum( uint16_t usSum, in usGenerateChecksum()