rand.h
#ifndef __RAND_H__
#define __RAND_H__
/**
* @brief basic random function that fills given number of 32 bit words
* @param buffer pointer to a uint32_t based buffer
* @param length number of uint32_t words to fill with random numbers
*/
void rand_fill(uint32_t *buffer, uint32_t length);
/**
* @brief seed the RNG with given number
* @param seed number used to initialize/update RNG
*/
void rand_seed(uint32_t seed);
#endif