3 #include <asm/arch/chip_drv_config_extern.h>
4 #include <asm/arch/bits.h>
5 #include <asm/arch/sci_types.h>
6 #include <linux/types.h>
8 extern void WDG_ClockOn(void);
9 extern void WDG_ResetMCU(void);
10 extern void WDG_TimerInit(void);
11 extern void WDG_TimerStop(void);
12 extern void WDG_TimerLoad(uint32 time_ms);
13 extern uint32 WDG_PHY_RST_INT_ON(void);
15 void start_watchdog(uint32_t init_time_ms)
21 void stop_watchdog(void)
27 void init_watchdog(void)
32 void feed_watchdog(void)
36 void load_watchdog(uint32_t time_ms)
38 WDG_TimerLoad(time_ms);
41 void hw_watchdog_reset(void)
46 int hw_watchdog_rst_pending(void)
49 return WDG_PHY_RST_INT_ON();
52 int fatal_dump_enabled(void)
54 return *(volatile u32 *) (0x1ffc);