tco_timer_stop    167 drivers/watchdog/nv_tco.c 		tco_timer_stop();
tco_timer_stop    235 drivers/watchdog/nv_tco.c 			tco_timer_stop();
tco_timer_stop    345 drivers/watchdog/nv_tco.c 	tco_timer_stop();
tco_timer_stop    414 drivers/watchdog/nv_tco.c 	tco_timer_stop();
tco_timer_stop    432 drivers/watchdog/nv_tco.c 		tco_timer_stop();
tco_timer_stop    460 drivers/watchdog/nv_tco.c 	tco_timer_stop();
tco_timer_stop    349 drivers/watchdog/sp5100_tco.c 	tco_timer_stop(wdd);
tco_timer_stop    368 drivers/watchdog/sp5100_tco.c 	.stop = tco_timer_stop,