Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsInner/
DCheckOptionsInner_harness.c62 listSET_LIST_ITEM_OWNER( &segment->xQueueItem, ( void * ) segment ); in harness()
63 vListInsertEnd( &pxSocket->u.xTCP.xTCPWindow.xWaitQueue, &segment->xQueueItem ); in harness()
73 listSET_LIST_ITEM_OWNER( &segment->xQueueItem, ( void * ) segment ); in harness()
74 vListInsertEnd( &pxSocket->u.xTCP.xTCPWindow.xTxSegments, &segment->xQueueItem ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCPWin/vTCPWindowDestroy/
DvTCPWindowDestroy_harness.c40 xRxSegmentListItem.xQueueItem.pxContainer = NULL; in harness()
52 xTxSegmentListItem.xQueueItem.pxContainer = NULL; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_WIN/
DFreeRTOS_TCP_WIN_utest.c215 xSegment.xQueueItem.pxContainer = NULL; in test_vTCPWindowDestroy_list_no_queue_container()
1591 mockSegment2.xQueueItem.pxContainer = NULL; in test_ulTCPWindowTxGet_config_assert()
1593 mockSegment2.xQueueItem.pxContainer = &xWindow.xPriorityQueue; in test_ulTCPWindowTxGet_config_assert()
1838 mockSegment2.xQueueItem.pxContainer = NULL; in test_ulTCPWindowTxGet_empty_wait_queue_5()
1897 mockSegment2.xQueueItem.pxContainer = NULL; in test_ulTCPWindowTxGet_empty_wait_queue_6()
1951 initializeListItem( &mockSegment.xQueueItem ); in ignore_test_ulTCPWindowTxGet_segment_not_null()
1952 initializeListItem( &mockSegment2.xQueueItem ); in ignore_test_ulTCPWindowTxGet_segment_not_null()
1954 mockSegment.xQueueItem.pvContainer = NULL; in ignore_test_ulTCPWindowTxGet_segment_not_null()
1960 mockSegment2.xQueueItem = mockListItem; in ignore_test_ulTCPWindowTxGet_segment_not_null()
1961 mockSegment2.xQueueItem.pvContainer = NULL; in ignore_test_ulTCPWindowTxGet_segment_not_null()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_WIN.c451 vListInitialiseItem( &( xTCPSegments[ xIndex ].xQueueItem ) ); in prvCreateSectors()
456 …listSET_LIST_ITEM_OWNER( &( xTCPSegments[ xIndex ].xQueueItem ), ( void * ) &( xTCPSegments[ xInde… in prvCreateSectors()
708 if( listLIST_ITEM_CONTAINER( &( pxSegment->xQueueItem ) ) != NULL ) in vTCPWindowFree()
710 ( void ) uxListRemove( &( pxSegment->xQueueItem ) ); in vTCPWindowFree()
1463 vListInsertFifo( &( pxWindow->xTxQueue ), &( pxSegment->xQueueItem ) ); in lTCPWindowTxAdd()
1847 configASSERT( listLIST_ITEM_CONTAINER( &( pxSegment->xQueueItem ) ) == NULL ); in ulTCPWindowTxGet()
1851 vListInsertFifo( &pxWindow->xWaitQueue, &pxSegment->xQueueItem ); in ulTCPWindowTxGet()
2069 …if( ( xDoUnlink != pdFALSE ) && ( listLIST_ITEM_CONTAINER( &( pxSegment->xQueueItem ) ) != NULL ) ) in prvTCPWindowTxCheckAck()
2072 ( void ) uxListRemove( &pxSegment->xQueueItem ); in prvTCPWindowTxCheckAck()
2144 ( void ) uxListRemove( &pxSegment->xQueueItem ); in prvTCPWindowFastRetransmit()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_TCP_WIN.h71 …struct xLIST_ITEM xQueueItem; /**< TX only: segments can be linked in one of three queues: xPrio… member