tcl/target: add SPDX tag
[fw/openocd] / tcl / target / bluefield.cfg
index b31dfe8d677799490d2cf74dbd1ceb9bca4bba90..30ed527607d2ca8c502d0270935cb958edbc3451 100644 (file)
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 # BlueField SoC Target
 
 set _CHIPNAME bluefield
@@ -46,7 +48,7 @@ set _cores 16
 
 # Create each core
 for { set _core $_core_start } { $_core < $_core_start + $_cores } { incr _core 1 } {
-    cti create cti$_core -dap $_CHIPNAME.dap -ctibase [set $_TARGETNAME.cti($_core)] -ap-num 0
+    cti create cti$_core -dap $_CHIPNAME.dap -baseaddr [set $_TARGETNAME.cti($_core)] -ap-num 0
 
     set _command "target create ${_TARGETNAME}$_core aarch64 \
                          -dap $_CHIPNAME.dap -coreid $_core -cti cti$_core"
@@ -72,7 +74,7 @@ proc core_up { args } {
        global _TARGETNAME
 
        # Examine remaining cores
-       foreach _core [set args] {
+       foreach _core $args {
                ${_TARGETNAME}$_core arp_examine
        }
 }