| <?xml version="1.0"?> | |
| <!-- Copyright (C) 2007-2024 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" type="uint32"/> | |
| <reg name="r1" bitsize="32" type="uint32"/> | |
| <reg name="r2" bitsize="32" type="uint32"/> | |
| <reg name="r3" bitsize="32" type="uint32"/> | |
| <reg name="r4" bitsize="32" type="uint32"/> | |
| <reg name="r5" bitsize="32" type="uint32"/> | |
| <reg name="r6" bitsize="32" type="uint32"/> | |
| <reg name="r7" bitsize="32" type="uint32"/> | |
| <reg name="r8" bitsize="32" type="uint32"/> | |
| <reg name="r9" bitsize="32" type="uint32"/> | |
| <reg name="r10" bitsize="32" type="uint32"/> | |
| <reg name="r11" bitsize="32" type="uint32"/> | |
| <reg name="r12" bitsize="32" type="uint32"/> | |
| <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> |