Constant __NR_timer_settime 

pub const __NR_timer_settime: u32 = 223;