Home
last modified time | relevance | path

Searched refs:BUFFER_SIZE (Results 1 – 5 of 5) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptions/
DCheckOptions_harness.c97 __CPROVER_assume( buffer_size <= BUFFER_SIZE ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/libslirp/
DMBuffNetworkInterface.c296 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING ) macro
297 #define BUFFER_SIZE_ROUNDED_UP ( ( BUFFER_SIZE + 7 ) & ~0x07UL )
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/WinPCap/
DNetworkInterface.c687 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING ) macro
688 #define BUFFER_SIZE_ROUNDED_UP ( ( BUFFER_SIZE + 7 ) & ~0x07UL )
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/linux/
DNetworkInterface.c893 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING ) macro
894 #define BUFFER_SIZE_ROUNDED_UP ( ( BUFFER_SIZE + 7 ) & ~0x07UL )
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/TM4C/
DNetworkInterface.c60 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING ) macro
61 #define BUFFER_SIZE_ROUNDED_UP ( ( BUFFER_SIZE + 7 ) & ~0x7UL )