Merge pull request riscv#2688 from riscv/2687-change-norm-rule-mconfigptr_zero-to-mconfigptr_val

Renamed norm rule MCONFIGPTR_ZERO to MCONFIGPTR_VAL

Author: james-ball-qualcomm

normative_rule_defs/machine.yaml

@@ -904,8 +904,8 @@ normative_rule_definitions:
     tag: "norm:mconfigptr_align"
   - name: mconfigptr_mandatory
     tag: "norm:mconfigptr_mandatory"
-  - name: MCONFIGPTR_ZERO
-    tag: "norm:mconfigptr_zero"
+  - name: MCONFIGPTR_VAL
+    tag: "norm:mconfigptr_val"
     impl-def-behavior: true
 
   # CSR menvcfg

ref/riscv-privileged-norm-tags.json

@@ -338,7 +338,7 @@
     "norm:mconfigptr_enc_img": "",
     "norm:mconfigptr_align": "The pointer alignment in bits must be no smaller than MXLEN: i.e., if MXLEN is\n8{times}n, then mconfigptr[log~2n~-1:0] must be zero.",
     "norm:mconfigptr_mandatory": "The mconfigptr register must be implemented",
-    "norm:mconfigptr_zero": "it may be zero to indicate the\nconfiguration data structure does not exist or that an alternative\nmechanism must be used to locate it.",
+    "norm:mconfigptr_val": "it may be zero to indicate the\nconfiguration data structure does not exist or that an alternative\nmechanism must be used to locate it.",
     "norm:menvcfg_sz_acc": "The menvcfg CSR is a 64-bit read/write register, formatted\nas shown in <<norm:menvcfg_enc_img>>",
     "norm:menvcfg_op": "controls certain characteristics of the execution environment\nfor modes less privileged than M.",
     "norm:menvcfg_enc_img": "",
@@ -2027,7 +2027,7 @@
                   "norm:mconfigptr_enc_img",
                   "norm:mconfigptr_align",
                   "norm:mconfigptr_mandatory",
-                  "norm:mconfigptr_zero"
+                  "norm:mconfigptr_val"
                 ]
               },
               {

src/machine.adoc

@@ -2148,7 +2148,7 @@ include::images/bytefield/mconfigptrreg.edn[]
 8{times}__n__, then `mconfigptr`[log~2n~-1:0] must be zero.#
 
 [#norm:mconfigptr_mandatory]#The `mconfigptr` register must be implemented#, but
-[#norm:mconfigptr_zero]#it may be zero to indicate the
+[#norm:mconfigptr_val]#it may be zero to indicate the
 configuration data structure does not exist or that an alternative
 mechanism must be used to locate it.#