1 #ifndef rdrand_h
2 #ifdef HAVE_RDRAND
3 #include <stdint.h>
4 
5 int cpu_has_rdrand()
6 
7 // Returns 0 on success, non-zero on failure.
8 int get_rand_bytes(uint8_t *therand, size_t len)
9 #endif // HAVE_RDRAND
10 #endif // rdrand_h
11