esp_idf_sys

Constant SDIO_TOHOST_INT_OUT_IDX

Source 
pub const SDIO_TOHOST_INT_OUT_IDX: u32 = 31;