111 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);  in tco_timer_start()  local
127 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);  in tco_timer_stop()  local
139 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);  in tco_timer_ping()  local
152 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);  in tco_timer_set_timeout()  local
164 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);  in tco_timer_get_timeleft()  local
186 static void tco_timer_enable(struct sp5100_tco *tco)  in tco_timer_enable()
255 static u32 sp5100_tco_prepare_base(struct sp5100_tco *tco,  in sp5100_tco_prepare_base()
291 static int sp5100_tco_timer_init(struct sp5100_tco *tco)  in sp5100_tco_timer_init()
354 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);  in sp5100_tco_setupdevice_mmio()  local
426 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);  in sp5100_tco_setupdevice()  local
522 	struct sp5100_tco *tco;  in sp5100_tco_probe()  local