L4Re/doc/rand_8h_source.html

/*

 * (c) 2008-2009 Author(s)

 *     economic rights: Technische Universität Dresden (Germany)

 * License: see LICENSE.spdx (in this directory or the directories above)

 */


#ifndef __L4UTIL_RAND_H

#define __L4UTIL_RAND_H


#define L4_RAND_MAX 65535


#include <l4/sys/compiler.h>

#include <l4/sys/l4int.h>


__BEGIN_DECLS


L4_CV l4_uint32_t

l4util_rand(void);


L4_CV void

l4util_srand (l4_uint32_t seed);


__END_DECLS


#endif /* __L4UTIL_RAND_H */

compiler.h
L4 compiler related defines.

l4_uint32_t
unsigned int l4_uint32_t
Unsigned 32bit value.
Definition l4int.h:29

__END_DECLS
#define __END_DECLS
End section with C types and functions.
Definition compiler.h:167

L4_CV
#define L4_CV
Define calling convention.
Definition linkage.h:33

__BEGIN_DECLS
#define __BEGIN_DECLS
Start section with C types and functions.
Definition compiler.h:164

l4util_srand
void l4util_srand(l4_uint32_t seed)
Initialize random number generator.

l4util_rand
l4_uint32_t l4util_rand(void)
Deliver next random number.