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