tcl: add SPDX tag

[fw/openocd] / tcl / chip / st / spear / spear3xx_ddr.tcl

diff --git a/tcl/chip/st/spear/spear3xx_ddr.tcl b/tcl/chip/st/spear/spear3xx_ddr.tcl
index a9787d11d4c8d206ae3166976be2c495e47ba749..59925672dc8530ffcaac42392bfc1da15dcf56df 100644 (file)
--- a/tcl/chip/st/spear/spear3xx_ddr.tcl
+++ b/tcl/chip/st/spear/spear3xx_ddr.tcl
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 # Init scripts to configure DDR controller of SPEAr3xx
 # http://www.st.com/spear
 # Original values taken from XLoader source code
@@ -28,7 +30,7 @@ proc sp3xx_ddr_init {ddr_type {ddr_chips 1}} {
        if { $ddr_chips == 2 } {
                echo [format \
                        "Double chip DDR memory. Total memory size 0x%08x byte" \
-                       [expr 2 * $ddr_size]]
+                       [expr {2 * $ddr_size}]]
        } else {
                echo [format \
                        "Single chip DDR memory. Memory size 0x%08x byte" \