Constant __NR_timer_gettime64 

pub const __NR_timer_gettime64: u32 = 408;