Home
last modified time | relevance | path

Searched refs:xSegmentItem (Results 1 – 5 of 5) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCPWin/vTCPWindowDestroy/
HDvTCPWindowDestroy_harness.c37 xRxSegmentListItem.xSegmentItem.pvOwner = &( xRxSegmentListItem ); in harness()
43 … &( xRxSegmentListItem.xSegmentItem ), &xWindow.xRxSegments.xListEnd ); in harness()
49 xTxSegmentListItem.xSegmentItem.pvOwner = &( xTxSegmentListItem ); in harness()
55 … &( xTxSegmentListItem.xSegmentItem ), &xWindow.xTxSegments.xListEnd ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsInner/
HDCheckOptionsInner_harness.c72 vListInitialiseItem( &segment->xSegmentItem ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDFreeRTOS_TCP_WIN.h72 …struct xLIST_ITEM xSegmentItem; /**< With this item the segment can be connected to a list, depend… member
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_TCP_WIN.c450 vListInitialiseItem( &( xTCPSegments[ xIndex ].xSegmentItem ) ); in prvCreateSectors()
455 …listSET_LIST_ITEM_OWNER( &( xTCPSegments[ xIndex ].xSegmentItem ), ( void * ) &( xTCPSegments[ xIn… in prvCreateSectors()
459 vListInsertFifo( &xSegmentList, &( xTCPSegments[ xIndex ].xSegmentItem ) ); in prvCreateSectors()
718 if( listLIST_ITEM_CONTAINER( &( pxSegment->xSegmentItem ) ) != NULL ) in vTCPWindowFree()
720 ( void ) uxListRemove( &( pxSegment->xSegmentItem ) ); in vTCPWindowFree()
724 vListInsertFifo( &xSegmentList, &( pxSegment->xSegmentItem ) ); in vTCPWindowFree()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_WIN/
HDFreeRTOS_TCP_WIN_utest.c231 xSegment.xSegmentItem.pxContainer = NULL; in test_vTCPWindowDestroy_list_no_segment_container()