l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/m_gdbserver/64bit-core-valgrind-s2.xml

   1 <?xml version="1.0"?>
   2 <!-- Copyright (C) 2010 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 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
   9 <feature name="org.gnu.gdb.i386.core.valgrind.s2">
  10   <flags id="i386_eflags" size="4">
  11     <field name="CF" start="0" end="0"/>
  12     <field name="" start="1" end="1"/>
  13     <field name="PF" start="2" end="2"/>
  14     <field name="AF" start="4" end="4"/>
  15     <field name="ZF" start="6" end="6"/>
  16     <field name="SF" start="7" end="7"/>
  17     <field name="TF" start="8" end="8"/>
  18     <field name="IF" start="9" end="9"/>
  19     <field name="DF" start="10" end="10"/>
  20     <field name="OF" start="11" end="11"/>
  21     <field name="NT" start="14" end="14"/>
  22     <field name="RF" start="16" end="16"/>
  23     <field name="VM" start="17" end="17"/>
  24     <field name="AC" start="18" end="18"/>
  25     <field name="VIF" start="19" end="19"/>
  26     <field name="VIP" start="20" end="20"/>
  27     <field name="ID" start="21" end="21"/>
  28   </flags>
  29
  30   <reg name="raxs2" bitsize="64" type="int64"/>
  31   <reg name="rbxs2" bitsize="64" type="int64"/>
  32   <reg name="rcxs2" bitsize="64" type="int64"/>
  33   <reg name="rdxs2" bitsize="64" type="int64"/>
  34   <reg name="rsis2" bitsize="64" type="int64"/>
  35   <reg name="rdis2" bitsize="64" type="int64"/>
  36   <reg name="rbps2" bitsize="64" type="data_ptr"/>
  37   <reg name="rsps2" bitsize="64" type="data_ptr"/>
  38   <reg name="r8s2" bitsize="64" type="int64"/>
  39   <reg name="r9s2" bitsize="64" type="int64"/>
  40   <reg name="r10s2" bitsize="64" type="int64"/>
  41   <reg name="r11s2" bitsize="64" type="int64"/>
  42   <reg name="r12s2" bitsize="64" type="int64"/>
  43   <reg name="r13s2" bitsize="64" type="int64"/>
  44   <reg name="r14s2" bitsize="64" type="int64"/>
  45   <reg name="r15s2" bitsize="64" type="int64"/>
  46
  47   <reg name="rips2" bitsize="64" type="code_ptr"/>
  48   <reg name="eflagss2" bitsize="32" type="i386_eflags"/>
  49   <reg name="css2" bitsize="32" type="int32"/>
  50   <reg name="sss2" bitsize="32" type="int32"/>
  51   <reg name="dss2" bitsize="32" type="int32"/>
  52   <reg name="ess2" bitsize="32" type="int32"/>
  53   <reg name="fss2" bitsize="32" type="int32"/>
  54   <reg name="gss2" bitsize="32" type="int32"/>
  55
  56   <reg name="st0s2" bitsize="80" type="i387_ext"/>
  57   <reg name="st1s2" bitsize="80" type="i387_ext"/>
  58   <reg name="st2s2" bitsize="80" type="i387_ext"/>
  59   <reg name="st3s2" bitsize="80" type="i387_ext"/>
  60   <reg name="st4s2" bitsize="80" type="i387_ext"/>
  61   <reg name="st5s2" bitsize="80" type="i387_ext"/>
  62   <reg name="st6s2" bitsize="80" type="i387_ext"/>
  63   <reg name="st7s2" bitsize="80" type="i387_ext"/>
  64
  65   <reg name="fctrls2" bitsize="32" type="int" group="float"/>
  66   <reg name="fstats2" bitsize="32" type="int" group="float"/>
  67   <reg name="ftags2" bitsize="32" type="int" group="float"/>
  68   <reg name="fisegs2" bitsize="32" type="int" group="float"/>
  69   <reg name="fioffs2" bitsize="32" type="int" group="float"/>
  70   <reg name="fosegs2" bitsize="32" type="int" group="float"/>
  71   <reg name="fooffs2" bitsize="32" type="int" group="float"/>
  72   <reg name="fops2" bitsize="32" type="int" group="float"/>
  73 </feature>