Home
last modified time | relevance | path

Searched refs:xTCP (Results 1 – 25 of 26) sorted by relevance

12

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c99 pxSocket->u.xTCP.bits.bConnPrepared = pdFALSE; in test_prvTCPMakeSurePrepared_Not_Ready()
119 pxSocket->u.xTCP.bits.bConnPrepared = pdFALSE; in test_prvTCPMakeSurePrepared_Not_Ready_Error_Connect()
137 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPMakeSurePrepared_Ready()
152 pxSocket->u.xTCP.eTCPState = eCONNECT_SYN; in test_prvTCPSendPacket_Syn_State()
153 pxSocket->u.xTCP.ucRepCount = 1; in test_prvTCPSendPacket_Syn_State()
154 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPSendPacket_Syn_State()
175 pxSocket->u.xTCP.eTCPState = eCONNECT_SYN; in test_prvTCPSendPacket_Syn_State_Rep_Count_GT_3()
176 pxSocket->u.xTCP.ucRepCount = 3; in test_prvTCPSendPacket_Syn_State_Rep_Count_GT_3()
177 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE; in test_prvTCPSendPacket_Syn_State_Rep_Count_GT_3()
194 pxSocket->u.xTCP.eTCPState = eCONNECT_SYN; in test_prvTCPSendPacket_Syn_State_Not_Prepared()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c102 pxSocket->u.xTCP.pxAckMessage = NULL; in prvTCPReturnPacket_StubReturnNULL()
154 …FreeRTOS_listen_ExpectAndReturn( ( Socket_t ) xSocketToListen, xSocketToListen->u.xTCP.usBacklog, … in test_vSocketListenNextTime1()
198 xSocket.u.xTCP.eTCPState = eESTABLISHED; in test_xTCPSocketCheck_StateEstablished()
221 xSocket.u.xTCP.eTCPState = eESTABLISHED; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull()
222 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull()
247 xSocket.u.xTCP.eTCPState = eESTABLISHED; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
248 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
249 xSocket.u.xTCP.pxAckMessage = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
253 …prvTCPReturnPacket_Expect( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_O… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
258 vReleaseNetworkBufferAndDescriptor_Expect( xSocket.u.xTCP.pxAckMessage ); in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_IP.c142 … ( void ) FreeRTOS_listen( ( Socket_t ) xSocketToListen, xSocketToListen->u.xTCP.usBacklog ); in vSocketListenNextTime()
172 … if( ( pxSocket->u.xTCP.eTCPState >= eESTABLISHED ) && ( pxSocket->u.xTCP.txStream != NULL ) ) in xTCPSocketCheck()
181 if( pxSocket->u.xTCP.pxAckMessage != NULL ) in xTCPSocketCheck()
185 if( pxSocket->u.xTCP.bits.bUserShutdown == pdFALSE_UNSIGNED ) in xTCPSocketCheck()
190 if( pxSocket->u.xTCP.eTCPState != eCLOSED ) in xTCPSocketCheck()
196 pxSocket->u.xTCP.usRemotePort, in xTCPSocketCheck()
197 …( unsigned ) ( pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber - pxSocket->u.xTCP.xTCPWindo… in xTCPSocketCheck()
198 …( unsigned ) ( pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber - pxSocket->u.xTCP.xTCPWindow.tx.ul… in xTCPSocketCheck()
202 …prvTCPReturnPacket( pxSocket, pxSocket->u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP… in xTCPSocketCheck()
208 pxSocket->u.xTCP.pxAckMessage = NULL; in xTCPSocketCheck()
[all …]
DFreeRTOS_TCP_Transmission.c92 if( pxSocket->u.xTCP.bits.bConnPrepared == pdFALSE_UNSIGNED ) in prvTCPMakeSurePrepared()
120 if( pxSocket->u.xTCP.eTCPState != eCONNECT_SYN ) in prvTCPSendPacket()
136 if( pxSocket->u.xTCP.ucRepCount >= 3U ) in prvTCPSendPacket()
142 … ( unsigned ) pxSocket->u.xTCP.ulRemoteIP, /* IP address of remote machine. */ in prvTCPSendPacket()
143 … pxSocket->u.xTCP.usRemotePort ) ); /* Port on remote machine. */ in prvTCPSendPacket()
159 …pxProtocolHeaders = ( ( ProtocolHeaders_t * ) &( pxSocket->u.xTCP.xPacket.u.ucLastPacket[ ipSIZE_O… in prvTCPSendPacket()
178 pxSocket->u.xTCP.ucRepCount++; in prvTCPSendPacket()
283 pxNetworkBuffer->pucEthernetBuffer = pxSocket->u.xTCP.xPacket.u.ucLastPacket; in prvTCPReturnPacket()
284 pxNetworkBuffer->xDataLength = sizeof( pxSocket->u.xTCP.xPacket.u.ucLastPacket ); in prvTCPReturnPacket()
324 pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvTCPReturnPacket()
[all …]
DFreeRTOS_TCP_State_Handling.c151 eIPTCPState_t eState = pxSocket->u.xTCP.eTCPState; in prvTCPStatusAgeCheck()
189 TickType_t xAge = xTaskGetTickCount() - pxSocket->u.xTCP.xLastActTime; in prvTCPStatusAgeCheck()
198 ( unsigned ) pxSocket->u.xTCP.ulRemoteIP, in prvTCPStatusAgeCheck()
199 pxSocket->u.xTCP.usRemotePort, in prvTCPStatusAgeCheck()
200 … FreeRTOS_GetTCPStateName( ( UBaseType_t ) pxSocket->u.xTCP.eTCPState ) ) ); in prvTCPStatusAgeCheck()
209 if( pxSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) in prvTCPStatusAgeCheck()
250 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvTCPHandleFin()
259 if( pxSocket->u.xTCP.bits.bFinSent == pdFALSE_UNSIGNED ) in prvTCPHandleFin()
263 pxSocket->u.xTCP.bits.bFinSent = pdTRUE_UNSIGNED; in prvTCPHandleFin()
270 pxSocket->u.xTCP.bits.bFinAcked = pdTRUE_UNSIGNED; in prvTCPHandleFin()
[all …]
DFreeRTOS_Sockets.c338 … *pxSocketSize = ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ); in prvDetermineSocketSize()
486 pxSocket->u.xTCP.usMSS = ( uint16_t ) ipconfigTCP_MSS; in FreeRTOS_socket()
487 … pxSocket->u.xTCP.uxRxStreamSize = ( size_t ) ipconfigTCP_RX_BUFFER_LENGTH; in FreeRTOS_socket()
488 …pxSocket->u.xTCP.uxTxStreamSize = ( size_t ) FreeRTOS_round_up( ipconfigTCP_TX_BUFFER_LENGTH, ipco… in FreeRTOS_socket()
492 …pxSocket->u.xTCP.uxRxWinSize = FreeRTOS_max_uint32( 1U, ( uint32_t ) ( pxSocket->u.xTCP.uxRxStream… in FreeRTOS_socket()
493 …pxSocket->u.xTCP.uxTxWinSize = FreeRTOS_max_uint32( 1U, ( uint32_t ) ( pxSocket->u.xTCP.uxTxStream… in FreeRTOS_socket()
497 pxSocket->u.xTCP.uxRxWinSize = 1U; in FreeRTOS_socket()
498 pxSocket->u.xTCP.uxTxWinSize = 1U; in FreeRTOS_socket()
1491 pxSocket->u.xTCP.pxHandleConnected = NULL; in FreeRTOS_closesocket()
1492 pxSocket->u.xTCP.pxHandleReceive = NULL; in FreeRTOS_closesocket()
[all …]
DFreeRTOS_TCP_Reception.c206 TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvSingleStepTCPHeaderOptions()
240 pxSocket->u.xTCP.ucPeerWinScaleFactor = pucPtr[ 2 ]; in prvSingleStepTCPHeaderOptions()
241 pxSocket->u.xTCP.bits.bWinScaling = pdTRUE_UNSIGNED; in prvSingleStepTCPHeaderOptions()
262 if( pxSocket->u.xTCP.usMSS != uxNewMSS ) in prvSingleStepTCPHeaderOptions()
274 …FreeRTOS_debug_printf( ( "MSS change %u -> %u\n", pxSocket->u.xTCP.usMSS, ( unsigned ) uxNewMSS ) … in prvSingleStepTCPHeaderOptions()
288 if( pxSocket->u.xTCP.usMSS > uxNewMSS ) in prvSingleStepTCPHeaderOptions()
291 pxSocket->u.xTCP.bits.bMssChange = pdTRUE_UNSIGNED; in prvSingleStepTCPHeaderOptions()
293 if( pxSocket->u.xTCP.usMSS > uxNewMSS ) in prvSingleStepTCPHeaderOptions()
297 …FreeRTOS_debug_printf( ( "Change mss %d => %u\n", pxSocket->u.xTCP.usMSS, ( unsigned ) uxNewMSS ) … in prvSingleStepTCPHeaderOptions()
303 pxSocket->u.xTCP.usMSS = ( uint16_t ) uxNewMSS; in prvSingleStepTCPHeaderOptions()
[all …]
DFreeRTOS_TCP_Utils.c105 …if( ( ( FreeRTOS_ntohl( pxSocket->u.xTCP.ulRemoteIP ) ^ *ipLOCAL_IP_ADDRESS_POINTER ) & xNetworkAd… in prvSocketSetMSS()
112 …or %xip:%u\n", ( unsigned ) ulMSS, ( unsigned ) pxSocket->u.xTCP.ulRemoteIP, pxSocket->u.xTCP.usRe… in prvSocketSetMSS()
114 pxSocket->u.xTCP.usMSS = ( uint16_t ) ulMSS; in prvSocketSetMSS()
DFreeRTOS_IP.c948 size_t uxBytesAvailable = uxStreamBufferGetPtr( xSocket->u.xTCP.rxStream, &( pucData ) ); in FreeRTOS_ReleaseTCPPayloadBuffer()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c146 pxSocket->u.xTCP.eTCPState = eESTABLISHED; in test_prvTCPStatusAgeCheck_No_Checks_Needed()
150 pxSocket->u.xTCP.eTCPState = eCLOSED; in test_prvTCPStatusAgeCheck_No_Checks_Needed()
154 pxSocket->u.xTCP.eTCPState = eTCP_LISTEN; in test_prvTCPStatusAgeCheck_No_Checks_Needed()
158 pxSocket->u.xTCP.eTCPState = eCLOSE_WAIT; in test_prvTCPStatusAgeCheck_No_Checks_Needed()
170 pxSocket->u.xTCP.eTCPState = eCONNECT_SYN; in test_prvTCPStatusAgeCheck_Checks_Done_Age_LE_Protectiontime()
171 pxSocket->u.xTCP.xLastAliveTime = 1000; in test_prvTCPStatusAgeCheck_Checks_Done_Age_LE_Protectiontime()
185 pxSocket->u.xTCP.eTCPState = eCONNECT_SYN; in test_prvTCPStatusAgeCheck_Checks_Done_Age_GT_Protectiontime()
186 pxSocket->u.xTCP.xLastAliveTime = 1000; in test_prvTCPStatusAgeCheck_Checks_Done_Age_GT_Protectiontime()
201 pxSocket->u.xTCP.eTCPState = eSYN_FIRST; in test_prvTCPStatusAgeCheck_Checks_Done_PassQueueBit_True()
202 pxSocket->u.xTCP.xLastAliveTime = 1000; in test_prvTCPStatusAgeCheck_Checks_Done_PassQueueBit_True()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_TCP_API_utest.c119 xGlobalSocket.u.xTCP.eTCPState = eESTABLISHED; in xStubForEventGroupWaitBits()
160 xServerSocket.u.xTCP.eTCPState = eTCP_LISTEN + 1; in test_FreeRTOS_accept_InvalidParams()
180 xServerSocket.u.xTCP.eTCPState = eTCP_LISTEN; in test_FreeRTOS_accept_ClientSocketTaken()
182 xServerSocket.u.xTCP.pxPeerSocket = &xPeerSocket; in test_FreeRTOS_accept_ClientSocketTaken()
189 TEST_ASSERT_EQUAL( NULL, xServerSocket.u.xTCP.pxPeerSocket ); in test_FreeRTOS_accept_ClientSocketTaken()
206 xServerSocket.u.xTCP.eTCPState = eTCP_LISTEN; in test_FreeRTOS_accept_PeerSocketNULL()
208 xServerSocket.u.xTCP.pxPeerSocket = NULL; in test_FreeRTOS_accept_PeerSocketNULL()
215 TEST_ASSERT_EQUAL( NULL, xServerSocket.u.xTCP.pxPeerSocket ); in test_FreeRTOS_accept_PeerSocketNULL()
233 xServerSocket.u.xTCP.eTCPState = eTCP_LISTEN; in test_FreeRTOS_accept_NotReuseSocket()
235 xServerSocket.u.xTCP.pxPeerSocket = &xPeerSocket; in test_FreeRTOS_accept_NotReuseSocket()
[all …]
DFreeRTOS_Sockets_privates_utest.c119 xGlobalSocket.u.xTCP.eTCPState = eESTABLISHED; in xStubForEventGroupWaitBits()
439 …TEST_ASSERT_EQUAL( ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ), x… in test_prvDetermineSocketSize_TCPSocket()
864 vReleaseNetworkBufferAndDescriptor_Expect( xSocket.u.xTCP.pxAckMessage ); in test_vSocketClose_TCP_EverythingNonNULL()
866 vTCPWindowDestroy_Expect( &( xSocket.u.xTCP.xTCPWindow ) ); in test_vSocketClose_TCP_EverythingNonNULL()
868 vPortFree_Expect( xSocket.u.xTCP.rxStream ); in test_vSocketClose_TCP_EverythingNonNULL()
870 vPortFree_Expect( xSocket.u.xTCP.txStream ); in test_vSocketClose_TCP_EverythingNonNULL()
897 xSocket.u.xTCP.pxAckMessage = NULL; in test_vSocketClose_TCP_LastAckMessageNonNULL()
899 vTCPWindowDestroy_Expect( &( xSocket.u.xTCP.xTCPWindow ) ); in test_vSocketClose_TCP_LastAckMessageNonNULL()
901 vPortFree_Expect( xSocket.u.xTCP.rxStream ); in test_vSocketClose_TCP_LastAckMessageNonNULL()
903 vPortFree_Expect( xSocket.u.xTCP.txStream ); in test_vSocketClose_TCP_LastAckMessageNonNULL()
[all …]
DFreeRTOS_Sockets_GenericAPI_utest.c119 xGlobalSocket.u.xTCP.eTCPState = eESTABLISHED; in xStubForEventGroupWaitBits()
274 …ectAndReturn( ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ), NULL ); in test_FreeRTOS_socket_NoMemory()
289 … uint8_t ucSocket[ ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ) ]; in test_FreeRTOS_socket_EventGroupCreationFailed()
296 …rn( ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ), ( void * ) ucSoc… in test_FreeRTOS_socket_EventGroupCreationFailed()
315 … uint8_t ucSocket[ ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ) ]; in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
325 …rn( ( sizeof( *pxSocket ) - sizeof( pxSocket->u ) ) + sizeof( pxSocket->u.xTCP ), ( void * ) ucSoc… in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
345 TEST_ASSERT_EQUAL( xSocket->u.xTCP.usMSS, ( uint16_t ) ipconfigTCP_MSS ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
346 TEST_ASSERT_EQUAL( xSocket->u.xTCP.uxRxStreamSize, ( size_t ) ipconfigTCP_RX_BUFFER_LENGTH ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
347 TEST_ASSERT_EQUAL( xSocket->u.xTCP.uxTxStreamSize, 0xAABB ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
348 TEST_ASSERT_EQUAL( 0x1234, pxSocket->u.xTCP.uxRxWinSize ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
DFreeRTOS_TCP_IP_DiffConfig_utest.c97 xSocket.u.xTCP.eTCPState = eESTABLISHED; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
98 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
99 xSocket.u.xTCP.pxAckMessage = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
103 …prvTCPReturnPacket_Expect( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_O… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
115 TEST_ASSERT_EQUAL( NULL, xSocket.u.xTCP.pxAckMessage ); in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
116 TEST_ASSERT_EQUAL( 1U, xSocket.u.xTCP.usTimeout ); in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
133 xSocket.u.xTCP.eTCPState = eCLOSED; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet()
135 xSocket.u.xTCP.usTimeout = 100; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet()
138 xSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet()
140 prvTCPSocketIsActive_ExpectAndReturn( xSocket.u.xTCP.eTCPState, pdTRUE ); in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c73 …__CPROVER_assume( pxSocket->u.xTCP.xTCPWindow.ucOptionLength == sizeof( uint32_t ) * ipSIZE_TCP_OP… in harness()
75 …__CPROVER_assume( pxSocket->u.xTCP.uxRxWinSize >= 0 && pxSocket->u.xTCP.uxRxWinSize <= sizeof( siz… in harness()
77 __CPROVER_assume( pxSocket->u.xTCP.usMSS == sizeof( uint16_t ) ); in harness()
81 __CPROVER_assume( pxSocket->u.xTCP.bits.bPassQueued == pdFALSE_UNSIGNED ); in harness()
82 __CPROVER_assume( pxSocket->u.xTCP.bits.bPassAccept == pdFALSE_UNSIGNED ); in harness()
97 ensure_memory_is_valid( pxSocket->u.xTCP.pxPeerSocket, socketSize ) ) in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptionsInner/
DCheckOptionsInner_harness.c53 pxSocket->u.xTCP.txStream = malloc( sizeof( StreamBuffer_t ) ); in harness()
54 __CPROVER_assume( pxSocket->u.xTCP.txStream != NULL ); in harness()
56 vListInitialise( &pxSocket->u.xTCP.xTCPWindow.xWaitQueue ); in harness()
63 vListInsertEnd( &pxSocket->u.xTCP.xTCPWindow.xWaitQueue, &segment->xQueueItem ); in harness()
66 vListInitialise( &pxSocket->u.xTCP.xTCPWindow.xTxSegments ); in harness()
74 vListInsertEnd( &pxSocket->u.xTCP.xTCPWindow.xTxSegments, &segment->xQueueItem ); in harness()
77 vListInitialise( &pxSocket->u.xTCP.xTCPWindow.xPriorityQueue ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c65 xRetSocket->u.xTCP.txStream = safeMalloc( sizeof( StreamBuffer_t ) ); in pxTCPSocketLookup()
66 xRetSocket->u.xTCP.pxPeerSocket = safeMalloc( sizeof( StreamBuffer_t ) ); in pxTCPSocketLookup()
69 if( xRetSocket->u.xTCP.pxPeerSocket == NULL ) in pxTCPSocketLookup()
71 xRetSocket->u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in pxTCPSocketLookup()
75 xRetSocket->u.xTCP.bits.bReuseSocket = pdFALSE_UNSIGNED; in pxTCPSocketLookup()
80 xRetSocket->u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in pxTCPSocketLookup()
81 xRetSocket->u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in pxTCPSocketLookup()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Reception/
DFreeRTOS_TCP_Reception_utest.c204 pxSocket->u.xTCP.usMSS = 1400; in test_prvCheckOptions_MSS_WSF()
231 pxSocket->u.xTCP.usMSS = 1400; in test_prvCheckOptions_MSS_WSF_Bad_Option()
258 pxSocket->u.xTCP.usMSS = 1400; in test_prvCheckOptions_MSS_WSF_Without_END()
286 pxSocket->u.xTCP.usMSS = 1400; in test_prvCheckOptions_MSS_WSF_SYN_on()
491 pxSocket->u.xTCP.usMSS = 536; in test_prvSingleStepTCPHeaderOptions_Same_MSS()
555 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvReadSackOption()
561 pxSocket->u.xTCP.pxHandleSent = xLocalFunctionPointer; in test_prvReadSackOption()
579 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvReadSackOption_Zero_Length_Block()
601 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvReadSackOption_Selectbits_On()
608 pxSocket->u.xTCP.pxHandleSent = xLocalFunctionPointer; in test_prvReadSackOption_Selectbits_On()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Utils/
DFreeRTOS_TCP_Utils_utest.c92 pxSocket->u.xTCP.ulRemoteIP = 0xC0C0C0C0; in test_prvSocketSetMSS_Reduced()
96 TEST_ASSERT_EQUAL( 1400, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_Reduced()
104 pxSocket->u.xTCP.ulRemoteIP = 0x0; in test_prvSocketSetMSS_Normal()
107 TEST_ASSERT_EQUAL( ipconfigNETWORK_MTU - 40U, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_Normal()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/utility/
Dmemory_assignments.c20 pxSocket->u.xTCP.rxStream = safeMalloc( sizeof( StreamBuffer_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
21 pxSocket->u.xTCP.txStream = safeMalloc( sizeof( StreamBuffer_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/cbmc/proofs/Socket/vSocketClose/
DvSocketClose_harness.c79 pxSocket->u.xTCP.rxStream = malloc( sizeof( StreamBuffer_t ) ); in harness()
80 pxSocket->u.xTCP.txStream = malloc( sizeof( StreamBuffer_t ) ); in harness()
85 …pxSocket->u.xTCP.pxAckMessage = pxGetNetworkBufferWithDescriptor( xRequestedSizeBytes, xBlockTimeT… in harness()
89 pxSocket->u.xTCP.pxAckMessage = NULL; in harness()
/FreeRTOS-Plus-TCP-v3.1.0/tools/tcp_utilities/
Dtcp_netstat.c106 … pxMetrics->xTCPSocketList.xTCPList[ uxCount ].ulRemoteIP = pxSocket->u.xTCP.ulRemoteIP; in vGetMetrics()
107 … pxMetrics->xTCPSocketList.xTCPList[ uxCount ].usRemotePort = pxSocket->u.xTCP.usRemotePort; in vGetMetrics()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/
DFreeRTOS_Sockets_DiffConfig1_privates_utest.c118 xGlobalSocket.u.xTCP.eTCPState = eESTABLISHED; in xStubForEventGroupWaitBits()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/
DFreeRTOS_Sockets_DiffConfig_privates_utest.c118 xGlobalSocket.u.xTCP.eTCPState = eESTABLISHED; in xStubForEventGroupWaitBits()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h691 IPTCPSocket_t xTCP; /**< Union member: TCP socket */ member

12