esp_idf_sys

Constant TCP_SYNMAXRTX

Source 
pub const TCP_SYNMAXRTX: u32 = 12;