Searched refs:ulByteCount (Results 1 – 5 of 5) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/lTCPAddRxdata/ |
| D | TCPAddRxdata_harness.c | 27 uint32_t ulByteCount );
42 uint32_t ulByteCount; in harness() local
51 pcData = safeMalloc( ulByteCount ); in harness()
53 lTCPAddRxdata( pxSocket, uxOffset, pcData, ulByteCount ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_privates_utest.c | 2851 uint32_t ulByteCount; in test_lTCPAddRxdata_StreamCannotBeAllocated() local
2867 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_StreamCannotBeAllocated()
2882 uint32_t ulByteCount = 120; in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded() local
2897 …erAdd_ExpectAndReturn( ( StreamBuffer_t * ) ucStream, uxOffset, pcData, ulByteCount, ulByteCount ); in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded()
2901 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded()
2903 TEST_ASSERT_EQUAL( ulByteCount, lReturn ); in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded()
2917 uint32_t ulByteCount = 120; in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesNotAdded() local
2932 …_ExpectAndReturn( ( StreamBuffer_t * ) ucStream, uxOffset, pcData, ulByteCount, ulByteCount - 10 ); in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesNotAdded()
2936 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesNotAdded()
2938 TEST_ASSERT_EQUAL( ulByteCount - 10, lReturn ); in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesNotAdded()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IP_Utils.c | 598 uint32_t ulByteCount = pxSet->usProtocolBytes; in prvChecksumProtocolCalculate() local
599 ulByteCount += 2U * ipSIZE_OF_IPv4_ADDRESS; in prvChecksumProtocolCalculate()
609 ulByteCount ) ); in prvChecksumProtocolCalculate()
|
| D | FreeRTOS_Sockets.c | 360 uint32_t ulByteCount );
5097 uint32_t ulByteCount ) in vTCPAddRxdata_Callback() argument
5111 ulCount = ulByteCount; in vTCPAddRxdata_Callback()
5191 uint32_t ulByteCount ) in lTCPAddRxdata() argument
5235 … xResult = ( int32_t ) uxStreamBufferAdd( pxStream, uxOffset, pcData, ( size_t ) ulByteCount ); in lTCPAddRxdata()
5239 if( xResult != ( int32_t ) ulByteCount ) in lTCPAddRxdata()
5244 ( unsigned int ) ulByteCount, in lTCPAddRxdata()
5259 vTCPAddRxdata_Callback( pxSocket, pucBuffer, ulByteCount ); in lTCPAddRxdata()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 800 uint32_t ulByteCount );
|
