Rename Sm#XLEN parameter -> Sm#MXLEN (#575)

* Rename Sm#XLEN parameter -> Sm#MXLEN

* fix: missing base in hpmcounterNh

* fix: use MXLEN in Zilsd instructions

Author: dhower-qc

arch/certificate_model/MC100-32.yaml

@@ -136,6 +136,6 @@ extensions:
       M_MODE_ENDIANESS:
         schema:
           const: little
-      XLEN:
+      MXLEN:
         schema:
           const: 32

arch/certificate_model/MC100-64.yaml

@@ -15,6 +15,6 @@ base: 64
 extensions:
   Sm:
     parameters:
-      XLEN:
+      MXLEN:
         schema:
           const: 64

arch/certificate_model/MC200-64.yaml

@@ -15,6 +15,6 @@ base: 64
 extensions:
   Sm:
     parameters:
-      XLEN:
+      MXLEN:
         schema:
           const: 64

arch/certificate_model/MC300-64.yaml

@@ -15,6 +15,6 @@ base: 64
 extensions:
   Sm:
     parameters:
-      XLEN:
+      MXLEN:
         schema:
           const: 64

arch/certificate_model/MockCertificateModel.yaml

@@ -145,7 +145,7 @@ extensions:
         #    version: "=1.1.0"
         #    then:
         #      enum: [little, big]
-      XLEN:
+      MXLEN:
         schema:
           const: 64
       CONFIG_PTR_ADDRESS:

arch/csr/H/vsatp.yaml

@@ -96,7 +96,7 @@ fields:
           return UNDEFINED_LEGAL_DETERMINISTIC;
         }
       } else {
-        XReg shamt = ((XLEN == 32) || (CSR[mstatus].SXL == $bits(XRegWidth::XLEN32))) ? 9 : 16;
+        XReg shamt = ((xlen() == 32) || (CSR[mstatus].SXL == $bits(XRegWidth::XLEN32))) ? 9 : 16;
         XReg all_ones = ((1 << shamt) - 1);
         XReg largest_allowed_asid = (1 << shamt) - 1;
 

arch/csr/I/pmpaddr0.yaml

@@ -41,7 +41,7 @@ fields:
 sw_read(): |
   # when the mode is NAPOT and PMP_GRANULARITY >= 16,
   # bits (PMP_GRANULARITY-4):0 must read as ones
-  if (XLEN == 32) {
+  if (MXLEN == 32) {
     if ((PMP_GRANULARITY >= 16) &&
         (CSR[pmpcfg0].pmp0cfg[4] == 1)) {
       return CSR[pmpaddr0].ADDR | {PMP_GRANULARITY-3{1'b1}};

arch/csr/I/pmpaddr1.yaml

@@ -41,7 +41,7 @@ fields:
 sw_read(): |
   # when the mode is NAPOT and PMP_GRANULARITY >= 16,
   # bits (PMP_GRANULARITY-4):0 must read as ones
-  if (XLEN == 32) {
+  if (MXLEN == 32) {
     if ((PMP_GRANULARITY >= 16) &&
         (CSR[pmpcfg0].pmp1cfg[4] == 1)) {
       return CSR[pmpaddr1].ADDR | {PMP_GRANULARITY-3{1'b1}};

arch/csr/I/pmpaddr10.yaml

@@ -41,7 +41,7 @@ fields:
 sw_read(): |
   # when the mode is NAPOT and PMP_GRANULARITY >= 16,
   # bits (PMP_GRANULARITY-4):0 must read as ones
-  if (XLEN == 32) {
+  if (MXLEN == 32) {
     if ((PMP_GRANULARITY >= 16) &&
         (CSR[pmpcfg2].pmp10cfg[4] == 1)) {
       return CSR[pmpaddr10].ADDR | {PMP_GRANULARITY-3{1'b1}};

arch/csr/I/pmpaddr11.yaml

@@ -41,7 +41,7 @@ fields:
 sw_read(): |
   # when the mode is NAPOT and PMP_GRANULARITY >= 16,
   # bits (PMP_GRANULARITY-4):0 must read as ones
-  if (XLEN == 32) {
+  if (MXLEN == 32) {
     if ((PMP_GRANULARITY >= 16) &&
         (CSR[pmpcfg2].pmp11cfg[4] == 1)) {
       return CSR[pmpaddr11].ADDR | {PMP_GRANULARITY-3{1'b1}};