2 <!-- Copyright (C) 2021 Linaro Ltd.
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.
8 These are A/R profile VFP system registers. Debugger users probably
9 don't really care about these, but because we used to (incorrectly)
10 provide them to gdb in the org.gnu.gdb.arm.vfp XML we continue
11 to do so via this separate XML.
13 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
14 <feature name="org.qemu.gdb.arm.vfp-sysregs">
15 <reg name="fpsid" bitsize="32" type="int" group="float"/>
16 <reg name="fpexc" bitsize="32" type="int" group="float"/>