Constant TF_IPPMF_ENABLEPROFILE 

pub const TF_IPPMF_ENABLEPROFILE: u32 = 1u32;