acpi: use get_uint() for various acpi properties
[qemu/armbru.git] / gdb-xml / arm-vfp.xml
blobb20881e9a9919d7e2922660a9fca27d7a3bdb177
1 <?xml version="1.0"?>
2 <!-- Copyright (C) 2008 Free Software Foundation, Inc.
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 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
8 <feature name="org.gnu.gdb.arm.vfp">
9   <reg name="d0" bitsize="64" type="float"/>
10   <reg name="d1" bitsize="64" type="float"/>
11   <reg name="d2" bitsize="64" type="float"/>
12   <reg name="d3" bitsize="64" type="float"/>
13   <reg name="d4" bitsize="64" type="float"/>
14   <reg name="d5" bitsize="64" type="float"/>
15   <reg name="d6" bitsize="64" type="float"/>
16   <reg name="d7" bitsize="64" type="float"/>
17   <reg name="d8" bitsize="64" type="float"/>
18   <reg name="d9" bitsize="64" type="float"/>
19   <reg name="d10" bitsize="64" type="float"/>
20   <reg name="d11" bitsize="64" type="float"/>
21   <reg name="d12" bitsize="64" type="float"/>
22   <reg name="d13" bitsize="64" type="float"/>
23   <reg name="d14" bitsize="64" type="float"/>
24   <reg name="d15" bitsize="64" type="float"/>
26   <reg name="fpsid" bitsize="32" type="int" group="float"/>
27   <reg name="fpscr" bitsize="32" type="int" group="float"/>
28   <reg name="fpexc" bitsize="32" type="int" group="float"/>
29 </feature>