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