Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsInner/
DCheckOptionsInner_harness.c56 vListInitialise( &pxSocket->u.xTCP.xTCPWindow.xWaitQueue ); in harness()
63 vListInsertEnd( &pxSocket->u.xTCP.xTCPWindow.xWaitQueue, &segment->xQueueItem ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_WIN/
DFreeRTOS_TCP_WIN_utest.c1595 initializeList( &xWindow.xWaitQueue ); in test_ulTCPWindowTxGet_config_assert()
1841 initializeList( &xWindow.xWaitQueue ); in test_ulTCPWindowTxGet_empty_wait_queue_5()
1900 initializeList( &xWindow.xWaitQueue ); in test_ulTCPWindowTxGet_empty_wait_queue_6()
1948 initializeList( &xWindow.xWaitQueue ); in ignore_test_ulTCPWindowTxGet_segment_not_null()
2043 initializeList( &xWindow.xWaitQueue ); in test_ulTCPWindowTxGet_segment_not_null_2()
2113 initializeList( &xWindow.xWaitQueue ); in test_ulTCPWindowTxGet_segment_not_null_3()
2168 initializeList( &xWindow.xWaitQueue ); in test_ulTCPWindowTxGet_segment_not_null_4()
2439 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xWaitQueue.xListEnd ); in test_ulTCPWindowTxSack()
2486 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xWaitQueue.xListEnd ); in test_ulTCPWindowTxSack_prvTCPWindowFastRetransmit_1()
2524 listGET_NEXT_ExpectAnyArgsAndReturn( ( ListItem_t * ) &xWindow.xWaitQueue.xListEnd ); in test_ulTCPWindowTxSack_prvTCPWindowFastRetransmit_2()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_TCP_WIN.h128 …List_t xWaitQueue; /**< Waiting queue: outstandin… member
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_WIN.c801 … vListInitialise( &( pxWindow->xWaitQueue ) ); /* Waiting queue: outstanding segments */ in vTCPWindowCreate()
1610 pxSegment = xTCPWindowPeekHead( &( pxWindow->xWaitQueue ) ); in xTCPWindowTxHasData()
1680 TCPSegment_t * pxSegment = xTCPWindowPeekHead( &( pxWindow->xWaitQueue ) ); in pxTCPWindowTx_GetWaitQueue()
1694 pxSegment = xTCPWindowGetHead( &( pxWindow->xWaitQueue ) ); in pxTCPWindowTx_GetWaitQueue()
1851 vListInsertFifo( &pxWindow->xWaitQueue, &pxSegment->xQueueItem ); in ulTCPWindowTxGet()
2107 pxEnd = ( ( const ListItem_t * ) &( pxWindow->xWaitQueue.xListEnd ) ); in prvTCPWindowFastRetransmit()