Symbol: sdio_write_4