Constant _MM_MASK_DIV_ZERO

pub const _MM_MASK_DIV_ZERO: u32 = 512;