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)
9 //WDG_TimerStart(init_time_ms);
14 void stop_watchdog(void)
20 void init_watchdog(void)
25 void feed_watchdog(void)
29 void load_watchdog(uint32_t time_ms)
31 WDG_TimerLoad(time_ms);
33 void hw_watchdog_reset(void)
36 //load_watchdog(CONFIG_WDG_INIT_VALUE);