Home
last modified time | relevance | path

Searched refs:FreeRTOS_Socket_t (Results 1 – 25 of 99) sorted by relevance

1234

/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_TCP_Transmission.h40 int32_t prvTCPSendPacket( FreeRTOS_Socket_t * pxSocket );
45 int32_t prvTCPSendRepeated( FreeRTOS_Socket_t * pxSocket,
51 void prvTCPReturnPacket( FreeRTOS_Socket_t * pxSocket,
60 void prvTCPReturn_CheckTCPWindow( FreeRTOS_Socket_t * pxSocket,
68 void prvTCPReturn_SetSequenceNumber( FreeRTOS_Socket_t * pxSocket,
76 void prvTCPReturnPacket_IPV4( FreeRTOS_Socket_t * pxSocket,
84 void prvTCPReturnPacket_IPV6( FreeRTOS_Socket_t * pxSocket,
89 void prvTCPReturn_SetEndPoint( const FreeRTOS_Socket_t * pxSocket,
97 BaseType_t prvTCPPrepareConnect_IPV4( FreeRTOS_Socket_t * pxSocket );
103 BaseType_t prvTCPPrepareConnect_IPV6( FreeRTOS_Socket_t * pxSocket );
[all …]
DFreeRTOS_TCP_State_Handling.h51 BaseType_t prvTCPStatusAgeCheck( FreeRTOS_Socket_t * pxSocket );
58 BaseType_t prvTCPHandleState( FreeRTOS_Socket_t * pxSocket,
65 FreeRTOS_Socket_t * prvHandleListen( FreeRTOS_Socket_t * pxSocket,
72 FreeRTOS_Socket_t * prvHandleListen_IPV4( FreeRTOS_Socket_t * pxSocket,
79 FreeRTOS_Socket_t * prvHandleListen_IPV6( FreeRTOS_Socket_t * pxSocket,
107 BaseType_t prvTCPSocketCopy( FreeRTOS_Socket_t * pxNewSocket,
108 FreeRTOS_Socket_t * pxSocket );
DFreeRTOS_TCP_Utils.h48 void prvSocketSetMSS( FreeRTOS_Socket_t * pxSocket );
53 void prvSocketSetMSS_IPV4( FreeRTOS_Socket_t * pxSocket );
58 void prvSocketSetMSS_IPV6( FreeRTOS_Socket_t * pxSocket );
DFreeRTOS_IP_Private.h105 typedef struct xSOCKET FreeRTOS_Socket_t; typedef
737 void vSocketCloseNextTime( FreeRTOS_Socket_t * pxSocket );
742 void vSocketListenNextTime( FreeRTOS_Socket_t * pxSocket );
748 FreeRTOS_Socket_t * pxTCPSocketLookup( uint32_t ulLocalIP,
759 FreeRTOS_Socket_t * pxUDPSocketLookup( UBaseType_t uxLocalPort );
785 BaseType_t vSocketBind( FreeRTOS_Socket_t * pxSocket,
797 int32_t lTCPAddRxdata( FreeRTOS_Socket_t * pxSocket,
805 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket );
818 BaseType_t xTCPSocketCheck( FreeRTOS_Socket_t * pxSocket );
820 BaseType_t xTCPCheckNewClient( FreeRTOS_Socket_t * pxSocket );
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv4/
DFreeRTOS_TCP_State_Handling_IPv4_utest.c51 FreeRTOS_Socket_t * prvHandleListen_IPV4( FreeRTOS_Socket_t * pxSocket,
54 FreeRTOS_Socket_t xSocket, * pxSocket;
79 FreeRTOS_Socket_t * pxReturn = NULL; in test_prvHandleListen_IPV4_NotForMe()
106 FreeRTOS_Socket_t * pxReturn = NULL; in test_prvHandleListen_IPV4_ReuseSocket()
139 FreeRTOS_Socket_t * pxReturn = NULL; in test_prvHandleListen_IPV4_NewSocketExceedLimit()
170 FreeRTOS_Socket_t * pxReturn = NULL; in test_prvHandleListen_IPV4_NewSocketGood()
171 FreeRTOS_Socket_t MockReturnSocket; in test_prvHandleListen_IPV4_NewSocketGood()
208 FreeRTOS_Socket_t * pxReturn = NULL; in test_prvHandleListen_IPV4_NewSocketGoodValidDataLength()
209 FreeRTOS_Socket_t MockReturnSocket; in test_prvHandleListen_IPV4_NewSocketGoodValidDataLength()
247 FreeRTOS_Socket_t * pxReturn = NULL; in test_prvHandleListen_IPV4_NewSocketNULLSocket()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/
DFreeRTOS_TCP_Transmission_IPv6_utest.c69 FreeRTOS_Socket_t * pxSocket = NULL; in test_prvTCPReturnPacket_IPV6_BufferSocketNULL()
84 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_BufferNULL()
89 memset( &xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_prvTCPReturnPacket_IPV6_BufferNULL()
100 FreeRTOS_Socket_t * pxSocket = NULL; in test_prvTCPReturnPacket_IPV6_pucEthernetBuffer_Assert()
121 FreeRTOS_Socket_t * pxSocket = NULL; in test_prvTCPReturnPacket_IPV6_SocketNULL()
147 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_NoEP_Found()
153 memset( &xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_prvTCPReturnPacket_IPV6_NoEP_Found()
171 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_NoEP_ReleaseAfterSend()
177 memset( &xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_prvTCPReturnPacket_IPV6_NoEP_ReleaseAfterSend()
197 FreeRTOS_Socket_t xSocket; in test_prvTCPReturnPacket_IPV6_Assert1()
[all …]
DFreeRTOS_TCP_Transmission_IPv6_stubs.c36 void prvTCPReturn_SetEndPoint( const FreeRTOS_Socket_t * pxSocket, in prvTCPReturn_SetEndPoint()
57 void prvTCPReturn_CheckTCPWindow( FreeRTOS_Socket_t * pxSocket, in prvTCPReturn_CheckTCPWindow()
67 void prvTCPReturn_SetSequenceNumber( FreeRTOS_Socket_t * pxSocket, in prvTCPReturn_SetSequenceNumber()
77 void prvTCPCreateWindow( FreeRTOS_Socket_t * pxSocket ) in prvTCPCreateWindow()
84 void prvTCPReturnPacket( FreeRTOS_Socket_t * pxSocket, in prvTCPReturnPacket()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_Sockets.c131 static BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket,
141 static BaseType_t prvSockopt_so_buffer( FreeRTOS_Socket_t * pxSocket,
155 static BaseType_t prvSocketBindAdd( FreeRTOS_Socket_t * pxSocket,
160 static NetworkBufferDescriptor_t * prvRecvFromWaitForPacket( FreeRTOS_Socket_t const * pxSocket,
164 static int32_t prvSendUDPPacket( const FreeRTOS_Socket_t * pxSocket,
173 static FreeRTOS_Socket_t * prvAcceptWaitClient( FreeRTOS_Socket_t * pxParentSocket,
183 static StreamBuffer_t * prvTCPCreateStream( FreeRTOS_Socket_t * pxSocket,
193 static int32_t prvTCPSendCheck( FreeRTOS_Socket_t * pxSocket,
202 static void prvTCPSetSocketCount( FreeRTOS_Socket_t const * pxSocketToDelete );
211 static BaseType_t prvTCPConnectStart( FreeRTOS_Socket_t * pxSocket,
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/utility/
Dmemory_assignments.c14 FreeRTOS_Socket_t * ensure_FreeRTOS_Socket_t_is_allocated() in ensure_FreeRTOS_Socket_t_is_allocated()
16 FreeRTOS_Socket_t * pxSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
18 if( ensure_memory_is_valid( pxSocket, sizeof( FreeRTOS_Socket_t ) ) ) in ensure_FreeRTOS_Socket_t_is_allocated()
22 pxSocket->u.xTCP.pxPeerSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DTCP_State_Handling_list_macros.h39 FreeRTOS_Socket_t * prvHandleListen_IPV6( FreeRTOS_Socket_t * pxSocket,
42 FreeRTOS_Socket_t * prvHandleListen_IPV4( FreeRTOS_Socket_t * pxSocket,
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/
DFreeRTOS_Sockets_DiffConfig2_GenericAPI_utest.c67 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_bind_SocketIsAlreadyBound_UseTempDestinationAddress()
90 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv6DestinationAddress()
113 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_bind_SocketIsAlreadyBound_IPv4DestinationAddress()
136 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_bind_SocketIsAlreadyBound_NullDestinationAddress()
154 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_connect_SocketValuesNULL_UseTempDestinationAddress()
175 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_connect_SocketValuesNULL_IPv6DestinationAddress()
196 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_connect_SocketValuesNULL_IPv4DestinationAddress()
217 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_connect_SocketValuesNULL_NullDestinationAddress()
233 FreeRTOS_Socket_t xSocket; in test_prvSocketProps_UDPv6()
253 FreeRTOS_Socket_t xSocket; in test_prvSocketProps_TCPv6()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/lTCPAddRxdata/
DTCPAddRxdata_harness.c21 StreamBuffer_t * __CPROVER_file_local_FreeRTOS_Sockets_c_prvTCPCreateStream( FreeRTOS_Socket_t * px…
25 void __CPROVER_file_local_FreeRTOS_Sockets_c_vTCPAddRxdata_Callback( FreeRTOS_Socket_t * pxSocket,
29 void __CPROVER_file_local_FreeRTOS_Sockets_c_vTCPAddRxdata_Stored( FreeRTOS_Socket_t * pxSocket );
39 …FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated( sizeof( FreeRTOS_Socket_t ) … in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket_IPv6/
DProcessReceivedTCPPacket_IPv6_harness.c40 FreeRTOS_Socket_t * prvHandleListen( FreeRTOS_Socket_t * pxSocket, in prvHandleListen()
43 FreeRTOS_Socket_t * xRetSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in prvHandleListen()
55 FreeRTOS_Socket_t * pxTCPSocketLookup( uint32_t ulLocalIP, in pxTCPSocketLookup()
60 FreeRTOS_Socket_t * xRetSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in pxTCPSocketLookup()
95 size_t uxIPHeaderSizeSocket( const FreeRTOS_Socket_t * pxSocket ) in uxIPHeaderSizeSocket()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c39 FreeRTOS_Socket_t * prvHandleListen_IPV4( FreeRTOS_Socket_t * pxSocket, in prvHandleListen_IPV4()
42 FreeRTOS_Socket_t * xRetSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in prvHandleListen_IPV4()
54 FreeRTOS_Socket_t * pxTCPSocketLookup( uint32_t ulLocalIP, in pxTCPSocketLookup()
59 FreeRTOS_Socket_t * xRetSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in pxTCPSocketLookup()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
DTCPPrepareSend_harness.c42 int32_t publicTCPPrepareSend( FreeRTOS_Socket_t * pxSocket,
73 FreeRTOS_Socket_t * pxSocket = malloc( sizeof( FreeRTOS_Socket_t ) ); in harness()
78 pxSocket->u.xTCP.pxPeerSocket = malloc( sizeof( FreeRTOS_Socket_t ) ); in harness()
81 size_t socketSize = sizeof( FreeRTOS_Socket_t ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_GenericAPI_utest.c79 FreeRTOS_Socket_t const * pxSocket = NULL; in test_FreeRTOS_socket_SockSizeFailure()
96 FreeRTOS_Socket_t const * pxSocket = NULL; in test_FreeRTOS_socket_SockSizeFailure_SockDependent()
112 FreeRTOS_Socket_t const * pxSocket = NULL; in test_FreeRTOS_socket_NoMemory()
133 FreeRTOS_Socket_t const * pxSocket = NULL; in test_FreeRTOS_socket_EventGroupCreationFailed()
158 FreeRTOS_Socket_t * pxSocket; in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
163 pxSocket = ( FreeRTOS_Socket_t * ) ucSocket; in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
204 FreeRTOS_Socket_t * pxSocket; in test_FreeRTOS_socket_TCPSocket()
209 pxSocket = ( FreeRTOS_Socket_t * ) ucSocket; in test_FreeRTOS_socket_TCPSocket()
249 FreeRTOS_Socket_t * pxSocket; in test_FreeRTOS_socket_UDPSocket()
254 pxSocket = ( FreeRTOS_Socket_t * ) ucSocket; in test_FreeRTOS_socket_UDPSocket()
[all …]
DFreeRTOS_Sockets_privates_utest.c72 BaseType_t prvMakeSureSocketIsBound( FreeRTOS_Socket_t * pxSocket );
74 void prvTCPSetSocketCount( FreeRTOS_Socket_t const * pxSocketToDelete );
76 BaseType_t prvSockopt_so_buffer( FreeRTOS_Socket_t * pxSocket,
84 BaseType_t prvTCPConnectStart( FreeRTOS_Socket_t * pxSocket,
87 int32_t prvTCPSendCheck( FreeRTOS_Socket_t * pxSocket,
90 StreamBuffer_t * prvTCPCreateStream( FreeRTOS_Socket_t * pxSocket,
93 BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket,
97 BaseType_t bMayConnect( FreeRTOS_Socket_t const * pxSocket );
142 FreeRTOS_Socket_t * pxSocket = ( FreeRTOS_Socket_t * ) FREERTOS_INVALID_SOCKET; in test_prvValidSocket_InvalidOrNULLSocket()
160 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_SocketBoundSetButNotBound()
[all …]
DFreeRTOS_Sockets_UDP_API_utest.c93 uint8_t ucSocket[ sizeof( FreeRTOS_Socket_t ) ]; in test_FreeRTOS_recvfrom_TCPSocket()
101 memset( xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_FreeRTOS_recvfrom_TCPSocket()
118 uint8_t ucSocket[ sizeof( FreeRTOS_Socket_t ) ]; in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
126 memset( xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
147 uint8_t ucSocket[ sizeof( FreeRTOS_Socket_t ) ]; in test_FreeRTOS_recvfrom_NonBlocking()
155 memset( xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_FreeRTOS_recvfrom_NonBlocking()
176 uint8_t ucSocket[ sizeof( FreeRTOS_Socket_t ) ]; in test_FreeRTOS_recvfrom_NonBlockingFlagSet()
184 memset( xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_FreeRTOS_recvfrom_NonBlockingFlagSet()
204 uint8_t ucSocket[ sizeof( FreeRTOS_Socket_t ) ]; in test_FreeRTOS_recvfrom_BlockingButTimeout()
212 memset( xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_FreeRTOS_recvfrom_BlockingButTimeout()
[all …]
DFreeRTOS_Sockets_TCP_API_utest.c61 BaseType_t prvTCPSendLoop( FreeRTOS_Socket_t * pxSocket,
78 FreeRTOS_Socket_t xServerSocket, * pxReturn; in test_FreeRTOS_accept_InvalidParams()
112 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_ClientSocketTaken()
139 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_PeerSocketNULL()
165 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_NotReuseSocket()
201 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_ReuseSocket()
234 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_ReuseSocket_NULLAddress()
264 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_ReuseSocket_Timeout()
307 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_ReuseIPv6Socket()
341 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_ReuseIPv6Socket_NullAddress()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c40 extern FreeRTOS_Socket_t * xSocketToListen;
61 BaseType_t publicTCPHandleState( FreeRTOS_Socket_t * pxSocket,
66 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()
67 size_t socketSize = sizeof( FreeRTOS_Socket_t ); in harness()
91 FreeRTOS_Socket_t xSck; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv6/
DFreeRTOS_TCP_State_Handling_IPv6_utest.c51 FreeRTOS_Socket_t * prvHandleListen_IPV6( FreeRTOS_Socket_t * pxSocket,
54 FreeRTOS_Socket_t xSocket, * pxSocket;
84 FreeRTOS_Socket_t * pxReturn; in test_prvHandleListen_IPV6_NullSocket()
98 FreeRTOS_Socket_t * pxReturn; in test_prvHandleListen_IPV6_NullNetworkBuffer()
112 FreeRTOS_Socket_t * pxReturn; in test_prvHandleListen_IPV6_NullEndpoint()
127 FreeRTOS_Socket_t * pxReturn; in test_prvHandleListen_IPV6_DifferentIP()
154 FreeRTOS_Socket_t * pxReturn; in test_prvHandleListen_IPV6_GetRandomFail()
181 FreeRTOS_Socket_t * pxReturn; in test_prvHandleListen_IPV6_ReuseSocket()
218 FreeRTOS_Socket_t * pxReturn; in test_prvHandleListen_IPV6_NewSocketExceedLimit()
253 FreeRTOS_Socket_t * pxReturn; in test_prvHandleListen_IPV6_NewSocketNull()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsOuter/
DCheckOptionsOuter_harness.c29 … FreeRTOS_Socket_t * const pxSocket,
46 … FreeRTOS_Socket_t * const pxSocket ) in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvReadSackOption()
76 FreeRTOS_Socket_t * pxSocket = malloc( sizeof( FreeRTOS_Socket_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptions/
DCheckOptions_harness.c27 BaseType_t prvCheckOptions( FreeRTOS_Socket_t * pxSocket,
34 … FreeRTOS_Socket_t * const pxSocket,
51 … FreeRTOS_Socket_t * const pxSocket, in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions()
105 FreeRTOS_Socket_t pxSocket; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/
DTCP_IP_list_macros.h75 void * vSocketClose( FreeRTOS_Socket_t * pxSocket );
80 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket );
86 FreeRTOS_Socket_t * pxTCPSocketLookup( uint32_t ulLocalIP,
93 size_t uxIPHeaderSizeSocket( const FreeRTOS_Socket_t * pxSocket );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
DTCP_IP_DiffConfig_list_macros.h75 void * vSocketClose( FreeRTOS_Socket_t * pxSocket );
80 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket );
86 FreeRTOS_Socket_t * pxTCPSocketLookup( uint32_t ulLocalIP,
93 size_t uxIPHeaderSizeSocket( const FreeRTOS_Socket_t * pxSocket );

1234