L4Re - L4 Runtime Environment
Random number support
+ Collaboration diagram for Random number support:

Functions

l4_uint32_t l4util_rand (void)
 Deliver next random number. More...
 
void l4util_srand (l4_uint32_t seed)
 Initialize random number generator. More...
 

Detailed Description

Function Documentation

◆ l4util_rand()

l4_uint32_t l4util_rand ( void  )

Deliver next random number.

Returns
A new random number

◆ l4util_srand()

void l4util_srand ( l4_uint32_t  seed)

Initialize random number generator.

Parameters
seedValue to initialize