flash/nor/at91samd: Use 32-bit register writes for ST-Link compat
[fw/openocd] / tcl / target / omap4460.cfg
index 218eb64e924194b35dc81988b19329b8b20ea982..bbc824b2af34de571e0318a091651f6546a2b1dc 100644 (file)
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 # OMAP4460
 
 if { [info exists CHIPNAME] } {
@@ -91,7 +93,7 @@ set _TARGETNAME $_CHIPNAME.cpu
 # 0x80000000 | (coreid << CORTEX_A8_PADDRDBG_CPU_SHIFT)
 
 set _coreid 0
-set _dbgbase [expr 0x80000000 | ($_coreid << 13)]
+set _dbgbase [expr {0x80000000 | ($_coreid << 13)}]
 echo "Using dbgbase = [format 0x%x $_dbgbase]"
 
 dap create $_CHIPNAME.dap -chain-position $_CHIPNAME.cpu