diff options
| author | Prashanth Mundkur | 2018-06-11 16:15:14 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-06-11 16:15:14 -0700 |
| commit | ce3a0880a46b3ed59a0e875173bbc9a0899892eb (patch) | |
| tree | 123f2e816dedbdb8d04bdfd7f731d43e78a8720f /riscv/platform.ml | |
| parent | be54131898dcf13b9f10da55bd3175d84ff99ae4 (diff) | |
Use riscv platform insns_per_tick to tick the clock.
Diffstat (limited to 'riscv/platform.ml')
| -rw-r--r-- | riscv/platform.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/riscv/platform.ml b/riscv/platform.ml index 81d2c90a..10c79faf 100644 --- a/riscv/platform.ml +++ b/riscv/platform.ml @@ -80,6 +80,8 @@ let htif_tohost () = let clint_base () = bits_of_int64 P.clint_base let clint_size () = bits_of_int64 P.clint_size +let insns_per_tick () = Big_int.of_int P.insns_per_tick + (* terminal I/O *) let term_write char_bits = let big_char = Big_int.bitwise_and (uint char_bits) (Big_int.of_int 255) in |