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

   1 /* THIS FILE IS GENERATED.  -*- buffer-read-only: t -*- vi:set ro:
   2   Original: 64bit-pkeys.xml */
   3
   4 #include "gdbsupport/tdesc.h"
   5
   6 static int
   7 create_feature_i386_64bit_pkeys (struct target_desc *result, long regnum)
   8 {
   9   struct tdesc_feature *feature;
  10
  11   feature = tdesc_create_feature (result, "org.gnu.gdb.i386.pkeys");
  12   tdesc_create_reg (feature, "pkru", regnum++, 1, NULL, 32, "uint32");
  13   return regnum;
  14 }