Constant xed_sys::XED_IFORM_KMOVQ_GPR64u64_MASKmskw_AVX512

pub const XED_IFORM_KMOVQ_GPR64u64_MASKmskw_AVX512: xed_iform_enum_t = 731;