pub const PR_GET_TSC: u32 = 25;