+# SPDX-License-Identifier: GPL-2.0-or-later
+
################################################################################
# Author: Michael Trensch (MTrensch@googlemail.com)
################################################################################
}
proc mread32 {addr} {
- set value(0) 0
- mem2array value 32 $addr 1
- return $value(0)
+ return [read_memory $addr 32 1]
}
proc init_clocks { } {