Home
last modified time | relevance | path

Searched refs:xSegmentList (Results 1 – 4 of 4) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCPWin/vTCPWindowDestroy/
DvTCPWindowDestroy_harness.c20 extern List_t xSegmentList;
28 vListInitialise( &xSegmentList ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsInner/
DCheckOptionsInner_harness.c79 extern List_t xSegmentList; in harness()
81 vListInitialise( &xSegmentList ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_WIN.c218 _static List_t xSegmentList; variable
428 vListInitialise( &xSegmentList ); in prvCreateSectors()
459 vListInsertFifo( &xSegmentList, &( xTCPSegments[ xIndex ].xSegmentItem ) ); in prvCreateSectors()
535 if( listLIST_IS_EMPTY( &xSegmentList ) != pdFALSE ) in xTCPWindowNew()
546 pxItem = ( ListItem_t * ) listGET_HEAD_ENTRY( &xSegmentList ); in xTCPWindowNew()
576 UBaseType_t xLength = listCURRENT_LIST_LENGTH( &xSegmentList ); in xTCPWindowNew()
724 vListInsertFifo( &xSegmentList, &( pxSegment->xSegmentItem ) ); in vTCPWindowFree()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_WIN/
DFreeRTOS_TCP_WIN_utest.c56 extern List_t xSegmentList;
64 initializeList( &xSegmentList ); in setUp()