esp_idf_sys

Constant ESP_INTR_FLAG_LEVEL4

Source 
pub const ESP_INTR_FLAG_LEVEL4: u32 = 16;