__NR_gettimeofday

Constant __NR_gettimeofday 

Source
pub const __NR_gettimeofday: u32 = 96;