diff options
Diffstat (limited to 'riscv/riscv_prelude.h')
| -rw-r--r-- | riscv/riscv_prelude.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/riscv/riscv_prelude.h b/riscv/riscv_prelude.h index 514022cd..a296c7e9 100644 --- a/riscv/riscv_prelude.h +++ b/riscv/riscv_prelude.h @@ -3,3 +3,8 @@ #include "rts.h" unit print_string(sail_string prefix, sail_string msg); + +unit print_instr(sail_string s); +unit print_reg(sail_string s); +unit print_mem_access(sail_string s); +unit print_platform(sail_string s); |