Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DREADME.md16 * xTCPWindowRxEmpty
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_TCP_WIN.h187 BaseType_t xTCPWindowRxEmpty( const TCPWindow_t * pxWindow );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Tiny_TCP/
DFreeRTOS_Tiny_TCP_utest.c536 xReturn = xTCPWindowRxEmpty( &xWindow ); in test_xTCPWindowRxEmpty_not_empty()
549 xReturn = xTCPWindowRxEmpty( &xWindow ); in test_xTCPWindowRxEmpty_Empty()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_Tiny_TCP.c473 BaseType_t xTCPWindowRxEmpty( const TCPWindow_t * pxWindow ) in xTCPWindowRxEmpty() function
DFreeRTOS_TCP_State_Handling.c592 bRxComplete = xTCPWindowRxEmpty( pxTCPWindow ); in prvHandleEstablished()
DFreeRTOS_TCP_WIN.c600 BaseType_t xTCPWindowRxEmpty( const TCPWindow_t * pxWindow ) in xTCPWindowRxEmpty() function
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_WIN/
DFreeRTOS_TCP_WIN_utest.c137 xRet = xTCPWindowRxEmpty( &xWindow ); in test_xTCPWindowRxEmpty_empty_list()
152 xRet = xTCPWindowRxEmpty( &xWindow ); in test_xTCPWindowRxEmpty_greater_sequence()
167 xRet = xTCPWindowRxEmpty( &xWindow ); in test_xTCPWindowRxEmpty_smaller_sequence()