#ifndef rdrand_h
#ifdef HAVE_RDRAND
#include <stdint.h>

int cpu_has_rdrand()

// Returns 0 on success, non-zero on failure.
int get_rand_bytes(uint8_t *therand, size_t len)
#endif // HAVE_RDRAND
#endif // rdrand_h