diff --git a/src/isa/riscv64/system/priv.c b/src/isa/riscv64/system/priv.c
index 7f136197..22c5b8e9 100644
--- a/src/isa/riscv64/system/priv.c
+++ b/src/isa/riscv64/system/priv.c
@@ -1788,6 +1788,7 @@ static void csr_write(uint32_t csrid, word_t src) {
       break;
     }
 #endif // CONFIG_SDTRIG_EXTRA
+    case CSR_TINFO: break;
 #endif // CONFIG_RV_SDTRIG
 
     case CSR_MCYCLE:  mcycle->val = set_mcycle(src); break;