zkr: enable write for useed/sseed fileds of mseccfg csr

2 years ago · 0a4f0b3da6
1 changed files with 5 additions and 0 deletions
--- a/riscv/csrs.cc
+++ b/riscv/csrs.cc
@ -322,6 +322,11 @@ bool mseccfg_csr_t::unlogged_write(const reg_t val) noexcept {
  new_val |= (val & MSECCFG_MMWP);  //MMWP is sticky
  new_val |= (val & MSECCFG_MML);   //MML is sticky

+  if (proc->extension_enabled(EXT_ZKR)) {
+    uint64_t mask = MSECCFG_USEED | MSECCFG_SSEED;
+    new_val = (new_val & ~mask) | (val & mask);
+  }
+
  proc->get_mmu()->flush_tlb();

  if (proc->extension_enabled(EXT_ZICFILP)) {