| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_TCP_IP.c | 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()
534 static TickType_t prvTCPNextTimeout( FreeRTOS_Socket_t * pxSocket ) in prvTCPNextTimeout()
632 FreeRTOS_Socket_t * pxSocket; in xProcessReceivedTCPPacket() local
878 BaseType_t xTCPCheckNewClient( FreeRTOS_Socket_t * pxSocket ) in xTCPCheckNewClient()
|
| D | FreeRTOS_Sockets.c | 56 #define socketSET_SOCKET_PORT( pxSocket, usPort ) listSET_LIST_ITEM_VALUE( ( &( ( pxSocket )->xB… argument
58 #define socketGET_SOCKET_PORT( pxSocket ) listGET_LIST_ITEM_VALUE( ( &( ( pxSocket )->xB… argument
63 #define socketSOCKET_IS_BOUND( pxSocket ) ( listLIST_ITEM_CONTAINER( &( pxSocket )->xBou… argument
230 static BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket, in prvValidSocket()
295 FreeRTOS_Socket_t const * pxSocket = NULL; in prvDetermineSocketSize() local
369 FreeRTOS_Socket_t * pxSocket; in FreeRTOS_socket() local
594 FreeRTOS_Socket_t * pxSocket = ( FreeRTOS_Socket_t * ) xSocket; in FreeRTOS_FD_SET() local
635 FreeRTOS_Socket_t * pxSocket = ( FreeRTOS_Socket_t * ) xSocket; in FreeRTOS_FD_CLR() local
673 const FreeRTOS_Socket_t * pxSocket = ( const FreeRTOS_Socket_t * ) xSocket; in FreeRTOS_FD_ISSET() local
855 FreeRTOS_Socket_t const * pxSocket = xSocket; in FreeRTOS_recvfrom() local
[all …]
|
| D | FreeRTOS_TCP_Transmission.c | 88 static BaseType_t prvTCPMakeSurePrepared( FreeRTOS_Socket_t * pxSocket ) in prvTCPMakeSurePrepared()
114 int32_t prvTCPSendPacket( FreeRTOS_Socket_t * pxSocket ) in prvTCPSendPacket()
206 int32_t prvTCPSendRepeated( FreeRTOS_Socket_t * pxSocket, in prvTCPSendRepeated()
254 void prvTCPReturnPacket( FreeRTOS_Socket_t * pxSocket, in prvTCPReturnPacket()
562 void prvTCPCreateWindow( FreeRTOS_Socket_t * pxSocket ) in prvTCPCreateWindow()
601 static BaseType_t prvTCPPrepareConnect( FreeRTOS_Socket_t * pxSocket ) in prvTCPPrepareConnect()
748 static uint8_t prvWinScaleFactor( const FreeRTOS_Socket_t * pxSocket ) in prvWinScaleFactor()
791 UBaseType_t prvSetSynAckOptions( FreeRTOS_Socket_t * pxSocket, in prvSetSynAckOptions()
848 NetworkBufferDescriptor_t * prvTCPBufferResize( const FreeRTOS_Socket_t * pxSocket, in prvTCPBufferResize()
949 int32_t prvTCPPrepareSend( FreeRTOS_Socket_t * pxSocket, in prvTCPPrepareSend()
[all …]
|
| D | FreeRTOS_TCP_State_Handling.c | 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()
910 FreeRTOS_Socket_t * prvHandleListen( FreeRTOS_Socket_t * pxSocket, in prvHandleListen()
1039 FreeRTOS_Socket_t * pxSocket ) in prvTCPSocketCopy()
|
| D | FreeRTOS_TCP_Reception.c | 96 BaseType_t prvCheckOptions( FreeRTOS_Socket_t * pxSocket, in prvCheckOptions()
199 FreeRTOS_Socket_t * const pxSocket, in prvSingleStepTCPHeaderOptions()
374 FreeRTOS_Socket_t * const pxSocket ) in prvReadSackOption()
519 BaseType_t prvStoreRxData( FreeRTOS_Socket_t * pxSocket, in prvStoreRxData()
|
| D | FreeRTOS_TCP_Utils.c | 90 void prvSocketSetMSS( FreeRTOS_Socket_t * pxSocket ) in prvSocketSetMSS()
|
| D | FreeRTOS_UDP_IP.c | 312 FreeRTOS_Socket_t * pxSocket; in xProcessReceivedUDPPacket() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/ |
| D | aws_freertos_tcp_verification_access_tcp_define.h | 1 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/CheckOptions/ |
| D | CheckOptions_harness.c | 43 … FreeRTOS_Socket_t * const pxSocket, in __CPROVER_file_local_FreeRTOS_TCP_IP_c_prvSingleStepTCPHeaderOptions()
80 FreeRTOS_Socket_t pxSocket; in harness() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptionsOuter/ |
| D | CheckOptionsOuter_harness.c | 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() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/tools/tcp_utilities/ |
| D | tcp_netstat.c | 89 …const FreeRTOS_Socket_t * pxSocket = ( const FreeRTOS_Socket_t * ) listGET_LIST_ITEM_OWNER( pxIter… in vGetMetrics() local
126 …const FreeRTOS_Socket_t * pxSocket = ( const FreeRTOS_Socket_t * ) listGET_LIST_ITEM_OWNER( pxIter… in vGetMetrics() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptionsInner/ |
| D | CheckOptionsInner_harness.c | 49 FreeRTOS_Socket_t * pxSocket = malloc( sizeof( FreeRTOS_Socket_t ) ); in harness() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/utility/ |
| D | memory_assignments.c | 16 FreeRTOS_Socket_t * pxSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketClose/ |
| D | vSocketClose_harness.c | 30 FreeRTOS_Socket_t * pxSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in harness() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/ |
| D | TCPHandleState_harness.c | 64 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/ |
| D | TCPPrepareSend_harness.c | 67 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 50 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/ |
| D | vSocketBind_harness.c | 50 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/ |
| D | vSocketBind_harness.c | 52 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Utils/ |
| D | FreeRTOS_TCP_Utils_utest.c | 55 FreeRTOS_Socket_t xSocket, * pxSocket; variable
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| D | TCPReturnPacket_harness.c | 98 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/ |
| D | FreeRTOS_TCP_IP_DiffConfig_utest.c | 64 FreeRTOS_Socket_t xSocket, * pxSocket; variable
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_TCP_IP.h | 166 #define uxIPHeaderSizeSocket( pxSocket ) ( ipSIZE_OF_IPv4_HEADER ) /**< Size of IP Head… argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/ |
| D | vSocketWakeUpUser_harness.c | 136 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 234 FreeRTOS_Socket_t const * pxSocket = NULL; in test_FreeRTOS_socket_SockSizeFailure() local
251 FreeRTOS_Socket_t const * pxSocket = NULL; in test_FreeRTOS_socket_SockSizeFailure_SockDependent() local
267 FreeRTOS_Socket_t const * pxSocket = NULL; in test_FreeRTOS_socket_NoMemory() local
288 FreeRTOS_Socket_t const * pxSocket = NULL; in test_FreeRTOS_socket_EventGroupCreationFailed() local
313 FreeRTOS_Socket_t * pxSocket; in test_FreeRTOS_socket_TCPSocket_ProtocolDependent() local
358 FreeRTOS_Socket_t * pxSocket; in test_FreeRTOS_socket_TCPSocket() local
403 FreeRTOS_Socket_t * pxSocket; in test_FreeRTOS_socket_UDPSocket() local
442 FreeRTOS_Socket_t * pxSocket; in test_FreeRTOS_socket_UDPSocket_ProtocolDependent() local
|
