Constant __NR_timer_gettime 

pub const __NR_timer_gettime: u32 = 224;