Constant sgx_oc::linux::x86_64::SCM_TIMESTAMPING

pub const SCM_TIMESTAMPING: c_int = SO_TIMESTAMPING; // 37i32