esp_idf_svc::hal::sys

Constant TCP_MAXRTX

Source 
pub const TCP_MAXRTX: u32 = 12; // 12u32