<?xml version="1.0"?>
<!-- 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
     top-level directory. -->

<!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"/>
</feature>