Searched refs:pcData (Results 1 – 6 of 6) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/lTCPAddRxdata/ |
| D | TCPAddRxdata_harness.c | 26 const uint8_t * pcData,
41 const uint8_t * pcData; 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 | 2850 uint8_t pcData[ 20 ]; in test_lTCPAddRxdata_StreamCannotBeAllocated() local
2867 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_StreamCannotBeAllocated()
2881 uint8_t pcData[ 20 ]; in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded() local
2897 …uxStreamBufferAdd_ExpectAndReturn( ( StreamBuffer_t * ) ucStream, uxOffset, pcData, ulByteCount, u… in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded()
2901 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded()
2916 uint8_t pcData[ 20 ]; in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesNotAdded() local
2932 …uxStreamBufferAdd_ExpectAndReturn( ( StreamBuffer_t * ) ucStream, uxOffset, pcData, ulByteCount, u… in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesNotAdded()
2936 lReturn = lTCPAddRxdata( &xSocket, uxOffset, pcData, ulByteCount ); in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesNotAdded()
2951 uint8_t pcData[ 20 ]; in test_lTCPAddRxdata_FrontSpaceLessThanLowMark() local
2968 …uxStreamBufferAdd_ExpectAndReturn( ( StreamBuffer_t * ) ucStream, uxOffset, pcData, ulByteCount, u… in test_lTCPAddRxdata_FrontSpaceLessThanLowMark()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_UDP_IPv4.c | 400 … void * pcData = &( pxNetworkBuffer->pucEthernetBuffer[ ipUDP_PAYLOAD_OFFSET_IPv4 ] ); in xProcessReceivedUDPPacket_IPv4() local
414 ( void * ) pcData, in xProcessReceivedUDPPacket_IPv4()
|
| D | FreeRTOS_UDP_IPv6.c | 490 …void * pcData = &( pxNetworkBuffer->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPLength + ipSIZE_… in xProcessReceivedUDPPacket_IPv6() local
505 ( void * ) pcData, in xProcessReceivedUDPPacket_IPv6()
|
| D | FreeRTOS_Sockets.c | 359 const uint8_t * pcData,
5096 const uint8_t * pcData, in vTCPAddRxdata_Callback() argument
5099 const uint8_t * pucBuffer = pcData; in vTCPAddRxdata_Callback()
5190 const uint8_t * pcData, in lTCPAddRxdata() argument
5220 …ALSE ) && ( uxStreamBufferGetSize( pxStream ) == 0U ) && ( uxOffset == 0U ) && ( pcData != NULL ) ) in lTCPAddRxdata()
5226 pucBuffer = pcData; in lTCPAddRxdata()
5230 pcData = NULL; in lTCPAddRxdata()
5235 … xResult = ( int32_t ) uxStreamBufferAdd( pxStream, uxOffset, pcData, ( size_t ) ulByteCount ); in lTCPAddRxdata()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 799 const uint8_t * pcData,
|
