1{ 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": "integer" 31 }, 32 "faultRecord": { 33 "type": "object", 34 "required": ["faultInformation", "sourceIdentifier", "privelegeModeRequested", "executePermissionRequested", "pasidPresent", "faultReason", "pasidValue", "addressType", "type"], 35 "properties": { 36 "faultInformation": { 37 "type": "integer" 38 }, 39 "sourceIdentifier": { 40 "type": "integer" 41 }, 42 "privelegeModeRequested": { 43 "type": "boolean" 44 }, 45 "executePermissionRequested": { 46 "type": "boolean" 47 }, 48 "pasidPresent": { 49 "type": "boolean" 50 }, 51 "faultReason": { 52 "type": "integer" 53 }, 54 "pasidValue": { 55 "type": "integer" 56 }, 57 "addressType": { 58 "type": "integer" 59 }, 60 "type": { 61 "type": "object", 62 "$ref": "./common/cper-json-nvp.json" 63 } 64 } 65 }, 66 "rootEntry": { 67 "type": "string" 68 }, 69 "contextEntry": { 70 "type": "string" 71 }, 72 "pageTableEntry_Level6": { 73 "type": "integer" 74 }, 75 "pageTableEntry_Level5": { 76 "type": "integer" 77 }, 78 "pageTableEntry_Level4": { 79 "type": "integer" 80 }, 81 "pageTableEntry_Level3": { 82 "type": "integer" 83 }, 84 "pageTableEntry_Level2": { 85 "type": "integer" 86 }, 87 "pageTableEntry_Level1": { 88 "type": "integer" 89 } 90 } 91}