tcl: add SPDX tag

[fw/openocd] / tcl / chip / atmel / at91 / rtt.tcl

diff --git a/tcl/chip/atmel/at91/rtt.tcl b/tcl/chip/atmel/at91/rtt.tcl
index 3e3d414f4124c3784db62c17851a8f8ba193d0b6..1ef83733bbcc0c322cbac2e8f25ea6b68935ac2c 100644 (file)
--- a/tcl/chip/atmel/at91/rtt.tcl
+++ b/tcl/chip/atmel/at91/rtt.tcl
@@ -1,3 +1,4 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
 
 set RTTC_RTMR [expr {$AT91C_BASE_RTTC + 0x00}]
 set RTTC_RTAR [expr {$AT91C_BASE_RTTC + 0x04}]
@@ -17,7 +18,7 @@ proc show_RTTC_RTMR_helper { NAME ADDR VAL } {
     global AT91C_SLOWOSC_FREQ
     # Nasty hack, make this a float by tacking a .0 on the end
     # otherwise, jim makes the value an integer
-    set f [expr $AT91C_SLOWOSC_FREQ.0 / $rtpres.0]
+    set f [expr "$AT91C_SLOWOSC_FREQ.0 / $rtpres.0"]
     echo [format "\tPrescale value: 0x%04x (%5d) => %f Hz" $rtpres $rtpres $f]
     if { $VAL & $BIT16 } {
        echo "\tBit16 -> Alarm IRQ Enabled"