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