Home
last modified time | relevance | path

Searched refs:TCPSegment_t (Results 1 – 8 of 8) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_WIN.c119 static TCPSegment_t * xTCPWindowRxFind( const TCPWindow_t * pxWindow,
129 static TCPSegment_t * xTCPWindowNew( TCPWindow_t * pxWindow,
139 static TCPSegment_t * xTCPWindowGetHead( const List_t * pxList );
146 static TCPSegment_t * xTCPWindowPeekHead( const List_t * pxList );
154 static void vTCPWindowFree( TCPSegment_t * pxSegment );
166 static TCPSegment_t * xTCPWindowRxConfirm( const TCPWindow_t * pxWindow,
213 static TCPSegment_t * xTCPSegments = NULL;
429 …xTCPSegments = ( ( TCPSegment_t * ) pvPortMallocLarge( ( size_t ) ipconfigTCP_WIN_SEG_COUNT * size… in prvCreateSectors()
480 static TCPSegment_t * xTCPWindowRxFind( const TCPWindow_t * pxWindow, in xTCPWindowRxFind()
485 TCPSegment_t * pxSegment, * pxReturn = NULL; in xTCPWindowRxFind()
[all …]
DFreeRTOS_Tiny_TCP.c190 TCPSegment_t * pxSegment = &( pxWindow->xTxSegment ); in lTCPWindowTxAdd()
257 TCPSegment_t * pxSegment = &( pxWindow->xTxSegment ); in ulTCPWindowTxGet()
368 TCPSegment_t const * pxSegment = &( pxWindow->xTxSegment ); in xTCPWindowTxHasData()
423 TCPSegment_t * pxSegment = &( pxWindow->xTxSegment ); in ulTCPWindowTxAck()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_WIN/
DFreeRTOS_TCP_WIN_utest.c55 extern TCPSegment_t * xTCPSegments;
213 TCPSegment_t xSegment = { 0 }; in test_vTCPWindowDestroy_list_no_queue_container()
229 TCPSegment_t xSegment = { 0 }; in test_vTCPWindowDestroy_list_no_segment_container()
316 xTCPSegments = ( TCPSegment_t * ) 32; in test_vTCPWindowCreate_null_tcpSegment()
392 xTCPSegments = ( TCPSegment_t * ) malloc( 123 ); in test_vTCPSegmentCleanup_segment_not_null()
462 TCPSegment_t xSegment = { 0 }; in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_2()
499 TCPSegment_t xSegment = { 0 }; in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_3()
539 TCPSegment_t xSegment = { 0 }; in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_4()
578 TCPSegment_t xSegment = { 0 }; in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_5()
614 TCPSegment_t xSegment = { 0 }; in test_lTCPWindowRxCheck_sequence_nums_equal_prvTCPWindowRX_ExpectedRX_6()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsInner/
DCheckOptionsInner_harness.c60 TCPSegment_t * segment = malloc( sizeof( TCPSegment_t ) ); in harness()
70 TCPSegment_t * segment = malloc( sizeof( TCPSegment_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Tiny_TCP/
DFreeRTOS_Tiny_TCP_utest.c128 TCPSegment_t xSegment = { 0 }; in test_lTCPWindowTxAdd_length_gt_zero()
149 TCPSegment_t xSegment = { 0 }; in test_lTCPWindowTxAdd_length_eq_zero()
172 TCPSegment_t xSegment = { 0 }; in test_lTCPWindowTxAdd_length_eq_zero_with_logging()
200 TCPSegment_t xSegment = { 0 }; in test_lTCPWindowTxAdd_length_gt_maxlen()
224 TCPSegment_t xSegment = { 0 }; in test_lTCPWindowTxAdd_length_gt_maxlen_with_logging()
253 TCPSegment_t xSegment = { 0 }; in test_ulTCPWindowTxGet_length_eq_zero()
270 TCPSegment_t xSegment = { 0 }; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_false()
289 TCPSegment_t xSegment = { 0 }; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_true()
314 TCPSegment_t xSegment = { 0 }; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_true_timer_ne_expired()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCPWin/vTCPWindowDestroy/
DvTCPWindowDestroy_harness.c11 TCPSegment_t xRxSegmentListItem;
12 TCPSegment_t xTxSegmentListItem;
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_TCP_WIN.h74 } TCPSegment_t; typedef
129TCPSegment_t * pxHeadSegment; /**< points to a segment which …
135 TCPSegment_t xTxSegment; /**< Priority queue */
/FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/
Dtcp_mem_stats.c271 … ipconfigTCP_WIN_SEG_COUNT, sizeof( TCPSegment_t ), xCurrentLine, xCurrentLine ) ); in vWriteHeader()