esp_idf_sys

Constant DNS_MAX_SERVERS

Source 
pub const DNS_MAX_SERVERS: u32 = 3;