tco_timer_start    75 drivers/watchdog/nv_tco.c static void tco_timer_start(void)
tco_timer_start    92 drivers/watchdog/sp5100_tco.c static int tco_timer_start(struct watchdog_device *wdd)