feat(diff): support svpbmt (#41)

OpenXiangShan · Sep 23, 2024 · 60fcb37 · 60fcb37
1 parent 2091e00
commit 60fcb37
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/difftest/difftest-def.h b/difftest/difftest-def.h
@@ -78,7 +78,8 @@
     "_zba_zbb_zbc_zbs_zbkb_zbkc_zbkx" \
     "_zknd_zkne_zknh_zksed_zksh" \
     "_zfa_zfhmin" \
-    "_svinval_sscofpmf"
+    "_svinval_sscofpmf" \
+    "_svpbmt"
 
 #define CONFIG_MEMORY_SIZE     (16 * 1024 * 1024 * 1024UL)
 #define CONFIG_FLASH_BASE      0x10000000UL