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<!DOCTYPE feature SYSTEM "gdb-target.dtd">
9<feature name="org.gnu.gdb.s390.core-valgrind-s1">
10  <reg name="pswms1" bitsize="64" type="uint64" group="psw"/>
11  <reg name="pswas1" bitsize="64" type="uint64" group="psw"/>
12  <reg name="r0s1" bitsize="64" type="uint64" group="general"/>
13  <reg name="r1s1" bitsize="64" type="uint64" group="general"/>
14  <reg name="r2s1" bitsize="64" type="uint64" group="general"/>
15  <reg name="r3s1" bitsize="64" type="uint64" group="general"/>
16  <reg name="r4s1" bitsize="64" type="uint64" group="general"/>
17  <reg name="r5s1" bitsize="64" type="uint64" group="general"/>
18  <reg name="r6s1" bitsize="64" type="uint64" group="general"/>
19  <reg name="r7s1" bitsize="64" type="uint64" group="general"/>
20  <reg name="r8s1" bitsize="64" type="uint64" group="general"/>
21  <reg name="r9s1" bitsize="64" type="uint64" group="general"/>
22  <reg name="r10s1" bitsize="64" type="uint64" group="general"/>
23  <reg name="r11s1" bitsize="64" type="uint64" group="general"/>
24  <reg name="r12s1" bitsize="64" type="uint64" group="general"/>
25  <reg name="r13s1" bitsize="64" type="uint64" group="general"/>
26  <reg name="r14s1" bitsize="64" type="uint64" group="general"/>
27  <reg name="r15s1" bitsize="64" type="uint64" group="general"/>
28</feature>
29