sp5100_tco         94 drivers/watchdog/sp5100_tco.c 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);
sp5100_tco        106 drivers/watchdog/sp5100_tco.c 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);
sp5100_tco        118 drivers/watchdog/sp5100_tco.c 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);
sp5100_tco        131 drivers/watchdog/sp5100_tco.c 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);
sp5100_tco        158 drivers/watchdog/sp5100_tco.c static void tco_timer_enable(struct sp5100_tco *tco)
sp5100_tco        215 drivers/watchdog/sp5100_tco.c 	struct sp5100_tco *tco = watchdog_get_drvdata(wdd);
sp5100_tco        377 drivers/watchdog/sp5100_tco.c 	struct sp5100_tco *tco;