commit 079d581e5161475b0635ddbd2681804c42a185b2
author Lawrence Tang <lawrence.tang@arm.com> Tue Jul 12 14:15:32 2022 +0100
committer Lawrence Tang <lawrence.tang@arm.com> Tue Jul 12 14:15:32 2022 +0100
tree 27f312c400a35528df05acb316a50941f151fde8
parent 2f49ac57c199a2d0d3838e503d8500f8a7c3961f

Fix minor errors in spec, add JSON specification.

specification/json/sections/cper-iommu-dmar.json

diff --git a/specification/json/sections/cper-iommu-dmar.json b/specification/json/sections/cper-iommu-dmar.json
new file mode 100644
index 0000000..2db53cc
--- /dev/null
+++ b/specification/json/sections/cper-iommu-dmar.json
@@ -0,0 +1,42 @@
+{
+    "$id": "cper-json-iommu-dmar-section",
+    "$schema": "https://json-schema.org/draft/2020-12/schema",
+    "type": "object",
+    "required": ["revision", "controlRegister", "statusRegister", "eventLogEntry", "deviceTableEntry", "pageTableEntry_Level6", "pageTableEntry_Level5", "pageTableEntry_Level4", "pageTableEntry_Level3", "pageTableEntry_Level2", "pageTableEntry_Level1"],
+    "additionalProperties": false,
+    "properties": {
+        "revision": {
+            "type": "integer"
+        },
+        "controlRegister": {
+            "type": "integer"
+        },
+        "statusRegister": {
+            "type": "integer"
+        },
+        "eventLogEntry": {
+            "type": "string"
+        },
+        "deviceTableEntry": {
+            "type": "string"
+        },
+        "pageTableEntry_Level6": {
+            "type": "integer"
+        },
+        "pageTableEntry_Level5": {
+            "type": "integer"
+        },
+        "pageTableEntry_Level4": {
+            "type": "integer"
+        },
+        "pageTableEntry_Level3": {
+            "type": "integer"
+        },
+        "pageTableEntry_Level2": {
+            "type": "integer"
+        },
+        "pageTableEntry_Level1": {
+            "type": "integer"
+        }
+    }
+}
\ No newline at end of file