40 int checkcpu(void)  in checkcpu()  argument
53 void watchdog_reset(void)  in watchdog_reset()  argument
61 int watchdog_disable(void)  in watchdog_disable()  argument
75 int watchdog_init(void)  in watchdog_init()  argument
102 int checkcpu(void)  in checkcpu()  argument
150 void watchdog_reset(void)  in watchdog_reset()  argument
156 int watchdog_disable(void)  in watchdog_disable()  argument
162 int watchdog_init(void)  in watchdog_init()  argument
187 int checkcpu(void)  in checkcpu()  argument
215 void watchdog_reset(void)  in watchdog_reset()  argument
222 int watchdog_disable(void)  in watchdog_disable()  argument
237 int watchdog_init(void)  in watchdog_init()  argument
271 int checkcpu(void)  in checkcpu()  argument
283 void watchdog_reset(void)  in watchdog_reset()  argument
291 int watchdog_disable(void)  in watchdog_disable()  argument
306 int watchdog_init(void)  in watchdog_init()  argument
329 int checkcpu(void)  in checkcpu()  argument
354 int checkcpu(void)  in checkcpu()  argument
375 int checkcpu(void)  in checkcpu()  argument