00001 /* $Id: rand.h 31603 2008-05-12 06:54:17Z adam $ */ 00009 #ifndef __L4UTIL_RAND_H 00010 #define __L4UTIL_RAND_H 00011 00012 #define L4_RAND_MAX 65535 00013 00014 #include <l4/sys/compiler.h> 00015 #include <l4/sys/l4int.h> 00016 00017 EXTERN_C_BEGIN 00018 00022 L4_CV l4_uint32_t 00023 l4util_rand(void); 00024 00028 L4_CV void 00029 l4util_srand (l4_uint32_t seed); 00030 00031 EXTERN_C_END 00032 00033 #endif /* __L4UTIL_RAND_H */