1/* THIS FILE IS GENERATED.  -*- buffer-read-only: t -*- vi:set ro:
2  Original: 64bit-mpx.xml */
3
4#include "gdbsupport/tdesc.h"
5
6static int
7create_feature_i386_64bit_mpx (struct target_desc *result, long regnum)
8{
9  struct tdesc_feature *feature;
10
11  feature = tdesc_create_feature (result, "org.gnu.gdb.i386.mpx");
12  tdesc_type_with_fields *type_with_fields;
13  type_with_fields = tdesc_create_struct (feature, "br128");
14  tdesc_type *field_type;
15  field_type = tdesc_named_type (feature, "uint64");
16  tdesc_add_field (type_with_fields, "lbound", field_type);
17  field_type = tdesc_named_type (feature, "uint64");
18  tdesc_add_field (type_with_fields, "ubound_raw", field_type);
19
20  type_with_fields = tdesc_create_struct (feature, "_bndstatus");
21  tdesc_set_struct_size (type_with_fields, 8);
22  tdesc_add_bitfield (type_with_fields, "bde", 2, 63);
23  tdesc_add_bitfield (type_with_fields, "error", 0, 1);
24
25  type_with_fields = tdesc_create_union (feature, "status");
26  field_type = tdesc_named_type (feature, "data_ptr");
27  tdesc_add_field (type_with_fields, "raw", field_type);
28  field_type = tdesc_named_type (feature, "_bndstatus");
29  tdesc_add_field (type_with_fields, "status", field_type);
30
31  type_with_fields = tdesc_create_struct (feature, "_bndcfgu");
32  tdesc_set_struct_size (type_with_fields, 8);
33  tdesc_add_bitfield (type_with_fields, "base", 12, 63);
34  tdesc_add_bitfield (type_with_fields, "reserved", 2, 11);
35  tdesc_add_bitfield (type_with_fields, "preserved", 1, 1);
36  tdesc_add_bitfield (type_with_fields, "enabled", 0, 0);
37
38  type_with_fields = tdesc_create_union (feature, "cfgu");
39  field_type = tdesc_named_type (feature, "data_ptr");
40  tdesc_add_field (type_with_fields, "raw", field_type);
41  field_type = tdesc_named_type (feature, "_bndcfgu");
42  tdesc_add_field (type_with_fields, "config", field_type);
43
44  tdesc_create_reg (feature, "bnd0raw", regnum++, 1, NULL, 128, "br128");
45  tdesc_create_reg (feature, "bnd1raw", regnum++, 1, NULL, 128, "br128");
46  tdesc_create_reg (feature, "bnd2raw", regnum++, 1, NULL, 128, "br128");
47  tdesc_create_reg (feature, "bnd3raw", regnum++, 1, NULL, 128, "br128");
48  tdesc_create_reg (feature, "bndcfgu", regnum++, 1, NULL, 64, "cfgu");
49  tdesc_create_reg (feature, "bndstatus", regnum++, 1, NULL, 64, "status");
50  return regnum;
51}
52