Constant __NR_timerfd_gettime 

pub const __NR_timerfd_gettime: u32 = 287;