Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
HDTCP_IP_DiffConfig_list_macros.h75 void * vSocketClose( FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/
HDTCP_IP_list_macros.h75 void * vSocketClose( FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/
HDvSocketClose_harness.c122 vSocketClose( pxSocket ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/
HDREADME.md27 * vSocketClose
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
HDFreeRTOS_Sockets_privates_utest.c906 pvReturn = vSocketClose( &xSocket ); in test_vSocketClose_UnknownProtocol_NotBound()
927 pvReturn = vSocketClose( &xSocket ); in test_vSocketClose_UnknownProtocol_NotBound_EventGroupNULL()
960 pvReturn = vSocketClose( &xSocket ); in test_vSocketClose_TCP_EverythingNonNULL()
993 pvReturn = vSocketClose( &xSocket ); in test_vSocketClose_TCP_LastAckMessageNonNULL()
1026 pvReturn = vSocketClose( &xSocket ); in test_vSocketClose_TCP_AllFieldsNonNULL()
1051 pvReturn = vSocketClose( &xSocket ); in test_vSocketClose_UDP_NoWaitingPackets()
1088 pvReturn = vSocketClose( &xSocket ); in test_vSocketClose_UDP_SomeWaitingPackets()
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_TCP_IP.c111 ( void ) vSocketClose( xSocketToClose ); in vSocketCloseNextTime()
HDFreeRTOS_TCP_State_Handling.c1035 ( void ) vSocketClose( pxNewSocket ); in prvTCPSocketCopy()
HDFreeRTOS_DHCP.c847 ( void ) vSocketClose( xDHCPv4Socket ); in prvCloseDHCPSocket()
HDFreeRTOS_DHCPv6.c840 ( void ) vSocketClose( xDHCPv6Socket ); in prvCloseDHCPv6Socket()
HDFreeRTOS_IP.c384 ( void ) vSocketClose( ( ( FreeRTOS_Socket_t * ) xReceivedEvent.pvData ) ); in prvProcessIPEventsAndTimers()
HDFreeRTOS_Sockets.c2072 void * vSocketClose( FreeRTOS_Socket_t * pxSocket ) in vSocketClose() function
2298 ( void ) vSocketClose( pxOtherSocket ); in prvTCPSetSocketCount()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDFreeRTOS_IP_Private.h825 void * vSocketClose( FreeRTOS_Socket_t * pxSocket );