Symbol: SEFF0EBX_ADX
sys/arch/amd64/include/specialreg.h
235
#define SEFF0EBX_ADX 0x00080000 /* ADCX/ADOX instructions */
sys/arch/i386/include/specialreg.h
175
#define SEFF0EBX_ADX 0x00080000 /* ADCX/ADOX instructions */