2 X64 register defintions needed by debug transfer protocol.
4 Copyright (c) 2010, 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_
19 /// FXSAVE_STATE (promoted operation)
20 /// FP / MMX / XMM registers (see fxrstor instruction definition)
63 UINT8 Reserved11
[6 * 16];
64 } DEBUG_DATA_X64_FX_SAVE_STATE
;
67 /// x64 processor context definition
70 DEBUG_DATA_X64_FX_SAVE_STATE FxSaveState
;
90 UINT64 Cr1
; /* Reserved */
111 } DEBUG_DATA_X64_SYSTEM_CONTEXT
;
115 /// x64 GROUP register
169 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_X64
;
172 /// x64 Segment Limit GROUP register
183 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_SEGLIM_X64
;
186 /// x64 Segment Base GROUP register
197 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_SEGBASE_X64
;
200 /// x64 Segment Base/Limit GROUP register
223 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_SEGMENT_BAS_LIM
;
226 /// x64 register GROUP register
233 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_GP2
;
236 /// x64 general register GROUP register
253 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_GP
;
256 /// x64 Segment GROUP register
265 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_SEGMENT
;
268 /// x64 Debug Register GROUP register
277 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_DR
;
280 /// x64 Control Register GROUP register
288 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_CR
;
291 /// x64 XMM Register GROUP register
310 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_XMM
;
313 /// x64 Segment Base GROUP register
326 } DEBUG_DATA_REPONSE_READ_REGISTER_GROUP_SEGMENT_BASES_X64
;