Symbol: cpu_rng_rdseed_rdrand
sys/arch/x86/x86/cpu_rng.c
258
return cpu_rng_rdseed_rdrand(out);
sys/arch/x86/x86/cpu_rng.c
334
n = cpu_rng_rdseed_rdrand(sample);