Symbol: cpu_rng_rdrand
sys/arch/x86/x86/cpu_rng.c
187
n = cpu_rng_rdrand(out);
sys/arch/x86/x86/cpu_rng.c
256
return cpu_rng_rdrand(out);
sys/arch/x86/x86/cpu_rng.c
338
n = cpu_rng_rdrand(sample);