{
    "$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"
        }
    }
}