L4Re Operating System Framework
Interface and Usage Documentation
|
Simple Pseudo-Random Number Generator. More...
Go to the source code of this file.
Functions | |
l4_uint32_t | l4util_rand (void) |
Deliver next random number. | |
void | l4util_srand (l4_uint32_t seed) |
Initialize random number generator. | |