Symbol: __msdc_enable_sdio_irq