Symbol: sdio_read_4