rand64-hw.h

#ifndef RAND64_HW_H
#define RAND64_HW_H

#include <cpuid.h>
#include <immintrin.h>

/* Description of the current CPU.  */
struct cpuid { unsigned eax, ebx, ecx, edx; };

/* Function Declarations */
struct cpuid cpuid (unsigned int leaf, unsigned int subleaf);
_Bool rdrand_supported (void);
void hardware_rand64_init (void);
unsigned long long hardware_rand64 (void);
void hardware_rand64_fini (void);

#endif /* RAND64_HW_H */