| 1 | <?xml version="1.0"?> |
| 2 | <!-- Copyright (C) 2021 Linaro Ltd. |
| 3 | |
| 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. |
| 7 | |
| 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. |
| 12 | --> |
| 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"/> |
| 17 | </feature> |