tco_timer_set_timeout  343 drivers/watchdog/sp5100_tco.c 	tco_timer_set_timeout(wdd, wdd->timeout);
tco_timer_set_timeout  370 drivers/watchdog/sp5100_tco.c 	.set_timeout = tco_timer_set_timeout,