Constant xed_sys::XED_REG_TSCAUX

pub const XED_REG_TSCAUX: xed_reg_enum_t = 132;