Symbol: rdrand
sys/arch/amd64/stand/prekern/prekern.h
86
int rdrand(uint64_t *);
sys/arch/amd64/stand/prekern/prng.c
145
if (rdrand(&buf[i]) == -1) {