Searched defs:size (Results 1 – 6 of 6) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | cbmc.c | 8 void * safeMalloc( size_t size ) in safeMalloc()
|
| D | freertos_api.c | 217 size_t size; in FreeRTOS_GetUDPPayloadBuffer() local
297 size_t size = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 67 uint32_t size; in DNS_ParseDNSReply() local
150 size_t size; in prvCreateDNSMessage() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/DriverSAM/ |
| D | NetworkInterface.c | 113 uint32_t size ) in cache_clean_invalidate_by_addr()
122 size ) \ in cache_invalidate_by_addr() argument
133 #define cache_clean_invalidate_by_addr( addr, size ) do {} while( 0 ) argument
134 #define cache_invalidate_by_addr( addr, size ) do {} while( 0 ) argument
|
| D | gmac_SAM.c | 155 #define CIRC_CNT( head, tail, size ) ( ( ( head ) - ( tail ) ) % ( size ) ) argument
162 #define CIRC_SPACE( head, tail, size ) CIRC_CNT( ( tail ), ( ( head ) + 1 ), ( size ) ) argument
|
| /FreeRTOS-Plus-TCP-v3.1.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
|
