1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * (C) Copyright 2015 Freescale Semiconductor, Inc.
4 */
5
6struct watchdog_regs {
7	u16	wcr;	/* Control */
8	u16	wsr;	/* Service */
9	u16	wrsr;	/* Reset Status */
10};
11
12#define WCR_WDZST	0x01
13#define WCR_WDBG	0x02
14#define WCR_WDE		0x04
15#define WCR_WDT		0x08
16#define WCR_SRS		0x10
17#define WCR_WDA		0x20
18#define SET_WCR_WT(x)	(x << 8)
19#define WCR_WT_MSK	SET_WCR_WT(0xFF)
20