Home
last modified time | relevance | path

Searched refs:lDataLength (Results 1 – 7 of 7) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/prvRecvFrom_CopyPacket/
DRecvFrom_CopyPacket_harness.c25 int32_t lDataLength );
33 int32_t lDataLength; in harness() local
35 __CPROVER_assume( lDataLength > 0 && lDataLength < ipconfigNETWORK_MTU ); in harness()
36 pucEthernetBuffer = safeMalloc( lDataLength ); in harness()
49 …ckets_c_prvRecvFrom_CopyPacket( pucEthernetBuffer, pvBuffer, uxBufferLength, xFlags, lDataLength ); in harness()
60 …kets_c_prvRecvFrom_CopyPacket( pucEthernetBuffer, &pvBuffer, uxBufferLength, xFlags, lDataLength ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Tiny_TCP/
DFreeRTOS_Tiny_TCP_utest.c133 xSegment.lDataLength = 4; in test_lTCPWindowTxAdd_length_gt_zero()
154 xSegment.lDataLength = 0; in test_lTCPWindowTxAdd_length_eq_zero()
178 xSegment.lDataLength = 0; in test_lTCPWindowTxAdd_length_eq_zero_with_logging()
205 xSegment.lDataLength = 0; in test_lTCPWindowTxAdd_length_gt_maxlen()
230 xSegment.lDataLength = 0; in test_lTCPWindowTxAdd_length_gt_maxlen_with_logging()
257 xSegment.lDataLength = 0; in test_ulTCPWindowTxGet_length_eq_zero()
274 xSegment.lDataLength = 3; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_false()
293 xSegment.lDataLength = 3; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_true()
318 xSegment.lDataLength = 3; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_true_timer_ne_expired()
338 xWindow.xTxSegment.lDataLength = 0; in test_xTCPWindowTxDone_seg_datalength_eq_zero()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_Tiny_TCP.c200 if( pxSegment->lDataLength > 0 ) in lTCPWindowTxAdd()
226 pxSegment->lDataLength = ( int32_t ) ulLength; in lTCPWindowTxAdd()
258 uint32_t ulLength = ( uint32_t ) pxSegment->lDataLength; in ulTCPWindowTxGet()
308 if( pxWindow->xTxSegment.lDataLength == 0 ) in xTCPWindowTxDone()
375 if( pxSegment->lDataLength == 0 ) in xTCPWindowTxHasData()
424 uint32_t ulDataLength = ( uint32_t ) pxSegment->lDataLength; in ulTCPWindowTxAck()
454 pxSegment->lDataLength = 0; in ulTCPWindowTxAck()
DFreeRTOS_TCP_WIN.c571 pxSegment->lDataLength = lCount; in xTCPWindowNew()
714 pxSegment->lDataLength = 0; in vTCPWindowFree()
972 …( ( pxBest->ulSequenceNumber != ulSequenceNumber ) || ( pxBest->lDataLength != ( int32_t ) ulLengt… in xTCPWindowRxConfirm()
980 ( int ) pxBest->lDataLength, in xTCPWindowRxConfirm()
981 …( unsigned ) ( pxBest->ulSequenceNumber + ( ( uint32_t ) pxBest->lDataLength ) - pxWindow->rx.ulFi… in xTCPWindowRxConfirm()
1034 ulCurrentSequenceNumber += ( uint32_t ) pxFound->lDataLength; in prvTCPWindowRx_ExpectedRX()
1101 ulLast += ( uint32_t ) pxFound->lDataLength; in prvTCPWindowRx_UnexpectedRX()
1371 …nt32_t lToWrite = FreeRTOS_min_int32( lBytesLeft, pxSegment->lMaxLength - pxSegment->lDataLength ); in prvTCPWindowTxAdd_FrontSegment()
1373 pxSegment->lDataLength += lToWrite; in prvTCPWindowTxAdd_FrontSegment()
1375 if( pxSegment->lDataLength >= pxSegment->lMaxLength ) in prvTCPWindowTxAdd_FrontSegment()
[all …]
DFreeRTOS_Sockets.c345 int32_t lDataLength );
1211 int32_t lDataLength ) in prvRecvFrom_CopyPacket() argument
1213 int32_t lReturn = lDataLength; in prvRecvFrom_CopyPacket()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_WIN/
DFreeRTOS_TCP_WIN_utest.c620 xSegment.lDataLength = ulLength; in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_6()
660 xSegment.lDataLength = ulLength + 6; in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_7()
701 xSegment.lDataLength = ulLength; in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_8()
745 xSegment.lDataLength = ( int32_t ) ulLength; in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_9()
749 xSegment2.lDataLength = 500; in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_9()
793 xSegment.lDataLength = ( int32_t ) ulLength; in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_10()
1098 xWindow.pxHeadSegment->lDataLength = xWindow.pxHeadSegment->lMaxLength - 3; in test_lTCPWindowTxAdd_true_outstanding_bits()
1122 xWindow.pxHeadSegment->lDataLength = 0; in test_lTCPWindowTxAdd_data_length_zero()
1147 xWindow.pxHeadSegment->lDataLength = 200; in test_lTCPWindowTxAdd_bytes_left_gt_zero()
1180 xWindow.pxHeadSegment->lDataLength = 200; in test_lTCPWindowTxAdd_len_gt_max_len()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_TCP_WIN.h54 int32_t lDataLength; /**< Actual number of bytes */ member