14#ifndef __L4UTIL_RAND_H
15#define __L4UTIL_RAND_H
17#define L4_RAND_MAX 65535
20#include <l4/sys/l4int.h>
L4 compiler related defines.
unsigned int l4_uint32_t
Unsigned 32bit value.
#define __END_DECLS
End section with C types and functions.
#define L4_CV
Define calling convention.
#define __BEGIN_DECLS
Start section with C types and functions.
void l4util_srand(l4_uint32_t seed)
Initialize random number generator.
l4_uint32_t l4util_rand(void)
Deliver next random number.