rand.h

/*
 * MT19937 random number generator seeded with timestamp counter and x86
 * entropy sourcing instructions.
 */
 
#ifndef _SYS_RAND_H
#define _SYS_RAND_H
 
#include <stdint.h>
 
#define MT19937_VECTOR_LEN 624
 
typedef struct {
        uint32_t vector[MT19937_VECTOR_LEN];
        int index;
} mt19937_state;
 
/*
 * Initialize the MT19937 random number generator at *state
 */
void mt19937_init(mt19937_state *state, uint32_t seed);
 
/*
 * Get a random, uniformally distributed 32-bit value from the MT19937 random
 * number generator at *state
 */
uint32_t mt19937_gen32(mt19937_state *state);
 
/*
 * Seed the global random number generator
 */
void srand(uint32_t seed);
 
/*
 * Get a random, uniformally distributed 32-bit value
 */
uint32_t rand(void);
 
#endif