From d43b475507ed9144b26be124376c3e656005a416 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Mon, 8 Oct 2018 09:35:11 -0700
Subject: RISC-V: Add a platform knob to control mtval contents on illegal
 instruction faults.

---
 riscv/riscv_extras_sequential.lem | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'riscv/riscv_extras_sequential.lem')

diff --git a/riscv/riscv_extras_sequential.lem b/riscv/riscv_extras_sequential.lem
index a6fa1298..7028d5b8 100644
--- a/riscv/riscv_extras_sequential.lem
+++ b/riscv/riscv_extras_sequential.lem
@@ -97,6 +97,10 @@ val plat_enable_misaligned_access : unit -> bool
 let plat_enable_misaligned_access () = false
 declare ocaml target_rep function plat_enable_misaligned_access = `Platform.enable_misaligned_access`
 
+val plat_mtval_has_illegal_inst_bits : unit -> bool
+let plat_mtval_has_illegal_inst_bits () = false
+declare ocaml target_rep function plat_mtval_has_illegal_inst_bits = `Platform.mtval_has_illegal_inst_bits`
+
 val plat_insns_per_tick : unit -> integer
 let plat_insns_per_tick () = 1
 declare ocaml target_rep function plat_insns_per_tick = `Platform.insns_per_tick`
-- 
cgit v1.2.3