1<?xml version="1.0"?>
2<!-- Copyright (C) 2009-2023 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.vfp">
10  <reg name="d0" bitsize="64" type="ieee_double"/>
11  <reg name="d1" bitsize="64" type="ieee_double"/>
12  <reg name="d2" bitsize="64" type="ieee_double"/>
13  <reg name="d3" bitsize="64" type="ieee_double"/>
14  <reg name="d4" bitsize="64" type="ieee_double"/>
15  <reg name="d5" bitsize="64" type="ieee_double"/>
16  <reg name="d6" bitsize="64" type="ieee_double"/>
17  <reg name="d7" bitsize="64" type="ieee_double"/>
18  <reg name="d8" bitsize="64" type="ieee_double"/>
19  <reg name="d9" bitsize="64" type="ieee_double"/>
20  <reg name="d10" bitsize="64" type="ieee_double"/>
21  <reg name="d11" bitsize="64" type="ieee_double"/>
22  <reg name="d12" bitsize="64" type="ieee_double"/>
23  <reg name="d13" bitsize="64" type="ieee_double"/>
24  <reg name="d14" bitsize="64" type="ieee_double"/>
25  <reg name="d15" bitsize="64" type="ieee_double"/>
26
27  <reg name="fpscr" bitsize="32" type="int" group="float"/>
28</feature>
29