Constant DEBUG_FORMAT_USER_SMALL_THREAD_INFO

pub const DEBUG_FORMAT_USER_SMALL_THREAD_INFO: u32 = 2048u32;