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