Commit | Line | Data |
---|---|---|
6c73f67f YQ |
1 | /* THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi:set ro: |
2 | Original: 64bit-mpx.xml */ | |
3 | ||
268a13a5 | 4 | #include "gdbsupport/tdesc.h" |
6c73f67f YQ |
5 | |
6 | static int | |
7 | create_feature_i386_64bit_mpx (struct target_desc *result, long regnum) | |
8 | { | |
9 | struct tdesc_feature *feature; | |
10 | ||
3b74854b | 11 | feature = tdesc_create_feature (result, "org.gnu.gdb.i386.mpx"); |
d4a0e8b5 | 12 | tdesc_type_with_fields *type_with_fields; |
d4a0e8b5 | 13 | type_with_fields = tdesc_create_struct (feature, "br128"); |
a8d2e585 | 14 | tdesc_type *field_type; |
6c73f67f | 15 | field_type = tdesc_named_type (feature, "uint64"); |
d4a0e8b5 | 16 | tdesc_add_field (type_with_fields, "lbound", field_type); |
6c73f67f | 17 | field_type = tdesc_named_type (feature, "uint64"); |
d4a0e8b5 | 18 | tdesc_add_field (type_with_fields, "ubound_raw", field_type); |
6c73f67f | 19 | |
d4a0e8b5 SM |
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); | |
6c73f67f | 24 | |
d4a0e8b5 | 25 | type_with_fields = tdesc_create_union (feature, "status"); |
6c73f67f | 26 | field_type = tdesc_named_type (feature, "data_ptr"); |
d4a0e8b5 | 27 | tdesc_add_field (type_with_fields, "raw", field_type); |
6c73f67f | 28 | field_type = tdesc_named_type (feature, "_bndstatus"); |
d4a0e8b5 | 29 | tdesc_add_field (type_with_fields, "status", field_type); |
6c73f67f | 30 | |
d4a0e8b5 SM |
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); | |
6c73f67f | 37 | |
d4a0e8b5 | 38 | type_with_fields = tdesc_create_union (feature, "cfgu"); |
6c73f67f | 39 | field_type = tdesc_named_type (feature, "data_ptr"); |
d4a0e8b5 | 40 | tdesc_add_field (type_with_fields, "raw", field_type); |
6c73f67f | 41 | field_type = tdesc_named_type (feature, "_bndcfgu"); |
d4a0e8b5 | 42 | tdesc_add_field (type_with_fields, "config", field_type); |
6c73f67f YQ |
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 | } |