2 X64 register defintions needed by debug transfer protocol.
4 Copyright (c) 2010 - 2011, Intel Corporation. All rights reserved.<BR>
5 This program and the accompanying materials
6 are licensed and made available under the terms and conditions of the BSD License
7 which accompanies this distribution. The full text of the license may be found at
8 http://opensource.org/licenses/bsd-license.php.
10 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
15 #ifndef _ARCH_REGISTERS_H_
16 #define _ARCH_REGISTERS_H_
21 /// FXSAVE_STATE (promoted operation)
22 /// FP / MMX / XMM registers (see fxrstor instruction definition)
65 UINT8 Reserved11
[6 * 16];
66 } DEBUG_DATA_X64_FX_SAVE_STATE
;
69 /// x64 processor context definition
72 DEBUG_DATA_X64_FX_SAVE_STATE FxSaveState
;
92 UINT64 Cr1
; /* Reserved */
113 } DEBUG_DATA_X64_SYSTEM_CONTEXT
;
117 /// x64 GROUP register
171 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_X64
;
174 /// x64 Segment Limit GROUP register
185 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_SEGLIM_X64
;
188 /// x64 Segment Base GROUP register
199 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_SEGBASE_X64
;
202 /// x64 Segment Base/Limit GROUP register
225 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_SEGMENT_BAS_LIM
;
228 /// x64 register GROUP register
235 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_GP2
;
238 /// x64 general register GROUP register
255 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_GP
;
258 /// x64 Segment GROUP register
267 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_SEGMENT
;
270 /// x64 Debug Register GROUP register
279 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_DR
;
282 /// x64 Control Register GROUP register
290 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_CR
;
293 /// x64 XMM Register GROUP register
312 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_XMM
;
315 /// x64 Segment Base GROUP register
328 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_SEGMENT_BASES_X64
;