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;