xref: /freebsd/usr.sbin/bhyve/gdb/amd64.xml (revision 5ca8e32633c4ffbbcd6762e5888b6a4ba0708c6c)
1<?xml version="1.0"?>
2<!-- Copyright (C) 2010-2017 Free Software Foundation, Inc.
3
4     Copying and distribution of this file, with or without modification,
5     are permitted in any medium without royalty provided the copyright
6     notice and this notice are preserved.  -->
7
8<!-- x86_64 64bit -->
9
10<!DOCTYPE target SYSTEM "gdb-target.dtd">
11
12<feature name="org.gnu.gdb.i386.core">
13  <flags id="x64_eflags" size="4">
14	<field name="" start="22" end="31"/>
15	<field name="ID" start="21" end="21"/>
16	<field name="VIP" start="20" end="20"/>
17	<field name="VIF" start="19" end="19"/>
18	<field name="AC" start="18" end="18"/>
19	<field name="VM" start="17" end="17"/>
20	<field name="RF" start="16" end="16"/>
21	<field name="" start="15" end="15"/>
22	<field name="NT" start="14" end="14"/>
23	<field name="IOPL" start="12" end="13"/>
24	<field name="OF" start="11" end="11"/>
25	<field name="DF" start="10" end="10"/>
26	<field name="IF" start="9" end="9"/>
27	<field name="TF" start="8" end="8"/>
28	<field name="SF" start="7" end="7"/>
29	<field name="ZF" start="6" end="6"/>
30	<field name="" start="5" end="5"/>
31	<field name="AF" start="4" end="4"/>
32	<field name="" start="3" end="3"/>
33	<field name="PF" start="2" end="2"/>
34	<field name="" start="1" end="1"/>
35	<field name="CF" start="0" end="0"/>
36  </flags>
37
38  <!-- General registers -->
39
40  <reg name="rax" bitsize="64" type="int64" regnum="0"/>
41  <reg name="rbx" bitsize="64" type="int64"/>
42  <reg name="rcx" bitsize="64" type="int64"/>
43  <reg name="rdx" bitsize="64" type="int64"/>
44  <reg name="rsi" bitsize="64" type="int64"/>
45  <reg name="rdi" bitsize="64" type="int64"/>
46  <reg name="rbp" bitsize="64" type="data_ptr"/>
47  <reg name="rsp" bitsize="64" type="data_ptr"/>
48  <reg name="r8" bitsize="64" type="int64"/>
49  <reg name="r9" bitsize="64" type="int64"/>
50  <reg name="r10" bitsize="64" type="int64"/>
51  <reg name="r11" bitsize="64" type="int64"/>
52  <reg name="r12" bitsize="64" type="int64"/>
53  <reg name="r13" bitsize="64" type="int64"/>
54  <reg name="r14" bitsize="64" type="int64"/>
55  <reg name="r15" bitsize="64" type="int64"/>
56
57  <reg name="rip" bitsize="64" type="code_ptr"/>
58  <reg name="eflags" bitsize="32" type="x64_eflags"/>
59
60  <!-- Segment registers -->
61
62  <reg name="cs" bitsize="32" type="int32"/>
63  <reg name="ss" bitsize="32" type="int32"/>
64  <reg name="ds" bitsize="32" type="int32"/>
65  <reg name="es" bitsize="32" type="int32"/>
66  <reg name="fs" bitsize="32" type="int32"/>
67  <reg name="gs" bitsize="32" type="int32"/>
68
69  <!-- Segment descriptor caches and TLS base MSRs -->
70
71  <!--reg name="cs_base" bitsize="64" type="int64"/>
72  <reg name="ss_base" bitsize="64" type="int64"/>
73  <reg name="ds_base" bitsize="64" type="int64"/>
74  <reg name="es_base" bitsize="64" type="int64"/-->
75  <reg name="fs_base" bitsize="64" type="int64"/>
76  <reg name="gs_base" bitsize="64" type="int64"/>
77  <reg name="k_gs_base" bitsize="64" type="int64"/>
78
79  <!-- Control registers -->
80
81  <flags id="x64_cr0" size="8">
82	<field name="PG" start="31" end="31"/>
83	<field name="CD" start="30" end="30"/>
84	<field name="NW" start="29" end="29"/>
85	<field name="AM" start="18" end="18"/>
86	<field name="WP" start="16" end="16"/>
87	<field name="NE" start="5" end="5"/>
88	<field name="ET" start="4" end="4"/>
89	<field name="TS" start="3" end="3"/>
90	<field name="EM" start="2" end="2"/>
91	<field name="MP" start="1" end="1"/>
92	<field name="PE" start="0" end="0"/>
93  </flags>
94
95  <flags id="x64_cr3" size="8">
96	<field name="PDBR" start="12" end="63"/>
97	<!--field name="" start="3" end="11"/>
98	<field name="WT" start="2" end="2"/>
99	<field name="CD" start="1" end="1"/>
100	<field name="" start="0" end="0"/-->
101	<field name="PCID" start="0" end="11"/>
102  </flags>
103
104  <flags id="x64_cr4" size="8">
105	<field name="PKE" start="22" end="22"/>
106	<field name="SMAP" start="21" end="21"/>
107	<field name="SMEP" start="20" end="20"/>
108	<field name="OSXSAVE" start="18" end="18"/>
109	<field name="PCIDE" start="17" end="17"/>
110	<field name="FSGSBASE" start="16" end="16"/>
111	<field name="SMXE" start="14" end="14"/>
112	<field name="VMXE" start="13" end="13"/>
113	<field name="LA57" start="12" end="12"/>
114	<field name="UMIP" start="11" end="11"/>
115	<field name="OSXMMEXCPT" start="10" end="10"/>
116	<field name="OSFXSR" start="9" end="9"/>
117	<field name="PCE" start="8" end="8"/>
118	<field name="PGE" start="7" end="7"/>
119	<field name="MCE" start="6" end="6"/>
120	<field name="PAE" start="5" end="5"/>
121	<field name="PSE" start="4" end="4"/>
122	<field name="DE" start="3" end="3"/>
123	<field name="TSD" start="2" end="2"/>
124	<field name="PVI" start="1" end="1"/>
125	<field name="VME" start="0" end="0"/>
126  </flags>
127
128  <flags id="x64_efer" size="8">
129	<field name="TCE" start="15" end="15"/>
130	<field name="FFXSR" start="14" end="14"/>
131	<field name="LMSLE" start="13" end="13"/>
132	<field name="SVME" start="12" end="12"/>
133	<field name="NXE" start="11" end="11"/>
134	<field name="LMA" start="10" end="10"/>
135	<field name="LME" start="8" end="8"/>
136	<field name="SCE" start="0" end="0"/>
137  </flags>
138
139  <reg name="cr0" bitsize="64" type="x64_cr0"/>
140  <reg name="cr2" bitsize="64" type="int64"/>
141  <reg name="cr3" bitsize="64" type="x64_cr3"/>
142  <reg name="cr4" bitsize="64" type="x64_cr4"/>
143  <reg name="cr8" bitsize="64" type="int64"/>
144  <reg name="efer" bitsize="64" type="x64_efer"/>
145
146  <!-- x87 FPU -->
147
148  <reg name="st0" bitsize="80" type="i387_ext"/>
149  <reg name="st1" bitsize="80" type="i387_ext"/>
150  <reg name="st2" bitsize="80" type="i387_ext"/>
151  <reg name="st3" bitsize="80" type="i387_ext"/>
152  <reg name="st4" bitsize="80" type="i387_ext"/>
153  <reg name="st5" bitsize="80" type="i387_ext"/>
154  <reg name="st6" bitsize="80" type="i387_ext"/>
155  <reg name="st7" bitsize="80" type="i387_ext"/>
156
157  <reg name="fctrl" bitsize="32" type="int" group="float"/>
158  <reg name="fstat" bitsize="32" type="int" group="float"/>
159  <reg name="ftag" bitsize="32" type="int" group="float"/>
160  <reg name="fiseg" bitsize="32" type="int" group="float"/>
161  <reg name="fioff" bitsize="32" type="int" group="float"/>
162  <reg name="foseg" bitsize="32" type="int" group="float"/>
163  <reg name="fooff" bitsize="32" type="int" group="float"/>
164  <reg name="fop" bitsize="32" type="int" group="float"/>
165</feature>
166