Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/mmc/core/block.c __mmc_blk_ioctl_cmd() -> mmc_app_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | card | 4096-ptr_max |
| PARAM_VALUE | 1 | card->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 1 | card->host | 4096-ptr_max |
| CAPPED_DATA | 1 | card->dev.driver_data->part_curr | 1 |
| DATA_SOURCE | 1 | card | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | host->card->host->private->def_tune_para | s32min-s32max |
| HOST_DATA | 0 | host->card->host->private->def_tune_para->emmc_top_cmd | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->def_tune_para->emmc_top_control | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->def_tune_para->iocon | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->def_tune_para->pad_cmd_tune | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->def_tune_para->pad_tune | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->saved_tune_para | s32min-s32max |
| HOST_DATA | 0 | host->card->host->private->saved_tune_para->emmc_top_cmd | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->saved_tune_para->emmc_top_control | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->saved_tune_para->iocon | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->saved_tune_para->pad_cmd_tune | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->saved_tune_para->pad_tune | 0-4294967295 |
| HALF_LOCKED2 | __tag_set->srcu | ||
| HALF_LOCKED2 | rcu_read |
drivers/mmc/core/block.c mmc_sd_num_wr_blocks() -> mmc_app_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->led->brightness | 0-4294967295 |
| PARAM_VALUE | 0 | host->ongoing_mrq->cmd_completion.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->ongoing_mrq->cmd_completion.wait.lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | host->ongoing_mrq->cmd_completion.wait.lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | host->ongoing_mrq->cmd_completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ongoing_mrq->cmd_completion.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 0 | host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 0 | host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 0 | host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 1 | card | 4096-ptr_max |
| PARAM_VALUE | 1 | card->host | 4096-ptr_max |
| PARAM_VALUE | 1 | card->host->led->brightness | 0-4294967295 |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->cmd_completion.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->cmd_completion.wait.lock.owner | 0,(-1) |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->cmd_completion.wait.lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 1 | card->type | 1 |
| DATA_SOURCE | 1 | card | $0 |
| BIT_INFO | 1 | card->state | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mq->complete_lock | ||
| HALF_LOCKED2 | &pool->lock |
drivers/mmc/core/sd_ops.c mmc_app_sd_status() -> mmc_app_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host->card | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->led->brightness | 0-4294967295 |
| PARAM_VALUE | 0 | host->ongoing_mrq->cmd_completion.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->ongoing_mrq->cmd_completion.wait.lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | host->ongoing_mrq->cmd_completion.wait.lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | host->ongoing_mrq->cmd_completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ongoing_mrq->cmd_completion.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ongoing_mrq->done | 0,429396076522299392,6569461247470579712,7038937104643203072,8039316214707961856,8283609542540963840 |
| PARAM_VALUE | 0 | host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 0 | host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 0 | host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 0 | host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 0 | host->private->pcr->pcr_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | host->private->ucr->dev_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | card | 4096-ptr_max |
| PARAM_VALUE | 1 | card->erased_byte | 0,255 |
| PARAM_VALUE | 1 | card->host->card | 0,4096-ptr_max |
| PARAM_VALUE | 1 | card->host->led->brightness | 0-4294967295 |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->cmd_completion.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->cmd_completion.wait.lock.owner | 0,(-1) |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->cmd_completion.wait.lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->done | 0,429396076522299392,6569461247470579712,7038937104643203072,8039316214707961856,8283609542540963840 |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 1 | card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 1 | card->host->private->pcr->pcr_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | card->host->private->ucr->dev_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | card->scr.bus_widths | 0-15 |
| PARAM_VALUE | 1 | card->scr.cmds | 0-15 |
| PARAM_VALUE | 1 | card->scr.sda_spec3 | 0-1 |
| PARAM_VALUE | 1 | card->scr.sda_spec4 | 0-1 |
| PARAM_VALUE | 1 | card->scr.sda_specx | 0-15 |
| PARAM_VALUE | 1 | card->scr.sda_vsn | 0-15 |
| DATA_SOURCE | 1 | card | $0 |
| BIT_INFO | 1 | card->csd.cmdclass | 0x100,0xffff |
drivers/mmc/core/sd_ops.c mmc_app_send_scr() -> mmc_app_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host->debugfs_root->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | host->debugfs_root->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | host->parent->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | *host->err_stats | 0-4294967295 |
| PARAM_VALUE | 1 | card | 4096-ptr_max |
| PARAM_VALUE | 1 | card->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | card->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | card->host->debugfs_root->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | card->host->debugfs_root->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | card->host->parent->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 1 | *card->host->err_stats | 0-4294967295 |
| PARAM_VALUE | 1 | *card->raw_csd | 0-4294967295 |
| PARAM_VALUE | 1 | *card->raw_ssr | 0-4294967295 |
| BUF_SIZE | 1 | card | (-1),2576 |
| BUF_SIZE | 1 | card | (-1),2576 |
| BUF_SIZE | 1 | card->dev.type | (-1),48 |
| DATA_SOURCE | 1 | card | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | host->fail_mmc_request.stacktrace_depth | 0-u64max |
| HOST_DATA | 1 | card->host->fail_mmc_request.stacktrace_depth | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | host->ios.clock | |
| NO_OVERFLOW_SIMPLE | 1 | card->host->ios.clock | |
| HALF_LOCKED2 | &pool->lock |
drivers/mmc/core/sd_ops.c mmc_wait_for_app_cmd() -> mmc_app_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host->parent->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | *host->card->host->err_stats | 0-4294967295 |
| PARAM_VALUE | 0 | *host->err_stats | 0-4294967295 |
| PARAM_VALUE | 1 | card | 0,4096-ptr_max |
| PARAM_VALUE | 1 | card->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | card->host->parent->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 1 | *card->host->err_stats | 0-4294967295 |
| PARAM_VALUE | 1 | *card->raw_csd | 0-4294967295 |
| PARAM_VALUE | 1 | *card->raw_ssr | 0-4294967295 |
| BUF_SIZE | 1 | card | (-1),2576 |
| BUF_SIZE | 1 | card | (-1),2576 |
| BUF_SIZE | 1 | card->dev.type | (-1),48 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | card | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | host->card->host->private->def_tune_para | s32min-s32max |
| HOST_DATA | 0 | host->card->host->private->def_tune_para->emmc_top_cmd | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->def_tune_para->emmc_top_control | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->def_tune_para->iocon | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->def_tune_para->pad_cmd_tune | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->def_tune_para->pad_tune | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->saved_tune_para | s32min-s32max |
| HOST_DATA | 0 | host->card->host->private->saved_tune_para->emmc_top_cmd | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->saved_tune_para->emmc_top_control | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->saved_tune_para->iocon | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->saved_tune_para->pad_cmd_tune | 0-4294967295 |
| HOST_DATA | 0 | host->card->host->private->saved_tune_para->pad_tune | 0-4294967295 |
| HOST_DATA | 0 | host->fail_mmc_request.stacktrace_depth | 0-u64max |
| HOST_DATA | 1 | card->host->fail_mmc_request.stacktrace_depth | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | host->ios.clock | |
| NO_OVERFLOW_SIMPLE | 1 | card->host->ios.clock |