#define WDT_WDV_MASK 0x00000FFF ///< Counter value mask.
#define WDT_WDV_SHIFT 0 ///< Counter value LSB.
#define WDT_WDFIEN 12 ///< Fault interrupt enable.
#define WDT_WDV_MASK 0x00000FFF ///< Counter value mask.
#define WDT_WDV_SHIFT 0 ///< Counter value LSB.
#define WDT_WDFIEN 12 ///< Fault interrupt enable.