Home
last modified time | relevance | path

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

12

/FreeRTOS-Plus-TCP-v3.1.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,
59 void prvTCPCreateWindow( FreeRTOS_Socket_t * pxSocket );
66 UBaseType_t prvSetSynAckOptions( FreeRTOS_Socket_t * pxSocket,
72 int32_t prvTCPPrepareSend( FreeRTOS_Socket_t * pxSocket,
80 void prvTCPAddTxData( FreeRTOS_Socket_t * pxSocket );
85 UBaseType_t prvSetOptions( FreeRTOS_Socket_t * pxSocket,
93 BaseType_t prvSendData( FreeRTOS_Socket_t * pxSocket,
114 NetworkBufferDescriptor_t * prvTCPBufferResize( const FreeRTOS_Socket_t * pxSocket,
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,
DFreeRTOS_IP_Private.h697 } FreeRTOS_Socket_t; typedef
704 void vSocketCloseNextTime( FreeRTOS_Socket_t * pxSocket );
709 void vSocketListenNextTime( FreeRTOS_Socket_t * pxSocket );
715 FreeRTOS_Socket_t * pxTCPSocketLookup( uint32_t ulLocalIP,
726 FreeRTOS_Socket_t * pxUDPSocketLookup( UBaseType_t uxLocalPort );
752 BaseType_t vSocketBind( FreeRTOS_Socket_t * pxSocket,
764 int32_t lTCPAddRxdata( FreeRTOS_Socket_t * pxSocket,
772 void vSocketWakeUpUser( FreeRTOS_Socket_t * pxSocket );
785 BaseType_t xTCPSocketCheck( FreeRTOS_Socket_t * pxSocket );
787 BaseType_t xTCPCheckNewClient( FreeRTOS_Socket_t * pxSocket );
[all …]
DFreeRTOS_TCP_Reception.h41 BaseType_t prvCheckOptions( FreeRTOS_Socket_t * pxSocket,
55 BaseType_t prvStoreRxData( FreeRTOS_Socket_t * pxSocket,
/FreeRTOS-Plus-TCP-v3.1.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-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_GenericAPI_utest.c67 BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket,
73 BaseType_t bMayConnect( FreeRTOS_Socket_t const * pxSocket );
81 static FreeRTOS_Socket_t xGlobalSocket;
83 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal()
234 FreeRTOS_Socket_t const * pxSocket = NULL; in test_FreeRTOS_socket_SockSizeFailure()
251 FreeRTOS_Socket_t const * pxSocket = NULL; in test_FreeRTOS_socket_SockSizeFailure_SockDependent()
267 FreeRTOS_Socket_t const * pxSocket = NULL; in test_FreeRTOS_socket_NoMemory()
288 FreeRTOS_Socket_t const * pxSocket = NULL; in test_FreeRTOS_socket_EventGroupCreationFailed()
313 FreeRTOS_Socket_t * pxSocket; in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
318 pxSocket = ( FreeRTOS_Socket_t * ) ucSocket; in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
[all …]
DFreeRTOS_Sockets_UDP_API_utest.c67 BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket,
73 BaseType_t bMayConnect( FreeRTOS_Socket_t const * pxSocket );
81 static FreeRTOS_Socket_t xGlobalSocket;
83 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal()
154 uint8_t ucSocket[ sizeof( FreeRTOS_Socket_t ) ]; in test_FreeRTOS_recvfrom_TCPSocket()
162 memset( xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_FreeRTOS_recvfrom_TCPSocket()
179 uint8_t ucSocket[ sizeof( FreeRTOS_Socket_t ) ]; in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
187 memset( xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
208 uint8_t ucSocket[ sizeof( FreeRTOS_Socket_t ) ]; in test_FreeRTOS_recvfrom_NonBlocking()
216 memset( xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_FreeRTOS_recvfrom_NonBlocking()
[all …]
DFreeRTOS_Sockets_privates_utest.c67 BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket,
73 BaseType_t bMayConnect( FreeRTOS_Socket_t const * pxSocket );
81 static FreeRTOS_Socket_t xGlobalSocket;
83 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal()
166 FreeRTOS_Socket_t * pxSocket = ( FreeRTOS_Socket_t * ) FREERTOS_INVALID_SOCKET; in test_prvValidSocket_InvalidOrNULLSocket()
184 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_SocketBoundSetButNotBound()
187 memset( &xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_prvValidSocket_SocketBoundSetButNotBound()
202 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_SocketBoundResetButBound()
205 memset( &xSocket, 0, sizeof( FreeRTOS_Socket_t ) ); in test_prvValidSocket_SocketBoundResetButBound()
220 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_InvalidProtocol()
[all …]
DFreeRTOS_Sockets_TCP_API_utest.c67 BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket,
73 BaseType_t bMayConnect( FreeRTOS_Socket_t const * pxSocket );
81 static FreeRTOS_Socket_t xGlobalSocket;
83 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal()
136 FreeRTOS_Socket_t xServerSocket, * pxReturn; in test_FreeRTOS_accept_InvalidParams()
170 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_ClientSocketTaken()
197 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_PeerSocketNULL()
223 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_NotReuseSocket()
259 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_ReuseSocket()
292 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_ReuseSocket_NULLAddress()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_Sockets.c122 static BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket,
132 static BaseType_t prvSockopt_so_buffer( FreeRTOS_Socket_t * pxSocket,
153 static StreamBuffer_t * prvTCPCreateStream( FreeRTOS_Socket_t * pxSocket,
163 static int32_t prvTCPSendCheck( FreeRTOS_Socket_t * pxSocket,
172 static void prvTCPSetSocketCount( FreeRTOS_Socket_t const * pxSocketToDelete );
181 static BaseType_t prvTCPConnectStart( FreeRTOS_Socket_t * pxSocket,
191 static BaseType_t bMayConnect( FreeRTOS_Socket_t const * pxSocket );
230 static BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket, in prvValidSocket()
295 FreeRTOS_Socket_t const * pxSocket = NULL; in prvDetermineSocketSize()
369 FreeRTOS_Socket_t * pxSocket; in FreeRTOS_socket()
[all …]
DFreeRTOS_TCP_IP.c78 static FreeRTOS_Socket_t * xSocketToClose = NULL;
89 static FreeRTOS_Socket_t * xSocketToListen = NULL;
96 static void prvTCPTouchSocket( FreeRTOS_Socket_t * pxSocket );
102 static TickType_t prvTCPNextTimeout( FreeRTOS_Socket_t * pxSocket );
122 void vSocketCloseNextTime( FreeRTOS_Socket_t * pxSocket ) in vSocketCloseNextTime()
138 void vSocketListenNextTime( FreeRTOS_Socket_t * pxSocket ) in vSocketListenNextTime()
167 BaseType_t xTCPSocketCheck( FreeRTOS_Socket_t * pxSocket ) in xTCPSocketCheck()
269 static void prvTCPTouchSocket( FreeRTOS_Socket_t * pxSocket ) in prvTCPTouchSocket()
299 void vTCPStateChange( FreeRTOS_Socket_t * pxSocket, in vTCPStateChange()
302 FreeRTOS_Socket_t * xParent = pxSocket; in vTCPStateChange()
[all …]
DFreeRTOS_TCP_State_Handling.c67 static BaseType_t prvTCPHandleFin( FreeRTOS_Socket_t * pxSocket,
74 static BaseType_t prvHandleSynReceived( FreeRTOS_Socket_t * pxSocket,
82 static BaseType_t prvHandleEstablished( FreeRTOS_Socket_t * pxSocket,
91 static BaseType_t prvTCPSocketCopy( FreeRTOS_Socket_t * pxNewSocket,
92 FreeRTOS_Socket_t * pxSocket );
147 BaseType_t prvTCPStatusAgeCheck( FreeRTOS_Socket_t * pxSocket ) in prvTCPStatusAgeCheck()
238 static BaseType_t prvTCPHandleFin( FreeRTOS_Socket_t * pxSocket, in prvTCPHandleFin()
351 static BaseType_t prvHandleSynReceived( FreeRTOS_Socket_t * pxSocket, in prvHandleSynReceived()
499 static BaseType_t prvHandleEstablished( FreeRTOS_Socket_t * pxSocket, in prvHandleEstablished()
707 BaseType_t prvTCPHandleState( FreeRTOS_Socket_t * pxSocket, in prvTCPHandleState()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/
DFreeRTOS_Sockets_DiffConfig_privates_utest.c66 BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket,
72 BaseType_t bMayConnect( FreeRTOS_Socket_t const * pxSocket );
80 static FreeRTOS_Socket_t xGlobalSocket;
82 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal()
135 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP()
156 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP1()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/
DFreeRTOS_Sockets_DiffConfig1_privates_utest.c66 BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket,
72 BaseType_t bMayConnect( FreeRTOS_Socket_t const * pxSocket );
80 static FreeRTOS_Socket_t xGlobalSocket;
82 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal()
135 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP()
/FreeRTOS-Plus-TCP-v3.1.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-v3.1.0/test/cbmc/include/
Daws_freertos_tcp_verification_access_tcp_define.h1 int32_t publicTCPPrepareSend( FreeRTOS_Socket_t * pxSocket, in publicTCPPrepareSend()
8 BaseType_t publicTCPHandleState( FreeRTOS_Socket_t * pxSocket, in publicTCPHandleState()
14 void publicTCPReturnPacket( FreeRTOS_Socket_t * pxSocket, in publicTCPReturnPacket()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c36 return safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in FreeRTOS_socket()
56 FreeRTOS_Socket_t * pxTCPSocketLookup( uint32_t ulLocalIP, in pxTCPSocketLookup()
61 FreeRTOS_Socket_t * xRetSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in pxTCPSocketLookup()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
DTCPPrepareSend_harness.c42 int32_t publicTCPPrepareSend( FreeRTOS_Socket_t * pxSocket,
67 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()
69 size_t socketSize = sizeof( FreeRTOS_Socket_t ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptions/
DCheckOptions_harness.c27 BaseType_t __CPROVER_file_local_FreeRTOS_TCP_IP_c_prvCheckOptions( FreeRTOS_Socket_t * pxSocket,
43 … FreeRTOS_Socket_t * const pxSocket, in __CPROVER_file_local_FreeRTOS_TCP_IP_c_prvSingleStepTCPHeaderOptions()
80 FreeRTOS_Socket_t pxSocket; in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
DFreeRTOS_TCP_IP_DiffConfig_utest.c64 FreeRTOS_Socket_t xSocket, * pxSocket;
68 extern FreeRTOS_Socket_t * xSocketToListen;
92 FreeRTOS_Socket_t xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
125 FreeRTOS_Socket_t xSocket; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet()
152 FreeRTOS_Socket_t xSocket; in test_vTCPStateChange_ClosedWaitState_CurrentStateSynFirstNextStateCloseWait()
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,
/FreeRTOS-Plus-TCP-v3.1.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,
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c59 BaseType_t publicTCPHandleState( FreeRTOS_Socket_t * pxSocket,
64 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()
65 size_t socketSize = sizeof( FreeRTOS_Socket_t ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptionsInner/
DCheckOptionsInner_harness.c29 FreeRTOS_Socket_t * const pxSocket );
49 FreeRTOS_Socket_t * pxSocket = malloc( sizeof( FreeRTOS_Socket_t ) ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/tools/tcp_utilities/
Dtcp_netstat.c89 …const FreeRTOS_Socket_t * pxSocket = ( const FreeRTOS_Socket_t * ) listGET_LIST_ITEM_OWNER( pxIter… in vGetMetrics()
126 …const FreeRTOS_Socket_t * pxSocket = ( const FreeRTOS_Socket_t * ) listGET_LIST_ITEM_OWNER( pxIter… in vGetMetrics()

12