2013-11-20 12:01:09 +00:00
|
|
|
<?xml version="1.0"?>
|
2015-01-01 09:32:14 +00:00
|
|
|
<!-- Copyright (C) 2013-2015 Free Software Foundation, Inc.
|
2013-11-20 12:01:09 +00:00
|
|
|
|
|
|
|
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.i386.mpx">
|
|
|
|
<struct id="br128">
|
|
|
|
<field name="lbound" type="uint64"/>
|
|
|
|
<field name="ubound_raw" type="uint64"/>
|
|
|
|
</struct>
|
|
|
|
|
|
|
|
<struct id="_bndstatus" size="8">
|
|
|
|
<field name="bde" start="2" end="63"/>
|
|
|
|
<field name="error" start="0" end="1"/>
|
|
|
|
</struct>
|
|
|
|
|
|
|
|
<union id="status">
|
|
|
|
<field name="raw" type="data_ptr"/>
|
|
|
|
<field name="status" type="_bndstatus"/>
|
|
|
|
</union>
|
|
|
|
|
|
|
|
<struct id="_bndcfgu" size="8">
|
|
|
|
<field name="base" start="12" end="63"/>
|
|
|
|
<field name="reserved" start="2" end="11"/>
|
|
|
|
<field name="preserved" start="1" end="1"/>
|
|
|
|
<field name="enabled" start="0" end="0"/>
|
|
|
|
</struct>
|
|
|
|
|
|
|
|
<union id="cfgu">
|
|
|
|
<field name="raw" type="data_ptr"/>
|
|
|
|
<field name="config" type="_bndcfgu"/>
|
|
|
|
</union>
|
|
|
|
|
|
|
|
<reg name="bnd0raw" bitsize="128" type="br128"/>
|
|
|
|
<reg name="bnd1raw" bitsize="128" type="br128"/>
|
|
|
|
<reg name="bnd2raw" bitsize="128" type="br128"/>
|
|
|
|
<reg name="bnd3raw" bitsize="128" type="br128"/>
|
|
|
|
<reg name="bndcfgu" bitsize="64" type="cfgu"/>
|
|
|
|
<reg name="bndstatus" bitsize="64" type="status"/>
|
|
|
|
</feature>
|