pub const __NR_timerfd_gettime: u32 = 287; // 287u32