| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | cbmc.c | 8 void * safeMalloc( size_t size ) in safeMalloc() argument
10 __CPROVER_assert( size < CBMC_MAX_OBJECT_SIZE, "safeMalloc size too big" ); in safeMalloc()
11 return nondet_bool() ? NULL : malloc( size ); in safeMalloc()
|
| D | freertos_api.c | 218 size_t size; in FreeRTOS_GetUDPPayloadBuffer_Multi() local
220 __CPROVER_assume( size < CBMC_MAX_OBJECT_SIZE ); in FreeRTOS_GetUDPPayloadBuffer_Multi()
221 __CPROVER_assume( size >= sizeof( UDPPacket_t ) ); in FreeRTOS_GetUDPPayloadBuffer_Multi()
223 uint8_t * buffer = safeMalloc( size ); in FreeRTOS_GetUDPPayloadBuffer_Multi()
298 size_t size = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor() local
299 __CPROVER_assume( size < CBMC_MAX_OBJECT_SIZE ); in pxGetNetworkBufferWithDescriptor()
301 desc->pucEthernetBuffer = safeMalloc( size ); in pxGetNetworkBufferWithDescriptor()
302 desc->xDataLength = desc->pucEthernetBuffer == NULL ? 0 : size; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 75 uint32_t size; in DNS_ParseDNSReply() local
78 return size; in DNS_ParseDNSReply()
175 size_t size; in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage() local
177 return size; in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage()
|
| /FreeRTOS-Plus-TCP-v4.0.0/docs/doxygen/ |
| D | style.css | 26 font-size: 160%;
34 font-size: 125%;
48 font-size: 100%;
83 font-size: 16px;
|
| D | config.doxyfile | 464 # The size of the symbol lookup cache can be set using LOOKUP_CACHE_SIZE. This
469 # cache size is given by this formula: 2^(16+LOOKUP_CACHE_SIZE). The valid range
470 # is 0..9, the default is 0, corresponding to a cache size of 2^16=65536
472 # the optimal cache size from a speed point of view.
1740 # Use this tag to change the font size of LaTeX formulas included as images in
1741 # the HTML documentation. When you change the font size after a successful
2221 # the XML output. Note that enabling this will significantly increase the size
2288 # size of the Perl module output will be much smaller and Perl will parse it
2557 # number of items for each type to make the size more manageable. Set this to 0
2738 # the size of a graph can be further restricted by MAX_DOT_GRAPH_DEPTH.
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPGenerateRequestPacket/ |
| D | README.md | 2 to the size claimed in xNetworkDescriptor.xDataLength,
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/DriverSAM/ |
| D | NetworkInterface.c | 119 uint32_t size ) in cache_clean_invalidate_by_addr() argument
122 SCB_CleanInvalidateDCache_by_Addr( ( uint32_t * ) addr, size ); in cache_clean_invalidate_by_addr()
127 uint32_t size ) in cache_invalidate_by_addr() argument
130 SCB_InvalidateDCache_by_Addr( ( uint32_t * ) addr, size ); in cache_invalidate_by_addr()
140 #define cache_clean_invalidate_by_addr( addr, size ) do {} while( 0 ) argument
141 #define cache_invalidate_by_addr( addr, size ) do {} while( 0 ) argument
|
| D | gmac_SAM.c | 177 #define CIRC_CNT( head, tail, size ) ( ( ( head ) - ( tail ) ) % ( size ) ) argument
184 #define CIRC_SPACE( head, tail, size ) CIRC_CNT( ( tail ), ( ( head ) + 1 ), ( size ) ) argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/include/ |
| D | cbmc.h | 41 void * safeMalloc( size_t size );
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ATSAM4E/ |
| D | gmac.c | 136 #define CIRC_CNT( head, tail, size ) ( ( ( head ) - ( tail ) ) % ( size ) ) argument
143 #define CIRC_SPACE( head, tail, size ) CIRC_CNT( ( tail ), ( ( head ) + 1 ), ( size ) ) argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/ |
| D | Configurations.json | 42 #That is the minimal required size for an ARPPacket_t plus offset in the buffer.
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Fxx/ |
| D | readme.md | 95 The best size for `ETH_RXBUFNB` and `ETH_TXBUFNB` depends on the speed of the CPU. These macro's de…
106 Without memory caching, let the size be at least a multiple of 8 ( for DMA ), and make it at least …
|
| /FreeRTOS-Plus-TCP-v4.0.0/ |
| D | History.txt | 28 3. Code size details for various build configurations
88 ipBUFFER_PADDING) bytes to the requested allocation size does
164 + Corrected the WIN size reporting to the TCP peer. The WIN size as reported
197 TCP sliding window size becomes more than 64KB, the factor will increase
329 writer to set their own minimum buffer size should the hardware not be
|
| D | MISRA.md | 131 pointer size of the platform. The pointer has to be moved backward by a
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | readme.md | 11 The number of descriptors has an incluence on the performance. But that also depends on the size
|
