tco_timer_stop     87 drivers/watchdog/nv_tco.c static void tco_timer_stop(void)
tco_timer_stop    104 drivers/watchdog/sp5100_tco.c static int tco_timer_stop(struct watchdog_device *wdd)