/FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
D | FreeRTOS_TCP_WIN.h | 141 } TCPWindow_t; typedef 151 void vTCPWindowCreate( TCPWindow_t * pxWindow, 160 void vTCPWindowDestroy( TCPWindow_t const * pxWindow ); 163 void vTCPWindowInit( TCPWindow_t * pxWindow, 179 int32_t lTCPWindowRxCheck( TCPWindow_t * pxWindow, 187 BaseType_t xTCPWindowRxEmpty( const TCPWindow_t * pxWindow ); 196 int32_t lTCPWindowTxAdd( TCPWindow_t * pxWindow, 202 BaseType_t xTCPWindowTxHasData( TCPWindow_t const * pxWindow, 209 BaseType_t xTCPWindowTxDone( const TCPWindow_t * pxWindow ); 213 uint32_t ulTCPWindowTxGet( TCPWindow_t * pxWindow, [all …]
|
D | FreeRTOS_IP_Private.h | 635 TCPWindow_t xTCPWindow; /**< The TCP window struct*/
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Tiny_TCP/ |
D | FreeRTOS_Tiny_TCP_utest.c | 76 TCPWindow_t xWindow; in test_lTCPWindowRxCheck_diff_seq_numbers() 94 TCPWindow_t xWindow; in test_lTCPWindowRxCheck_space_lt_length() 112 TCPWindow_t xWindow; in test_lTCPWindowRxCheck_seq_num_eq() 127 TCPWindow_t xWindow = { 0 }; in test_lTCPWindowTxAdd_length_gt_zero() 148 TCPWindow_t xWindow = { 0 }; in test_lTCPWindowTxAdd_length_eq_zero() 171 TCPWindow_t xWindow = { 0 }; in test_lTCPWindowTxAdd_length_eq_zero_with_logging() 199 TCPWindow_t xWindow = { 0 }; in test_lTCPWindowTxAdd_length_gt_maxlen() 223 TCPWindow_t xWindow = { 0 }; in test_lTCPWindowTxAdd_length_gt_maxlen_with_logging() 252 TCPWindow_t xWindow = { 0 }; in test_ulTCPWindowTxGet_length_eq_zero() 269 TCPWindow_t xWindow = { 0 }; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_false() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_WIN/ |
D | FreeRTOS_TCP_WIN_utest.c | 133 TCPWindow_t xWindow = { 0 }; in test_xTCPWindowRxEmpty_empty_list() 145 TCPWindow_t xWindow = { 0 }; in test_xTCPWindowRxEmpty_greater_sequence() 160 TCPWindow_t xWindow = { 0 }; in test_xTCPWindowRxEmpty_smaller_sequence() 174 TCPWindow_t xWindow = { 0 }; in test_vTCPWindowDestroy_uninitialised_segment_list() 184 TCPWindow_t xWindow = { 0 }; in test_vTCPWindowDestroy_list_length_zero() 195 TCPWindow_t xWindow = { 0 }; in test_vTCPWindowDestroy_list_length_not_zero() 212 TCPWindow_t xWindow = { 0 }; in test_vTCPWindowDestroy_list_no_queue_container() 228 TCPWindow_t xWindow = { 0 }; in test_vTCPWindowDestroy_list_no_segment_container() 244 TCPWindow_t xWindow = { 0 }; in test_vTCPWindowCreate_success() 281 TCPWindow_t xWindow = { 0 }; in test_vTCPWindowCreate_tcp_segment_null() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/source/ |
D | FreeRTOS_Tiny_TCP.c | 146 int32_t lTCPWindowRxCheck( TCPWindow_t * pxWindow, in lTCPWindowRxCheck() 185 int32_t lTCPWindowTxAdd( TCPWindow_t * pxWindow, in lTCPWindowTxAdd() 253 uint32_t ulTCPWindowTxGet( TCPWindow_t * pxWindow, in ulTCPWindowTxGet() 303 BaseType_t xTCPWindowTxDone( const TCPWindow_t * pxWindow ) in xTCPWindowTxDone() 323 static BaseType_t prvTCPWindowTxHasSpace( TCPWindow_t const * pxWindow, 334 static BaseType_t prvTCPWindowTxHasSpace( TCPWindow_t const * pxWindow, in prvTCPWindowTxHasSpace() 364 BaseType_t xTCPWindowTxHasData( TCPWindow_t const * pxWindow, in xTCPWindowTxHasData() 420 uint32_t ulTCPWindowTxAck( TCPWindow_t * pxWindow, in ulTCPWindowTxAck() 473 BaseType_t xTCPWindowRxEmpty( const TCPWindow_t * pxWindow ) in xTCPWindowRxEmpty() 492 void vTCPWindowDestroy( const TCPWindow_t * pxWindow ) in vTCPWindowDestroy()
|
D | FreeRTOS_TCP_WIN.c | 119 static TCPSegment_t * xTCPWindowRxFind( const TCPWindow_t * pxWindow, 129 static TCPSegment_t * xTCPWindowNew( TCPWindow_t * pxWindow, 166 static TCPSegment_t * xTCPWindowRxConfirm( const TCPWindow_t * pxWindow, 186 static BaseType_t prvTCPWindowTxHasSpace( TCPWindow_t const * pxWindow, 195 static uint32_t prvTCPWindowTxCheckAck( TCPWindow_t * pxWindow, 205 static uint32_t prvTCPWindowFastRetransmit( TCPWindow_t * pxWindow, 480 static TCPSegment_t * xTCPWindowRxFind( const TCPWindow_t * pxWindow, in xTCPWindowRxFind() 525 static TCPSegment_t * xTCPWindowNew( TCPWindow_t * pxWindow, in xTCPWindowNew() 600 BaseType_t xTCPWindowRxEmpty( const TCPWindow_t * pxWindow ) in xTCPWindowRxEmpty() 736 void vTCPWindowDestroy( TCPWindow_t const * pxWindow ) in vTCPWindowDestroy() [all …]
|
D | FreeRTOS_TCP_State_Handling.c | 244 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvTCPHandleFin() 358 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvHandleSynReceived() 511 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvHandleEstablished() 729 TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvTCPHandleState()
|
D | FreeRTOS_TCP_Reception.c | 206 TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvSingleStepTCPHeaderOptions() 567 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvStoreRxData()
|
D | FreeRTOS_TCP_Transmission.c | 307 const TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvTCPReturn_CheckTCPWindow() 393 const TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvTCPReturn_SetSequenceNumber() 816 TCPWindow_t * pxTCPWindow; in prvTCPPrepareSend() 1078 const TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvSetOptions() 1168 const TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvSendData()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling/ |
D | FreeRTOS_TCP_State_Handling_utest.c | 248 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_FIN_BitsAllFalse() 284 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_FIN_FINSentFINACKNoFINRecv() 319 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_FIN_FINRecvFINSentFINACKFINNotLast() 356 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_FIN_FINRecvFINSentFINACKFINLast() 392 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_ExpSYNStateConnectSyn() 425 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_ExpSYNStateConnectSynIPv6() 459 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_NotSYNStateConnectSyn() 491 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_NotExpSYNStateSynreceived() 523 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_ExpACKStateSynreceivedZeroData() 555 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_ExpACKStateSynreceivedNonZeroDataWinScaling() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/ |
D | FreeRTOS_TCP_Transmission_utest.c | 449 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_Buffer_Null_Rx_Stream_KL() 492 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_EP_WithoutRelease() 519 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_EP_WithRelease() 589 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_Socket() 627 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Assert_Interface_NULL() 662 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Assert_InterfaceOutput_NULL() 699 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_Socket_Relase_True() 736 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL() 776 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL_LocalIP() 833 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL_LocalIP_GT_Eth_Packet_Length() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/ |
D | FreeRTOS_TCP_Reception_utest.c | 208 TCPWindow_t tcpWindow; in test_prvCheckOptions_MSS_WSF() 238 TCPWindow_t tcpWindow; in test_prvCheckOptions_MSS_WSF_Bad_Option() 268 TCPWindow_t tcpWindow; in test_prvCheckOptions_MSS_WSF_Without_END() 297 TCPWindow_t tcpWindow; in test_prvCheckOptions_MSS_WSF_SYN_on() 503 TCPWindow_t tcpWindow; in test_prvSingleStepTCPHeaderOptions_Same_MSS() 808 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvStoreRxData_Happy_Path() 960 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvStoreRxData_Negative_Offset() 1001 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvStoreRxData_None_Zero_Skipcount()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCPWin/vTCPWindowDestroy/ |
D | vTCPWindowDestroy_harness.c | 25 TCPWindow_t xWindow; in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/ |
D | vSocketClose_harness.c | 19 void vTCPWindowDestroy( TCPWindow_t const * xWindow ) in vTCPWindowDestroy()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/ |
D | FreeRTOS_TCP_Transmission_IPv6_utest.c | 238 TCPWindow_t * pxTCPWindow = &( xSocket.u.xTCP.xTCPWindow ); in test_prvTCPReturnPacket_IPV6_Assert2() 273 TCPWindow_t * pxTCPWindow = &( xSocket.u.xTCP.xTCPWindow ); in test_prvTCPReturnPacket_IPV6_Assert3()
|