Constant TF_IPP_FLAG_SUBSTITUTEDBYINPUTPROCESSOR 

pub const TF_IPP_FLAG_SUBSTITUTEDBYINPUTPROCESSOR: u32 = 4u32;