pub const PR_GET_TSC: i32 = 25;