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