1/* THIS FILE IS GENERATED.  -*- buffer-read-only: t -*- vi:set ro:
2  Original: 32bit-pkeys.xml */
3
4#include "gdbsupport/tdesc.h"
5
6static int
7create_feature_i386_32bit_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}
15