Symbol: cpu_rng_rdseed
sys/arch/x86/x86/cpu_rng.c
184
size_t n = cpu_rng_rdseed(out);
sys/arch/x86/x86/cpu_rng.c
254
return cpu_rng_rdseed(out);
sys/arch/x86/x86/cpu_rng.c
336
n = cpu_rng_rdseed(sample);