Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
DREADME.md1 This is the memory safety proof for prvTCPReturnPacket.
DTCPReturnPacket_harness.c180 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, ulLen, xReleaseAfterSend ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DREADME.md9 * prvTCPReturnPacket (proved independently)
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/
DFreeRTOS_TCP_Transmission_IPv6_stubs.c84 void prvTCPReturnPacket( FreeRTOS_Socket_t * pxSocket, in prvTCPReturnPacket() function
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_TCP_Transmission.h51 void prvTCPReturnPacket( FreeRTOS_Socket_t * pxSocket,
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c431 catch_assert( prvTCPReturnPacket( pxSocket, pxDescriptor, 40, pdFALSE ) ); in test_prvTCPReturnPacket_Null_Buffer_Null_Socket()
472 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, 40, pdFALSE ); in test_prvTCPReturnPacket_Null_Buffer_Null_Rx_Stream_KL()
501 prvTCPReturnPacket( pxSocket, &xNetworkBuffer, 40, pdFALSE ); in test_prvTCPReturnPacket_Null_EP_WithoutRelease()
529 prvTCPReturnPacket( pxSocket, &xNetworkBuffer, 40, pdTRUE ); in test_prvTCPReturnPacket_Null_EP_WithRelease()
548 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, 40, pdFALSE ); in test_prvTCPReturnPacket_Null_Buffer_IPv6()
566 prvTCPReturnPacket( NULL, pxNetworkBuffer, 40, pdFALSE ); in test_prvTCPReturnPacket_Null_Socket_IPv6()
601 prvTCPReturnPacket( NULL, pxNetworkBuffer, 40, pdFALSE ); in test_prvTCPReturnPacket_Null_Socket()
639 catch_assert( prvTCPReturnPacket( NULL, pxNetworkBuffer, 40, pdFALSE ) ); in test_prvTCPReturnPacket_Assert_Interface_NULL()
674 catch_assert( prvTCPReturnPacket( NULL, pxNetworkBuffer, 40, pdFALSE ) ); in test_prvTCPReturnPacket_Assert_InterfaceOutput_NULL()
711 prvTCPReturnPacket( NULL, pxNetworkBuffer, 40, pdTRUE ); in test_prvTCPReturnPacket_Null_Socket_Relase_True()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/
DTCPReturnPacket_IPv6_harness.c179 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, ulLen, xReleaseAfterSend ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_Transmission.c175 prvTCPReturnPacket( pxSocket, NULL, ( uint32_t ) lResult, pdFALSE ); in prvTCPSendPacket()
218 …prvTCPReturnPacket( pxSocket, *ppxNetworkBuffer, ( uint32_t ) xSendLength, ipconfigZERO_COPY_TX_DR… in prvTCPSendRepeated()
246 void prvTCPReturnPacket( FreeRTOS_Socket_t * pxSocket, in prvTCPReturnPacket() function
1286 …prvTCPReturnPacket( pxSocket, *ppxNetworkBuffer, ( uint32_t ) xSendLength, ipconfigZERO_COPY_TX_DR… in prvSendData()
DFreeRTOS_TCP_Transmission_IPv4.c501 prvTCPReturnPacket( NULL, pxNetworkBuffer, ulSendLength, pdFALSE ); in prvTCPSendSpecialPktHelper_IPV4()
DFreeRTOS_TCP_IP.c187 …prvTCPReturnPacket( pxSocket, pxSocket->u.xTCP.pxAckMessage, ( uint32_t ) ( uxIPHeaderSizeSocket( … in xTCPSocketCheck()
DFreeRTOS_TCP_Transmission_IPv6.c524 prvTCPReturnPacket( NULL, pxNetworkBuffer, ulSendLength, pdFALSE ); in prvTCPSendSpecialPktHelper_IPV6()
/FreeRTOS-Plus-TCP-v4.0.0/
DHistory.txt209 prvTCPReturnPacket() is called in prvSendData() to prevent unnecessary