Constant TF_IPPMF_ENABLEPROFILE

pub const TF_IPPMF_ENABLEPROFILE: u32 = 1u32;