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