Home
last modified time | relevance | path

Searched refs:ipSIZE_OF_TCP_HEADER (Results 1 – 12 of 12) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
DTCPReturnPacket_harness.c120 __CPROVER_assume( ( ulLen >= ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER ) && in harness()
121 … ( ulLen <= ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER + 40 /* Maximum option bytes. */ ) ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_State_Handling.c317 …ucIntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + pxTCPWindow->ucOp… in prvTCPHandleFin()
321 …pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + pxTCPWindow->ucOptionLength ) <<… in prvTCPHandleFin()
398 … uxIntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvHandleSynReceived()
401 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvHandleSynReceived()
459 …ntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ( size_t ) ipSIZE_OF_TCP_HEADER + uxOptions… in prvHandleSynReceived()
461 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvHandleSynReceived()
645 … uxIntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvHandleEstablished()
648 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvHandleEstablished()
821 … uxIntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvTCPHandleState()
827 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvTCPHandleState()
DFreeRTOS_TCP_Transmission.c167 … uxIntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvTCPSendPacket()
174 …pxProtocolHeaders->xTCPHeader.ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength… in prvTCPSendPacket()
406 … uint32_t ulDataLen = ( uint32_t ) ( ulLen - ( ipSIZE_OF_TCP_HEADER + ipSIZE_OF_IPv4_HEADER ) ); in prvTCPReturnPacket()
878 …eeded = ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptions… in prvTCPBufferResize()
932 …e_t ) ( ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptions… in prvTCPBufferResize()
1015 …Buffer[ ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptions… in prvTCPPrepareSend()
1141 …pxProtocolHeaders->xTCPHeader.ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength… in prvTCPPrepareSend()
1150 … uxIntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvTCPPrepareSend()
1253 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvSetOptions()
1273 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvSetOptions()
[all …]
DFreeRTOS_TCP_IP.c199 … ( unsigned ) ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER ) ) ); in xTCPSocketCheck()
202 … pxSocket, pxSocket->u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER, ipconfigZE… in xTCPSocketCheck()
645 …>xDataLength < ( ipSIZE_OF_ETH_HEADER + xIPHeaderSize( pxNetworkBuffer ) + ipSIZE_OF_TCP_HEADER ) ) in xProcessReceivedTCPPacket()
787 ipSIZE_OF_TCP_HEADER ); in xProcessReceivedTCPPacket()
DFreeRTOS_IP_Utils.c409 … configASSERT( uxSize >= ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER + ipconfigTCP_MSS ) ); in vPreCheckConfigs()
558 … if( uxBufferLength < ( uxIPHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_TCP_HEADER ) ) in usGenerateProtocolChecksum()
DFreeRTOS_IP.c1899 uxMinimumLength = uxIPHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_TCP_HEADER; in xCheckSizeFields()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
DFreeRTOS_TCP_IP_DiffConfig_utest.c103 …t( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER, ipconfigZE… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP.h63 #define ipSIZE_OF_TCP_HEADER 20U macro
DFreeRTOSIPConfigDefaults.h643 …efine ipconfigTCP_MSS ( ipconfigNETWORK_MTU - ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER ) )
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/
DFreeRTOS_IP_Utils_utest.c745 uint16_t usLength = ucVersionHeaderLength + ipSIZE_OF_TCP_HEADER - 1; in test_usGenerateProtocolChecksum_TCPInvalidLength()
746 size_t uxBufferLength = ucVersionHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_TCP_HEADER - 1; in test_usGenerateProtocolChecksum_TCPInvalidLength()
775 size_t uxBufferLength = ucVersionHeaderLength + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_TCP_HEADER; in test_usGenerateProtocolChecksum_TCPInvalidLength2()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c253 …t( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER, ipconfigZE… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
319 …t( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER, ipconfigZE… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout()
352 …t( &xSocket, xSocket.u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER, ipconfigZE… in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout_NoLogPort()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/
DFreeRTOS_IP_DiffConfig_utest.c823 …xIPHeader->ucVersionHeaderLength & 0x0F ) << 2 ) + ipSIZE_OF_ETH_HEADER + ipSIZE_OF_TCP_HEADER - 1; in test_xCheckSizeFields_TCP_IncorrectPacketLen()