L4Re Operating System Framework
Interface and Usage Documentation
|
Functions | |
l4_uint32_t | l4util_rand (void) |
Deliver next random number. | |
void | l4util_srand (l4_uint32_t seed) |
Initialize random number generator. | |
l4_uint32_t l4util_rand | ( | void | ) |
Deliver next random number.
void l4util_srand | ( | l4_uint32_t | seed | ) |
Initialize random number generator.
seed | Value to initialize |