diff options
| author | Prashanth Mundkur | 2018-07-07 15:24:23 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-07-07 15:24:27 -0700 |
| commit | 03acdbccf2793cf7105fdd365df6f876681a99b2 (patch) | |
| tree | a591cf3491ccd92fdaacac085ac7f5261af3ce14 /riscv/platform.ml | |
| parent | 1f60d65d5817c7eb897197568525469163eb7cea (diff) | |
Cancel riscv reservation before i/o scheduling, tweak reservation tracing.
Diffstat (limited to 'riscv/platform.ml')
| -rw-r--r-- | riscv/platform.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/platform.ml b/riscv/platform.ml index ddae4840..092df80f 100644 --- a/riscv/platform.ml +++ b/riscv/platform.ml @@ -102,7 +102,7 @@ let insns_per_tick () = Big_int.of_int P.insns_per_tick let reservation = ref "none" (* shouldn't match any valid address *) let load_reservation addr = - Printf.eprintf "reservation <- %s\n" (!reservation); + Printf.eprintf "reservation <- %s\n" (string_of_bits addr); reservation := string_of_bits addr let match_reservation addr = |