Constant xed_sys::XED_CATEGORY_AVX512_VBMI_DEFINED[][src]

pub const XED_CATEGORY_AVX512_VBMI_DEFINED: u32 = 1;