Constant xed_sys::XED_IFORM_VPEXTRW_GPR32u16_XMMu16_IMM8_AVX512

pub const XED_IFORM_VPEXTRW_GPR32u16_XMMu16_IMM8_AVX512: xed_iform_enum_t = 4519;