Home
last modified time | relevance | path

Searched refs:vSocketClose (Results 1 – 11 of 11) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DTCP_IP_list_macros.h75 void * vSocketClose( FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
DTCP_IP_DiffConfig_list_macros.h75 void * vSocketClose( FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketClose/
DvSocketClose_harness.c122 vSocketClose( pxSocket ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DHCP/DHCPProcess/
DREADME.md27 * vSocketClose
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_privates_utest.c824 pvReturn = vSocketClose( &xSocket ); in test_vSocketClose_UnknownProtocol_NotBound()
845 pvReturn = vSocketClose( &xSocket ); in test_vSocketClose_UnknownProtocol_NotBound_EventGroupNULL()
878 pvReturn = vSocketClose( &xSocket ); in test_vSocketClose_TCP_EverythingNonNULL()
911 pvReturn = vSocketClose( &xSocket ); in test_vSocketClose_TCP_LastAckMessageNonNULL()
944 pvReturn = vSocketClose( &xSocket ); in test_vSocketClose_TCP_AllFieldsNonNULL()
969 pvReturn = vSocketClose( &xSocket ); in test_vSocketClose_UDP_NoWaitingPackets()
1006 pvReturn = vSocketClose( &xSocket ); in test_vSocketClose_UDP_SomeWaitingPackets()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h792 void * vSocketClose( FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_IP.c126 ( void ) vSocketClose( xSocketToClose ); in vSocketCloseNextTime()
DFreeRTOS_DHCP.c599 ( void ) vSocketClose( xDHCPSocket ); in prvCloseDHCPSocket()
DFreeRTOS_TCP_State_Handling.c1124 ( void ) vSocketClose( pxNewSocket ); in prvTCPSocketCopy()
DFreeRTOS_IP.c378 ( void ) vSocketClose( ( ( FreeRTOS_Socket_t * ) xReceivedEvent.pvData ) ); in prvProcessIPEventsAndTimers()
DFreeRTOS_Sockets.c1539 void * vSocketClose( FreeRTOS_Socket_t * pxSocket ) in vSocketClose() function
1686 ( void ) vSocketClose( pxOtherSocket ); in prvTCPSetSocketCount()