1{ 2 "$schema": "https://json-schema.org/draft/2020-12/schema", 3 "type": "object", 4 "required": [ 5 "revision", 6 "controlRegister", 7 "statusRegister", 8 "eventLogEntry", 9 "deviceTableEntry", 10 "pageTableEntry_Level6", 11 "pageTableEntry_Level5", 12 "pageTableEntry_Level4", 13 "pageTableEntry_Level3", 14 "pageTableEntry_Level2", 15 "pageTableEntry_Level1" 16 ], 17 "additionalProperties": false, 18 "properties": { 19 "revision": { 20 "type": "integer", 21 "description": "Specifies the IOMMU specification revision" 22 }, 23 "controlRegister": { 24 "type": "integer", 25 "description": "IOMMU control register" 26 }, 27 "statusRegister": { 28 "type": "integer", 29 "description": "IOMMU status register" 30 }, 31 "eventLogEntry": { 32 "type": "string", 33 "description": "IOMMU fault related event log entry as defined in the IOMMU specification" 34 }, 35 "deviceTableEntry": { 36 "type": "string", 37 "description": "Value from the device table for a given Requester ID" 38 }, 39 "pageTableEntry_Level6": { 40 "type": "integer", 41 "description": "PTE entry for device virtual address in page level 6." 42 }, 43 "pageTableEntry_Level5": { 44 "type": "integer", 45 "description": "PTE entry for device virtual address in page level 5." 46 }, 47 "pageTableEntry_Level4": { 48 "type": "integer", 49 "description": "PTE entry for device virtual address in page level 4." 50 }, 51 "pageTableEntry_Level3": { 52 "type": "integer", 53 "description": "PTE entry for device virtual address in page level 3." 54 }, 55 "pageTableEntry_Level2": { 56 "type": "integer", 57 "description": "PTE entry for device virtual address in page level 2." 58 }, 59 "pageTableEntry_Level1": { 60 "type": "integer", 61 "description": "PTE entry for device virtual address in page level 1." 62 } 63 } 64} 65