18 #include <watchdog.h>
65 	/* reset watchdog counter */  in watchdog_disable()
68 	/* disable watchdog timer */  in watchdog_disable()
71 	puts("WATCHDOG:disabled\n");  in watchdog_disable()
79 	/* disable watchdog */  in watchdog_init()
82 	/* set timeout and enable watchdog */  in watchdog_init()
86 	/* reset watchdog counter */  in watchdog_init()
90 	puts("WATCHDOG:enabled\n");  in watchdog_init()
179 	/* enable watchdog, set timeout to 0 and wait */  in do_reset()
226 	/* reset watchdog counter */  in watchdog_disable()
228 	/* disable watchdog interrupt */  in watchdog_disable()
230 	/* disable watchdog timer */  in watchdog_disable()
233 	puts("WATCHDOG:disabled\n");  in watchdog_disable()
241 	/* disable watchdog interrupt */  in watchdog_init()
244 	/* set timeout and enable watchdog */  in watchdog_init()
248 	/* reset watchdog counter */  in watchdog_init()
251 	puts("WATCHDOG:enabled\n");  in watchdog_init()
295 	/* reset watchdog counter */  in watchdog_disable()
299 	/* disable watchdog timer */  in watchdog_disable()
302 	puts("WATCHDOG:disabled\n");  in watchdog_disable()
310 	/* disable watchdog */  in watchdog_init()
313 	/* set timeout and enable watchdog */  in watchdog_init()
317 	/* reset watchdog counter */  in watchdog_init()
321 	puts("WATCHDOG:enabled\n");  in watchdog_init()
340 	       (resetsource & MCFRESET_RSR_WDR) ? " Watchdog" : "",  in checkcpu()
365 	/* enable watchdog, set timeout to 0 and wait */  in do_reset()
387 		       (resetsource & SIM_RSR_SWTR) ? " Software Watchdog" :  in checkcpu()
395 	/* enable watchdog, set timeout to 0 and wait */  in do_reset()