pub const PR_SET_TSC: u32 = 26; // 26u32