Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mmc/core/block.c mmc_pre_req() -> (struct mmc_host_ops)->pre_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmc | 4096-ptr_max |
| PARAM_VALUE | 0 | mmc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | mmc->ops->pre_req | 1-u64max |
| PARAM_VALUE | 1 | mrq | 4096-ptr_max |
| PARAM_VALUE | 1 | mrq->cmd | 4096-ptr_max |
| PARAM_VALUE | 1 | mrq->data | 4096-ptr_max |
| PARAM_VALUE | 1 | mrq->done | 429396076522299392,6569461247470579712 |
| PARAM_VALUE | 1 | mrq->host | 0 |
| PARAM_VALUE | 1 | mrq->sbc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | mrq->stop | 0,4096-ptr_max |
| DATA_SOURCE | 0 | mmc | $0 |
| DATA_SOURCE | 1 | mrq | $1 |
| CONTAINER | 0 | -8-1632+0 | $(-1) |
| MEM_ZERO | 1 | mrq | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | __tag_set->srcu | ||
| HALF_LOCKED2 | rcu_read |
drivers/mmc/core/sdio_ops.c mmc_pre_req() -> (struct mmc_host_ops)->pre_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mmc | 4096-ptr_max |
| PARAM_VALUE | 0 | mmc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | mmc->ops->pre_req | 1-u64max |
| PARAM_VALUE | 0 | mmc->parent->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | mmc->parent->iommu_group->default_domain | 0-s64max |
| 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 | 1 | mrq | 7184142131533189120 |
| PARAM_VALUE | 1 | mrq->cmd | 5926829667471589376 |
| PARAM_VALUE | 1 | mrq->completion.wait.lock.magic | 0 |
| PARAM_VALUE | 1 | mrq->data | 3663405608063217664 |
| PARAM_VALUE | 1 | mrq->done | 0 |
| PARAM_VALUE | 1 | mrq->host | 0 |
| PARAM_VALUE | 1 | mrq->sbc | 0 |
| PARAM_VALUE | 1 | mrq->stop | 0 |
| PARAM_VALUE | 1 | mrq->tag | 0 |
| DATA_SOURCE | 0 | mmc | $0 |
| DATA_SOURCE | 1 | mrq | $1 |
| CONTAINER | 0 | -8-1632+0 | $(-1) |
| 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_pre_req() -> (struct mmc_host_ops)->pre_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->pre_req | 1-u64max |
| PARAM_VALUE | 1 | mrq | 4096-ptr_max |
| PARAM_VALUE | 1 | mrq->cmd_completion.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | mrq->cmd_completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | mrq->cmd_completion.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | mrq->completion.done | 0 |
| PARAM_VALUE | 1 | mrq->completion.wait.lock.magic | 3735899821 |
| 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.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | mrq->completion.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | mrq->completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | mrq->completion.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | mrq->data->flags | 0,256,512,4352,4608,8448,8704,12544,12800 |
| PARAM_VALUE | 1 | mrq->done | 8283609542540963840 |
| PARAM_VALUE | 1 | mrq->sbc->arg | 0,2-u32max |
| PARAM_VALUE | 1 | mrq->sbc->error | 0 |
| PARAM_VALUE | 1 | mrq->sbc->flags | 0,21 |
| PARAM_VALUE | 1 | mrq->sbc->mrq | 0,4096-ptr_max |
| PARAM_VALUE | 1 | mrq->sbc->mrq->sbc | 4096-ptr_max |
| PARAM_VALUE | 1 | mrq->sbc->opcode | 0,23 |
| BUF_SIZE | 1 | mrq | 0,304 |
| BUF_SIZE | 1 | mrq | 0,304 |
| BUF_SIZE | 1 | mrq->sbc | (-1),72 |
| DATA_SOURCE | 0 | mmc | $0 |
| DATA_SOURCE | 1 | mrq | $1 |
| CONTAINER | 0 | -8-1632+0 | $(-1) |
| NOCHECK_CALL | |||
| LOCK2 | global &mmc_test_lock |