Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.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-v4.0.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-v4.0.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-v4.0.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-v4.0.0/test/Coverity/
DPortable.c36 BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber ) in xApplicationGetRandomNumber() argument
38 ( void ) pulNumber; in xApplicationGetRandomNumber()
/FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/Common/
Dmain.c243 BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber ) in xApplicationGetRandomNumber() argument
245 *pulNumber = ( uint32_t ) uxRand(); in xApplicationGetRandomNumber()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/
DFreeRTOS_DHCPv6_stubs.c177 BaseType_t xStubxApplicationGetRandomNumber( uint32_t * pulNumber, in xStubxApplicationGetRandomNumber() argument
180 if( pulNumber != NULL ) in xStubxApplicationGetRandomNumber()
182 *pulNumber = 0xFF000000 | TEST_DHCPV6_TRANSACTION_ID; in xStubxApplicationGetRandomNumber()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ARP_DataLenLessThanMinPacket/
DFreeRTOS_ARP_DataLenLessThanMinPacket_stubs.c90 BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber ) in xApplicationGetRandomNumber() argument
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ARP/
DFreeRTOS_ARP_stubs.c94 BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber ) in xApplicationGetRandomNumber() argument
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP.h442 BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber );