Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c383 TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_Null_Socket()
411 TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_Null_Socket_Relase_True()
439 TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_No_KL()
474 TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_No_KL_LocalIP()
517 TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_No_KL_LocalIP_GT_Eth_Packet_Length()
559 TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_No_KL_LocalIP_ARP_Not_Hit()
606 TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_No_KL_Fin_Suppress_Rx_Stop()
645 TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_No_KL_Fin_Not_Suppress_Low_Water()
684 TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvTCPReturnPacket_No_KL_Fin_Not_Suppress_Big_Win()
1588 TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvSendData_AckMsg_Not_Null_Small_Length()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c91 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in harness()
96 ensure_memory_is_valid( pxNetworkBuffer->pucEthernetBuffer, sizeof( TCPPacket_t ) ) && in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
DTCPReturnPacket_harness.c56 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in pxDuplicateNetworkBufferWithDescriptor()
110 __CPROVER_assume( ( ulLen >= sizeof( TCPPacket_t ) ) && ( ulLen < ipconfigNETWORK_MTU ) ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
DTCPPrepareSend_harness.c70 size_t bufferSize = sizeof( TCPPacket_t ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c1502 … const TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_Not_For_Me()
1520 … const TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_Reuse_Socket()
1546 … const TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_New_Socket_Exceed_Limit()
1572 … const TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_New_Socket_Good()
1603 … const TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_New_Socket_NULL_Socket()
1630 … const TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_New_Socket_Invalid_Socket()
1657 … const TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in test_prvHandleListen_New_Socket_Socket_Copy_Failure()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h213 typedef struct xTCP_PACKET TCPPacket_t; variable
222 TCPPacket_t xTCPPacket; /**< Union member: TCP packet struct */
528 uint8_t ucLastPacket[ sizeof( TCPPacket_t ) ];
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c110 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( sizeof( TCPPacket_t ) ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_Transmission.c259 TCPPacket_t * pxTCPPacket; in prvTCPReturnPacket()
315 pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in prvTCPReturnPacket()
603 TCPPacket_t * pxTCPPacket; in prvTCPPrepareConnect()
677 pxTCPPacket = ( ( TCPPacket_t * ) pxSocket->u.xTCP.xPacket.u.ucLastPacket ); in prvTCPPrepareConnect()
698 … usLength = ( uint16_t ) ( sizeof( TCPPacket_t ) - sizeof( pxTCPPacket->xEthernetHeader ) ); in prvTCPPrepareConnect()
1463 … TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in prvTCPSendSpecialPacketHelper()
DFreeRTOS_TCP_State_Handling.c918 … const TCPPacket_t * pxTCPPacket = ( ( const TCPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in prvHandleListen()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/
DREADME.md38 ipconfigETHERNET_MINIMUM_PACKET_BYTES < sizeof( TCPPacket_t ).
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/BufferManagement/
DBufferAllocation_2.c61 #define baMINIMAL_BUFFER_SIZE sizeof( TCPPacket_t )
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/
DBufferAllocation_2.c63 #define baMINIMAL_BUFFER_SIZE sizeof( TCPPacket_t )
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c3117 const TCPPacket_t * pxConstTCPPacket = ( ( const TCPPacket_t * ) pvPtr ); in test_CastingFunctions()
3118 TCPPacket_t * pxTCPPacket = ( ( TCPPacket_t * ) pvPtr ); in test_CastingFunctions()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/
DFreeRTOS_IP_DiffConfig_utest.c543 pxNetworkBuffer->xDataLength = sizeof( TCPPacket_t ); in test_prvAllowIPPacket_TCP_HappyPath()