+ const char * const *ymmh_register_names = nullptr;
+
+ /* Register number for %ymm16h. Set this to -1 to indicate the absence
+ of support for YMM16-31. */
+ int ymm16h_regnum = 0;
+
+ /* YMM16-31 register names. Only used for tdesc_numbered_register. */
+ const char * const *ymm16h_register_names = nullptr;
+
+ /* Register number for %bnd0r. Set this to -1 to indicate the absence
+ bound registers. */
+ int bnd0r_regnum = 0;
+
+ /* Register number for pseudo register %bnd0. Set this to -1 to indicate the absence
+ bound registers. */
+ int bnd0_regnum = 0;
+
+ /* Register number for %bndcfgu. Set this to -1 to indicate the absence
+ bound control registers. */
+ int bndcfgu_regnum = 0;
+
+ /* MPX register names. Only used for tdesc_numbered_register. */
+ const char * const *mpx_register_names = nullptr;
+
+ /* Register number for %zmm0h. Set this to -1 to indicate the absence
+ of ZMM_HI256 register support. */
+ int zmm0h_regnum = 0;
+
+ /* OpMask register names. */
+ const char * const *k_register_names = nullptr;
+
+ /* ZMM register names. Only used for tdesc_numbered_register. */
+ const char * const *zmmh_register_names = nullptr;
+
+ /* XMM16-31 register names. Only used for tdesc_numbered_register. */
+ const char * const *xmm_avx512_register_names = nullptr;
+
+ /* YMM16-31 register names. Only used for tdesc_numbered_register. */
+ const char * const *ymm_avx512_register_names = nullptr;
+
+ /* Number of PKEYS registers. */
+ int num_pkeys_regs = 0;
+
+ /* Register number for PKRU register. */
+ int pkru_regnum = 0;
+
+ /* PKEYS register names. */
+ const char * const *pkeys_register_names = nullptr;
+
+ /* Register number for %fsbase. Set this to -1 to indicate the
+ absence of segment base registers. */
+ int fsbase_regnum = 0;