Constant libc::TASK_THREAD_TIMES_INFO_COUNT

pub const TASK_THREAD_TIMES_INFO_COUNT: u32 = (::mem::size_of::<task_thread_times_info_data_t>()
            / ::mem::size_of::<natural_t>()) as u32; // 0x0000_0004u32