Constant RTC_CNTL_SDIO_INITI_S 

pub const RTC_CNTL_SDIO_INITI_S: u32 = 13;