Finished

Author: james-ball-qualcomm

arch/ext/Sha.yaml

@@ -44,13 +44,12 @@ versions:
   - version: "1.0.0"
     state: ratified
     ratification_date: null
-    requires:
-      allOf:
-      - H
-      - Ssstateen
-      - Shcounterenw
-      - Shvstvala
-      - Shtvala
-      - Shvstvecd
-      - Shvsatpa
-      - Shgatpa
+    implies:
+      - [H, "1.0.0"]
+      - [Ssstateen, "1.0.0"]
+      - [Shcounterenw, "1.0.0"]
+      - [Shvstvala, "1.0.0"]
+      - [Shtvala, "1.0.0"]
+      - [Shvstvecd, "1.0.0"]
+      - [Shvsatpa, "1.0.0"]
+      - [Shgatpa, "1.0.0"]

arch/ext/Shcounterenw.yaml

@@ -0,0 +1,21 @@
+# yaml-language-server: $schema=../../schemas/ext_schema.json
+
+$schema: "ext_schema.json#"
+kind: extension
+name: Shcounterenw
+long_name: Hypervisor counter enable
+description: |
+  For any hpmcounter that is not read-only zero, the corresponding bit in `hcounteren` must be writable.
+
+  [NOTE]
+  This extension was ratified with the RVA22 profiles.
+type: privileged
+versions:
+  - version: "1.0.0"
+    state: ratified
+    ratification_date: 2023-08
+    url: https://drive.google.com/file/d/1KcjgbLM5L1ZKY8934aJl8aQwGlMz6Cbo/view?usp=drive_link
+    param_constraints:
+      HCOUNTENABLE_EN:
+        extra_validation: |
+          HPM_COUNTER_EN.each_with_index { |hpm_exists, idx| assert(!hpm_exists || HCOUNTENABLE_EN[idx]) }

arch/ext/Shvsatpa.yaml

@@ -0,0 +1,16 @@
+# yaml-language-server: $schema=../../schemas/ext_schema.json
+
+$schema: "ext_schema.json#"
+kind: extension
+name: Shvsatpa
+long_name: vstap translation mode requirements
+description: |
+  All translation modes supported in the `satp` CSR must be supported in the `vsatp` CSR.
+
+  [NOTE]
+  This extension was ratified with the RVA22 profiles.
+type: privileged
+versions:
+  - version: "1.0.0"
+    state: ratified
+    ratification_date: null

arch/profile/MP-S-64.yaml

@@ -1,7 +1,7 @@
 # yaml-language-server: $schema=../../schemas/profile_schema.json
 
 $schema: profile_schema.json#
-kind: profile
+kind: Profile
 name: MP-S-64
 marketing_name: MockProfile 64-bit S-mode
 description: This is the Mock Profile Supervisor Mode description.

arch/profile/MP-U-64.yaml

@@ -1,5 +1,5 @@
 $schema: profile_schema.json#
-kind: profile
+kind: Profile
 name: MP-U-64
 marketing_name: MockProfile 64-bit Unpriv
 mode: Unpriv

arch/profile/RVA20S64.yaml

@@ -1,5 +1,5 @@
 $schema: profile_schema.json#
-kind: profile
+kind: Profile
 name: RVA20S64
 marketing_name: RVA20S64
 mode: S

arch/profile/RVA20U64.yaml

@@ -1,5 +1,5 @@
 $schema: profile_schema.json#
-kind: profile
+kind: Profile
 name: RVA20U64
 marketing_name: RVA20U64
 mode: Unpriv

arch/profile/RVA22S64.yaml

@@ -1,5 +1,5 @@
 $schema: profile_schema.json#
-kind: profile
+kind: Profile
 name: RVA22S64
 marketing_name: RVA22S64
 mode: S

arch/profile/RVA22U64.yaml

@@ -1,5 +1,5 @@
 $schema: profile_schema.json#
-kind: profile
+kind: Profile
 name: RVA22U64
 marketing_name: RVA22U64
 mode: Unpriv

arch/profile/RVA23S64.yaml

@@ -1,5 +1,5 @@
 $schema: profile_schema.json#
-kind: profile
+kind: Profile
 name: RVA23S64
 marketing_name: RVA23S64
 mode: S