Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/cavium.c cvm_mmc_request() -> do_write_request()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->current_req 4096-ptr_max
PARAM_VALUE 0 host->current_req->cmd 4096-ptr_max
PARAM_VALUE 0 host->mmc_serializer.first_waiter->list.next 5349227543279349760
PARAM_VALUE 0 host->mmc_serializer.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 host->mmc_serializer.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 host->mmc_serializer.first_waiter->up 0
PARAM_VALUE 0 host->mmc_serializer.lock.dep_map->name 0-255
PARAM_VALUE 0 host->mmc_serializer.lock.owner (-1)
PARAM_VALUE 0 host->mmc_serializer.lock.owner_cpu u32max
PARAM_VALUE 1 mrq 4096-ptr_max
PARAM_VALUE 1 mrq->cmd 4096-ptr_max
PARAM_VALUE 1 mrq->cmd->data 4096-ptr_max
PARAM_VALUE 1 mrq->cmd->opcode 0-17,19-24,26-u32max
BUF_SIZE 0 host->current_req (-1)-0,304
BUF_SIZE 1 mrq (-1)-0,304
BUF_SIZE 1 mrq (-1)-0,304
BUF_SIZE 1 mrq->cmd (-1),72
BUF_SIZE 1 mrq->data (-1)-0,72
BUF_SIZE 1 mrq->sbc (-1)-0,72
BUF_SIZE 1 mrq->stop (-1)-0,72
DATA_SOURCE 1 mrq $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 mrq->cmd->data->sg_count
LOCK2 0 &host->mmc_serializer
TYPE_LOCK (struct cvm_mmc_host)->mmc_serializer