Symbol: CPUIDECX_WDT
sys/arch/amd64/include/specialreg.h
349
#define CPUIDECX_WDT 0x00002000 /* Watchdog timer */
sys/arch/i386/include/specialreg.h
261
#define CPUIDECX_WDT 0x00002000 /* Watchdog timer */