| 1 | <?xml version="1.0"?> |
| 2 | <!-- Copyright (C) 2007, 2008, 2009, 2010 Free Software Foundation, Inc. |
| 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 | <!DOCTYPE feature SYSTEM "gdb-target.dtd"> |
| 9 | <feature name="org.gnu.gdb.arm.fpa"> |
| 10 | <!-- f0's regnum is set explicitly, because the FPA registers |
| 11 | historically were placed between the PC and the CPSR in the "g" |
| 12 | packet - in the middle of org.gnu.gdb.arm.core. --> |
| 13 | <reg name="f0" bitsize="96" type="arm_fpa_ext" regnum="16"/> |
| 14 | <reg name="f1" bitsize="96" type="arm_fpa_ext"/> |
| 15 | <reg name="f2" bitsize="96" type="arm_fpa_ext"/> |
| 16 | <reg name="f3" bitsize="96" type="arm_fpa_ext"/> |
| 17 | <reg name="f4" bitsize="96" type="arm_fpa_ext"/> |
| 18 | <reg name="f5" bitsize="96" type="arm_fpa_ext"/> |
| 19 | <reg name="f6" bitsize="96" type="arm_fpa_ext"/> |
| 20 | <reg name="f7" bitsize="96" type="arm_fpa_ext"/> |
| 21 | |
| 22 | <reg name="fps" bitsize="32"/> |
| 23 | </feature> |