Searched refs:prvTCPReturnPacket (Results 1 – 8 of 8) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/ |
| D | aws_freertos_tcp_verification_access_tcp_define.h | 19 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, ulLen, xReleaseAfterSend ); in publicTCPReturnPacket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| D | README.md | 1 This is the memory safety proof for prvTCPReturnPacket.
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/ |
| D | README.md | 9 * prvTCPReturnPacket (proved independently)
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_TCP_Transmission.h | 51 void prvTCPReturnPacket( FreeRTOS_Socket_t * pxSocket,
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_TCP_Transmission.c | 183 prvTCPReturnPacket( pxSocket, NULL, ( uint32_t ) lResult, pdFALSE ); in prvTCPSendPacket()
226 …prvTCPReturnPacket( pxSocket, *ppxNetworkBuffer, ( uint32_t ) xSendLength, ipconfigZERO_COPY_TX_DR… in prvTCPSendRepeated()
254 void prvTCPReturnPacket( FreeRTOS_Socket_t * pxSocket, in prvTCPReturnPacket() function
1427 …prvTCPReturnPacket( pxSocket, *ppxNetworkBuffer, ( uint32_t ) xSendLength, ipconfigZERO_COPY_TX_DR… in prvSendData()
1470 prvTCPReturnPacket( NULL, pxNetworkBuffer, ulSendLength, pdFALSE ); in prvTCPSendSpecialPacketHelper()
|
| D | FreeRTOS_TCP_IP.c | 202 …prvTCPReturnPacket( pxSocket, pxSocket->u.xTCP.pxAckMessage, ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP… in xTCPSocketCheck()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/ |
| D | FreeRTOS_TCP_Transmission_utest.c | 373 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, 40, pdFALSE ); in test_prvTCPReturnPacket_Null_Buffer_Null_Rx_Stream_KL()
398 prvTCPReturnPacket( NULL, pxNetworkBuffer, 40, pdFALSE ); in test_prvTCPReturnPacket_Null_Socket()
426 prvTCPReturnPacket( NULL, pxNetworkBuffer, 40, pdTRUE ); in test_prvTCPReturnPacket_Null_Socket_Relase_True()
462 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, 40, pdFALSE ); in test_prvTCPReturnPacket_No_KL()
499 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, 40, pdTRUE ); in test_prvTCPReturnPacket_No_KL_LocalIP()
542 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, 1000, pdTRUE ); in test_prvTCPReturnPacket_No_KL_LocalIP_GT_Eth_Packet_Length()
590 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, 40, pdTRUE ); in test_prvTCPReturnPacket_No_KL_LocalIP_ARP_Not_Hit()
632 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, 40, pdFALSE ); in test_prvTCPReturnPacket_No_KL_Fin_Suppress_Rx_Stop()
671 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, 40, pdFALSE ); in test_prvTCPReturnPacket_No_KL_Fin_Not_Suppress_Low_Water()
710 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, 40, pdFALSE ); in test_prvTCPReturnPacket_No_KL_Fin_Not_Suppress_Big_Win()
|
| /FreeRTOS-Plus-TCP-v3.1.0/ |
| D | History.txt | 140 prvTCPReturnPacket() is called in prvSendData() to prevent unnecessary
|
