| /FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/include/ |
| D | tcp_netstat.h | 50 size_t uxByteCount; member
108 xInputCounters.uxByteCount += uxDataLength; \
112 xOutputCounters.uxByteCount += uxDataLength; \
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Stream_Buffer/ |
| D | FreeRTOS_Stream_Buffer_utest.c | 466 size_t uxByteCount = 0; in test_uxStreamBufferAdd_EverythingResetToZero() local
483 uxReturn = uxStreamBufferAdd( pxLocalBuffer, uxOffset, pucData, uxByteCount ); in test_uxStreamBufferAdd_EverythingResetToZero()
504 size_t uxByteCount = 0; in test_uxStreamBufferAdd_BufferFullZeroOffset() local
521 uxReturn = uxStreamBufferAdd( pxLocalBuffer, uxOffset, pucData, uxByteCount ); in test_uxStreamBufferAdd_BufferFullZeroOffset()
542 size_t uxByteCount = 0; in test_uxStreamBufferAdd_BufferFullPositiveOffset() local
559 uxReturn = uxStreamBufferAdd( pxLocalBuffer, uxOffset, pucData, uxByteCount ); in test_uxStreamBufferAdd_BufferFullPositiveOffset()
580 size_t uxByteCount = sizeof( pucData ); in test_uxStreamBufferAdd_BufferHasMoreSpaceThanData_ZeroOffset_DataWriteCausesRollover_FrontAheadOfHead() local
608 uxReturn = uxStreamBufferAdd( pxLocalBuffer, uxOffset, pucData, uxByteCount ); in test_uxStreamBufferAdd_BufferHasMoreSpaceThanData_ZeroOffset_DataWriteCausesRollover_FrontAheadOfHead()
641 size_t uxByteCount = sizeof( pucData ); in test_uxStreamBufferAdd_BufferHasLessSpaceThanData_ZeroOffset() local
663 uxReturn = uxStreamBufferAdd( pxLocalBuffer, uxOffset, pucData, uxByteCount ); in test_uxStreamBufferAdd_BufferHasLessSpaceThanData_ZeroOffset()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum/ |
| D | usGenerateProtocolChecksum_harness.c | 44 size_t uxByteCount ) in usGenerateChecksum() argument
46 … __CPROVER_assert( __CPROVER_r_ok( pucNextData, uxByteCount ), "pucNextData should be readable." ); in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum_IPv6/ |
| D | usGenerateProtocolChecksum_IPv6_harness.c | 44 size_t uxByteCount ) in usGenerateChecksum() argument
46 … __CPROVER_assert( __CPROVER_r_ok( pucNextData, uxByteCount ), "pucNextData should be readable." ); in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| D | TCPReturnPacket_harness.c | 128 size_t uxByteCount ) in usGenerateChecksum() argument
133 …__CPROVER_assert( __CPROVER_r_ok( pucNextData, uxByteCount ), "The pucNextData should be readable.… in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/ |
| D | TCPReturnPacket_IPv6_harness.c | 127 size_t uxByteCount ) in usGenerateChecksum() argument
132 …__CPROVER_assert( __CPROVER_r_ok( pucNextData, uxByteCount ), "The pucNextData should be readable.… in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ICMP/ProcessICMPEchoRequest/ |
| D | ProcessICMPEchoRequest_harness.c | 46 size_t uxByteCount ) in usGenerateChecksum() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
| D | tcp_netstat.c | 154 pxMetrics->xInput.uxByteCount ) ); in vShowMetrics()
157 pxMetrics->xOutput.uxByteCount ) ); in vShowMetrics()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/prepareReplyDNSMessage/ |
| D | prepareReplyDNSMessage_harness.c | 67 size_t uxByteCount ) in usGenerateChecksum() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_Stream_Buffer.h | 108 size_t uxByteCount );
|
| D | FreeRTOS_IP_Private.h | 465 size_t uxByteCount );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/ |
| D | FreeRTOS_UDP_IPv4_list_macros.h | 83 size_t uxByteCount );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket/ |
| D | ProcessIPPacket_harness.c | 41 size_t uxByteCount ) in usGenerateChecksum() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_Stream_Buffer.c | 265 size_t uxByteCount ) in uxStreamBufferAdd() argument
268 size_t uxCount = uxByteCount; in uxStreamBufferAdd()
|
| D | FreeRTOS_IP_Utils.c | 1212 size_t uxByteCount ) in usGenerateChecksum() argument
1223 size_t uxDataLengthBytes = uxByteCount; in usGenerateChecksum()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 2085 size_t uxByteCount = 10; in test_usGenerateChecksum_UnallignedAccess() local
2098 usResult = usGenerateChecksum( usSum, &pucNextData[ uxUnalligned ], uxByteCount ); in test_usGenerateChecksum_UnallignedAccess()
2112 size_t uxByteCount = 1; in test_usGenerateChecksum_OneByteToChecksum() local
2125 usResult = usGenerateChecksum( usSum, &pucNextData[ uxUnalligned ], uxByteCount ); in test_usGenerateChecksum_OneByteToChecksum()
2139 size_t uxByteCount = 0; in test_usGenerateChecksum_OneByteAllignedButZeroLength() local
2152 usResult = usGenerateChecksum( usSum, &pucNextData[ uxUnalligned ], uxByteCount ); in test_usGenerateChecksum_OneByteAllignedButZeroLength()
2166 size_t uxByteCount = 1; in test_usGenerateChecksum_TwoByteAlligned() local
2179 usResult = usGenerateChecksum( usSum, &pucNextData[ uxUnalligned ], uxByteCount ); in test_usGenerateChecksum_TwoByteAlligned()
2193 size_t uxByteCount = 2; in test_usGenerateChecksum_TwoByteAllignedTwoLength() local
2206 usResult = usGenerateChecksum( usSum, &pucNextData[ uxUnalligned ], uxByteCount ); in test_usGenerateChecksum_TwoByteAllignedTwoLength()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/ |
| D | vProcessGeneratedUDPPacket_harness.c | 26 size_t uxByteCount ) in usGenerateChecksum() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket_IPv6/ |
| D | vProcessGeneratedUDPPacket_IPv6_harness.c | 26 size_t uxByteCount ) in usGenerateChecksum() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/ |
| D | NetworkInterface.c | 128 size_t uxByteCount );
241 size_t uxByteCount ) in prvStreamBufferAdd() argument
244 size_t uxCount = uxByteCount; in prvStreamBufferAdd()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/linux/ |
| D | NetworkInterface.c | 100 size_t uxByteCount );
171 size_t uxByteCount ) in prvStreamBufferAdd() argument
174 size_t uxCount = uxByteCount; in prvStreamBufferAdd()
|
