Searched refs:ulLen (Results 1 – 5 of 5) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| D | TCPReturnPacket_harness.c | 45 uint32_t ulLen,
104 uint32_t ulLen; in harness() local
110 __CPROVER_assume( ( ulLen >= sizeof( TCPPacket_t ) ) && ( ulLen < ipconfigNETWORK_MTU ) ); in harness()
111 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( ulLen + ipSIZE_OF_ETH_HEADER ); in harness()
120 __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()
126 publicTCPReturnPacket( pxSocket, pxNetworkBuffer, ulLen, xReleaseAfterSend ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/ |
| D | aws_freertos_tcp_verification_access_tcp_define.h | 16 uint32_t ulLen, in publicTCPReturnPacket() argument
19 prvTCPReturnPacket( pxSocket, pxNetworkBuffer, ulLen, xReleaseAfterSend ); in publicTCPReturnPacket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_TCP_Transmission.h | 53 uint32_t ulLen,
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_TCP_Transmission.c | 256 uint32_t ulLen, in prvTCPReturnPacket() argument
406 … uint32_t ulDataLen = ( uint32_t ) ( ulLen - ( ipSIZE_OF_TCP_HEADER + ipSIZE_OF_IPv4_HEADER ) ); in prvTCPReturnPacket()
430 pxIPHeader->usLength = FreeRTOS_htons( ulLen ); in prvTCPReturnPacket()
463 pxNetworkBuffer->xDataLength = ( size_t ) ulLen; in prvTCPReturnPacket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/ |
| D | FreeRTOS_TCP_IP_utest.c | 94 uint32_t ulLen, in prvTCPReturnPacket_StubReturnNULL() argument
99 ( void ) ulLen; in prvTCPReturnPacket_StubReturnNULL()
|
