Searched defs:size (Results 1 – 6 of 6) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | cbmc.c | 8 void * safeMalloc( size_t size ) in safeMalloc()
|
| D | freertos_api.c | 218 size_t size; in FreeRTOS_GetUDPPayloadBuffer_Multi() local
298 size_t size = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 75 uint32_t size; in DNS_ParseDNSReply() local
175 size_t size; in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/DriverSAM/ |
| D | NetworkInterface.c | 119 uint32_t size ) in cache_clean_invalidate_by_addr()
127 uint32_t 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/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
|
