Home
last modified time | relevance | path

Searched refs:vSocketWakeUpUser (Results 1 – 10 of 10) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
HDREADME.md15 * vSocketWakeUpUser
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/
HDREADME.md21 * vSocketWakeUpUser
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
HDTCP_IP_DiffConfig_list_macros.h80 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/
HDTCP_IP_list_macros.h80 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
HDvSocketWakeUpUser_harness.c171 vSocketWakeUpUser( pxSocket ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_TCP_IP.c551 vSocketWakeUpUser( xParent ); in vTCPStateChange()
HDFreeRTOS_IP.c375 vSocketWakeUpUser( pxSocket ); in prvProcessIPEventsAndTimers()
448 vSocketWakeUpUser( pxSocket ); in prvProcessIPEventsAndTimers()
HDFreeRTOS_Sockets.c3517 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket ) in vSocketWakeUpUser() function
4836 vSocketWakeUpUser( pxSocket ); in xTCPTimerCheck()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDFreeRTOS_IP_Private.h805 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
HDFreeRTOS_Sockets_privates_utest.c1937 vSocketWakeUpUser( &xSocket ); in test_vSocketWakeUpUser_AllNULL()
1962 vSocketWakeUpUser( &xSocket ); in test_vSocketWakeUpUser_AllNonNULL()
1993 vSocketWakeUpUser( &xSocket ); in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()