Constant TF_IPP_FLAG_ACTIVE 

pub const TF_IPP_FLAG_ACTIVE: u32 = 1u32;