Constant xed_sys::XED_IFORM_VCVTTSH2SI_GPR64i64_XMMf16_AVX512

pub const XED_IFORM_VCVTTSH2SI_GPR64i64_XMMf16_AVX512: xed_iform_enum_t = 3780;