| <?xml version="1.0"?> |
| <!-- Copyright (C) 2022-2025 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.secext"> |
| <!-- We have 4 stack pointers with the security extension. --> |
| <reg name="msp_ns" bitsize="32" type="data_ptr"/> |
| <reg name="psp_ns" bitsize="32" type="data_ptr"/> |
| <reg name="msp_s" bitsize="32" type="data_ptr"/> |
| <reg name="psp_s" bitsize="32" type="data_ptr"/> |
| </feature> |
