Constant xed_sys::XED_EXTENSION_BMI1

pub const XED_EXTENSION_BMI1: xed_extension_enum_t = 11;