PNX833X_CONFIG_CPU_COUNTERS_CONTROL 74 drivers/watchdog/pnx833x_wdt.c PNX833X_CONFIG_CPU_COUNTERS_CONTROL) |= 0x1; PNX833X_CONFIG_CPU_COUNTERS_CONTROL 85 drivers/watchdog/pnx833x_wdt.c PNX833X_CONFIG_CPU_COUNTERS_CONTROL) &= 0xFFFFFFFE;