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