Home
last modified time | relevance | path

Searched refs:NETWORK_BUFFER_SIZE (Results 1 – 7 of 7) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ParseDNSReply/
DParseDNSReply_harness.c41 __CPROVER_assert( NETWORK_BUFFER_SIZE < CBMC_MAX_OBJECT_SIZE, in DNS_ReadNameField()
55 __CPROVER_assert( uxRemainingBytes <= NETWORK_BUFFER_SIZE, in DNS_ReadNameField()
89 __CPROVER_assert( NETWORK_BUFFER_SIZE < CBMC_MAX_OBJECT_SIZE, in DNS_SkipNameField()
96 __CPROVER_assert( uxLength <= NETWORK_BUFFER_SIZE, in DNS_SkipNameField()
120 __CPROVER_assert( NETWORK_BUFFER_SIZE < CBMC_MAX_OBJECT_SIZE, in harness()
124 __CPROVER_assume( uxBufferLength <= NETWORK_BUFFER_SIZE ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/SkipNameField/
DSkipNameField_harness.c37 __CPROVER_assert( NETWORK_BUFFER_SIZE < CBMC_MAX_OBJECT_SIZE, in harness()
46 __CPROVER_assume( uxLength <= NETWORK_BUFFER_SIZE ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ReadNameField/
DReadNameField_harness.c59 __CPROVER_assert( NETWORK_BUFFER_SIZE < CBMC_MAX_OBJECT_SIZE, in harness()
78 __CPROVER_assume( pxSet.uxSourceBytesRemaining <= NETWORK_BUFFER_SIZE ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ATSAME5x/
DNetworkInterface.c129 #define NETWORK_BUFFER_SIZE 1536 macro
130 static uint8_t ucBuffers[ ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS ][ NETWORK_BUFFER_SIZE ];
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/DriverSAM/
DNetworkInterface.c1106 extern uint8_t ucNetworkPackets[ ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS * NETWORK_BUFFER_SIZE ];
1116 ucRAMBuffer += NETWORK_BUFFER_SIZE; in vNetworkInterfaceAllocateRAMToBuffers()
Dgmac_SAM.c140 uint8_t ucNetworkPackets[ ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS * NETWORK_BUFFER_SIZE ];
Dgmac_SAM.h107 #define NETWORK_BUFFER_SIZE ( GMAC_FRAME_LENTGH_MAX + BUFFER_PADDING ) macro