Constant CPUCLOCK_WHICH_TID 

pub const CPUCLOCK_WHICH_TID: c_int = 1;