WD1               172 drivers/watchdog/machzwd.c 	case WD1:
WD1               217 drivers/watchdog/machzwd.c 	zf_set_timer(ZF_CTIMEOUT, WD1);