7ae5cc5204e55b9d9ec92a45becab206e34a6247
2 <!-- Copyright (C) 2016-2017 Free Software Foundation, Inc.
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. -->
8 <!DOCTYPE feature SYSTEM
"gdb-target.dtd">
9 <feature name=
"org.gnu.gdb.i386.pkeys">
11 <reg name=
"pkru" bitsize=
"32" type=
"uint32"/>
This page took 0.044019 seconds and 4 git commands to generate.