Home
last modified time | relevance | path

Searched refs:TCPPacket_t (Results 1 – 19 of 19) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv4/
DFreeRTOS_TCP_State_Handling_IPv4_utest.c81 TCPPacket_t * pxTCPPacket; in test_prvHandleListen_IPV4_NotForMe()
93 pxTCPPacket = ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvHandleListen_IPV4_NotForMe()
117 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_IPV4_ReuseSocket()
150 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_IPV4_NewSocketExceedLimit()
182 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_IPV4_NewSocketGood()
221 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_IPV4_NewSocketGoodValidDataLength()
259 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_IPV4_NewSocketNULLSocket()
292 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_IPV4_NewSocketInvalidSocket()
325 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_IPV4_NewSocketSocketCopyFailure()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_Transmission_IPv4.c89 TCPPacket_t * pxTCPPacket = NULL; in prvTCPReturnPacket_IPV4()
156 pxTCPPacket = ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in prvTCPReturnPacket_IPV4()
325 TCPPacket_t * pxTCPPacket; in prvTCPPrepareConnect_IPV4()
398 pxTCPPacket = ( ( TCPPacket_t * ) pxSocket->u.xTCP.xPacket.u.ucLastPacket ); in prvTCPPrepareConnect_IPV4()
419 usLength = ( uint16_t ) ( sizeof( TCPPacket_t ) - sizeof( pxTCPPacket->xEthernetHeader ) ); in prvTCPPrepareConnect_IPV4()
483 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in prvTCPSendSpecialPktHelper_IPV4()
DFreeRTOS_TCP_State_Handling_IPv4.c80 const TCPPacket_t * pxTCPPacket = NULL; in prvHandleListen_IPV4()
91 pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in prvHandleListen_IPV4()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IPv4_Private.h42 #define TCP_PACKET_SIZE ( sizeof( TCPPacket_t ) )
126 typedef struct xTCP_PACKET TCPPacket_t; variable
DFreeRTOS_IP_Private.h214 TCPPacket_t xTCPPacket; /**< Union member: TCP packet struct */
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c586 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_Null_Socket()
624 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_Assert_Interface_NULL()
659 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_Assert_InterfaceOutput_NULL()
696 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_Null_Socket_Relase_True()
727 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_No_KL()
775 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_No_KL_LocalIP()
832 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_No_KL_LocalIP_GT_Eth_Packet_Length()
884 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_No_KL_LocalIP_ARP_Not_Hit()
939 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_No_KL_Fin_Suppress_Rx_Stop()
986 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_No_KL_Fin_Not_Suppress_Low_Water()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c97 …pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) + uxIPHeaderSizeSocket( pxS… in harness()
102 ensure_memory_is_valid( pxNetworkBuffer->pucEthernetBuffer, sizeof( TCPPacket_t ) ) && in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
DTCPReturnPacket_harness.c95 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
152 __CPROVER_assume( ( ulLen >= sizeof( TCPPacket_t ) ) && ( ulLen < ipconfigNETWORK_MTU ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen/
DprvHandleListen_harness.c63 __CPROVER_assume( xDataLength >= sizeof( TCPPacket_t ) && xDataLength <= ipconfigNETWORK_MTU ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c92 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
DTCPPrepareSend_harness.c83 size_t bufferSize = sizeof( TCPPacket_t ) + uxIPHeaderSizeSocket( pxSocket ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/
DTCPReturnPacket_IPv6_harness.c94 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/
DREADME.md38 ipconfigETHERNET_MINIMUM_PACKET_BYTES < sizeof( TCPPacket_t ).
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Routing_ConfigV4Only/
DFreeRTOS_Routing_ConfigV4Only_utest.c99 uint8_t * pcNetworkBuffer[ sizeof( TCPPacket_t ) + 4 ] __attribute__( ( aligned( 32 ) ) ); in test_FreeRTOS_MatchingEndpoint_MatchCustomFrameType()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/BufferManagement/
DBufferAllocation_2.c61 #define baMINIMAL_BUFFER_SIZE sizeof( TCPPacket_t )
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_DiffConfig/
DFreeRTOS_IPv4_DiffConfig_utest.c278 pxNetworkBuffer->xDataLength = sizeof( TCPPacket_t ); in test_prvAllowIPPacketIPv4_TCP_HappyPath()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_DiffConfig1/
DFreeRTOS_IPv4_DiffConfig1_utest.c144 pxNetworkBuffer->xDataLength = sizeof( TCPPacket_t ); in test_prvAllowIPPacketIPv4_HeaderLengthLess()
189 pxNetworkBuffer->xDataLength = sizeof( TCPPacket_t ); in test_prvAllowIPPacketIPv4_BufferLengthLessThan()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/
DBufferAllocation_2.c63 #define baMINIMAL_BUFFER_SIZE sizeof( TCPPacket_t )
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c3493 const TCPPacket_t * pxConstTCPPacket = ( ( const TCPPacket_t * ) pvPtr ); in test_CastingFunctions()
3494 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pvPtr ); in test_CastingFunctions()