Symbol: sdio_read_port