<?xml version="1.0"?>
<!-- Copyright (C) 2021 Linaro Ltd.

     Copying and distribution of this file, with or without modification,
     are permitted in any medium without royalty provided the copyright
     notice and this notice are preserved.

     These are A/R profile VFP system registers. Debugger users probably
     don't really care about these, but because we used to (incorrectly)
     provide them to gdb in the org.gnu.gdb.arm.vfp XML we continue
     to do so via this separate XML.
     -->
<!DOCTYPE feature SYSTEM "gdb-target.dtd">
<feature name="org.qemu.gdb.arm.vfp-sysregs">
  <reg name="fpsid" bitsize="32" type="int" group="float"/>
  <reg name="fpexc" bitsize="32" type="int" group="float"/>
</feature>