[][src]Constant nginx::__NR_timerfd_gettime

pub const __NR_timerfd_gettime: u32 = 287;