| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_Sockets.c | 63 #define socketSET_SOCKET_PORT( pxSocket, usPort ) listSET_LIST_ITEM_VALUE( ( &( ( pxSocket )->xB… argument
65 #define socketGET_SOCKET_PORT( pxSocket ) listGET_LIST_ITEM_VALUE( ( &( ( pxSocket )->xB… argument
70 #define socketSOCKET_IS_BOUND( pxSocket ) ( listLIST_ITEM_CONTAINER( &( pxSocket )->xBou… argument
402 static BaseType_t prvValidSocket( const FreeRTOS_Socket_t * pxSocket, in prvValidSocket()
464 FreeRTOS_Socket_t const * pxSocket = NULL; in prvDetermineSocketSize() local
560 static void prvInitialiseTCPFields( FreeRTOS_Socket_t * pxSocket, in prvInitialiseTCPFields()
618 FreeRTOS_Socket_t * pxSocket; in FreeRTOS_socket() local
847 FreeRTOS_Socket_t * pxSocket = ( FreeRTOS_Socket_t * ) xSocket; in FreeRTOS_FD_SET() local
888 FreeRTOS_Socket_t * pxSocket = ( FreeRTOS_Socket_t * ) xSocket; in FreeRTOS_FD_CLR() local
926 const FreeRTOS_Socket_t * pxSocket = ( const FreeRTOS_Socket_t * ) xSocket; in FreeRTOS_FD_ISSET() local
[all …]
|
| D | FreeRTOS_TCP_IP.c | 107 void vSocketCloseNextTime( FreeRTOS_Socket_t * pxSocket ) in vSocketCloseNextTime()
123 void vSocketListenNextTime( FreeRTOS_Socket_t * pxSocket ) in vSocketListenNextTime()
152 BaseType_t xTCPSocketCheck( FreeRTOS_Socket_t * pxSocket ) in xTCPSocketCheck()
254 void prvTCPTouchSocket( struct xSOCKET * pxSocket ) in prvTCPTouchSocket()
284 void vTCPStateChange( FreeRTOS_Socket_t * pxSocket, in vTCPStateChange()
564 TickType_t prvTCPNextTimeout( struct xSOCKET * pxSocket ) in prvTCPNextTimeout()
693 BaseType_t xTCPCheckNewClient( FreeRTOS_Socket_t * pxSocket ) in xTCPCheckNewClient()
|
| D | FreeRTOS_TCP_Transmission.c | 81 static BaseType_t prvTCPMakeSurePrepared( FreeRTOS_Socket_t * pxSocket ) in prvTCPMakeSurePrepared()
107 int32_t prvTCPSendPacket( FreeRTOS_Socket_t * pxSocket ) in prvTCPSendPacket()
198 int32_t prvTCPSendRepeated( FreeRTOS_Socket_t * pxSocket, in prvTCPSendRepeated()
246 void prvTCPReturnPacket( FreeRTOS_Socket_t * pxSocket, in prvTCPReturnPacket()
301 void prvTCPReturn_CheckTCPWindow( FreeRTOS_Socket_t * pxSocket, in prvTCPReturn_CheckTCPWindow()
387 void prvTCPReturn_SetSequenceNumber( FreeRTOS_Socket_t * pxSocket, in prvTCPReturn_SetSequenceNumber()
449 void prvTCPCreateWindow( FreeRTOS_Socket_t * pxSocket ) in prvTCPCreateWindow()
488 static BaseType_t prvTCPPrepareConnect( FreeRTOS_Socket_t * pxSocket ) in prvTCPPrepareConnect()
524 static uint8_t prvWinScaleFactor( const FreeRTOS_Socket_t * pxSocket ) in prvWinScaleFactor()
567 UBaseType_t prvSetSynAckOptions( FreeRTOS_Socket_t * pxSocket, in prvSetSynAckOptions()
[all …]
|
| D | FreeRTOS_TCP_State_Handling.c | 141 BaseType_t prvTCPStatusAgeCheck( FreeRTOS_Socket_t * pxSocket ) in prvTCPStatusAgeCheck()
232 static BaseType_t prvTCPHandleFin( FreeRTOS_Socket_t * pxSocket, in prvTCPHandleFin()
345 static BaseType_t prvHandleSynReceived( FreeRTOS_Socket_t * pxSocket, in prvHandleSynReceived()
498 static BaseType_t prvHandleEstablished( FreeRTOS_Socket_t * pxSocket, in prvHandleEstablished()
706 BaseType_t prvTCPHandleState( FreeRTOS_Socket_t * pxSocket, in prvTCPHandleState()
909 FreeRTOS_Socket_t * prvHandleListen( FreeRTOS_Socket_t * pxSocket, in prvHandleListen()
950 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()
554 BaseType_t prvStoreRxData( FreeRTOS_Socket_t * pxSocket, in prvStoreRxData()
|
| D | FreeRTOS_TCP_Utils_IPv4.c | 58 void prvSocketSetMSS_IPV4( FreeRTOS_Socket_t * pxSocket ) in prvSocketSetMSS_IPV4()
|
| D | FreeRTOS_TCP_Transmission_IPv4.c | 84 void prvTCPReturnPacket_IPV4( FreeRTOS_Socket_t * pxSocket, in prvTCPReturnPacket_IPV4()
323 BaseType_t prvTCPPrepareConnect_IPV4( FreeRTOS_Socket_t * pxSocket ) in prvTCPPrepareConnect_IPV4()
|
| D | FreeRTOS_TCP_Utils.c | 92 void prvSocketSetMSS( FreeRTOS_Socket_t * pxSocket ) in prvSocketSetMSS()
|
| D | FreeRTOS_TCP_Utils_IPv6.c | 58 void prvSocketSetMSS_IPV6( FreeRTOS_Socket_t * pxSocket ) in prvSocketSetMSS_IPV6()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/ |
| D | FreeRTOS_TCP_Transmission_IPv6_stubs.c | 36 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()
|
| D | FreeRTOS_TCP_Transmission_IPv6_utest.c | 69 FreeRTOS_Socket_t * pxSocket = NULL; in test_prvTCPReturnPacket_IPV6_BufferSocketNULL() local
100 FreeRTOS_Socket_t * pxSocket = NULL; in test_prvTCPReturnPacket_IPV6_pucEthernetBuffer_Assert() local
121 FreeRTOS_Socket_t * pxSocket = NULL; in test_prvTCPReturnPacket_IPV6_SocketNULL() local
373 FreeRTOS_Socket_t xSocket, * pxSocket = &xSocket; in test_prvTCPPrepareConnect_IPV6_CacheMiss_NULLEP() local
393 FreeRTOS_Socket_t xSocket, * pxSocket = &xSocket; in test_prvTCPPrepareConnect_IPV6_CacheHit_NULLEP() local
414 FreeRTOS_Socket_t xSocket, * pxSocket = &xSocket; in test_prvTCPPrepareConnect_IPV6_CacheHit_RandNumFail() local
434 FreeRTOS_Socket_t xSocket, * pxSocket = &xSocket; in test_prvTCPPrepareConnect_IPV6_CantSendPacket_NULLEP() local
452 FreeRTOS_Socket_t xSocket, * pxSocket = &xSocket; in test_prvTCPPrepareConnect_IPV6_CacheMiss_ValidEP() local
477 FreeRTOS_Socket_t xSocket, * pxSocket = &xSocket; in test_prvTCPPrepareConnect_IPV6_DefaultCase_ValidEP() local
505 FreeRTOS_Socket_t xSocket, * pxSocket = &xSocket; in test_prvTCPPrepareConnect_IPV6_HappyPath_IPv4() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.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()
|
| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/test/cbmc/proofs/CheckOptions/ |
| D | CheckOptions_harness.c | 51 … FreeRTOS_Socket_t * const pxSocket, in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvSingleStepTCPHeaderOptions()
105 FreeRTOS_Socket_t pxSocket; in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOS_Sockets_DiffConfig2_privates_utest.c | 67 FreeRTOS_Socket_t const * pxSocket = NULL; in test_prvDetermineSocketSize_TCPSocket() local
88 FreeRTOS_Socket_t const * pxSocket = NULL; in test_prvDetermineSocketSize_TCPv6Socket() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
| D | tcp_netstat.c | 88 …const FreeRTOS_Socket_t * pxSocket = ( const FreeRTOS_Socket_t * ) listGET_LIST_ITEM_OWNER( pxIter… in vGetMetrics() local
125 …const FreeRTOS_Socket_t * pxSocket = ( const FreeRTOS_Socket_t * ) listGET_LIST_ITEM_OWNER( pxIter… in vGetMetrics() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/ |
| D | FreeRTOS_TCP_Transmission_stubs.c | 66 void prvTCPReturnPacket_IPV6( FreeRTOS_Socket_t * pxSocket, in prvTCPReturnPacket_IPV6()
78 BaseType_t prvTCPPrepareConnect_IPV6( FreeRTOS_Socket_t * pxSocket ) in prvTCPPrepareConnect_IPV6()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Utils/ |
| D | FreeRTOS_TCP_Utils_stubs.c | 52 void prvSocketSetMSS_IPV6( FreeRTOS_Socket_t * pxSocket ) in prvSocketSetMSS_IPV6()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket_IPv6/ |
| D | ProcessReceivedTCPPacket_IPv6_harness.c | 40 FreeRTOS_Socket_t * prvHandleListen( FreeRTOS_Socket_t * pxSocket, in prvHandleListen()
95 size_t uxIPHeaderSizeSocket( const FreeRTOS_Socket_t * pxSocket ) in uxIPHeaderSizeSocket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/ |
| D | DHCPv6ProcessEndPoint_harness.c | 73 Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in FreeRTOS_socket() local
97 BaseType_t vSocketBind( FreeRTOS_Socket_t * pxSocket, in vSocketBind()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| D | TCPReturnPacket_harness.c | 68 void prvTCPReturn_SetEndPoint( const FreeRTOS_Socket_t * pxSocket, in prvTCPReturn_SetEndPoint()
140 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/ |
| D | TCPReturnPacket_IPv6_harness.c | 69 void prvTCPReturn_SetEndPoint( const FreeRTOS_Socket_t * pxSocket, in prvTCPReturn_SetEndPoint()
139 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/test/cbmc/proofs/Socket/lTCPAddRxdata/ |
| D | TCPAddRxdata_harness.c | 39 …FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated( sizeof( FreeRTOS_Socket_t ) … in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 110 BaseType_t vSocketBind( FreeRTOS_Socket_t * pxSocket, in vSocketBind()
140 FreeRTOS_Socket_t const * pxSocket = xSocket; in FreeRTOS_recvfrom() local
|
