tcl: add SPDX tag
[fw/openocd] / tcl / chip / atmel / at91 / at91_wdt.cfg
1 # SPDX-License-Identifier: GPL-2.0-or-later
2
3 set AT91_WDT_CR         [expr {$AT91_WDT + 0x00}]       ;# Watchdog Control Register
4 set             AT91_WDT_WDRSTT         [expr {1    << 0}]      ;# Restart
5 set             AT91_WDT_KEY            [expr {0xa5 << 24}]     ;# KEY Password
6
7 set AT91_WDT_MR         [expr {$AT91_WDT + 0x04}]       ;# Watchdog Mode Register
8 set             AT91_WDT_WDV            [expr {0xfff << 0}]     ;# Counter Value
9 set             AT91_WDT_WDFIEN         [expr {1     << 12}]    ;# Fault Interrupt Enable
10 set             AT91_WDT_WDRSTEN        [expr {1     << 13}]    ;# Reset Processor
11 set             AT91_WDT_WDRPROC        [expr {1     << 14}]    ;# Timer Restart
12 set             AT91_WDT_WDDIS          [expr {1     << 15}]    ;# Watchdog Disable
13 set             AT91_WDT_WDD            [expr {0xfff << 16}]    ;# Delta Value
14 set             AT91_WDT_WDDBGHLT       [expr {1     << 28}]    ;# Debug Halt
15 set             AT91_WDT_WDIDLEHLT      [expr {1     << 29}]    ;# Idle Halt
16
17 set AT91_WDT_SR         [expr {$AT91_WDT + 0x08}]       ;# Watchdog Status Register
18 set             AT91_WDT_WDUNF          [expr {1 << 0}]         ;# Watchdog Underflow
19 set             AT91_WDT_WDERR          [expr {1 << 1}]         ;# Watchdog Error