Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/tmio_mmc_core.c tmio_mmc_start_dma() -> (struct tmio_mmc_dma_ops)->start()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->data 4096-ptr_max
PARAM_VALUE 0 host->data->flags 0,256,512,4352,4608,8448,8704,12544,12800
PARAM_VALUE 0 host->data->sg_count 0-s32max
PARAM_VALUE 0 host->dma_on 0
PARAM_VALUE 0 host->dma_ops 4096-ptr_max
PARAM_VALUE 0 host->dma_ops->end 0,4096-ptr_max
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->sg_off 0
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 1 data->flags 0,256,512,4352,4608,8448,8704,12544,12800
PARAM_VALUE 1 data->sg_count 0-s32max
BUF_SIZE 0 host->data (-1)-0,72
BUF_SIZE 0 host->mrq (-1)-0,304
BUF_SIZE 1 data (-1)-0,72
BUF_SIZE 1 data (-1)-0,72
DATA_SOURCE 0 host $0
DATA_SOURCE 1 data $1
CONTAINER 0 -0-1056+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 host->data->sg_count
NO_OVERFLOW_SIMPLE 1 data->sg_count
HALF_LOCKED2 &pool->lock