Home
last modified time | relevance | path

Searched refs:TCPWindow_t (Results 1 – 14 of 14) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_TCP_WIN.h141 } 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 …]
DFreeRTOS_IP_Private.h617 TCPWindow_t xTCPWindow; /**< The TCP window struct*/
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Tiny_TCP/
DFreeRTOS_Tiny_TCP_utest.c76 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-v3.1.0/test/unit-test/FreeRTOS_TCP_WIN/
DFreeRTOS_TCP_WIN_utest.c133 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-v3.1.0/source/
DFreeRTOS_Tiny_TCP.c146 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()
DFreeRTOS_TCP_WIN.c117 static TCPSegment_t * xTCPWindowRxFind( const TCPWindow_t * pxWindow,
127 static TCPSegment_t * xTCPWindowNew( TCPWindow_t * pxWindow,
164 static TCPSegment_t * xTCPWindowRxConfirm( const TCPWindow_t * pxWindow,
184 static BaseType_t prvTCPWindowTxHasSpace( TCPWindow_t const * pxWindow,
193 static uint32_t prvTCPWindowTxCheckAck( TCPWindow_t * pxWindow,
203 static uint32_t prvTCPWindowFastRetransmit( TCPWindow_t * pxWindow,
476 static TCPSegment_t * xTCPWindowRxFind( const TCPWindow_t * pxWindow, in xTCPWindowRxFind()
521 static TCPSegment_t * xTCPWindowNew( TCPWindow_t * pxWindow, in xTCPWindowNew()
596 BaseType_t xTCPWindowRxEmpty( const TCPWindow_t * pxWindow ) in xTCPWindowRxEmpty()
732 void vTCPWindowDestroy( TCPWindow_t const * pxWindow ) in vTCPWindowDestroy()
[all …]
DFreeRTOS_TCP_Reception.c206 TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvSingleStepTCPHeaderOptions()
532 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvStoreRxData()
DFreeRTOS_TCP_State_Handling.c250 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvTCPHandleFin()
364 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvHandleSynReceived()
512 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvHandleEstablished()
730 TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvTCPHandleState()
DFreeRTOS_TCP_Transmission.c264 const TCPWindow_t * pxTCPWindow; in prvTCPReturnPacket()
958 TCPWindow_t * pxTCPWindow; in prvTCPPrepareSend()
1220 const TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvSetOptions()
1310 const TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvSendData()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c227 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_Recv_No_FIN_Not_Sent_FINACK_Not_Sent()
256 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_No_FIN()
286 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Not_Last()
319 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Last()
352 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_Exp_SYN_State_ConnectSyn()
381 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_Not_Exp_SYN_State_ConnectSyn()
410 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_Not_Exp_SYN_State_Synreceived()
439 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_Exp_ACK_State_Synreceived_Zero_Data()
468 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_Exp_ACK_State_Synreceived_Non_Zero_Data_WinScaling()
527 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleEstablished_ACK_Happy()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Reception/
DFreeRTOS_TCP_Reception_utest.c202 TCPWindow_t tcpWindow; in test_prvCheckOptions_MSS_WSF()
229 TCPWindow_t tcpWindow; in test_prvCheckOptions_MSS_WSF_Bad_Option()
256 TCPWindow_t tcpWindow; in test_prvCheckOptions_MSS_WSF_Without_END()
284 TCPWindow_t tcpWindow; in test_prvCheckOptions_MSS_WSF_SYN_on()
489 TCPWindow_t tcpWindow; in test_prvSingleStepTCPHeaderOptions_Same_MSS()
724 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvStoreRxData_Happy_Path()
858 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvStoreRxData_Negative_Offset()
895 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvStoreRxData_None_Zero_Skipcount()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c352 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_Buffer_Null_Rx_Stream_KL()
386 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_Socket()
414 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_Socket_Relase_True()
441 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL()
475 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL_LocalIP()
518 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL_LocalIP_GT_Eth_Packet_Length()
560 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL_LocalIP_ARP_Not_Hit()
609 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL_Fin_Suppress_Rx_Stop()
648 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL_Fin_Not_Suppress_Low_Water()
687 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL_Fin_Not_Suppress_Big_Win()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCPWin/vTCPWindowDestroy/
DvTCPWindowDestroy_harness.c25 TCPWindow_t xWindow; in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketClose/
DvSocketClose_harness.c19 void vTCPWindowDestroy( TCPWindow_t const * xWindow ) in vTCPWindowDestroy()