105 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);  in tco_timer_start()  local
117 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);  in tco_timer_stop()  local
129 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);  in tco_timer_ping()  local
142 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);  in tco_timer_set_timeout()  local
154 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);  in tco_timer_get_timeleft()  local
176 static void tco_timer_enable(struct sp5100_tco *tco)  in tco_timer_enable()
245 static u32 sp5100_tco_prepare_base(struct sp5100_tco *tco,  in sp5100_tco_prepare_base()
281 static int sp5100_tco_timer_init(struct sp5100_tco *tco)  in sp5100_tco_timer_init()
341 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);  in sp5100_tco_setupdevice_mmio()  local
413 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);  in sp5100_tco_setupdevice()  local
509 	struct sp5100_tco *tco;  in sp5100_tco_probe()  local