Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/cqhci-core.c cqhci_request() -> cqhci_post_req()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->cqe_on 1
PARAM_VALUE 0 host->cqe_ops 4096-ptr_max
PARAM_VALUE 0 host->cqe_private 4096-ptr_max
PARAM_VALUE 0 host->cqe_private->dcmd_slot 0,31
PARAM_VALUE 0 host->cqe_private->ops 4096-ptr_max
PARAM_VALUE 0 host->cqe_private->task_desc_len 0,8,16
PARAM_VALUE 0 host->retune_now 0
PARAM_VALUE 0 host->sdio_irq_thread->sched_class->set_cpus_allowed 0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE 1 mrq 4096-ptr_max
PARAM_VALUE 1 mrq->cmd 0,4096-ptr_max
PARAM_VALUE 1 mrq->cmd->data->flags 0,256,512,4352,4608,8448,8704,12544,12800
PARAM_VALUE 1 mrq->cmd->data->sg_count 0-s32max
PARAM_VALUE 1 mrq->cmd->error 0
PARAM_VALUE 1 mrq->cmd->mrq 4096-ptr_max
PARAM_VALUE 1 mrq->cmd->mrq->cmd 4096-ptr_max
PARAM_VALUE 1 mrq->data 0,4096-ptr_max
PARAM_VALUE 1 mrq->data->error 0
PARAM_VALUE 1 mrq->data->flags 0,256,512,4352,4608,8448,8704,12544,12800
PARAM_VALUE 1 mrq->data->mrq 4096-ptr_max
PARAM_VALUE 1 mrq->data->mrq->data 4096-ptr_max
PARAM_VALUE 1 mrq->data->stop 1-u64max
PARAM_VALUE 1 mrq->done 429396076522299392,7038937104643203072
PARAM_VALUE 1 mrq->host 4096-ptr_max
PARAM_VALUE 1 mrq->host->retune_now 0
PARAM_VALUE 1 mrq->sbc 0,4096-ptr_max
PARAM_VALUE 1 mrq->sbc->error 0
PARAM_VALUE 1 mrq->sbc->mrq 4096-ptr_max
PARAM_VALUE 1 mrq->sbc->mrq->sbc 4096-ptr_max
PARAM_VALUE 1 mrq->stop->error 0
PARAM_VALUE 1 mrq->stop->mrq 4096-ptr_max
PARAM_VALUE 1 mrq->stop->mrq->data 4096-ptr_max
PARAM_VALUE 1 mrq->stop->mrq->stop 4096-ptr_max
DATA_SOURCE 0 host $0
DATA_SOURCE 1 mrq $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

drivers/mmc/core/core.c mmc_cqe_post_req() -> (struct mmc_cqe_ops)->cqe_post_req()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->cqe_ops 4096-ptr_max
PARAM_VALUE 0 host->cqe_ops->cqe_post_req 69112578807832576,761825445855023104
PARAM_VALUE 1 mrq 4096-ptr_max
BUF_SIZE 1 mrq 304
DATA_SOURCE 0 host $0
DATA_SOURCE 1 mrq $1
CONTAINER 0 -24-2840+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL