Symbol: CPUIDECX_DBKP
sys/arch/amd64/include/specialreg.h
360
#define CPUIDECX_DBKP 0x04000000 /* DataBreakpointExtension */
sys/arch/i386/include/specialreg.h
272
#define CPUIDECX_DBKP 0x04000000 /* DataBreakpointExtension */