From 726eb97a88964107bb67796613ebed2b3e05f129 Mon Sep 17 00:00:00 2001
From: Greg Chadwick <gac@lowrisc.org>
Date: Wed, 16 Nov 2022 16:26:41 +0000
Subject: [PATCH] [rtl] Flush pipe on MSECCFG CSR write

Without this an instruction executed immediately after the MSECCFG write
doesn't have the new MSECCFG setup applied to its execute permission.
---
 rtl/ibex_id_stage.sv | 1 +
 1 file changed, 1 insertion(+)

diff --git a/rtl/ibex_id_stage.sv b/rtl/ibex_id_stage.sv
index 14e7459fa5..e3a8fbe887 100644
--- a/rtl/ibex_id_stage.sv
+++ b/rtl/ibex_id_stage.sv
@@ -522,6 +522,7 @@ module ibex_id_stage #(
     if (csr_op_en_o == 1'b1 && (csr_op_o == CSR_OP_WRITE || csr_op_o == CSR_OP_SET)) begin
       if (csr_num_e'(instr_rdata_i[31:20]) == CSR_MSTATUS ||
           csr_num_e'(instr_rdata_i[31:20]) == CSR_MIE     ||
+          csr_num_e'(instr_rdata_i[31:20]) == CSR_MSECCFG ||
           // To catch all PMPCFG/PMPADDR registers, get the shared top most 7 bits.
           instr_rdata_i[31:25] == 7'h1D) begin
         csr_pipe_flush = 1'b1;