Server : Apache System : Linux copper.netcy.com 2.6.32-754.27.1.el6.centos.plus.x86_64 #1 SMP Thu Jan 30 13:54:25 UTC 2020 x86_64 User : montcaro ( 581) PHP Version : 7.4.28 Disable Function : NONE Directory : /usr/lib64/valgrind/ |
<?xml version="1.0"?> <!-- Copyright (C) 2007, 2008, 2009, 2010 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.valgrind.s2"> <reg name="r0s2" bitsize="32"/> <reg name="r1s2" bitsize="32"/> <reg name="r2s2" bitsize="32"/> <reg name="r3s2" bitsize="32"/> <reg name="r4s2" bitsize="32"/> <reg name="r5s2" bitsize="32"/> <reg name="r6s2" bitsize="32"/> <reg name="r7s2" bitsize="32"/> <reg name="r8s2" bitsize="32"/> <reg name="r9s2" bitsize="32"/> <reg name="r10s2" bitsize="32"/> <reg name="r11s2" bitsize="32"/> <reg name="r12s2" bitsize="32"/> <reg name="sps2" bitsize="32" type="data_ptr"/> <reg name="lrs2" bitsize="32"/> <reg name="pcs2" 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="cpsrs2" bitsize="32" regnum="25"/> </feature>