COUNTER_2         176 drivers/watchdog/machzwd.c 		zf_writeb(COUNTER_2, new > 0xff ? 0xff : new);
COUNTER_2         240 drivers/watchdog/machzwd.c 	zf_writeb(COUNTER_2, 0xff);