Constant ippAVX_ENABLEDBYOS 

pub const ippAVX_ENABLEDBYOS: u32 = 512;