diff options
| author | Jerry Zhao <jerryz123@berkeley.edu> | 2023-04-13 17:57:21 -0700 |
|---|---|---|
| committer | Jerry Zhao <jerryz123@berkeley.edu> | 2023-04-20 11:37:01 -0700 |
| commit | 79f1eed6782a456aff0f7812126e827c62defc6c (patch) | |
| tree | d0d97ec545b4e6e7962ae2744612f1846ea0de26 | |
| parent | 0835bd7729f317a009d9bec775f8e4bf420f93a7 (diff) | |
| download | spike-79f1eed6782a456aff0f7812126e827c62defc6c.zip spike-79f1eed6782a456aff0f7812126e827c62defc6c.tar.gz spike-79f1eed6782a456aff0f7812126e827c62defc6c.tar.bz2 | |
Add clear in_wfi interface to proc_t
This enables more flexible modelling of wfi behavior
| -rw-r--r-- | riscv/processor.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/riscv/processor.h b/riscv/processor.h index cd53106..8117568 100644 --- a/riscv/processor.h +++ b/riscv/processor.h @@ -293,7 +293,8 @@ public: void set_mmu_capability(int cap); const char* get_symbol(uint64_t addr); - + + void clear_waiting_for_interrupt() { in_wfi = false; }; bool is_waiting_for_interrupt() { return in_wfi; }; private: |