diff --git a/architecture/RISCV/RV32IMFD.yml b/architecture/RISCV/RV32IMFD.yml index 86d8ac37..b7a2e1d3 100644 --- a/architecture/RISCV/RV32IMFD.yml +++ b/architecture/RISCV/RV32IMFD.yml @@ -3607,6 +3607,7 @@ instructions: CAPI.STACK.endFrame(); CAPI.INTERRUPTS.setUserMode(); CAPI.INTERRUPTS.clearHighlight(); + CAPI.INTERRUPTS.globalEnable(); help: Return from traps in M-mode, and mret copies mpie into mie, then sets mpie. properties: diff --git a/architecture/RISCV/RV64IMFD.yml b/architecture/RISCV/RV64IMFD.yml index eeb5b5f7..2fe89a52 100644 --- a/architecture/RISCV/RV64IMFD.yml +++ b/architecture/RISCV/RV64IMFD.yml @@ -3819,6 +3819,7 @@ instructions: CAPI.STACK.endFrame(); CAPI.INTERRUPTS.setUserMode(); CAPI.INTERRUPTS.clearHighlight(); + CAPI.INTERRUPTS.globalEnable(); help: Return from traps in M-mode, and mret copies mpie into mie, then sets mpie. properties: