diff --git a/core/cva6_rvfi.sv b/core/cva6_rvfi.sv
index 41a1aa7525..972a50a8f1 100644
--- a/core/cva6_rvfi.sv
+++ b/core/cva6_rvfi.sv
@@ -94,6 +94,9 @@ module cva6_rvfi
     CVA6Cfg.BHTEntries,
     CVA6Cfg.DmBaseAddress,
     CVA6Cfg.NrPMPEntries,
+    CVA6Cfg.PMPCfgRstVal,
+    CVA6Cfg.PMPAddrRstVal,
+    CVA6Cfg.PMPEntryReadOnly,
     CVA6Cfg.NOCType,
     CVA6Cfg.NrNonIdempotentRules,
     CVA6Cfg.NonIdempotentAddrBase,