| { |
| "$id": "cper-json-vtd-dmar-section", |
| "$schema": "https://json-schema.org/draft/2020-12/schema", |
| "type": "object", |
| "required": ["version", "revision", "oemID", "capabilityRegister", "extendedCapabilityRegister", "globalCommandRegister", "globalStatusRegister", "faultStatusRegister", "faultRecord", "rootEntry", "contextEntry", "pageTableEntry_Level6", "pageTableEntry_Level5", "pageTableEntry_Level4", "pageTableEntry_Level3", "pageTableEntry_Level2", "pageTableEntry_Level1"], |
| "additionalProperties": false, |
| "properties": { |
| "version": { |
| "type": "integer" |
| }, |
| "revision": { |
| "type": "integer" |
| }, |
| "oemID": { |
| "type": "integer" |
| }, |
| "capabilityRegister": { |
| "type": "integer" |
| }, |
| "extendedCapabilityRegister": { |
| "type": "integer" |
| }, |
| "globalCommandRegister": { |
| "type": "integer" |
| }, |
| "globalStatusRegister": { |
| "type": "integer" |
| }, |
| "faultStatusRegister": { |
| "type": "integer" |
| }, |
| "faultRecord": { |
| "type": "object", |
| "required": ["faultInformation", "sourceIdentifier", "privelegeModeRequested", "executePermissionRequested", "pasidPresent", "faultReason", "pasidValue", "addressType", "type"], |
| "properties": { |
| "faultInformation": { |
| "type": "integer" |
| }, |
| "sourceIdentifier": { |
| "type": "integer" |
| }, |
| "privelegeModeRequested": { |
| "type": "boolean" |
| }, |
| "executePermissionRequested": { |
| "type": "boolean" |
| }, |
| "pasidPresent": { |
| "type": "boolean" |
| }, |
| "faultReason": { |
| "type": "integer" |
| }, |
| "pasidValue": { |
| "type": "integer" |
| }, |
| "addressType": { |
| "type": "integer" |
| }, |
| "type": { |
| "type": "object", |
| "$ref": "./common/cper-json-nvp.json" |
| } |
| } |
| }, |
| "rootEntry": { |
| "type": "string" |
| }, |
| "contextEntry": { |
| "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" |
| } |
| } |
| } |