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