Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/core/block.c mmc_post_req() -> (struct mmc_host_ops)->post_req()

Type Parameter Key Value
PARAM_VALUE 0 mmc 4096-ptr_max
PARAM_VALUE 0 mmc->bus_ops->alive 4096-ptr_max
PARAM_VALUE 0 mmc->bus_ops->detect 4096-ptr_max
PARAM_VALUE 0 mmc->bus_ops->remove 4096-ptr_max
PARAM_VALUE 0 mmc->bus_ops->resume 4096-ptr_max
PARAM_VALUE 0 mmc->bus_ops->suspend 4096-ptr_max
PARAM_VALUE 0 mmc->ops 4096-ptr_max
PARAM_VALUE 0 mmc->ops->post_req 1-u64max
PARAM_VALUE 0 mmc->sdio_irq_thread->sched_class->set_cpus_allowed 0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE 0 *mmc->card->host->err_stats 0-4294967295
PARAM_VALUE 1 mrq 4096-ptr_max
BUF_SIZE 1 mrq (-1),304
BUF_SIZE 1 mrq (-1),304
DATA_SOURCE 0 mmc $0
DATA_SOURCE 1 mrq $1
DATA_SOURCE 2 err $2
CONTAINER 0 -0-1632+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 err

drivers/mmc/core/sdio_ops.c mmc_post_req() -> (struct mmc_host_ops)->post_req()

Type Parameter Key Value
PARAM_VALUE 0 mmc 4096-ptr_max
PARAM_VALUE 0 mmc->card 0,4096-ptr_max
PARAM_VALUE 0 mmc->card->host->led->brightness 0-4294967295
PARAM_VALUE 0 mmc->card->host->ongoing_mrq->uhs2_cmd.packet_len 0,4-12
PARAM_VALUE 0 mmc->card->host->ongoing_mrq->uhs2_cmd.payload_len 0-8
PARAM_VALUE 0 mmc->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex 0-1
PARAM_VALUE 0 mmc->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len 0,4-6,8
PARAM_VALUE 0 mmc->led->brightness 0-4294967295
PARAM_VALUE 0 mmc->ongoing_mrq->cmd_completion.done 0,u32max
PARAM_VALUE 0 mmc->ongoing_mrq->cmd_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 mmc->ongoing_mrq->cmd_completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mmc->ongoing_mrq->cmd_completion.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 mmc->ongoing_mrq->uhs2_cmd.packet_len 0,4-12
PARAM_VALUE 0 mmc->ongoing_mrq->uhs2_cmd.payload_len 0-8
PARAM_VALUE 0 mmc->ongoing_mrq->uhs2_cmd.tmode_half_duplex 0-1
PARAM_VALUE 0 mmc->ongoing_mrq->uhs2_cmd.uhs2_resp_len 0,4-6,8
PARAM_VALUE 0 mmc->ops 4096-ptr_max
PARAM_VALUE 0 mmc->ops->post_req 1-u64max
PARAM_VALUE 0 mmc->parent->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 mmc->parent->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 mmc->parent->iommu_group->default_domain 0-s64max
PARAM_VALUE 0 mmc->private->cookie s32min-s32max
PARAM_VALUE 0 mmc->private->cookie_sg_count (-22),0-s32max
PARAM_VALUE 0 mmc->private->dev->dma_uses_io_tlb 0-1
PARAM_VALUE 0 mmc->private->dma_len 1-4294967295
PARAM_VALUE 0 mmc->private->next_data.cookie s32min-s32max
PARAM_VALUE 0 mmc->private->next_data.dma_len 0-s32max
PARAM_VALUE 0 mmc->private->pcr->pci->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 0 mmc->private->pcr->pci->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 mmc->private->pcr->pcr_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 mmc->private->pcr->pcr_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 mmc->private->pdev->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 0 mmc->private->sg_count s32min-s32max
PARAM_VALUE 0 mmc->private->ucr->dev_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 mmc->private->ucr->dev_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 mmc->sdio_irq_thread->delays->blkio_count 0-4294967295
PARAM_VALUE 0 mmc->sdio_irq_thread->kcov->mode 0-4294967295
PARAM_VALUE 0 mmc->sdio_irq_thread->kcov->remote 0-1
PARAM_VALUE 0 mmc->sdio_irq_thread->kcov->remote_size 0-4294967295
PARAM_VALUE 0 mmc->sdio_irq_thread->kcov_remote->mode 0-4294967295
PARAM_VALUE 0 mmc->sdio_irq_thread->kcov_remote->remote 0-1
PARAM_VALUE 0 mmc->sdio_irq_thread->kcov_remote->remote_size 0-4294967295
PARAM_VALUE 0 mmc->sdio_irq_thread->sched_class->set_cpus_allowed 0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE 0 mmc->sdio_irq_thread->sched_task_group->idle s32min-s32max
PARAM_VALUE 0 mmc->sdio_irq_thread->thread_pid->attr->exit_code s32min-s32max
PARAM_VALUE 0 *mmc->card->host->err_stats 0-4294967295
PARAM_VALUE 1 mrq 7184142131533189120
PARAM_VALUE 1 mrq->cmd 5926829667471589376
PARAM_VALUE 1 mrq->cmd_completion.done 0,u32max
PARAM_VALUE 1 mrq->cmd_completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 mrq->cmd_completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 mrq->completion.wait.lock.owner (-1)
PARAM_VALUE 1 mrq->completion.wait.lock.owner_cpu u32max
PARAM_VALUE 1 mrq->completion.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 mrq->completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 mrq->data 3663405608063217664
PARAM_VALUE 1 mrq->done 8039316214707961856
PARAM_VALUE 1 mrq->host 0
PARAM_VALUE 1 mrq->sbc 0
PARAM_VALUE 1 mrq->stop 0
PARAM_VALUE 1 mrq->tag 0
PARAM_VALUE 1 mrq->uhs2_cmd.packet_len 0,4-12
PARAM_VALUE 1 mrq->uhs2_cmd.payload_len 0-8
PARAM_VALUE 2 err (-34),(-22),(-5),0
DATA_SOURCE 0 mmc $0
DATA_SOURCE 1 mrq $1
DATA_SOURCE 2 err $2
CONTAINER 0 -0-1632+0 $(-1)
HARD_MAX 2 err 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 mmc->fail_mmc_request.stacktrace_depth 0-u64max

drivers/mmc/core/mmc_test.c mmc_post_req() -> (struct mmc_host_ops)->post_req()

Type Parameter Key Value
PARAM_VALUE 0 mmc 4096-ptr_max
PARAM_VALUE 0 mmc->claimed 1
PARAM_VALUE 0 mmc->claimer 1-u64max
PARAM_VALUE 0 mmc->ops 4096-ptr_max
PARAM_VALUE 0 mmc->ops->post_req 1-u64max
PARAM_VALUE 0 mmc->sdio_irq_thread->sched_class->set_cpus_allowed 0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE 0 *mmc->card->host->err_stats 0-4294967295
PARAM_VALUE 1 mrq 4096-ptr_max
PARAM_VALUE 1 mrq->completion.done 0-4294967293,u32max
PARAM_VALUE 1 mrq->completion.wait.lock.owner (-1)
PARAM_VALUE 1 mrq->completion.wait.lock.owner_cpu u32max
PARAM_VALUE 1 mrq->completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 mrq->completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 mrq->done 8283609542540963840
BUF_SIZE 1 mrq 0,304
BUF_SIZE 1 mrq 0,304
BUF_SIZE 1 mrq->sbc (-1),72
CAPPED_DATA 1 mrq 1
DATA_SOURCE 0 mmc $0
DATA_SOURCE 1 mrq $1
DATA_SOURCE 2 err $2
CONTAINER 0 -0-1632+0 $(-1)
NOCHECK_CALL
LOCK2 global &mmc_test_lock

drivers/mmc/host/mmc_hsq.c mmc_hsq_post_req() -> (struct mmc_host_ops)->post_req()

Type Parameter Key Value
PARAM_VALUE 0 mmc 4096-ptr_max
PARAM_VALUE 0 mmc->cqe_ops 4096-ptr_max
PARAM_VALUE 0 mmc->cqe_ops->cqe_post_req 69112578807832576,761825445855023104
PARAM_VALUE 0 mmc->ops 4096-ptr_max
PARAM_VALUE 0 mmc->ops->post_req 1-u64max
PARAM_VALUE 1 mrq 4096-ptr_max
PARAM_VALUE 2 err 0
BUF_SIZE 1 mrq 304
DATA_SOURCE 0 mmc $0
DATA_SOURCE 1 mrq $1
CONTAINER 0 -0-1632+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL