Constant TF_COMMANDING_ENABLED 

pub const TF_COMMANDING_ENABLED: u32 = 4u32;