tcl/board: add ESP32 config for ESP USB Bridge board

[fw/openocd] / tcl / fpga / xilinx-xadc.cfg

diff --git a/tcl/fpga/xilinx-xadc.cfg b/tcl/fpga/xilinx-xadc.cfg
index 043e55393939b7517b8708c0e5074c711183b566..fdaf3a961bbe7bed66b58108d41fbaa58d8d90ce 100644 (file)
--- a/tcl/fpga/xilinx-xadc.cfg
+++ b/tcl/fpga/xilinx-xadc.cfg
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 # Xilinx XADC support for 7 Series FPGAs
 #
 # The 7 Series FPGAs contain an on-chip 12 bit ADC that can probe die
@@ -16,7 +18,7 @@ proc xadc_cmd {cmd addr data} {
                READ 0x01
                WRITE 0x02
        }
-       return [expr ($cmds($cmd) << 26) | ($addr << 16) | ($data << 0)]
+       return [expr {($cmds($cmd) << 26) | ($addr << 16) | ($data << 0)}]
 }
 
 # XADC register addresses
@@ -101,7 +103,7 @@ proc xadc_select {tap} {
 proc xadc_xfer {tap cmd addr data} {
        set ret [drscan $tap 32 [xadc_cmd $cmd $addr $data]]
        runtest 10
-       return [expr 0x$ret]
+       return [expr "0x$ret"]
 }
 
 # XADC register write