Home
last modified time | relevance | path

Searched refs:pulNumber (Results 1 – 9 of 9) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/
DvSocketBind_harness.c32 BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber ) in xApplicationGetRandomNumber() argument
34 __CPROVER_assert( pulNumber != NULL, "Argument to xApplicationGetRandomNumber cannot be NULL" ); in xApplicationGetRandomNumber()
38 *pulNumber = nondet_uint32_t(); in xApplicationGetRandomNumber()
43 *pulNumber = NULL; in xApplicationGetRandomNumber()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/
DvSocketBind_harness.c32 BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber ) in xApplicationGetRandomNumber() argument
34 __CPROVER_assert( pulNumber != NULL, "Argument to xApplicationGetRandomNumber cannot be NULL" ); in xApplicationGetRandomNumber()
38 *pulNumber = nondet_uint32_t(); in xApplicationGetRandomNumber()
43 *pulNumber = NULL; in xApplicationGetRandomNumber()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/
DvSocketBind_harness.c34 BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber ) in xApplicationGetRandomNumber() argument
36 __CPROVER_assert( pulNumber != NULL, "Argument to xApplicationGetRandomNumber cannot be NULL" ); in xApplicationGetRandomNumber()
40 *pulNumber = nondet_uint32_t(); in xApplicationGetRandomNumber()
45 *pulNumber = NULL; in xApplicationGetRandomNumber()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ThirdParty/MSP432/
DNetworkMiddleware.c162 BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber ) in xApplicationGetRandomNumber() argument
164 *pulNumber = 0; in xApplicationGetRandomNumber()
172 *pulNumber = num; in xApplicationGetRandomNumber()
183 uint32_t pulNumber = 0; in ulApplicationGetNextSequenceNumber() local
185 xApplicationGetRandomNumber( &pulNumber ); in ulApplicationGetNextSequenceNumber()
186 return pulNumber; in ulApplicationGetNextSequenceNumber()
/FreeRTOS-Plus-TCP-v3.1.0/test/Coverity/
DPortable.c36 BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber ) in xApplicationGetRandomNumber() argument
38 ( void ) pulNumber; in xApplicationGetRandomNumber()
/FreeRTOS-Plus-TCP-v3.1.0/test/build-combination/Common/
Dmain.c231 BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber ) in xApplicationGetRandomNumber() argument
233 *pulNumber = uxRand(); in xApplicationGetRandomNumber()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP_DataLenLessThanMinPacket/
DFreeRTOS_ARP_DataLenLessThanMinPacket_stubs.c83 BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber ) in xApplicationGetRandomNumber() argument
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP/
DFreeRTOS_ARP_stubs.c86 BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber ) in xApplicationGetRandomNumber() argument
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP.h395 BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber );