Symbol: SEFF0EBX_RDSEED
sys/arch/amd64/include/specialreg.h
234
#define SEFF0EBX_RDSEED 0x00040000 /* RDSEED instruction */
sys/arch/i386/include/specialreg.h
174
#define SEFF0EBX_RDSEED 0x00040000 /* RDSEED instruction */