l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/m_gdbserver/64bit-linux.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.linux">
  10   <reg name="orig_rax" bitsize="64" type="int" regnum="57"/>
  11 </feature>