Use Svucrg as the PTE extension placeholder

While this is still a placeholder, we at least use the correct prefix now. See #535
riscv · Feb 14, 2025 · b33b949 · b33b949
1 parent 17472ed
commit b33b949
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/attributes.adoc b/src/attributes.adoc
@@ -48,7 +48,7 @@ endif::[]
 // CHERI extension adding support for integer pointer mode (and mode bit)
 :cheri_default_ext_name:   Zcherihybrid
 // Extension for CHERI PTE bits
-:cheri_pte_ext_name:       Zcheripte
+:cheri_pte_ext_name:       Svucrg
 // Extension for capability levels (flow control)
 :cheri_levels_ext_name:             Zcherilevels
 // Extension for thread identification