Constant SDIO_TOHOST_INT_OUT_IDX 

pub const SDIO_TOHOST_INT_OUT_IDX: u32 = 31;