Constant xed_sys::XED_EXTENSION_AVX

pub const XED_EXTENSION_AVX: xed_extension_enum_t = 4;