Home
last modified time | relevance | path

Searched refs:uxTotalLength (Results 1 – 4 of 4) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptionsOuter/
DCheckOptionsOuter_harness.c28 … size_t uxTotalLength,
75 size_t uxTotalLength; in harness() local
89 __CPROVER_assume( uxTotalLength <= buffer_size ); in harness()
93 … uxTotalLength, in harness()
98 __CPROVER_assert( ( ( index == -1 ) || ( index == 1 ) || ( index <= uxTotalLength ) ), in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptions/
DCheckOptions_harness.c42 size_t uxTotalLength, in __CPROVER_file_local_FreeRTOS_TCP_IP_c_prvSingleStepTCPHeaderOptions() argument
55 __CPROVER_assert( uxTotalLength <= buffer_size, in __CPROVER_file_local_FreeRTOS_TCP_IP_c_prvSingleStepTCPHeaderOptions()
63 __CPROVER_assume( ( index == -1 ) || ( index == 1 ) || ( index <= uxTotalLength ) ); in __CPROVER_file_local_FreeRTOS_TCP_IP_c_prvSingleStepTCPHeaderOptions()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_Reception.c67 size_t uxTotalLength,
198 size_t uxTotalLength, in prvSingleStepTCPHeaderOptions() argument
203 size_t uxRemainingOptionsBytes = uxTotalLength; in prvSingleStepTCPHeaderOptions()
DFreeRTOS_IP.c1000 size_t uxTotalLength; in FreeRTOS_SendPingRequest() local
1003 uxTotalLength = uxNumberOfBytesToSend + sizeof( ICMPPacket_t ); in FreeRTOS_SendPingRequest()
1017 pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( uxTotalLength, uxBlockTimeTicks ); in FreeRTOS_SendPingRequest()
1046 pxNetworkBuffer->xDataLength = uxTotalLength; in FreeRTOS_SendPingRequest()