1 /* SPDX-License-Identifier: GPL-2.0+ */
4 * Matt Waddel, <matt.waddel@linaro.org>
9 /* Watchdog timer (SP805) register base address */
10 #define WDT_BASE 0x100E5000
13 #define WDT_RESET_LOAD 0x0
16 u32 wdogload; /* 0x000 */
23 u32 wdoglock; /* 0xC00 */
25 u32 wdogitcr; /* 0xF00 */
28 u32 wdogperiphid0; /* 0xFE0 */