/* SPDX-License-Identifier: GPL-2.0+ */

  /*
   * (C) Copyright 2015 Freescale Semiconductor, Inc.

   */
  
  struct watchdog_regs {
  	u16	wcr;	/* Control */
  	u16	wsr;	/* Service */
  	u16	wrsr;	/* Reset Status */
  };
  
  #define WCR_WDZST	0x01
  #define WCR_WDBG	0x02
  #define WCR_WDE		0x04
  #define WCR_WDT		0x08
  #define WCR_SRS		0x10

  #define WCR_WDA 	0x20

  #define SET_WCR_WT(x)	(x << 8)

  #define WCR_WT_MSK	SET_WCR_WT(0xFF)