Searched refs:lTCPAddRxdata (Results 1 – 6 of 6) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/ |
| D | README.md | 11 * lTCPAddRxdata
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/lTCPAddRxdata/ |
| D | TCPAddRxdata_harness.c | 53 lTCPAddRxdata( pxSocket, uxOffset, pcData, ulByteCount ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_TCP_Reception.c | 613 lStored = lTCPAddRxdata( pxSocket, ( uint32_t ) lOffset, pucRxBuffer, ulRxLength ); in prvStoreRxData()
636 ( void ) lTCPAddRxdata( pxSocket, 0U, NULL, pxTCPWindow->ulUserDataLength ); in prvStoreRxData()
|
| D | FreeRTOS_Sockets.c | 5188 int32_t lTCPAddRxdata( FreeRTOS_Socket_t * pxSocket, in lTCPAddRxdata() function
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_privates_utest.c | 2867 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_StreamCannotBeAllocated()
2901 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded()
2936 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesNotAdded()
2974 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_FrontSpaceLessThanLowMark()
3009 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_LowWaterTrue()
3052 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_HasValidHandler()
3096 lReturn = lTCPAddRxdata( &xSocket, uxOffset, NULL, ulByteCount ); in test_lTCPAddRxdata_HasValidHandler_DataNULL()
3139 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_HasValidHandler_NonZeroOffset()
3184 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_HasValidHandlerWithNonZeroSize()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 797 int32_t lTCPAddRxdata( FreeRTOS_Socket_t * pxSocket,
|
