blob: 47a4aaa8b1f051e65ffddb7f7113f7923d180352 [file] [log] [blame]
Lawrence Tang079d5812022-07-12 14:15:32 +01001{
Lawrence Tang079d5812022-07-12 14:15:32 +01002 "$schema": "https://json-schema.org/draft/2020-12/schema",
3 "type": "object",
John Chung044afd02024-05-03 19:58:02 +08004 "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 ],
Lawrence Tang079d5812022-07-12 14:15:32 +010017 "additionalProperties": false,
18 "properties": {
19 "revision": {
Andrew Adrianced9835a12024-12-05 14:41:42 -080020 "type": "integer",
21 "description": "Specifies the IOMMU specification revision"
Lawrence Tang079d5812022-07-12 14:15:32 +010022 },
23 "controlRegister": {
Andrew Adrianced9835a12024-12-05 14:41:42 -080024 "type": "integer",
25 "description": "IOMMU control register"
Lawrence Tang079d5812022-07-12 14:15:32 +010026 },
27 "statusRegister": {
Andrew Adrianced9835a12024-12-05 14:41:42 -080028 "type": "integer",
29 "description": "IOMMU status register"
Lawrence Tang079d5812022-07-12 14:15:32 +010030 },
31 "eventLogEntry": {
Andrew Adrianced9835a12024-12-05 14:41:42 -080032 "type": "string",
33 "description": "IOMMU fault related event log entry as defined in the IOMMU specification"
Lawrence Tang079d5812022-07-12 14:15:32 +010034 },
35 "deviceTableEntry": {
Andrew Adrianced9835a12024-12-05 14:41:42 -080036 "type": "string",
37 "description": "Value from the device table for a given Requester ID"
Lawrence Tang079d5812022-07-12 14:15:32 +010038 },
39 "pageTableEntry_Level6": {
Andrew Adrianced9835a12024-12-05 14:41:42 -080040 "type": "integer",
41 "description": "PTE entry for device virtual address in page level 6."
Lawrence Tang079d5812022-07-12 14:15:32 +010042 },
43 "pageTableEntry_Level5": {
Andrew Adrianced9835a12024-12-05 14:41:42 -080044 "type": "integer",
45 "description": "PTE entry for device virtual address in page level 5."
Lawrence Tang079d5812022-07-12 14:15:32 +010046 },
47 "pageTableEntry_Level4": {
Andrew Adrianced9835a12024-12-05 14:41:42 -080048 "type": "integer",
49 "description": "PTE entry for device virtual address in page level 4."
Lawrence Tang079d5812022-07-12 14:15:32 +010050 },
51 "pageTableEntry_Level3": {
Andrew Adrianced9835a12024-12-05 14:41:42 -080052 "type": "integer",
53 "description": "PTE entry for device virtual address in page level 3."
Lawrence Tang079d5812022-07-12 14:15:32 +010054 },
55 "pageTableEntry_Level2": {
Andrew Adrianced9835a12024-12-05 14:41:42 -080056 "type": "integer",
57 "description": "PTE entry for device virtual address in page level 2."
Lawrence Tang079d5812022-07-12 14:15:32 +010058 },
59 "pageTableEntry_Level1": {
Andrew Adrianced9835a12024-12-05 14:41:42 -080060 "type": "integer",
61 "description": "PTE entry for device virtual address in page level 1."
Lawrence Tang079d5812022-07-12 14:15:32 +010062 }
63 }
John Chung044afd02024-05-03 19:58:02 +080064}