diff options
Diffstat (limited to 'riscv/riscv_platform.sail')
| -rw-r--r-- | riscv/riscv_platform.sail | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/riscv/riscv_platform.sail b/riscv/riscv_platform.sail index e7ca9418..6b903e70 100644 --- a/riscv/riscv_platform.sail +++ b/riscv/riscv_platform.sail @@ -245,5 +245,6 @@ function init_platform() -> unit = { } function tick_platform() -> unit = { - htif_tick() + cancel_reservation(); + htif_tick(); } |