flash/nor/at91samd: Use 32-bit register writes for ST-Link compat

[fw/openocd] / tcl / target / omap4430.cfg

diff --git a/tcl/target/omap4430.cfg b/tcl/target/omap4430.cfg
index 6e3e78d37fefaa0d95d37c2edb33b385320cc11c..a448550f679b375e5f4c8619e16e724374b2e7be 100644 (file)
--- a/tcl/target/omap4430.cfg
+++ b/tcl/target/omap4430.cfg
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 # OMAP4430
 
 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