|
@@ -281,14 +281,6 @@ unsigned long get_tbclk (void)
|
|
|
|
|
|
|
|
|
#if defined(CONFIG_WATCHDOG)
|
|
|
-void
|
|
|
-watchdog_reset(void)
|
|
|
-{
|
|
|
- int re_enable = disable_interrupts();
|
|
|
- reset_85xx_watchdog();
|
|
|
- if (re_enable) enable_interrupts();
|
|
|
-}
|
|
|
-
|
|
|
void
|
|
|
reset_85xx_watchdog(void)
|
|
|
{
|
|
@@ -297,6 +289,16 @@ reset_85xx_watchdog(void)
|
|
|
*/
|
|
|
mtspr(SPRN_TSR, TSR_WIS);
|
|
|
}
|
|
|
+
|
|
|
+void
|
|
|
+watchdog_reset(void)
|
|
|
+{
|
|
|
+ int re_enable = disable_interrupts();
|
|
|
+
|
|
|
+ reset_85xx_watchdog();
|
|
|
+ if (re_enable)
|
|
|
+ enable_interrupts();
|
|
|
+}
|
|
|
#endif /* CONFIG_WATCHDOG */
|
|
|
|
|
|
/*
|