3 #include <asm/arch/chip_drv_config_extern.h>
4 #include <asm/arch/bits.h>
5 #include <linux/types.h>
7 void start_watchdog(uint32_t init_time_ms)
13 void stop_watchdog(void)
19 void init_watchdog(void)
24 void feed_watchdog(void)
28 void load_watchdog(uint32_t time_ms)
30 WDG_TimerLoad(time_ms);
33 void hw_watchdog_reset(void)
38 int hw_watchdog_rst_pending(void)
41 return WDG_PHY_RST_INT_ON();
44 int fatal_dump_enabled(void)
46 return *(volatile u32 *) (0x1ffc);