28e7fd6234
Two modifications:
1. The addition of 2013 to the copyright year range for every file;
2. The use of a single year range, instead of potentially multiple
year ranges, as approved by the FSF.
29 lines
1.2 KiB
XML
29 lines
1.2 KiB
XML
<?xml version="1.0"?>
|
|
<!-- Copyright (C) 2009-2013 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.vfp">
|
|
<reg name="d0" bitsize="64" type="ieee_double"/>
|
|
<reg name="d1" bitsize="64" type="ieee_double"/>
|
|
<reg name="d2" bitsize="64" type="ieee_double"/>
|
|
<reg name="d3" bitsize="64" type="ieee_double"/>
|
|
<reg name="d4" bitsize="64" type="ieee_double"/>
|
|
<reg name="d5" bitsize="64" type="ieee_double"/>
|
|
<reg name="d6" bitsize="64" type="ieee_double"/>
|
|
<reg name="d7" bitsize="64" type="ieee_double"/>
|
|
<reg name="d8" bitsize="64" type="ieee_double"/>
|
|
<reg name="d9" bitsize="64" type="ieee_double"/>
|
|
<reg name="d10" bitsize="64" type="ieee_double"/>
|
|
<reg name="d11" bitsize="64" type="ieee_double"/>
|
|
<reg name="d12" bitsize="64" type="ieee_double"/>
|
|
<reg name="d13" bitsize="64" type="ieee_double"/>
|
|
<reg name="d14" bitsize="64" type="ieee_double"/>
|
|
<reg name="d15" bitsize="64" type="ieee_double"/>
|
|
|
|
<reg name="fpscr" bitsize="32" type="int" group="float"/>
|
|
</feature>
|