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.core.valgrind.s2"> 10 <reg name="r0s2" bitsize="32"/> 11 <reg name="r1s2" bitsize="32"/> 12 <reg name="r2s2" bitsize="32"/> 13 <reg name="r3s2" bitsize="32"/> 14 <reg name="r4s2" bitsize="32"/> 15 <reg name="r5s2" bitsize="32"/> 16 <reg name="r6s2" bitsize="32"/> 17 <reg name="r7s2" bitsize="32"/> 18 <reg name="r8s2" bitsize="32"/> 19 <reg name="r9s2" bitsize="32"/> 20 <reg name="r10s2" bitsize="32"/> 21 <reg name="r11s2" bitsize="32"/> 22 <reg name="r12s2" bitsize="32"/> 23 <reg name="sps2" bitsize="32" type="data_ptr"/> 24 <reg name="lrs2" bitsize="32"/> 25 <reg name="pcs2" bitsize="32" type="code_ptr"/> 26 27 <!-- The CPSR is register 25, rather than register 16, because 28 the FPA registers historically were placed between the PC 29 and the CPSR in the "g" packet. --> 30 <reg name="cpsrs2" bitsize="32" regnum="25"/> 31 </feature> 32