wdt_ctr_load      128 drivers/watchdog/wdt.c 	wdt_ctr_load(0, 8948);		/* Count at 100Hz */
wdt_ctr_load      129 drivers/watchdog/wdt.c 	wdt_ctr_load(1, wd_heartbeat);	/* Heartbeat */
wdt_ctr_load      130 drivers/watchdog/wdt.c 	wdt_ctr_load(2, 65535);		/* Length of reset pulse */
wdt_ctr_load      148 drivers/watchdog/wdt.c 	wdt_ctr_load(2, 0);		/* 0 length reset pulses now */
wdt_ctr_load      168 drivers/watchdog/wdt.c 	wdt_ctr_load(1, wd_heartbeat);	/* Heartbeat */