Random — Random numbers helper library
#include <igt_rand.h>
uint32_t hars_petruska_f54_1_random (uint32_t *state);
uint32_t *state
uint32_t hars_petruska_f54_1_random_seed (uint32_t seed);
uint32_t seed
uint32_t hars_petruska_f54_1_random_unsafe (void);
void
uint32_t seed = hars_petruska_f54_1_random_seed(0) ^ xor;