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