Home
last modified time | relevance | path

Searched refs:ulTCPWindowTxGet (Results 1 – 7 of 7) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
HDREADME.md8 * ulTCPWindowTxGet
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Tiny_TCP/
HDFreeRTOS_Tiny_TCP_utest.c260 ulLength = ulTCPWindowTxGet( &xWindow, in test_ulTCPWindowTxGet_length_eq_zero()
279 ulLength = ulTCPWindowTxGet( &xWindow, in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_false()
304 ulLength = ulTCPWindowTxGet( &xWindow, in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_true()
327 ulLength = ulTCPWindowTxGet( &xWindow, in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_true_timer_ne_expired()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_WIN/
HDFreeRTOS_TCP_WIN_utest.c1625 catch_assert( ulTCPWindowTxGet( &xWindow, in test_ulTCPWindowTxGet_config_assert()
1649 ulReturn = ulTCPWindowTxGet( &xWindow, in test_ulTCPWindowTxGet_empty_segment_list()
1689 ulReturn = ulTCPWindowTxGet( &xWindow, in test_ulTCPWindowTxGet_empty_wait_queue()
1733 ulReturn = ulTCPWindowTxGet( &xWindow, in test_ulTCPWindowTxGet_empty_wait_queue_2()
1777 ulReturn = ulTCPWindowTxGet( &xWindow, in test_ulTCPWindowTxGet_empty_wait_queue_3()
1812 ulReturn = ulTCPWindowTxGet( &xWindow, in test_ulTCPWindowTxGet_empty_wait_queue_4()
1872 ulReturn = ulTCPWindowTxGet( &xWindow, in test_ulTCPWindowTxGet_empty_wait_queue_5()
1931 ulReturn = ulTCPWindowTxGet( &xWindow, in test_ulTCPWindowTxGet_empty_wait_queue_6()
1984 ulReturn = ulTCPWindowTxGet( &xWindow, in ignore_test_ulTCPWindowTxGet_segment_not_null()
2023 ulReturn = ulTCPWindowTxGet( &xWindow, in test_ulTCPWindowTxGet_segment_null()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDFreeRTOS_TCP_WIN.h213 uint32_t ulTCPWindowTxGet( TCPWindow_t * pxWindow,
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_Tiny_TCP.c253 uint32_t ulTCPWindowTxGet( TCPWindow_t * pxWindow, in ulTCPWindowTxGet() function
HDFreeRTOS_TCP_Transmission.c851 …lDataLen = ( int32_t ) ulTCPWindowTxGet( pxTCPWindow, pxSocket->u.xTCP.ulWindowSize, &lStreamPos ); in prvTCPPrepareSend()
HDFreeRTOS_TCP_WIN.c1800 uint32_t ulTCPWindowTxGet( TCPWindow_t * pxWindow, in ulTCPWindowTxGet() function