Symbol: ath10k_sdio_write32