| <?xml version="1.0"?> |
| <!-- Copyright (C) 2008 Free Software Foundation, Inc. |
| |
| 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. --> |
| |
| <!DOCTYPE feature SYSTEM "gdb-target.dtd"> |
| <feature name="org.gnu.gdb.arm.core"> |
| <reg name="r0" bitsize="32"/> |
| <reg name="r1" bitsize="32"/> |
| <reg name="r2" bitsize="32"/> |
| <reg name="r3" bitsize="32"/> |
| <reg name="r4" bitsize="32"/> |
| <reg name="r5" bitsize="32"/> |
| <reg name="r6" bitsize="32"/> |
| <reg name="r7" bitsize="32"/> |
| <reg name="r8" bitsize="32"/> |
| <reg name="r9" bitsize="32"/> |
| <reg name="r10" bitsize="32"/> |
| <reg name="r11" bitsize="32"/> |
| <reg name="r12" bitsize="32"/> |
| <reg name="sp" bitsize="32" type="data_ptr"/> |
| <reg name="lr" bitsize="32"/> |
| <reg name="pc" bitsize="32" type="code_ptr"/> |
| |
| <!-- The CPSR is register 25, rather than register 16, because |
| the FPA registers historically were placed between the PC |
| and the CPSR in the "g" packet. --> |
| <reg name="cpsr" bitsize="32" regnum="25"/> |
| </feature> |