Constant _MM_MASK_DIV_ZERO 

pub const _MM_MASK_DIV_ZERO: u32 = 512;