blob: 2d9e5110cac32b08137f132bce384a8eae2d51a6 [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": {
20 "type": "integer"
21 },
22 "controlRegister": {
23 "type": "integer"
24 },
25 "statusRegister": {
26 "type": "integer"
27 },
28 "eventLogEntry": {
29 "type": "string"
30 },
31 "deviceTableEntry": {
32 "type": "string"
33 },
34 "pageTableEntry_Level6": {
35 "type": "integer"
36 },
37 "pageTableEntry_Level5": {
38 "type": "integer"
39 },
40 "pageTableEntry_Level4": {
41 "type": "integer"
42 },
43 "pageTableEntry_Level3": {
44 "type": "integer"
45 },
46 "pageTableEntry_Level2": {
47 "type": "integer"
48 },
49 "pageTableEntry_Level1": {
50 "type": "integer"
51 }
52 }
John Chung044afd02024-05-03 19:58:02 +080053}