Constant libc::TASK_THREAD_TIMES_INFO

pub const TASK_THREAD_TIMES_INFO: u32 = 3;