Searched refs:xTxSegments (Results 1 – 5 of 5) sorted by relevance
32 vListInitialise( &xWindow.xTxSegments ); in harness()54 __CPROVER_file_local_FreeRTOS_TCP_WIN_c_vListInsertGeneric( &xWindow.xTxSegments, in harness()55 … &( xTxSegmentListItem.xSegmentItem ), &xWindow.xTxSegments.xListEnd ); in harness()
66 vListInitialise( &pxSocket->u.xTCP.xTCPWindow.xTxSegments ); in harness()74 vListInsertEnd( &pxSocket->u.xTCP.xTCPWindow.xTxSegments, &segment->xQueueItem ); in harness()
1243 initializeList( &xWindow.xTxSegments ); in test_lTCPWindowTxAdd_lBytsLeft_gt_zero_data_length_gt_maxlen()1290 initializeList( &xWindow.xTxSegments ); in test_lTCPWindowTxAdd_lBytesLeft_gt_zero_data_length_lt_maxlen()1350 initializeList( &tcpWin.xTxSegments ); in test_xTCPWindowTxDone()2210 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xTxSegments.xListEnd ); in test_ulTCPWindowTxAck_curr_seq_lt_seq_no_list_items()2254 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xTxSegments.xListEnd ); in test_ulTCPWindowTxAck_curr_seq_lt_seq_3_continue_loop()2329 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xTxSegments.xListEnd ); in test_ulTCPWindowTxAck_curr_seq_lt_seq_5_acked_false()2356 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xTxSegments.xListEnd ); in test_ulTCPWindowTxAck_curr_seq_lt_seq_6_acked_false()2389 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xTxSegments.xListEnd ); in ignore_test_ulTCPWindowTxAck_curr_seq_lt_seq_7_acked_false()2430 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xTxSegments.xListEnd ); in test_ulTCPWindowTxSack()2475 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xTxSegments.xListEnd ); in test_ulTCPWindowTxSack_prvTCPWindowFastRetransmit_1()[all …]
131 …List_t xTxSegments; /**< A linked list of all trans… member
558 vListInsertFifo( &pxWindow->xTxSegments, pxItem ); in xTCPWindowNew()750 pxSegments = &( pxWindow->xTxSegments ); in vTCPWindowDestroy()792 vListInitialise( &( pxWindow->xTxSegments ) ); in vTCPWindowCreate()1501 return listLIST_IS_EMPTY( ( &pxWindow->xTxSegments ) ); in xTCPWindowTxDone()1948 … const ListItem_t * pxEnd = ( ( const ListItem_t * ) &( pxWindow->xTxSegments.xListEnd ) ); in prvTCPWindowTxCheckAck()
