From 18cd6098535d963e26cb0fb01163148959b03590 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 26 Jun 2019 00:07:16 +0200 Subject: [PATCH] Add rvfi_ixl Signed-off-by: Clifford Wolf --- picorv32.v | 2 ++ 1 file changed, 2 insertions(+) diff --git a/picorv32.v b/picorv32.v index ab212dc..5af2326 100644 --- a/picorv32.v +++ b/picorv32.v @@ -123,6 +123,7 @@ module picorv32 #( output reg rvfi_halt, output reg rvfi_intr, output reg [ 1:0] rvfi_mode, + output reg [ 1:0] rvfi_ixl, output reg [ 4:0] rvfi_rs1_addr, output reg [ 4:0] rvfi_rs2_addr, output reg [31:0] rvfi_rs1_rdata, @@ -1974,6 +1975,7 @@ module picorv32 #( rvfi_halt <= trap; rvfi_intr <= dbg_irq_enter; rvfi_mode <= 3; + rvfi_ixl <= 1; if (!resetn) begin dbg_irq_call <= 0;