Constant __NR_timerfd_gettime64 

pub const __NR_timerfd_gettime64: u32 = 410;