3 #include <mach/mt_typedefs.h>
7 int mtk_wdt_request_mode_set(int mark_bit
, WD_REQ_MODE mode
);
8 int mtk_wdt_request_en_set(int mark_bit
, WD_REQ_CTL en
);
9 void wdt_arch_reset(char mode
);
10 void mtk_wdt_restart(enum wd_restart_type type
);
11 void mtk_wdt_mode_config(BOOL dual_mode_en
, BOOL irq
, BOOL ext_en
, BOOL ext_pol
, BOOL wdt_en
);
12 void mtk_wdt_set_time_out_value(unsigned int value
);
13 int mtk_wdt_confirm_hwreboot(void);
14 int mtk_wdt_enable(enum wk_wdt_en en
);
15 void mtk_wd_resume(void);
16 void mtk_wd_suspend(void);
17 void wdt_dump_reg(void);
18 /* used for extend request */
19 /* 0x10000000 for ddr reseved mode */
20 /* 0x20000000 for 75 irq or reboot mode */
21 int mtk_wdt_swsysret_config(int bit
, int set_value
);