Constant linux_raw_sys::general::__NR_gettimeofday

source ยท 
pub const __NR_gettimeofday: u32 = 96;