#include <asm/io.h>
#include <asm/arch/chip_drv_config_extern.h>
#include <asm/arch/bits.h>
+#include <asm/arch/sci_types.h>
#include <linux/types.h>
+extern void WDG_ClockOn(void);
+extern void WDG_ResetMCU(void);
+extern void WDG_TimerInit(void);
+extern void WDG_TimerStop(void);
+extern void WDG_TimerLoad(uint32 time_ms);
+extern uint32 WDG_PHY_RST_INT_ON(void);
+
void start_watchdog(uint32_t init_time_ms)
{
WDG_ClockOn();