Constant TF_IPPMF_DISABLEPROFILE 

pub const TF_IPPMF_DISABLEPROFILE: u32 = 2u32;