[][src]Constant jl_sys::TCPOPT_TSTAMP_HDR

pub const TCPOPT_TSTAMP_HDR: u32 = 16844810;