tcl/target: add SPDX tag

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

diff --git a/tcl/target/imx.cfg b/tcl/target/imx.cfg
index ccfddb6f7ca7f656d2fe7e73623ec09f6850fde6..d76f60e1c6de21a671e425a6cbb93358e1831811 100644 (file)
--- a/tcl/target/imx.cfg
+++ b/tcl/target/imx.cfg
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 # utility fn's for Freescale i.MX series
 
 global TARGETNAME
@@ -10,7 +12,7 @@ proc setc15 {regs value} {
 
        echo [format "set p15 0x%04x, 0x%08x" $regs $value]
 
-       arm mcr 15 [expr ($regs>>12)&0x7] [expr ($regs>>0)&0xf] [expr ($regs>>4)&0xf] [expr ($regs>>8)&0x7] $value
+       arm mcr 15 [expr {($regs>>12)&0x7}] [expr {($regs>>0)&0xf}] [expr {($regs>>4)&0xf}] [expr {($regs>>8)&0x7}] $value
 }