Constant __NR_adjtimex 

pub const __NR_adjtimex: u32 = 159;