tcl: add SPDX tag
[fw/openocd] / tcl / chip / atmel / at91 / at91_pmc.cfg
index 0233cb4c16c603c77701871c39fb15091c031005..a75cecd6a1f004cd7f9ca1bb32dcc2afd61c3180 100644 (file)
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 set    AT91_PMC_SCER           [expr {$AT91_PMC + 0x00}]       ;# System Clock Enable Register
 set    AT91_PMC_SCDR           [expr {$AT91_PMC + 0x04}]       ;# System Clock Disable Register
 
@@ -87,7 +89,7 @@ set                   AT91_PMC_USBS_PLLA              [expr {0 << 0}]
 set                    AT91_PMC_USBS_UPLL              [expr {1 << 0}]
 set            AT91_PMC_OHCIUSBDIV     [expr {0xF <<  8}]              ;# Divider for USB OHCI Clock
 
-;# set AT91_PMC_PCKR(n)        [expr ($AT91_PMC + 0x40 + ((n) * 4))]   ;# Programmable Clock 0-N Registers
+;# set AT91_PMC_PCKR(n)        [expr {$AT91_PMC + 0x40 + ((n) * 4)}]   ;# Programmable Clock 0-N Registers
 set            AT91_PMC_CSSMCK         [expr {0x1 <<  8}]              ;# CSS or Master Clock Selection
 set                    AT91_PMC_CSSMCK_CSS             [expr {0 << 8}]
 set                    AT91_PMC_CSSMCK_MCK             [expr {1 << 8}]