Constant PR_GET_TSC 

pub const PR_GET_TSC: c_int = 25;