Go to the source code of this file.
Defines | |
| #define | L4_RAND_MAX 65535 |
Functions | |
| L4_CV l4_uint32_t | l4util_rand (void) |
| Deliver next random number. | |
| L4_CV void | l4util_srand (l4_uint32_t seed) |
| Initialize random number generator. | |
Definition in file rand.h.
| L4_CV l4_uint32_t l4util_rand | ( | void | ) |
Deliver next random number.
| L4_CV void l4util_srand | ( | l4_uint32_t | seed | ) |
Initialize random number generator.
| seed | value to initialize |