Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 13 files:
- drivers/media/mmc/siano/smssdio.c
- drivers/mmc/core/sdio_io.c
- drivers/net/wireless/ath/ath10k/sdio.c, line 306
- drivers/net/wireless/ath/ath6kl/sdio.c, line 175
- drivers/net/wireless/broadcom/brcm80211/brcmfmac/bcmsdh.c, line 297
- drivers/net/wireless/microchip/wilc1000/sdio.c, line 125
- drivers/net/wireless/morsemicro/mm81x/sdio.c
- drivers/net/wireless/realtek/rtw88/sdio.c, line 522
- drivers/net/wireless/silabs/wfx/bus_sdio.c, line 66
- drivers/net/wireless/st/cw1200/cw1200_sdio.c, line 64
- drivers/net/wireless/ti/wl1251/sdio.c, line 56
- drivers/net/wireless/ti/wlcore/sdio.c, line 69
- drivers/staging/rtl8723bs/os_dep/sdio_ops_linux.c, line 357
Smatch caller information:
drivers/net/wireless/realtek/rtw88/sdio.c rtw_sdio_read_port() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 4096-ptr_max |
| PARAM_VALUE | 0 | func->card | 4096-ptr_max |
| PARAM_VALUE | 2 | addr | 57344-57347 |
| BUF_SIZE | 1 | dst | (-1),1-s32max |
| CAPPED_DATA | 3 | count | 1 |
| DATA_SOURCE | 1 | dst | $1 |
| BIT_INFO | 2 | addr | 0xe000,0xe003 |
| RX_PATH | |||
| HOST_DATA | 3 | count | 2-s32max[c] |
| UNITS | 1 | dst | unit_byte |
| UNITS | 3 | count | unit_byte |
| HALF_LOCKED2 | &pool->lock |
drivers/net/wireless/ti/wlcore/sdio.c wl12xx_sdio_raw_read() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 4096-ptr_max |
| PARAM_VALUE | 0 | func->card->host->claimed | 1 |
| PARAM_VALUE | 0 | func->card->host->claimer | 1-u64max |
| PARAM_VALUE | 0 | func->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | addr | 0-131067,131069-u32max |
| BUF_SIZE | 1 | dst | (-1),1-16384 |
| BUF_SIZE | 1 | dst | (-1),1-16384 |
| DATA_SOURCE | 1 | dst | $2 |
| DATA_SOURCE | 2 | addr | $1 |
| DATA_SOURCE | 3 | count | $3 |
| NOSPEC | 3 | count | |
| NOSPEC | 3 | count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | count | 2-16383[c] |
| BYTE_COUNT | 1 | ==dst3 | 8050 |
| USER_PTR | 1 | dst | |
| HALF_LOCKED2 | &wl->mutex |
drivers/net/wireless/silabs/wfx/bus_sdio.c wfx_sdio_copy_from_io() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | addr | 0-u16max |
| BUF_SIZE | 1 | dst | (-1),1-s32max |
| BUF_SIZE | 1 | dst | (-1),1-s32max |
| DATA_SOURCE | 1 | dst | $2 |
| DATA_SOURCE | 3 | count | $3 |
| BIT_INFO | 2 | addr | 0x0,0xff9c |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
drivers/net/wireless/morsemicro/mm81x/sdio.c mm81x_sdio_mem_read_block() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 4096-ptr_max |
| PARAM_VALUE | 1 | dst | 4096-ptr_max |
| PARAM_VALUE | 2 | addr | 0-u16max |
| PARAM_VALUE | 3 | count | 4-2147483644 |
| CAPPED_DATA | 3 | count | 1 |
| DATA_SOURCE | 1 | dst | $2 |
| DATA_SOURCE | 2 | addr | $1 [m] |
| DATA_SOURCE | 3 | count | $3 |
| BIT_INFO | 3 | count | 0x0,0x7ffffffc |
drivers/net/wireless/morsemicro/mm81x/sdio.c mm81x_sdio_mem_read_block() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 4096-ptr_max |
| PARAM_VALUE | 0 | func->card->host->ongoing_mrq->cmd_completion.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | func->card->host->ongoing_mrq->done | 0,429396076522299392,6569461247470579712,7038937104643203072,8039316214707961856,8283609542540963840 |
| PARAM_VALUE | 0 | func->card->host->parent->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | func->num | 0-7 |
| PARAM_VALUE | 1 | dst | 4096-ptr_max |
| PARAM_VALUE | 2 | addr | 0-u16max |
| PARAM_VALUE | 3 | count | 8 |
| DATA_SOURCE | 1 | dst | $2 |
| DATA_SOURCE | 2 | addr | $1 [m] |
| NOCHECK_CALL |
drivers/net/wireless/microchip/wilc1000/sdio.c wilc_sdio_cmd53() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 4096-ptr_max |
| PARAM_VALUE | 0 | func->card->host->claimed | 1 |
| PARAM_VALUE | 0 | func->card->host->claimer | 1-u64max |
| PARAM_VALUE | 0 | func->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | func->num | 0-1 |
| PARAM_VALUE | 2 | addr | 0,271 |
| BUF_SIZE | 1 | dst | 4,4096,65536 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 3 | count | unit_byte |
| HALF_LOCKED2 | &wilc->hif_cs |
drivers/staging/rtl8723bs/os_dep/sdio_ops_linux.c _sd_read() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | addr | 0-65532,65536-98303 |
| PARAM_VALUE | 3 | count | 0,3-4000000 |
| BUF_SIZE | 1 | dst | 0-s32max |
| BUF_SIZE | 1 | dst | 0-s32max |
| CAPPED_DATA | 3 | count | 1 |
| DATA_SOURCE | 1 | dst | $3 |
| DATA_SOURCE | 2 | addr | $1 |
| DATA_SOURCE | 3 | count | $2 |
| UNITS | 1 | dst | unit_byte |
| UNITS | 3 | count | unit_byte |
| USER_PTR | 1 | dst |
drivers/net/wireless/broadcom/brcm80211/brcmfmac/bcmsdh.c brcmf_sdiod_skbuff_read() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 4096-ptr_max |
| PARAM_VALUE | 0 | func->num | 1 |
| PARAM_VALUE | 2 | addr | 32768-u16max |
| PARAM_VALUE | 3 | count | s32min-0,4-s32max |
| BUF_SIZE | 1 | dst | 1-s32max |
| DATA_SOURCE | 0 | func | $1 |
| DATA_SOURCE | 2 | addr | $2 |
| BIT_INFO | 2 | addr | 0x8000,0xffff |
| BIT_INFO | 3 | count | 0x0,0xfffffffc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | *func->tmpbuf | 0-255 |
| UNITS | 1 | dst | unit_byte |
| UNITS | 2 | addr | unit_byte |
| UNITS | 3 | count | unit_byte |
| HALF_LOCKED2 | &pool->lock |
drivers/media/mmc/siano/smssdio.c smssdio_interrupt() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | addr | 0 |
| PARAM_VALUE | 3 | count | 128 |
| BUF_SIZE | 1 | dst | s32min,90112,180224,204800,409600,450560,1024000 |
drivers/media/mmc/siano/smssdio.c smssdio_interrupt() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 4096-ptr_max |
| PARAM_VALUE | 0 | func->cur_blksize | 128 |
| PARAM_VALUE | 2 | addr | 0 |
| BIT_INFO | 3 | count | 0x0,0xffffffffffffff80 |
| UNITS | 1 | dst | unit_byte |
| UNITS | 3 | count | unit_byte |
drivers/media/mmc/siano/smssdio.c smssdio_interrupt() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 4096-ptr_max |
| PARAM_VALUE | 0 | func->cur_blksize | 128 |
| PARAM_VALUE | 2 | addr | 0 |
| PARAM_VALUE | 3 | count | 128 |
| UNITS | 1 | dst | unit_byte |
| UNITS | 3 | count | unit_byte |
drivers/mmc/core/sdio_io.c sdio_readl() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 4096-ptr_max |
| PARAM_VALUE | 0 | func->card->host->sdio_irq_thread->sched_class->set_cpus_allowed | 0,1927640468783054848,5094656021401329664,7127180339355369472 |
| PARAM_VALUE | 1 | *dst | 0-255 |
| PARAM_VALUE | 3 | count | 4 |
| BUF_SIZE | 1 | dst | 4 |
| DATA_SOURCE | 0 | func | $0 |
| DATA_SOURCE | 2 | addr | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | func->card->host->fail_mmc_request.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | *func->tmpbuf | 0-255 |
| HOST_DATA | 2 | addr | 32768-u16max[c] |
| USER_DATA | 0 | *func->tmpbuf | 0-255 |
| HALF_LOCKED2 | &dev->mt76.mutex | ||
| HALF_LOCKED2 | &hdev->req_lock | ||
| HALF_LOCKED2 | &pool->lock |
drivers/mmc/core/sdio_io.c sdio_readw() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 4096-ptr_max |
| PARAM_VALUE | 0 | func->card->host->claimed | 1 |
| PARAM_VALUE | 0 | func->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | func->card->host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 0 | func->card->host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 0 | func->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 0 | func->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 2 | addr | 0-s16max |
| PARAM_VALUE | 3 | count | 2 |
| BUF_SIZE | 1 | dst | 4 |
| DATA_SOURCE | 0 | func | $0 |
| DATA_SOURCE | 2 | addr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &wl->leds_lock | ||
| HALF_LOCKED2 | &wl->mutex | ||
| HALF_LOCKED2 | flags |
drivers/net/wireless/st/cw1200/cw1200_sdio.c cw1200_sdio_memcpy_fromio() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dst | 1-u64max |
| PARAM_VALUE | 2 | addr | 0-4095 |
| BUF_SIZE | 1 | dst | 1-s32max |
| BUF_SIZE | 1 | dst | 1-s32max |
| CAPPED_DATA | 3 | count | 1 |
| DATA_SOURCE | 1 | dst | $2 |
| DATA_SOURCE | 2 | addr | $1 |
| DATA_SOURCE | 3 | count | $3 |
| BIT_INFO | 2 | addr | 0x0,0xf9c |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_PTR | 1 | dst |
drivers/net/wireless/ti/wl1251/sdio.c wl1251_sdio_read() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 0,4096-ptr_max |
| PARAM_VALUE | 0 | func->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 0 | func->card->host->claimed | 1 |
| PARAM_VALUE | 0 | func->card->host->lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 1 | dst | (-1),4,28,32,80,144,320,372 |
| BUF_SIZE | 1 | dst | (-1),4,28,32,80,144,320,372 |
| DATA_SOURCE | 0 | func | r wl_to_func |
| DATA_SOURCE | 1 | dst | $2 |
| DATA_SOURCE | 2 | addr | $1 |
| DATA_SOURCE | 3 | count | $3 |
| BIT_INFO | 3 | count | 0x0,0xffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | *dst | |
| HALF_LOCKED2 | &wl->mutex |
drivers/net/wireless/ath/ath10k/sdio.c ath10k_sdio_read() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 0,4096-ptr_max |
| PARAM_VALUE | 0 | func->card->host->claimed | 1 |
| PARAM_VALUE | 0 | func->card->host->claimer | 1-u64max |
| PARAM_VALUE | 0 | func->card->host->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 3 | count | 1-4000000 |
| BUF_SIZE | 1 | dst | (-1),1-1000000000,2147479552 |
| BUF_SIZE | 1 | dst | (-1),1-1000000000,2147479552 |
| CAPPED_DATA | 3 | count | 1 |
| DATA_SOURCE | 1 | dst | $2 |
| DATA_SOURCE | 2 | addr | $1 |
| DATA_SOURCE | 3 | count | $3 |
| NOSPEC | 3 | count | |
| NOSPEC | 3 | count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | count | 2-4000000[c] |
| UNITS | 2 | addr | unit_byte |
| UNITS | 3 | count | unit_byte |
| BYTE_COUNT | 1 | ==dst3 | 8050 |
| HALF_LOCKED2 | &irq_data->mtx |
drivers/net/wireless/ath/ath6kl/sdio.c ath6kl_sdio_io() -> sdio_memcpy_fromio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | func | 0,4096-ptr_max |
| PARAM_VALUE | 0 | func->card->host->claimed | 1 |
| PARAM_VALUE | 0 | func->card->host->claimer | 1-u64max |
| PARAM_VALUE | 0 | func->card->host->lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 1 | dst | (-1),1-s32max |
| DATA_SOURCE | 0 | func | $0 |
| DATA_SOURCE | 1 | dst | $3 |
| DATA_SOURCE | 2 | addr | $2 |
| DATA_SOURCE | 3 | count | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | *dst | |
| UNITS | 3 | count | unit_byte |
| USER_PTR | 1 | dst |