Constant TF_CLUIE_DOCUMENTMGR 

pub const TF_CLUIE_DOCUMENTMGR: u32 = 1u32;