blob: baa5942a15c0aafcf0d48aa3b199c777279dfd27 [file] [log] [blame]
Lawrence Tang079d5812022-07-12 14:15:32 +01001{
2 "$id": "cper-json-vtd-dmar-section",
3 "$schema": "https://json-schema.org/draft/2020-12/schema",
4 "type": "object",
5 "required": ["version", "revision", "oemID", "capabilityRegister", "extendedCapabilityRegister", "globalCommandRegister", "globalStatusRegister", "faultStatusRegister", "faultRecord", "rootEntry", "contextEntry", "pageTableEntry_Level6", "pageTableEntry_Level5", "pageTableEntry_Level4", "pageTableEntry_Level3", "pageTableEntry_Level2", "pageTableEntry_Level1"],
6 "additionalProperties": false,
7 "properties": {
8 "version": {
9 "type": "integer"
10 },
11 "revision": {
12 "type": "integer"
13 },
14 "oemID": {
15 "type": "integer"
16 },
17 "capabilityRegister": {
18 "type": "integer"
19 },
20 "extendedCapabilityRegister": {
21 "type": "integer"
22 },
23 "globalCommandRegister": {
24 "type": "integer"
25 },
26 "globalStatusRegister": {
27 "type": "integer"
28 },
29 "faultStatusRegister": {
30 "type": "object",
31 "required": ["faultInformation", "sourceIdentifier", "privelegeModeRequested", "executePermissionRequested", "pasidPresent", "faultReason", "pasidValue", "addressType", "type"],
32 "properties": {
33 "faultInformation": {
34 "type": "integer"
35 },
36 "sourceIdentifier": {
37 "type": "integer"
38 },
39 "privelegeModeRequested": {
40 "type": "boolean"
41 },
42 "executePermissionRequested": {
43 "type": "boolean"
44 },
45 "pasidPresent": {
46 "type": "boolean"
47 },
48 "faultReason": {
49 "type": "integer"
50 },
51 "pasidValue": {
52 "type": "integer"
53 },
54 "addressType": {
55 "type": "integer"
56 },
57 "type": {
58 "type": "object",
Lawrence Tang8a2d7372022-07-12 16:44:49 +010059 "$ref": "./common/cper-json-nvp.json"
Lawrence Tang079d5812022-07-12 14:15:32 +010060 }
61 }
62 },
63 "rootEntry": {
64 "type": "string"
65 },
66 "contextEntry": {
67 "type": "string"
68 },
69 "pageEntry_Level6": {
70 "type": "integer"
71 },
72 "pageEntry_Level5": {
73 "type": "integer"
74 },
75 "pageEntry_Level4": {
76 "type": "integer"
77 },
78 "pageEntry_Level3": {
79 "type": "integer"
80 },
81 "pageEntry_Level2": {
82 "type": "integer"
83 },
84 "pageEntry_Level1": {
85 "type": "integer"
86 }
87 }
88}