1<?xml version="1.0"?>
2<!-- Copyright (C) 2010-2012 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<!-- S/390 64-bit user-level code.  -->
9
10<!DOCTYPE target SYSTEM "gdb-target.dtd">
11<feature name="org.gnu.gdb.s390.linux-valgrind-s1">
12  <reg name="orig_r2s1" bitsize="64" type="uint64" group="system"/>
13</feature>
14