Constant nginx::__NR_gettimeofday

pub const __NR_gettimeofday: u32 = 96;