2 <!-- Copyright (C) 2010-2012 Free Software Foundation, Inc.
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. -->
8 <!-- S/390 64-bit user-level code. -->
10 <!DOCTYPE target SYSTEM "gdb-target.dtd">
11 <feature name="org.gnu.gdb.s390.linux-valgrind-s2">
12 <reg name="orig_r2s2" bitsize="64" type="uint64" group="system"/>