Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsInner/
DCheckOptionsInner_harness.c77 vListInitialise( &pxSocket->u.xTCP.xTCPWindow.xPriorityQueue ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_WIN/
DFreeRTOS_TCP_WIN_utest.c1593 mockSegment2.xQueueItem.pxContainer = &xWindow.xPriorityQueue; in test_ulTCPWindowTxGet_config_assert()
2382 mockListItem.pxContainer = &xWindow.xPriorityQueue; in ignore_test_ulTCPWindowTxAck_curr_seq_lt_seq_7_acked_false()
2384 mockSegment.xQueueItem.pxContainer = &xWindow.xPriorityQueue; in ignore_test_ulTCPWindowTxAck_curr_seq_lt_seq_7_acked_false()
2423 mockListItem.pxContainer = &xWindow.xPriorityQueue; in test_ulTCPWindowTxSack()
2425 mockSegment.xQueueItem.pxContainer = &xWindow.xPriorityQueue; in test_ulTCPWindowTxSack()
2467 mockListItem.pxContainer = &xWindow.xPriorityQueue; in test_ulTCPWindowTxSack_prvTCPWindowFastRetransmit_1()
2512 mockListItem.pxContainer = &xWindow.xPriorityQueue; in test_ulTCPWindowTxSack_prvTCPWindowFastRetransmit_2()
2551 mockListItem.pxContainer = &xWindow.xPriorityQueue; in test_ulTCPWindowTxSack_prvTCPWindowFastRetransmit_3()
2584 initializeList( &xWindow.xPriorityQueue ); in test_ulTCPWindowTxSack_prvTCPWindowFastRetransmit_LoggingGTZero()
2593 mockListItem.pxContainer = &xWindow.xPriorityQueue; in test_ulTCPWindowTxSack_prvTCPWindowFastRetransmit_LoggingGTZero()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_TCP_WIN.h126 …List_t xPriorityQueue; /**< Priority queue: segments w… member
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_WIN.c799 …vListInitialise( &( pxWindow->xPriorityQueue ) ); /* Priority queue: segments which must be sent i… in vTCPWindowCreate()
1601 if( listLIST_IS_EMPTY( &pxWindow->xPriorityQueue ) == pdFALSE ) in xTCPWindowTxHasData()
1811 pxSegment = xTCPWindowGetHead( &( pxWindow->xPriorityQueue ) ); in ulTCPWindowTxGet()
2148 … vListInsertFifo( &( pxWindow->xPriorityQueue ), &( pxSegment->xQueueItem ) ); in prvTCPWindowFastRetransmit()