Constant ipp_headers_sys::ippCPUID_AVX512VBMI

pub const ippCPUID_AVX512VBMI: u32 = 134217728;