1079d581eSLawrence Tang{
2079d581eSLawrence Tang    "$id": "cper-json-ia32x54-processor-section",
3079d581eSLawrence Tang    "$schema": "https://json-schema.org/draft/2020-12/schema",
4079d581eSLawrence Tang    "type": "object",
5*044afd01SJohn Chung    "required": [
6*044afd01SJohn Chung        "validationBits",
7*044afd01SJohn Chung        "localAPICID",
8*044afd01SJohn Chung        "cpuidInfo",
9*044afd01SJohn Chung        "processorErrorInfo",
10*044afd01SJohn Chung        "processorContextInfo"
11*044afd01SJohn Chung    ],
12079d581eSLawrence Tang    "additionalProperties": false,
13079d581eSLawrence Tang    "properties": {
14079d581eSLawrence Tang        "validationBits": {
15079d581eSLawrence Tang            "type": "object",
16*044afd01SJohn Chung            "required": [
17*044afd01SJohn Chung                "localAPICIDValid",
18*044afd01SJohn Chung                "cpuIDInfoValid",
19*044afd01SJohn Chung                "processorErrorInfoNum",
20*044afd01SJohn Chung                "processorContextInfoNum"
21*044afd01SJohn Chung            ],
22079d581eSLawrence Tang            "properties": {
23079d581eSLawrence Tang                "localAPICIDValid": {
24079d581eSLawrence Tang                    "type": "boolean"
25079d581eSLawrence Tang                },
26079d581eSLawrence Tang                "cpuIDInfoValid": {
27079d581eSLawrence Tang                    "type": "boolean"
28079d581eSLawrence Tang                },
29079d581eSLawrence Tang                "processorErrorInfoNum": {
30079d581eSLawrence Tang                    "type": "integer",
31079d581eSLawrence Tang                    "minimum": 0
32079d581eSLawrence Tang                },
33079d581eSLawrence Tang                "processorContextInfoNum": {
34079d581eSLawrence Tang                    "type": "integer",
35079d581eSLawrence Tang                    "minimum": 0
36079d581eSLawrence Tang                }
37079d581eSLawrence Tang            }
38079d581eSLawrence Tang        },
39079d581eSLawrence Tang        "localAPICID": {
40079d581eSLawrence Tang            "type": "integer"
41079d581eSLawrence Tang        },
42079d581eSLawrence Tang        "cpuidInfo": {
43079d581eSLawrence Tang            "type": "object",
44079d581eSLawrence Tang            "required": ["eax", "ebx", "ecx", "edx"],
45079d581eSLawrence Tang            "properties": {
46079d581eSLawrence Tang                "eax": {
47079d581eSLawrence Tang                    "type": "integer"
48079d581eSLawrence Tang                },
49079d581eSLawrence Tang                "ebx": {
50079d581eSLawrence Tang                    "type": "integer"
51079d581eSLawrence Tang                },
52079d581eSLawrence Tang                "ecx": {
53079d581eSLawrence Tang                    "type": "integer"
54079d581eSLawrence Tang                },
55079d581eSLawrence Tang                "edx": {
56079d581eSLawrence Tang                    "type": "integer"
57079d581eSLawrence Tang                }
58079d581eSLawrence Tang            }
59079d581eSLawrence Tang        },
60079d581eSLawrence Tang        "processorErrorInfo": {
61079d581eSLawrence Tang            "type": "array",
62079d581eSLawrence Tang            "items": {
63079d581eSLawrence Tang                "type": "object",
64*044afd01SJohn Chung                "required": [
65*044afd01SJohn Chung                    "type",
66*044afd01SJohn Chung                    "validationBits",
67*044afd01SJohn Chung                    "checkInfo",
68*044afd01SJohn Chung                    "targetAddressID",
69*044afd01SJohn Chung                    "requestorID",
70*044afd01SJohn Chung                    "responderID",
71*044afd01SJohn Chung                    "instructionPointer"
72*044afd01SJohn Chung                ],
73079d581eSLawrence Tang                "additionalProperties": false,
74079d581eSLawrence Tang                "properties": {
75079d581eSLawrence Tang                    "type": {
763592da71SLawrence Tang                        "type": "object",
773592da71SLawrence Tang                        "required": ["guid", "name"],
783592da71SLawrence Tang                        "properties": {
793592da71SLawrence Tang                            "guid": {
80079d581eSLawrence Tang                                "type": "string"
81079d581eSLawrence Tang                            },
823592da71SLawrence Tang                            "name": {
833592da71SLawrence Tang                                "type": "string"
843592da71SLawrence Tang                            }
853592da71SLawrence Tang                        }
863592da71SLawrence Tang                    },
87079d581eSLawrence Tang                    "validationBits": {
88079d581eSLawrence Tang                        "type": "object",
89*044afd01SJohn Chung                        "required": [
90*044afd01SJohn Chung                            "checkInfoValid",
91*044afd01SJohn Chung                            "targetAddressIDValid",
92*044afd01SJohn Chung                            "requestorIDValid",
93*044afd01SJohn Chung                            "responderIDValid",
94*044afd01SJohn Chung                            "instructionPointerValid"
95*044afd01SJohn Chung                        ],
96079d581eSLawrence Tang                        "additionalProperties": false,
97079d581eSLawrence Tang                        "properties": {
98079d581eSLawrence Tang                            "checkInfoValid": {
99079d581eSLawrence Tang                                "type": "boolean"
100079d581eSLawrence Tang                            },
101079d581eSLawrence Tang                            "targetAddressIDValid": {
102079d581eSLawrence Tang                                "type": "boolean"
103079d581eSLawrence Tang                            },
104079d581eSLawrence Tang                            "requestorIDValid": {
105079d581eSLawrence Tang                                "type": "boolean"
106079d581eSLawrence Tang                            },
107079d581eSLawrence Tang                            "responderIDValid": {
108079d581eSLawrence Tang                                "type": "boolean"
109079d581eSLawrence Tang                            },
110079d581eSLawrence Tang                            "instructionPointerValid": {
111079d581eSLawrence Tang                                "type": "boolean"
112079d581eSLawrence Tang                            }
113079d581eSLawrence Tang                        }
114079d581eSLawrence Tang                    },
115079d581eSLawrence Tang                    "checkInfo": {
116079d581eSLawrence Tang                        "type": "object",
117079d581eSLawrence Tang                        "oneOf": [
118079d581eSLawrence Tang                            {
119079d581eSLawrence Tang                                "type": "object",
120*044afd01SJohn Chung                                "required": [
121*044afd01SJohn Chung                                    "validationBits",
122*044afd01SJohn Chung                                    "transactionType",
123*044afd01SJohn Chung                                    "operation",
124*044afd01SJohn Chung                                    "level",
125*044afd01SJohn Chung                                    "processorContextCorrupt",
126*044afd01SJohn Chung                                    "uncorrected",
127*044afd01SJohn Chung                                    "preciseIP",
128*044afd01SJohn Chung                                    "restartableIP",
129*044afd01SJohn Chung                                    "overflow"
130*044afd01SJohn Chung                                ],
131079d581eSLawrence Tang                                "additionalProperties": false,
132079d581eSLawrence Tang                                "properties": {
133079d581eSLawrence Tang                                    "validationBits": {
134079d581eSLawrence Tang                                        "type": "object",
135*044afd01SJohn Chung                                        "required": [
136*044afd01SJohn Chung                                            "transactionTypeValid",
137*044afd01SJohn Chung                                            "operationValid",
138*044afd01SJohn Chung                                            "levelValid",
139*044afd01SJohn Chung                                            "processorContextCorruptValid",
140*044afd01SJohn Chung                                            "uncorrectedValid",
141*044afd01SJohn Chung                                            "preciseIPValid",
142*044afd01SJohn Chung                                            "restartableIPValid",
143*044afd01SJohn Chung                                            "overflowValid"
144*044afd01SJohn Chung                                        ],
145079d581eSLawrence Tang                                        "properties": {
146079d581eSLawrence Tang                                            "transactionTypeValid": {
147079d581eSLawrence Tang                                                "type": "boolean"
148079d581eSLawrence Tang                                            },
149079d581eSLawrence Tang                                            "operationValid": {
150079d581eSLawrence Tang                                                "type": "boolean"
151079d581eSLawrence Tang                                            },
152079d581eSLawrence Tang                                            "levelValid": {
153079d581eSLawrence Tang                                                "type": "boolean"
154079d581eSLawrence Tang                                            },
155079d581eSLawrence Tang                                            "processorContextCorruptValid": {
156079d581eSLawrence Tang                                                "type": "boolean"
157079d581eSLawrence Tang                                            },
158079d581eSLawrence Tang                                            "uncorrectedValid": {
159079d581eSLawrence Tang                                                "type": "boolean"
160079d581eSLawrence Tang                                            },
161079d581eSLawrence Tang                                            "preciseIPValid": {
162079d581eSLawrence Tang                                                "type": "boolean"
163079d581eSLawrence Tang                                            },
164079d581eSLawrence Tang                                            "restartableIPValid": {
165079d581eSLawrence Tang                                                "type": "boolean"
166079d581eSLawrence Tang                                            },
167079d581eSLawrence Tang                                            "overflowValid": {
168079d581eSLawrence Tang                                                "type": "boolean"
169079d581eSLawrence Tang                                            }
170079d581eSLawrence Tang                                        }
171079d581eSLawrence Tang                                    },
172079d581eSLawrence Tang                                    "transactionType": {
173079d581eSLawrence Tang                                        "type": "object",
1748a2d737cSLawrence Tang                                        "$ref": "./common/cper-json-nvp.json"
175079d581eSLawrence Tang                                    },
176079d581eSLawrence Tang                                    "operation": {
177079d581eSLawrence Tang                                        "type": "object",
1788a2d737cSLawrence Tang                                        "$ref": "./common/cper-json-nvp.json"
179079d581eSLawrence Tang                                    },
180079d581eSLawrence Tang                                    "level": {
181079d581eSLawrence Tang                                        "type": "integer",
182079d581eSLawrence Tang                                        "minimum": 0
183079d581eSLawrence Tang                                    },
184079d581eSLawrence Tang                                    "processorContextCorrupt": {
185079d581eSLawrence Tang                                        "type": "boolean"
186079d581eSLawrence Tang                                    },
187079d581eSLawrence Tang                                    "uncorrected": {
188079d581eSLawrence Tang                                        "type": "boolean"
189079d581eSLawrence Tang                                    },
190079d581eSLawrence Tang                                    "preciseIP": {
191079d581eSLawrence Tang                                        "type": "boolean"
192079d581eSLawrence Tang                                    },
193079d581eSLawrence Tang                                    "restartableIP": {
194079d581eSLawrence Tang                                        "type": "boolean"
195079d581eSLawrence Tang                                    },
196079d581eSLawrence Tang                                    "overflow": {
197079d581eSLawrence Tang                                        "type": "boolean"
198079d581eSLawrence Tang                                    }
199079d581eSLawrence Tang                                }
200079d581eSLawrence Tang                            },
201079d581eSLawrence Tang                            {
202079d581eSLawrence Tang                                "type": "object",
203*044afd01SJohn Chung                                "required": [
204*044afd01SJohn Chung                                    "validationBits",
205*044afd01SJohn Chung                                    "transactionType",
206*044afd01SJohn Chung                                    "operation",
207*044afd01SJohn Chung                                    "level",
208*044afd01SJohn Chung                                    "processorContextCorrupt",
209*044afd01SJohn Chung                                    "uncorrected",
210*044afd01SJohn Chung                                    "preciseIP",
211*044afd01SJohn Chung                                    "restartableIP",
212*044afd01SJohn Chung                                    "overflow",
213*044afd01SJohn Chung                                    "participationType",
214*044afd01SJohn Chung                                    "timedOut",
215*044afd01SJohn Chung                                    "addressSpace"
216*044afd01SJohn Chung                                ],
217079d581eSLawrence Tang                                "additionalProperties": false,
218079d581eSLawrence Tang                                "properties": {
219079d581eSLawrence Tang                                    "validationBits": {
220079d581eSLawrence Tang                                        "type": "object",
221*044afd01SJohn Chung                                        "required": [
222*044afd01SJohn Chung                                            "transactionTypeValid",
223*044afd01SJohn Chung                                            "operationValid",
224*044afd01SJohn Chung                                            "levelValid",
225*044afd01SJohn Chung                                            "processorContextCorruptValid",
226*044afd01SJohn Chung                                            "uncorrectedValid",
227*044afd01SJohn Chung                                            "preciseIPValid",
228*044afd01SJohn Chung                                            "restartableIPValid",
229*044afd01SJohn Chung                                            "overflowValid",
230*044afd01SJohn Chung                                            "participationTypeValid",
231*044afd01SJohn Chung                                            "timedOutValid",
232*044afd01SJohn Chung                                            "addressSpaceValid"
233*044afd01SJohn Chung                                        ],
234079d581eSLawrence Tang                                        "properties": {
235079d581eSLawrence Tang                                            "transactionTypeValid": {
236079d581eSLawrence Tang                                                "type": "boolean"
237079d581eSLawrence Tang                                            },
238079d581eSLawrence Tang                                            "operationValid": {
239079d581eSLawrence Tang                                                "type": "boolean"
240079d581eSLawrence Tang                                            },
241079d581eSLawrence Tang                                            "levelValid": {
242079d581eSLawrence Tang                                                "type": "boolean"
243079d581eSLawrence Tang                                            },
244079d581eSLawrence Tang                                            "processorContextCorruptValid": {
245079d581eSLawrence Tang                                                "type": "boolean"
246079d581eSLawrence Tang                                            },
247079d581eSLawrence Tang                                            "uncorrectedValid": {
248079d581eSLawrence Tang                                                "type": "boolean"
249079d581eSLawrence Tang                                            },
250079d581eSLawrence Tang                                            "preciseIPValid": {
251079d581eSLawrence Tang                                                "type": "boolean"
252079d581eSLawrence Tang                                            },
253079d581eSLawrence Tang                                            "restartableIPValid": {
254079d581eSLawrence Tang                                                "type": "boolean"
255079d581eSLawrence Tang                                            },
256079d581eSLawrence Tang                                            "overflowValid": {
257079d581eSLawrence Tang                                                "type": "boolean"
258079d581eSLawrence Tang                                            },
259079d581eSLawrence Tang                                            "participationTypeValid": {
260079d581eSLawrence Tang                                                "type": "boolean"
261079d581eSLawrence Tang                                            },
262079d581eSLawrence Tang                                            "timedOutValid": {
263079d581eSLawrence Tang                                                "type": "boolean"
264d34f2b11SLawrence Tang                                            },
265d34f2b11SLawrence Tang                                            "addressSpaceValid": {
266d34f2b11SLawrence Tang                                                "type": "boolean"
267079d581eSLawrence Tang                                            }
268079d581eSLawrence Tang                                        }
269079d581eSLawrence Tang                                    },
270079d581eSLawrence Tang                                    "transactionType": {
271079d581eSLawrence Tang                                        "type": "object",
2728a2d737cSLawrence Tang                                        "$ref": "./common/cper-json-nvp.json"
273079d581eSLawrence Tang                                    },
274079d581eSLawrence Tang                                    "operation": {
275079d581eSLawrence Tang                                        "type": "object",
2768a2d737cSLawrence Tang                                        "$ref": "./common/cper-json-nvp.json"
277079d581eSLawrence Tang                                    },
278079d581eSLawrence Tang                                    "level": {
279079d581eSLawrence Tang                                        "type": "integer",
280079d581eSLawrence Tang                                        "minimum": 0
281079d581eSLawrence Tang                                    },
282079d581eSLawrence Tang                                    "processorContextCorrupt": {
283079d581eSLawrence Tang                                        "type": "boolean"
284079d581eSLawrence Tang                                    },
285079d581eSLawrence Tang                                    "uncorrected": {
286079d581eSLawrence Tang                                        "type": "boolean"
287079d581eSLawrence Tang                                    },
288079d581eSLawrence Tang                                    "preciseIP": {
289079d581eSLawrence Tang                                        "type": "boolean"
290079d581eSLawrence Tang                                    },
291079d581eSLawrence Tang                                    "restartableIP": {
292079d581eSLawrence Tang                                        "type": "boolean"
293079d581eSLawrence Tang                                    },
294079d581eSLawrence Tang                                    "overflow": {
295079d581eSLawrence Tang                                        "type": "boolean"
296079d581eSLawrence Tang                                    },
297079d581eSLawrence Tang                                    "participationType": {
298079d581eSLawrence Tang                                        "type": "object",
2998a2d737cSLawrence Tang                                        "$ref": "./common/cper-json-nvp.json"
300079d581eSLawrence Tang                                    },
301079d581eSLawrence Tang                                    "addressSpace": {
302079d581eSLawrence Tang                                        "type": "object",
3038a2d737cSLawrence Tang                                        "$ref": "./common/cper-json-nvp.json"
304079d581eSLawrence Tang                                    },
305079d581eSLawrence Tang                                    "timedOut": {
306079d581eSLawrence Tang                                        "type": "boolean"
307079d581eSLawrence Tang                                    }
308079d581eSLawrence Tang                                }
309079d581eSLawrence Tang                            },
310079d581eSLawrence Tang                            {
311079d581eSLawrence Tang                                "type": "object",
312079d581eSLawrence Tang                                "required": [],
313079d581eSLawrence Tang                                "additionalProperties": false,
314079d581eSLawrence Tang                                "properties": {
315079d581eSLawrence Tang                                    "validationBits": {
316079d581eSLawrence Tang                                        "type": "object",
317*044afd01SJohn Chung                                        "required": [
318*044afd01SJohn Chung                                            "errorTypeValid",
319*044afd01SJohn Chung                                            "processorContextCorruptValid",
320*044afd01SJohn Chung                                            "uncorrectedValid",
321*044afd01SJohn Chung                                            "preciseIPValid",
322*044afd01SJohn Chung                                            "restartableIPValid",
323*044afd01SJohn Chung                                            "overflowValid"
324*044afd01SJohn Chung                                        ],
325079d581eSLawrence Tang                                        "properties": {
326079d581eSLawrence Tang                                            "errorTypeValid": {
327079d581eSLawrence Tang                                                "type": "boolean"
328079d581eSLawrence Tang                                            },
329079d581eSLawrence Tang                                            "processorContextCorruptValid": {
330079d581eSLawrence Tang                                                "type": "boolean"
331079d581eSLawrence Tang                                            },
332079d581eSLawrence Tang                                            "uncorrectedValid": {
333079d581eSLawrence Tang                                                "type": "boolean"
334079d581eSLawrence Tang                                            },
335079d581eSLawrence Tang                                            "preciseIPValid": {
336079d581eSLawrence Tang                                                "type": "boolean"
337079d581eSLawrence Tang                                            },
338079d581eSLawrence Tang                                            "restartableIPValid": {
339079d581eSLawrence Tang                                                "type": "boolean"
340079d581eSLawrence Tang                                            },
341079d581eSLawrence Tang                                            "overflowValid": {
342079d581eSLawrence Tang                                                "type": "boolean"
343079d581eSLawrence Tang                                            }
344079d581eSLawrence Tang                                        }
345079d581eSLawrence Tang                                    },
346079d581eSLawrence Tang                                    "errorType": {
347079d581eSLawrence Tang                                        "type": "object",
3488a2d737cSLawrence Tang                                        "$ref": "./common/cper-json-nvp.json"
349079d581eSLawrence Tang                                    },
350079d581eSLawrence Tang                                    "processorContextCorrupt": {
351079d581eSLawrence Tang                                        "type": "boolean"
352079d581eSLawrence Tang                                    },
353079d581eSLawrence Tang                                    "uncorrected": {
354079d581eSLawrence Tang                                        "type": "boolean"
355079d581eSLawrence Tang                                    },
356079d581eSLawrence Tang                                    "preciseIP": {
357079d581eSLawrence Tang                                        "type": "boolean"
358079d581eSLawrence Tang                                    },
359079d581eSLawrence Tang                                    "restartableIP": {
360079d581eSLawrence Tang                                        "type": "boolean"
361079d581eSLawrence Tang                                    },
362079d581eSLawrence Tang                                    "overflow": {
363079d581eSLawrence Tang                                        "type": "boolean"
364079d581eSLawrence Tang                                    }
365079d581eSLawrence Tang                                }
366079d581eSLawrence Tang                            }
367079d581eSLawrence Tang                        ]
368079d581eSLawrence Tang                    },
369079d581eSLawrence Tang                    "targetAddressID": {
370079d581eSLawrence Tang                        "type": "integer"
371079d581eSLawrence Tang                    },
372079d581eSLawrence Tang                    "requestorID": {
373079d581eSLawrence Tang                        "type": "integer"
374079d581eSLawrence Tang                    },
375079d581eSLawrence Tang                    "responderID": {
376079d581eSLawrence Tang                        "type": "integer"
377079d581eSLawrence Tang                    },
378079d581eSLawrence Tang                    "instructionPointer": {
379079d581eSLawrence Tang                        "type": "integer"
380079d581eSLawrence Tang                    }
381079d581eSLawrence Tang                }
382079d581eSLawrence Tang            }
383079d581eSLawrence Tang        },
384079d581eSLawrence Tang        "processorContextInfo": {
385079d581eSLawrence Tang            "type": "array",
386079d581eSLawrence Tang            "items": {
387079d581eSLawrence Tang                "type": "object",
388*044afd01SJohn Chung                "required": [
389*044afd01SJohn Chung                    "registerContextType",
390*044afd01SJohn Chung                    "registerArraySize",
391*044afd01SJohn Chung                    "msrAddress",
392*044afd01SJohn Chung                    "mmRegisterAddress"
393*044afd01SJohn Chung                ],
394079d581eSLawrence Tang                "additionalProperties": false,
395079d581eSLawrence Tang                "properties": {
396079d581eSLawrence Tang                    "registerContextType": {
397079d581eSLawrence Tang                        "type": "object",
3988a2d737cSLawrence Tang                        "$ref": "./common/cper-json-nvp.json"
399079d581eSLawrence Tang                    },
400079d581eSLawrence Tang                    "registerArraySize": {
401079d581eSLawrence Tang                        "type": "integer"
402079d581eSLawrence Tang                    },
403079d581eSLawrence Tang                    "msrAddress": {
404079d581eSLawrence Tang                        "type": "integer"
405079d581eSLawrence Tang                    },
406079d581eSLawrence Tang                    "mmRegisterAddress": {
407079d581eSLawrence Tang                        "type": "integer"
408079d581eSLawrence Tang                    },
409079d581eSLawrence Tang                    "registerArray": {
410079d581eSLawrence Tang                        "type": "object",
411079d581eSLawrence Tang                        "oneOf": [
412079d581eSLawrence Tang                            {
413079d581eSLawrence Tang                                "type": "object",
414*044afd01SJohn Chung                                "required": [
415*044afd01SJohn Chung                                    "eax",
416*044afd01SJohn Chung                                    "ebx",
417*044afd01SJohn Chung                                    "ecx",
418*044afd01SJohn Chung                                    "edx",
419*044afd01SJohn Chung                                    "esi",
420*044afd01SJohn Chung                                    "edi",
421*044afd01SJohn Chung                                    "ebp",
422*044afd01SJohn Chung                                    "esp",
423*044afd01SJohn Chung                                    "cs",
424*044afd01SJohn Chung                                    "ds",
425*044afd01SJohn Chung                                    "ss",
426*044afd01SJohn Chung                                    "es",
427*044afd01SJohn Chung                                    "fs",
428*044afd01SJohn Chung                                    "gs",
429*044afd01SJohn Chung                                    "eflags",
430*044afd01SJohn Chung                                    "eip",
431*044afd01SJohn Chung                                    "cr0",
432*044afd01SJohn Chung                                    "cr1",
433*044afd01SJohn Chung                                    "cr2",
434*044afd01SJohn Chung                                    "cr3",
435*044afd01SJohn Chung                                    "cr4",
436*044afd01SJohn Chung                                    "gdtr",
437*044afd01SJohn Chung                                    "idtr",
438*044afd01SJohn Chung                                    "ldtr",
439*044afd01SJohn Chung                                    "tr"
440*044afd01SJohn Chung                                ],
441079d581eSLawrence Tang                                "additionalProperties": false,
442079d581eSLawrence Tang                                "properties": {
443079d581eSLawrence Tang                                    "eax": { "type": "integer" },
444079d581eSLawrence Tang                                    "ebx": { "type": "integer" },
445079d581eSLawrence Tang                                    "ecx": { "type": "integer" },
446079d581eSLawrence Tang                                    "edx": { "type": "integer" },
447079d581eSLawrence Tang                                    "esi": { "type": "integer" },
448079d581eSLawrence Tang                                    "edi": { "type": "integer" },
449079d581eSLawrence Tang                                    "ebp": { "type": "integer" },
450079d581eSLawrence Tang                                    "esp": { "type": "integer" },
451079d581eSLawrence Tang                                    "cs": { "type": "integer" },
452079d581eSLawrence Tang                                    "ds": { "type": "integer" },
453079d581eSLawrence Tang                                    "ss": { "type": "integer" },
454079d581eSLawrence Tang                                    "es": { "type": "integer" },
455079d581eSLawrence Tang                                    "fs": { "type": "integer" },
456079d581eSLawrence Tang                                    "gs": { "type": "integer" },
457079d581eSLawrence Tang                                    "eflags": { "type": "integer" },
458079d581eSLawrence Tang                                    "eip": { "type": "integer" },
459079d581eSLawrence Tang                                    "cr0": { "type": "integer" },
460079d581eSLawrence Tang                                    "cr1": { "type": "integer" },
461079d581eSLawrence Tang                                    "cr2": { "type": "integer" },
462079d581eSLawrence Tang                                    "cr3": { "type": "integer" },
463079d581eSLawrence Tang                                    "cr4": { "type": "integer" },
464079d581eSLawrence Tang                                    "gdtr": { "type": "integer" },
465079d581eSLawrence Tang                                    "idtr": { "type": "integer" },
466079d581eSLawrence Tang                                    "ldtr": { "type": "integer" },
467079d581eSLawrence Tang                                    "tr": { "type": "integer" }
468079d581eSLawrence Tang                                }
469079d581eSLawrence Tang                            },
470079d581eSLawrence Tang                            {
471079d581eSLawrence Tang                                "type": "object",
472*044afd01SJohn Chung                                "required": [
473*044afd01SJohn Chung                                    "rax",
474*044afd01SJohn Chung                                    "rbx",
475*044afd01SJohn Chung                                    "rcx",
476*044afd01SJohn Chung                                    "rdx",
477*044afd01SJohn Chung                                    "rsi",
478*044afd01SJohn Chung                                    "rdi",
479*044afd01SJohn Chung                                    "rbp",
480*044afd01SJohn Chung                                    "rsp",
481*044afd01SJohn Chung                                    "r8",
482*044afd01SJohn Chung                                    "r9",
483*044afd01SJohn Chung                                    "r10",
484*044afd01SJohn Chung                                    "r11",
485*044afd01SJohn Chung                                    "r12",
486*044afd01SJohn Chung                                    "r13",
487*044afd01SJohn Chung                                    "r14",
488*044afd01SJohn Chung                                    "r15",
489*044afd01SJohn Chung                                    "cs",
490*044afd01SJohn Chung                                    "ds",
491*044afd01SJohn Chung                                    "es",
492*044afd01SJohn Chung                                    "fs",
493*044afd01SJohn Chung                                    "gs",
494*044afd01SJohn Chung                                    "rflags",
495*044afd01SJohn Chung                                    "eip",
496*044afd01SJohn Chung                                    "cr0",
497*044afd01SJohn Chung                                    "cr1",
498*044afd01SJohn Chung                                    "cr2",
499*044afd01SJohn Chung                                    "cr3",
500*044afd01SJohn Chung                                    "cr4",
501*044afd01SJohn Chung                                    "cr8",
502*044afd01SJohn Chung                                    "gdtr_0",
503*044afd01SJohn Chung                                    "gdtr_1",
504*044afd01SJohn Chung                                    "idtr_0",
505*044afd01SJohn Chung                                    "idtr_1",
506*044afd01SJohn Chung                                    "ldtr",
507*044afd01SJohn Chung                                    "tr"
508*044afd01SJohn Chung                                ],
509079d581eSLawrence Tang                                "additionalProperties": false,
510079d581eSLawrence Tang                                "properties": {
511079d581eSLawrence Tang                                    "rax": { "type": "integer" },
512079d581eSLawrence Tang                                    "rbx": { "type": "integer" },
513079d581eSLawrence Tang                                    "rcx": { "type": "integer" },
514079d581eSLawrence Tang                                    "rdx": { "type": "integer" },
515079d581eSLawrence Tang                                    "rsi": { "type": "integer" },
516079d581eSLawrence Tang                                    "rdi": { "type": "integer" },
517079d581eSLawrence Tang                                    "rbp": { "type": "integer" },
518079d581eSLawrence Tang                                    "rsp": { "type": "integer" },
519079d581eSLawrence Tang                                    "r8": { "type": "integer" },
520079d581eSLawrence Tang                                    "r9": { "type": "integer" },
521079d581eSLawrence Tang                                    "r10": { "type": "integer" },
522079d581eSLawrence Tang                                    "r11": { "type": "integer" },
523079d581eSLawrence Tang                                    "r12": { "type": "integer" },
524079d581eSLawrence Tang                                    "r13": { "type": "integer" },
525079d581eSLawrence Tang                                    "r14": { "type": "integer" },
526079d581eSLawrence Tang                                    "r15": { "type": "integer" },
527079d581eSLawrence Tang                                    "cs": { "type": "integer" },
528079d581eSLawrence Tang                                    "ds": { "type": "integer" },
529079d581eSLawrence Tang                                    "ss": { "type": "integer" },
530079d581eSLawrence Tang                                    "es": { "type": "integer" },
531079d581eSLawrence Tang                                    "fs": { "type": "integer" },
532079d581eSLawrence Tang                                    "gs": { "type": "integer" },
533079d581eSLawrence Tang                                    "rflags": { "type": "integer" },
534079d581eSLawrence Tang                                    "eip": { "type": "integer" },
535079d581eSLawrence Tang                                    "cr0": { "type": "integer" },
536079d581eSLawrence Tang                                    "cr1": { "type": "integer" },
537079d581eSLawrence Tang                                    "cr2": { "type": "integer" },
538079d581eSLawrence Tang                                    "cr3": { "type": "integer" },
539079d581eSLawrence Tang                                    "cr4": { "type": "integer" },
540079d581eSLawrence Tang                                    "cr8": { "type": "integer" },
541079d581eSLawrence Tang                                    "gdtr_0": { "type": "integer" },
542079d581eSLawrence Tang                                    "gdtr_1": { "type": "integer" },
543079d581eSLawrence Tang                                    "idtr_0": { "type": "integer" },
544079d581eSLawrence Tang                                    "idtr_1": { "type": "integer" },
545079d581eSLawrence Tang                                    "ldtr": { "type": "integer" },
546079d581eSLawrence Tang                                    "tr": { "type": "integer" }
547079d581eSLawrence Tang                                }
548079d581eSLawrence Tang                            },
549079d581eSLawrence Tang                            {
550079d581eSLawrence Tang                                "type": "object",
551079d581eSLawrence Tang                                "required": ["data"],
552079d581eSLawrence Tang                                "additionalProperties": false,
553079d581eSLawrence Tang                                "properties": {
554079d581eSLawrence Tang                                    "data": {
555079d581eSLawrence Tang                                        "type": "string"
556079d581eSLawrence Tang                                    }
557079d581eSLawrence Tang                                }
558079d581eSLawrence Tang                            }
559079d581eSLawrence Tang                        ]
560079d581eSLawrence Tang                    }
561079d581eSLawrence Tang                }
562079d581eSLawrence Tang            }
563079d581eSLawrence Tang        }
564079d581eSLawrence Tang    }
565079d581eSLawrence Tang}
566