Searched refs:xByteCount (Results 1 – 8 of 8) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvSendData/ |
| D | SendData_harness.c | 60 BaseType_t xByteCount; in harness() local
83 prvSendData( pxSocket, &pxNetworkBuffer, ulReceiveLength, xByteCount ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_Sockets.c | 4076 BaseType_t xByteCount; in prvRecvData() local
4082 xByteCount = ( BaseType_t ) in prvRecvData()
4107 …xByteCount = ( BaseType_t ) uxStreamBufferGetPtr( pxSocket->u.xTCP.rxStream, ( uint8_t ** ) pvBuff… in prvRecvData()
4110 return xByteCount; in prvRecvData()
4131 BaseType_t xByteCount = 0; in prvRecvWait() local
4139 xByteCount = ( BaseType_t ) uxStreamBufferGetSize( pxSocket->u.xTCP.rxStream ); in prvRecvWait()
4142 while( xByteCount == 0 ) in prvRecvWait()
4151 xByteCount = -pdFREERTOS_ERRNO_ENOTCONN; in prvRecvWait()
4157 xByteCount = -pdFREERTOS_ERRNO_ENOMEM; in prvRecvWait()
4217 xByteCount = ( BaseType_t ) uxStreamBufferGetSize( pxSocket->u.xTCP.rxStream ); in prvRecvWait()
[all …]
|
| D | FreeRTOS_IP.c | 1219 BaseType_t xByteCount ) in FreeRTOS_ReleaseTCPPayloadBuffer() argument
1230 configASSERT( uxBytesAvailable >= ( size_t ) xByteCount ); in FreeRTOS_ReleaseTCPPayloadBuffer()
1232 if( ( pucData == pvBuffer ) && ( uxBytesAvailable >= ( size_t ) xByteCount ) ) in FreeRTOS_ReleaseTCPPayloadBuffer()
1237 ( size_t ) xByteCount, in FreeRTOS_ReleaseTCPPayloadBuffer()
1240 configASSERT( xByteCountReleased == xByteCount ); in FreeRTOS_ReleaseTCPPayloadBuffer()
1242 if( xByteCountReleased == xByteCount ) in FreeRTOS_ReleaseTCPPayloadBuffer()
|
| D | FreeRTOS_TCP_Transmission.c | 1158 BaseType_t xByteCount ) in prvSendData() argument
1171 BaseType_t xSendLength = xByteCount; in prvSendData()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_TCP_Transmission.h | 145 BaseType_t xByteCount );
|
| D | FreeRTOS_Sockets.h | 335 BaseType_t xByteCount );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | FreeRTOS_IP_DiffConfig_utest.c | 255 BaseType_t xByteCount = 100, xReturn; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert() local
261 xReturn = FreeRTOS_ReleaseTCPPayloadBuffer( &xSocket, ReleaseTCPPayloadBuffer, xByteCount ); in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 401 BaseType_t xByteCount = 100; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert() local
407 … catch_assert( FreeRTOS_ReleaseTCPPayloadBuffer( &xSocket, ReleaseTCPPayloadBuffer, xByteCount ) ); in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert()
|
