rdrand
timeout_set(&rdrand_tmo, rdrand, &rdrand_tmo);
rdrand(&rdrand_tmo);
void rdrand(void *);
void rdrand(void *);
rdrand(NULL);
timeout_set(&rdrand_tmo, rdrand, &rdrand_tmo);
rdrand(&rdrand_tmo);
void rdrand(void *);
void rdrand(void *);
rdrand(NULL);
extern void rdrand(void *);
extern void rdrand(void *);
rdrand(NULL);