Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
DREADME.md15 * vSocketWakeUpUser
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DREADME.md21 * vSocketWakeUpUser
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DTCP_IP_list_macros.h80 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
DTCP_IP_DiffConfig_list_macros.h80 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c166 vSocketWakeUpUser( pxSocket ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h772 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_IP.c369 vSocketWakeUpUser( pxSocket ); in prvProcessIPEventsAndTimers()
460 vSocketWakeUpUser( pxSocket ); in prvProcessIPEventsAndTimers()
DFreeRTOS_TCP_IP.c521 vSocketWakeUpUser( xParent ); in vTCPStateChange()
DFreeRTOS_Sockets.c2861 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket ) in vSocketWakeUpUser() function
4045 vSocketWakeUpUser( pxSocket ); in xTCPTimerCheck()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_privates_utest.c1855 vSocketWakeUpUser( &xSocket ); in test_vSocketWakeUpUser_AllNULL()
1880 vSocketWakeUpUser( &xSocket ); in test_vSocketWakeUpUser_AllNonNULL()
1911 vSocketWakeUpUser( &xSocket ); in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()