3 #include <mach/mt_typedefs.h>
8 int mpcore_wk_wdt_config(int reserved
, int reserved2
, int timeout_val
);
9 int mpcore_wdt_restart(WD_RES_TYPE type
);
10 void mtk_wd_resume(void);
11 void mtk_wd_suspend(void);
12 int local_wdt_enable(enum wk_wdt_en en
);
13 /* used for extend request */
14 int mtk_local_wdt_misc_config(int bit
, int set_value
, int *reserved
);
15 void mpcore_wk_wdt_stop(void);