esp_idf_sys

Constant IP_PROTO_ICMP

Source 
pub const IP_PROTO_ICMP: u32 = 1;