gdb/features/i386/64bit-pkeys.xml

   1 <?xml version="1.0"?>
   2 <!-- Copyright (C) 2016-2017 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.i386.pkeys">
  10
  11   <reg name="pkru" bitsize="32" type="uint32"/>
  12
  13 </feature>