2 * Copyright (C) 2011 Samsung Electronics
3 * Heungjun Kim <riverful.kim@samsung.com>
4 * Minkyu Kang <mk7.kang@samsung.com>
6 * SPDX-License-Identifier: GPL-2.0+
9 #ifndef __ASM_ARM_ARCH_WATCHDOG_H_
10 #define __ASM_ARM_ARCH_WATCHDOG_H_
12 #define WTCON_RESET_OFFSET 0
13 #define WTCON_INTEN_OFFSET 2
14 #define WTCON_CLKSEL_OFFSET 3
15 #define WTCON_EN_OFFSET 5
16 #define WTCON_PRE_OFFSET 8
18 #define WTCON_CLK_16 0x0
19 #define WTCON_CLK_32 0x1
20 #define WTCON_CLK_64 0x2
21 #define WTCON_CLK_128 0x3
23 #define WTCON_CLK(x) ((x & 0x3) << WTCON_CLKSEL_OFFSET)
24 #define WTCON_PRESCALER(x) ((x) << WTCON_PRE_OFFSET)
25 #define WTCON_EN (0x1 << WTCON_EN_OFFSET)
26 #define WTCON_RESET (0x1 << WTCON_RESET_OFFSET)
27 #define WTCON_INT (0x1 << WTCON_INTEN_OFFSET)
34 unsigned int wtclrint;
39 void wdt_start(unsigned int timeout);
40 #endif /* __ASSEMBLY__ */