esp_idf_sys

Constant IP_OPTIONS_ALLOWED

Source 
pub const IP_OPTIONS_ALLOWED: u32 = 1;