Constant xed_sys::XED_EXTENSION_AVX512VEX

source · 
pub const XED_EXTENSION_AVX512VEX: xed_extension_enum_t = 14;