tcl/target/stm32l4x: switch to new TPIU/SWO support
[fw/openocd] / tcl / target / stm32wlx.cfg
index edb3fb32b424461ccaaff8411f2eeae6b66a73b7..75f6f0288d51703a971543c4a648328460a07753 100644 (file)
@@ -151,14 +151,12 @@ proc stm32wlx_get_chipname {} {
        if {$sep == -1} {
                return $t
        }
-       return [string range $t 0 [expr $sep - 1]]
+       return [string range $t 0 [expr {$sep - 1}]]
 }
 
 # like mrw, but with target selection
 proc stm32wlx_mrw {used_target reg} {
-       set value ""
-       $used_target mem2array value 32 $reg 1
-       return $value(0)
+       return [$used_target read_memory $reg 32 1]
 }
 
 # like mmw, but with target selection