diff options
| author | Jerry Zhao <jerryz123@berkeley.edu> | 2022-10-14 13:40:56 -0700 |
|---|---|---|
| committer | Andrew Waterman <aswaterman@gmail.com> | 2022-10-16 15:28:35 -0700 |
| commit | 03be4ae6c7b8e9865083b61427ff9724c7706fcf (patch) | |
| tree | 2acb7760d9fab257bf2de7b4e0b04d83f72f5d16 /riscv/devices.h | |
| parent | 5cf439b24e945db47edf6e259044c923384ccdfd (diff) | |
| download | spike-03be4ae6c7b8e9865083b61427ff9724c7706fcf.zip spike-03be4ae6c7b8e9865083b61427ff9724c7706fcf.tar.gz spike-03be4ae6c7b8e9865083b61427ff9724c7706fcf.tar.bz2 | |
Add interactive mode commands to read clint mtime/mtimecmp
Diffstat (limited to 'riscv/devices.h')
| -rw-r--r-- | riscv/devices.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/riscv/devices.h b/riscv/devices.h index 8907b87..08e9c45 100644 --- a/riscv/devices.h +++ b/riscv/devices.h @@ -59,6 +59,8 @@ class clint_t : public abstract_device_t { bool store(reg_t addr, size_t len, const uint8_t* bytes); size_t size() { return CLINT_SIZE; } void increment(reg_t inc); + uint64_t get_mtimecmp(reg_t hartid) { return mtimecmp[hartid]; } + uint64_t get_mtime() { return mtime; } private: typedef uint64_t mtime_t; typedef uint64_t mtimecmp_t; |