# SPDX-License-Identifier: GPL-2.0-or-later

set AT91_WDT_CR		[expr {$AT91_WDT + 0x00}]	;# Watchdog Control Register
set		AT91_WDT_WDRSTT		[expr {1    << 0}]	;# Restart
set		AT91_WDT_KEY		[expr {0xa5 << 24}]	;# KEY Password

set AT91_WDT_MR		[expr {$AT91_WDT + 0x04}]	;# Watchdog Mode Register
set		AT91_WDT_WDV		[expr {0xfff << 0}]	;# Counter Value
set		AT91_WDT_WDFIEN		[expr {1     << 12}]	;# Fault Interrupt Enable
set		AT91_WDT_WDRSTEN	[expr {1     << 13}]	;# Reset Processor
set		AT91_WDT_WDRPROC	[expr {1     << 14}]	;# Timer Restart
set		AT91_WDT_WDDIS		[expr {1     << 15}]	;# Watchdog Disable
set		AT91_WDT_WDD		[expr {0xfff << 16}]	;# Delta Value
set		AT91_WDT_WDDBGHLT	[expr {1     << 28}]	;# Debug Halt
set		AT91_WDT_WDIDLEHLT	[expr {1     << 29}]	;# Idle Halt

set AT91_WDT_SR		[expr {$AT91_WDT + 0x08}]	;# Watchdog Status Register
set		AT91_WDT_WDUNF		[expr {1 << 0}]		;# Watchdog Underflow
set		AT91_WDT_WDERR		[expr {1 << 1}]		;# Watchdog Error