Commit | Line | Data |
---|---|---|
ccc42043 | 1 | <?xml version="1.0"?> |
32d0add0 | 2 | <!-- Copyright (C) 2013-2015 Free Software Foundation, Inc. |
ccc42043 WT |
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.i386.mpx"> | |
10 | <struct id="br128"> | |
11 | <field name="lbound" type="uint64"/> | |
12 | <field name="ubound_raw" type="uint64"/> | |
13 | </struct> | |
14 | ||
15 | <struct id="_bndstatus" size="8"> | |
16 | <field name="bde" start="2" end="31"/> | |
17 | <field name="error" start="0" end="1"/> | |
18 | </struct> | |
19 | ||
20 | <union id="status"> | |
21 | <field name="raw" type="data_ptr"/> | |
22 | <field name="status" type="_bndstatus"/> | |
23 | </union> | |
24 | ||
25 | <struct id="_bndcfgu" size="8"> | |
26 | <field name="base" start="12" end="31" /> | |
27 | <field name="reserved" start="2" end="11"/> | |
28 | <field name="preserved" start="1" end="1"/> | |
29 | <field name="enabled" start="0" end="1"/> | |
30 | </struct> | |
31 | ||
32 | <union id="cfgu"> | |
33 | <field name="raw" type="data_ptr"/> | |
34 | <field name="config" type="_bndcfgu"/> | |
35 | </union> | |
36 | ||
37 | <reg name="bnd0raw" bitsize="128" type="br128"/> | |
38 | <reg name="bnd1raw" bitsize="128" type="br128"/> | |
39 | <reg name="bnd2raw" bitsize="128" type="br128"/> | |
40 | <reg name="bnd3raw" bitsize="128" type="br128"/> | |
41 | <reg name="bndcfgu" bitsize="64" type="cfgu"/> | |
42 | <reg name="bndstatus" bitsize="64" type="status"/> | |
43 | </feature> |