Symbol: SEFF0EDX_SRBDS_CTRL
sys/arch/amd64/include/specialreg.h
271
#define SEFF0EDX_SRBDS_CTRL 0x00000200 /* MCU_OPT_CTRL MSR */
sys/arch/i386/include/specialreg.h
197
#define SEFF0EDX_SRBDS_CTRL 0x00000200 /* MCU_OPT_CTRL MSR */