Constant _MM_FLUSH_ZERO_MASK 

pub const _MM_FLUSH_ZERO_MASK: u32 = 32768;