Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCPWin/vTCPWindowDestroy/
DvTCPWindowDestroy_harness.c20 extern List_t xSegmentList;
28 vListInitialise( &xSegmentList ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptionsInner/
DCheckOptionsInner_harness.c79 extern List_t xSegmentList; in harness()
81 vListInitialise( &xSegmentList ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_WIN.c216 _static List_t xSegmentList; variable
424 vListInitialise( &xSegmentList ); in prvCreateSectors()
455 vListInsertFifo( &xSegmentList, &( xTCPSegments[ xIndex ].xSegmentItem ) ); in prvCreateSectors()
531 if( listLIST_IS_EMPTY( &xSegmentList ) != pdFALSE ) in xTCPWindowNew()
542 pxItem = ( ListItem_t * ) listGET_HEAD_ENTRY( &xSegmentList ); in xTCPWindowNew()
572 UBaseType_t xLength = listCURRENT_LIST_LENGTH( &xSegmentList ); in xTCPWindowNew()
720 vListInsertFifo( &xSegmentList, &( pxSegment->xSegmentItem ) ); in vTCPWindowFree()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_WIN/
DFreeRTOS_TCP_WIN_utest.c56 extern List_t xSegmentList;
64 initializeList( &xSegmentList ); in setUp()