Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/prvChecksumIPv6Checks/
DprvChecksumIPv6Checks_harness.c21 size_t uxBufferSize; in harness() local
26 …__CPROVER_assume( uxBufferSize >= sizeof( IPPacket_IPv6_t ) && uxBufferSize <= ipconfigNETWORK_MTU… in harness()
29 pucEthernetBuffer = ( uint8_t * ) safeMalloc( uxBufferSize ); in harness()
37 uxBufferSize, in harness()
/FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/include/
Dplus_tcp_demo_cli.h39 size_t uxBufferSize );
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IPv6_Sockets.h85 size_t uxBufferSize,
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IPv6_Sockets.c197 size_t uxBufferSize, in uxHexPrintShort() argument
217 if( uxIndex >= ( uxBufferSize - 1U ) ) in uxHexPrintShort()
/FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/
Dplus_tcp_demo_cli.c210 size_t uxBufferSize ) in xHandleTestingCommand() argument
215 ( void ) uxBufferSize; in xHandleTestingCommand()