2 <!-- Copyright 2023 IBM Corp.
4 This work is licensed under the terms of the GNU GPL, version 2 or
5 (at your option) any later version. See the COPYING file in the
6 top-level directory. -->
8 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
9 <feature name="org.gnu.gdb.s390.virt.kvm">
10 <reg name="pp" bitsize="64" type="uint64" group="system"/>
11 <reg name="pfault_token" bitsize="64" type="uint64" group="system"/>
12 <reg name="pfault_select" bitsize="64" type="uint64" group="system"/>
13 <reg name="pfault_compare" bitsize="64" type="uint64" group="system"/>