summaryrefslogtreecommitdiff
path: root/riscv/riscv_platform.c
diff options
context:
space:
mode:
authorAlasdair Armstrong2018-09-04 17:46:07 +0100
committerAlasdair Armstrong2018-09-04 18:39:10 +0100
commit734e23d5f0bfc6fcd2a723bc0c692b97e515088e (patch)
tree71294056ad125a7f8ae7f9200e6884d921ee933c /riscv/riscv_platform.c
parentb37cf873f5bb23ccee29fc6a0f06374fdf88b058 (diff)
C: Tweaks to RISC-V to get compiling to C
Revert a change to string_of_bits because it broke all the RISC-V tests in OCaml. string_of_int (int_of_string x) is not valid because x may not fit within an integer.
Diffstat (limited to 'riscv/riscv_platform.c')
-rw-r--r--riscv/riscv_platform.c5
1 files changed, 5 insertions, 0 deletions
diff --git a/riscv/riscv_platform.c b/riscv/riscv_platform.c
index 2ad3d3c1..d21824a3 100644
--- a/riscv/riscv_platform.c
+++ b/riscv/riscv_platform.c
@@ -46,3 +46,8 @@ void plat_insns_per_tick(sail_int *rop, unit u)
mach_bits plat_htif_tohost(unit u)
{ return 0; }
+
+unit memea(mach_bits len, sail_int n)
+{
+ return UNIT;
+}