gdb-xml/i386-64bit.xml

   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
 166   <vector id="v4f" type="ieee_single" count="4"/>
 167   <vector id="v2d" type="ieee_double" count="2"/>
 168   <vector id="v16i8" type="int8" count="16"/>
 169   <vector id="v8i16" type="int16" count="8"/>
 170   <vector id="v4i32" type="int32" count="4"/>
 171   <vector id="v2i64" type="int64" count="2"/>
 172   <union id="vec128">
 173         <field name="v4_float" type="v4f"/>
 174         <field name="v2_double" type="v2d"/>
 175         <field name="v16_int8" type="v16i8"/>
 176         <field name="v8_int16" type="v8i16"/>
 177         <field name="v4_int32" type="v4i32"/>
 178         <field name="v2_int64" type="v2i64"/>
 179         <field name="uint128" type="uint128"/>
 180   </union>
 181   <flags id="x64_mxcsr" size="4">
 182         <field name="IE" start="0" end="0"/>
 183         <field name="DE" start="1" end="1"/>
 184         <field name="ZE" start="2" end="2"/>
 185         <field name="OE" start="3" end="3"/>
 186         <field name="UE" start="4" end="4"/>
 187         <field name="PE" start="5" end="5"/>
 188         <field name="DAZ" start="6" end="6"/>
 189         <field name="IM" start="7" end="7"/>
 190         <field name="DM" start="8" end="8"/>
 191         <field name="ZM" start="9" end="9"/>
 192         <field name="OM" start="10" end="10"/>
 193         <field name="UM" start="11" end="11"/>
 194         <field name="PM" start="12" end="12"/>
 195         <field name="FZ" start="15" end="15"/>
 196   </flags>
 197
 198   <reg name="xmm0" bitsize="128" type="vec128"/>
 199   <reg name="xmm1" bitsize="128" type="vec128"/>
 200   <reg name="xmm2" bitsize="128" type="vec128"/>
 201   <reg name="xmm3" bitsize="128" type="vec128"/>
 202   <reg name="xmm4" bitsize="128" type="vec128"/>
 203   <reg name="xmm5" bitsize="128" type="vec128"/>
 204   <reg name="xmm6" bitsize="128" type="vec128"/>
 205   <reg name="xmm7" bitsize="128" type="vec128"/>
 206   <reg name="xmm8" bitsize="128" type="vec128"/>
 207   <reg name="xmm9" bitsize="128" type="vec128"/>
 208   <reg name="xmm10" bitsize="128" type="vec128"/>
 209   <reg name="xmm11" bitsize="128" type="vec128"/>
 210   <reg name="xmm12" bitsize="128" type="vec128"/>
 211   <reg name="xmm13" bitsize="128" type="vec128"/>
 212   <reg name="xmm14" bitsize="128" type="vec128"/>
 213   <reg name="xmm15" bitsize="128" type="vec128"/>
 214
 215   <reg name="mxcsr" bitsize="32" type="x64_mxcsr" group="vector"/>
 216 </feature>