+# SPDX-License-Identifier: GPL-2.0-or-later
+
proc xilinx_dna_addr {chip} {
array set addrs {
Spartan6 0x30
# Print out the "Device DNA" in the same format that impact uses.
proc xilinx_print_dna {dna} {
- set dna [expr $dna >> 64 - 57]
+ set dna [expr {$dna >> 64 - 57}]
echo [format "DNA = %057b (0x%016x)" $dna $dna]
}