Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/usdhi6rol0.c usdhi6_blk_write() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->blk_page 18379471554275704832,18446612682070032384
PARAM_VALUE 0 host->head_pg.mapped 18379471554275704832,18446612682070032384
PARAM_VALUE 0 host->io_error 0
PARAM_VALUE 0 host->mrq 4096-ptr_max
PARAM_VALUE 0 host->offset 0-u32max
PARAM_VALUE 0 host->pg.mapped 18379471554275704832,18446612682070032384
PARAM_VALUE 0 host->timeout_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 host->wait 3,5
PARAM_VALUE 0 *host->bounce_buf 0-255
PARAM_VALUE 1 reg 96
DATA_SOURCE 0 host $0
HARD_MAX 0 host->wait 5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/mmc/host/usdhi6rol0.c usdhi6_cd() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 1 reg 56
PARAM_VALUE 2 data 0-u16max
DATA_SOURCE 0 host $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/mmc/host/usdhi6rol0.c usdhi6_clk_set() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 1 reg 72
PARAM_VALUE 2 data 0-4294967039
DATA_SOURCE 0 host $0
BIT_INFO 2 data 0x0,0xfffffeff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-4294967039
NO_OVERFLOW_SIMPLE 0 host->imclk
NO_OVERFLOW_SIMPLE 0 host->rate

drivers/mmc/host/usdhi6rol0.c usdhi6_clk_set() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 1 reg 72
CAPPED_DATA 0 host->imclk 1
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max
NO_OVERFLOW_SIMPLE 0 host->imclk
NO_OVERFLOW_SIMPLE 0 host->rate

drivers/mmc/host/usdhi6rol0.c usdhi6_clk_set() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 1 reg 72
CAPPED_DATA 0 host->imclk 1
DATA_SOURCE 0 host $0
BIT_INFO 2 data 0x100,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max
NO_OVERFLOW_SIMPLE 0 host->imclk
NO_OVERFLOW_SIMPLE 0 host->rate

drivers/mmc/host/usdhi6rol0.c usdhi6_dma_stop_unmap() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->dma_active 1
PARAM_VALUE 0 host->mrq 4096-ptr_max
PARAM_VALUE 0 host->mrq->data 1-u64max
PARAM_VALUE 1 reg 432
PARAM_VALUE 2 data 0
BUF_SIZE 0 host s32min-(-1),1-s32max
BUF_SIZE 0 host s32min-(-1),1-s32max
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 host unit_byte

drivers/mmc/host/usdhi6rol0.c usdhi6_enable_sdio_irq() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->sdio_mask 49154
PARAM_VALUE 1 reg 112
PARAM_VALUE 2 data 49154
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/usdhi6rol0.c usdhi6_enable_sdio_irq() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 0 host->sdio_mask 49154
PARAM_VALUE 1 reg 104
PARAM_VALUE 2 data 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/usdhi6rol0.c usdhi6_enable_sdio_irq() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 1 reg 104
PARAM_VALUE 2 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vub300->irq_mutex

drivers/mmc/host/usdhi6rol0.c usdhi6_enable_sdio_irq() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 1 reg 112
PARAM_VALUE 2 data 49155
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vub300->irq_mutex

drivers/mmc/host/usdhi6rol0.c usdhi6_error_code() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->mrq 0,4096-ptr_max
PARAM_VALUE 1 reg 16
PARAM_VALUE 2 data 1
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/usdhi6rol0.c usdhi6_irq_enable() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->chan_rx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->chan_tx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->mmc->class_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->mmc->crypto_profile.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 host->mmc->crypto_profile.lock.first_waiter->type 0-1
PARAM_VALUE 0 host->status2_mask 0-35711
PARAM_VALUE 0 host->status_mask 0-797
PARAM_VALUE 0 *host->mrq->cmd->resp 0-4294967295
PARAM_VALUE 1 reg 64
PARAM_VALUE 2 data 0-797
BUF_SIZE 0 host s32min-(-1),1-s32max
BUF_SIZE 0 host s32min-(-1),1-s32max
BUF_SIZE 0 host->clk (-1),1-s32max
BUF_SIZE 0 host->mmc (-1),3456-s32max
BUF_SIZE 0 host->mrq (-1)-0,304
BUF_SIZE 0 host->pinctrl (-1),72
BUF_SIZE 0 host->pins_uhs (-1),40
CAPPED_DATA 0 host->status2_mask 1
CAPPED_DATA 0 host->status_mask 1
CAPPED_DATA 2 data 1
DATA_SOURCE 0 host $0
BIT_INFO 0 host->status2_mask 0x0,0x8b7f
BIT_INFO 0 host->status_mask 0x0,0x31d
BIT_INFO 2 data 0x0,0x31d
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 host unit_byte

drivers/mmc/host/usdhi6rol0.c usdhi6_irq_enable() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 0 host->chan_rx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->chan_tx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->mmc->class_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->mmc->crypto_profile.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 host->mmc->crypto_profile.lock.first_waiter->type 0-1
PARAM_VALUE 0 host->status2_mask 0-35711
PARAM_VALUE 0 host->status_mask 0-797
PARAM_VALUE 0 *host->mrq->cmd->resp 0-4294967295
PARAM_VALUE 1 reg 68
PARAM_VALUE 2 data 0-35711
BUF_SIZE 0 host s32min-(-1),1-s32max
BUF_SIZE 0 host s32min-(-1),1-s32max
BUF_SIZE 0 host->clk (-1),1-s32max
BUF_SIZE 0 host->mmc (-1),3456-s32max
BUF_SIZE 0 host->mrq (-1)-0,304
BUF_SIZE 0 host->pinctrl (-1),72
BUF_SIZE 0 host->pins_uhs (-1),40
CAPPED_DATA 0 host->status2_mask 1
CAPPED_DATA 0 host->status_mask 1
CAPPED_DATA 2 data 1
DATA_SOURCE 0 host $0
BIT_INFO 0 host->status2_mask 0x0,0x8b7f
BIT_INFO 0 host->status_mask 0x0,0x31d
BIT_INFO 2 data 0x0,0x8b7f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 host unit_byte

drivers/mmc/host/usdhi6rol0.c usdhi6_request_done() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->chan_rx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->chan_tx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->head_pg.page 0
PARAM_VALUE 0 host->mrq 4096-ptr_max
PARAM_VALUE 0 host->mrq->cmd 4096-ptr_max
PARAM_VALUE 0 host->mrq->stop 0,4096-ptr_max
PARAM_VALUE 0 host->pg.page 0
PARAM_VALUE 0 *host->mrq->cmd->resp 0-4294967295
PARAM_VALUE 1 reg 432
PARAM_VALUE 2 data 0
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/usdhi6rol0.c usdhi6_reset() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 1 reg 448
PARAM_VALUE 2 data 6
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/usdhi6rol0.c usdhi6_reset() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 1 reg 448
PARAM_VALUE 2 data 7
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/usdhi6rol0.c usdhi6_rq_start() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->app_cmd 0
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 0 host->mrq 4096-ptr_max
PARAM_VALUE 0 host->mrq->cmd 4096-ptr_max
PARAM_VALUE 0 host->mrq->data 0,4096-ptr_max
PARAM_VALUE 0 host->page_idx 0
PARAM_VALUE 0 host->sg 0,4096-ptr_max
PARAM_VALUE 0 host->timeout_work.work.lockdep_map->name 0-255
PARAM_VALUE 1 reg 76
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 data unit_byte

drivers/mmc/host/usdhi6rol0.c usdhi6_rq_start() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->app_cmd 0
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 0 host->chan_rx 1-u64max
PARAM_VALUE 0 host->chan_rx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->chan_tx 1-u64max
PARAM_VALUE 0 host->chan_tx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->dma_active 1
PARAM_VALUE 0 host->mrq 4096-ptr_max
PARAM_VALUE 0 host->mrq->cmd 4096-ptr_max
PARAM_VALUE 0 host->mrq->data 0,4096-ptr_max
PARAM_VALUE 0 host->page_idx 0
PARAM_VALUE 0 host->sg 0,4096-ptr_max
PARAM_VALUE 0 host->timeout_work.work.lockdep_map->name 0-255
PARAM_VALUE 1 reg 432
PARAM_VALUE 2 data 2
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/usdhi6rol0.c usdhi6_rq_start() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->app_cmd 0
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 0 host->chan_rx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->chan_tx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->mrq 4096-ptr_max
PARAM_VALUE 0 host->mrq->cmd 4096-ptr_max
PARAM_VALUE 0 host->mrq->data 0,4096-ptr_max
PARAM_VALUE 0 host->sg 0,4096-ptr_max
PARAM_VALUE 0 host->status2_mask 0-35711
PARAM_VALUE 0 host->status_mask 0-797
PARAM_VALUE 0 host->timeout_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 host->wait 1
PARAM_VALUE 1 reg 16
PARAM_VALUE 2 data 0,256
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
FUZZY_MAX 2 data 256
BIT_INFO 2 data 0x0,0x100
HARD_MAX 2 data 256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/usdhi6rol0.c usdhi6_rq_start() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->app_cmd 0
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 0 host->chan_rx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->chan_tx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->mrq 4096-ptr_max
PARAM_VALUE 0 host->mrq->cmd 4096-ptr_max
PARAM_VALUE 0 host->mrq->data 0,4096-ptr_max
PARAM_VALUE 0 host->sg 0,4096-ptr_max
PARAM_VALUE 0 host->status2_mask 0-35711
PARAM_VALUE 0 host->status_mask 0-797
PARAM_VALUE 0 host->timeout_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 host->wait 1
PARAM_VALUE 1 reg 8
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 data unit_byte

drivers/mmc/host/usdhi6rol0.c usdhi6_rq_start() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->app_cmd 0
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 0 host->chan_rx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->chan_tx->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->mrq 4096-ptr_max
PARAM_VALUE 0 host->mrq->cmd 4096-ptr_max
PARAM_VALUE 0 host->mrq->data 0,4096-ptr_max
PARAM_VALUE 0 host->sg 0,4096-ptr_max
PARAM_VALUE 0 host->status2_mask 0-35711
PARAM_VALUE 0 host->status_mask 0-797
PARAM_VALUE 0 host->timeout_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 host->wait 1
PARAM_VALUE 1 reg 0
PARAM_VALUE 2 data 0-u16max
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
DATA_SOURCE 2 data r usdhi6_cmd_flags
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/usdhi6rol0.c usdhi6_sd() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 0 host->status2_mask 0-35711
PARAM_VALUE 0 host->status_mask 0-797
PARAM_VALUE 1 reg 56
PARAM_VALUE 2 data 0-u16max
CAPPED_DATA 2 data 1
DATA_SOURCE 0 host $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u16max[c]
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/mmc/host/usdhi6rol0.c usdhi6_sd() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 0 host->status2_mask 0-35711
PARAM_VALUE 0 host->status_mask 0-797
PARAM_VALUE 1 reg 60
PARAM_VALUE 2 data 0-u16max
CAPPED_DATA 2 data 1
DATA_SOURCE 0 host $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u16max[c]
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/mmc/host/usdhi6rol0.c usdhi6_sd_bh() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->mrq 4096-ptr_max
PARAM_VALUE 0 host->timeout_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 host->wait 7
PARAM_VALUE 1 reg 16
PARAM_VALUE 2 data 0
DATA_SOURCE 0 host $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/usdhi6rol0.c usdhi6_sdio() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 1 reg 108
DATA_SOURCE 0 host $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/mmc/host/usdhi6rol0.c usdhi6_set_ios() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 1 reg 80
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max

drivers/mmc/host/usdhi6rol0.c usdhi6_set_ios() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 1 reg 460
PARAM_VALUE 2 data 0-1
FUZZY_MAX 2 data 1
HARD_MAX 2 data 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/usdhi6rol0.c usdhi6_sg_prep() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->app_cmd 0
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 0 host->mrq 4096-ptr_max
PARAM_VALUE 0 host->mrq->cmd 4096-ptr_max
PARAM_VALUE 0 host->mrq->data 4096-ptr_max
PARAM_VALUE 0 host->mrq->done 0,4096-ptr_max
PARAM_VALUE 0 host->page_idx 0
PARAM_VALUE 0 host->sg 0
PARAM_VALUE 0 host->timeout_work.work.lockdep_map->name 0-255
PARAM_VALUE 1 reg 20
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 data unit_array_size

drivers/mmc/host/usdhi6rol0.c usdhi6_timeout_set() -> usdhi6_write()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 0 host->mrq 4096-ptr_max
PARAM_VALUE 0 host->mrq->data 0,4096-ptr_max
PARAM_VALUE 0 host->sg 0
PARAM_VALUE 0 host->timeout_work.work.lockdep_map->name 0-255
PARAM_VALUE 1 reg 80
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 0-u32max