1 <?xml version="1.0"?> 2 <!-- Copyright (C) 2022-2024 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.secext"> 10 <!-- We have 4 stack pointers with the security extension. --> 11 <reg name="msp_ns" bitsize="32" type="data_ptr"/> 12 <reg name="psp_ns" bitsize="32" type="data_ptr"/> 13 <reg name="msp_s" bitsize="32" type="data_ptr"/> 14 <reg name="psp_s" bitsize="32" type="data_ptr"/> 15 </feature> 16