Constant ippCPUID_MPX 

pub const ippCPUID_MPX: u32 = 268435456;