16#ifndef __L4UTIL_RAND_H
17#define __L4UTIL_RAND_H
19#define L4_RAND_MAX 65535
22#include <l4/sys/l4int.h>
L4 compiler related defines.
unsigned int l4_uint32_t
Unsigned 32bit value.
#define L4_CV
Define calling convention.
#define EXTERN_C_BEGIN
Start section with C types and functions.
#define EXTERN_C_END
End 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.