esp_idf_sys

Constant CONFIG_TCP_MAXRTX

Source 
pub const CONFIG_TCP_MAXRTX: u32 = 12;