Symbol: CPUIDECX_DTES64
sys/arch/amd64/include/specialreg.h
178
#define CPUIDECX_DTES64 0x00000004 /* 64bit debug store */
sys/arch/i386/include/specialreg.h
125
#define CPUIDECX_DTES64 0x00000004 /* 64bit debug store */