Symbol: CPUIDECX_RDRAND
sys/arch/amd64/include/specialreg.h
205
#define CPUIDECX_RDRAND 0x40000000 /* RDRAND instruction */
sys/arch/i386/include/specialreg.h
152
#define CPUIDECX_RDRAND 0x40000000 /* RDRAND instruction */