1 #ifndef __ARM_WATCHDOG_H__ 2 #define __ARM_WATCHDOG_H__ 3 4 #include "kernel/kernel.h" 5 6 #endif /* __ARM_WATCHDOG_H__ */ 7