#ifndef _RANDOM_H
#define _RANDOM_H

#include <types.h>
void rand_init(bool rdrand, bool rdseed);

extern uint64_t (*get_random_number)();
#endif