#ifndef __ARM_WATCHDOG_H__
#define __ARM_WATCHDOG_H__
#include "kernel/kernel.h"
#endif /* __ARM_WATCHDOG_H__ */