Constant __timeval_defined 

pub const __timeval_defined: u32 = 1;