pub const PR_GET_TSC: c_int = 25;