Constant sgx_libc::SO_TIMESTAMPNS

pub const SO_TIMESTAMPNS: i32 = 35;