Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptions/
HDCheckOptions_harness.c122 __CPROVER_assume( buffer_size <= BUFFER_SIZE ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/libslirp/
HDMBuffNetworkInterface.c327 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING ) macro
328 #define BUFFER_SIZE_ROUNDED_UP ( ( BUFFER_SIZE + 7 ) & ~0x07UL )
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/TM4C/
HDNetworkInterface.c60 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING ) macro
61 #define BUFFER_SIZE_ROUNDED_UP ( ( BUFFER_SIZE + 7 ) & ~0x7UL )
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/
HDNetworkInterface.c946 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING ) macro
947 #define BUFFER_SIZE_ROUNDED_UP ( ( BUFFER_SIZE + 7 ) & ~0x07UL )
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/linux/
HDNetworkInterface.c1093 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING ) macro
1094 #define BUFFER_SIZE_ROUNDED_UP ( ( BUFFER_SIZE + 7 ) & ~0x07UL )