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/
DREADME.md15 * vSocketWakeUpUser
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DREADME.md21 * vSocketWakeUpUser
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/
DTCP_IP_list_macros.h80 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
DTCP_IP_DiffConfig_list_macros.h80 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c171 vSocketWakeUpUser( pxSocket ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_IP.c551 vSocketWakeUpUser( xParent ); in vTCPStateChange()
DFreeRTOS_IP.c375 vSocketWakeUpUser( pxSocket ); in prvProcessIPEventsAndTimers()
448 vSocketWakeUpUser( pxSocket ); in prvProcessIPEventsAndTimers()
DFreeRTOS_Sockets.c3517 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket ) in vSocketWakeUpUser() function
4836 vSocketWakeUpUser( pxSocket ); in xTCPTimerCheck()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP_Private.h805 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_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()