17 lines
729 B
XML
17 lines
729 B
XML
<?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>
|