Symbol: CPUID2_RDRAND
sys/arch/amd64/stand/prekern/prng.c
40
#define CPUID2_RDRAND 0x40000000
sys/arch/x86/include/specialreg.h
363
#define CPUID2_RDRAND __BIT(30) /* RDRAND (hardware random number) */