| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/ |
| D | OutputARPRequest_harness.c | 54 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
61 xNetworkBuffer.pucEthernetBuffer = malloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
65 __CPROVER_assert( !__CPROVER_overflow_mult( 2, xRequestedSizeBytes ) ); in pxGetNetworkBufferWithDescriptor()
66 __CPROVER_assume( malloc_size > 0 && malloc_size < 2 * xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
71 xNetworkBuffer.xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/ |
| D | BufferAllocation_2.c | 383 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
389 … if( ( xRequestedSizeBytes != 0u ) && ( xRequestedSizeBytes < ( size_t ) baMINIMAL_BUFFER_SIZE ) ) in pxGetNetworkBufferWithDescriptor()
393 xRequestedSizeBytes = baMINIMAL_BUFFER_SIZE; in pxGetNetworkBufferWithDescriptor()
397 if( xRequestedSizeBytes != 0u ) in pxGetNetworkBufferWithDescriptor()
400 xRequestedSizeBytes += 2u; in pxGetNetworkBufferWithDescriptor()
402 if( ( xRequestedSizeBytes & ( sizeof( size_t ) - 1u ) ) != 0u ) in pxGetNetworkBufferWithDescriptor()
404 xRequestedSizeBytes = ( xRequestedSizeBytes | ( sizeof( size_t ) - 1u ) ) + 1u; in pxGetNetworkBufferWithDescriptor()
433 if( xRequestedSizeBytes > 0 ) in pxGetNetworkBufferWithDescriptor()
439 …pxReturn->pucEthernetBuffer = NetworkBufferAllocate( xRequestedSizeBytes - sizeof( TCPIP_MAC_ETHER… in pxGetNetworkBufferWithDescriptor()
441 …pxReturn->pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xRequestedSizeBytes + ipBUFFER_PADDING ); in pxGetNetworkBufferWithDescriptor()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/ |
| D | vProcessGeneratedUDPPacket_harness.c | 81 size_t xRequestedSizeBytes; in harness() local
85 …__CPROVER_assume( xRequestedSizeBytes >= sizeof( UDPPacket_t ) && xRequestedSizeBytes <= ipTOTAL_E… in harness()
88 …rDescriptor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( xRequestedSizeBytes, 0 ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPAgeCache/ |
| D | ARPAgeCache_harness.c | 12 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
19 pxNetworkBuffer->pucEthernetBuffer = malloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
22 pxNetworkBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketClose/ |
| D | vSocketClose_harness.c | 28 size_t xRequestedSizeBytes; in harness() local
37 __CPROVER_assume( xRequestedSizeBytes < ( CBMC_MAX_OBJECT_SIZE - ipBUFFER_PADDING ) ); in harness()
85 …pxSocket->u.xTCP.pxAckMessage = pxGetNetworkBufferWithDescriptor( xRequestedSizeBytes, xBlockTimeT… in harness()
100 … NetworkBuffer = pxGetNetworkBufferWithDescriptor( xRequestedSizeBytes, xBlockTimeTicks ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/ |
| D | TCPPrepareSend_harness.c | 47 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
57 pxBuffer->pucEthernetBuffer = malloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
59 pxBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/BufferManagement/ |
| D | BufferAllocation_1.c | 233 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
242 ( void ) xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
292 pxReturn->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
321 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes ) in pxNetworkBufferGetFromISR() argument
327 ( void ) xRequestedSizeBytes; in pxNetworkBufferGetFromISR()
|
| D | BufferAllocation_2.c | 231 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
237 size_t xRequestedSizeBytesCopy = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/ConfigFiles/ |
| D | NetworkBufferManagement.h | 37 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes,
39 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes );
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | NetworkBufferManagement.h | 39 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes,
43 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes );
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 214 void * FreeRTOS_GetUDPPayloadBuffer( size_t xRequestedSizeBytes, in FreeRTOS_GetUDPPayloadBuffer() argument
252 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
256 xRequestedSizeBytes + ipBUFFER_PADDING < CBMC_MAX_OBJECT_SIZE, in pxGetNetworkBufferWithDescriptor()
297 size_t size = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
| D | ProcessReceivedTCPPacket_harness.c | 89 NetworkBufferDescriptor_t * pxGetNetworkBufferWithDescriptor( size_t xRequestedSizeBytes, in pxGetNetworkBufferWithDescriptor() argument
96 pxNetworkBuffer->pucEthernetBuffer = safeMalloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/Coverity/ |
| D | Portable.c | 20 NetworkBufferDescriptor_t * pxNetworkBufferGetFromISR( size_t xRequestedSizeBytes ) in pxNetworkBufferGetFromISR() argument
22 ( void ) xRequestedSizeBytes; in pxNetworkBufferGetFromISR()
|
