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