ffmpeg::ffi

Constant AV_CPU_FLAG_BMI1

Source 
pub const AV_CPU_FLAG_BMI1: u32 = 131072;