xref: /openbmc/libcper/specification/json/sections/cper-iommu-dmar.json (revision d9835a173ed9611090acc6d51493128a5e387385)
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