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