Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mmc/core/block.c mmc_blk_part_switch() -> mmc_blk_part_switch_post()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 0 | card->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | card->ext_csd.cmdq_en | 0 |
| PARAM_VALUE | 0 | card->host | 4096-ptr_max |
| PARAM_VALUE | 0 | card->host->bus_ops->hw_reset | 4096-ptr_max |
| PARAM_VALUE | 0 | card->host->led->brightness | 0-4294967295 |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->cmd_completion.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->cmd_completion.wait.lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->cmd_completion.wait.lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 0 | card->host->retune_paused | 1 |
| PARAM_VALUE | 0 | card->type | 0 |
| PARAM_VALUE | 0 | *card->host->err_stats | 0-4294967295 |
| DATA_SOURCE | 0 | card | $0 |
| DATA_SOURCE | 1 | part_type | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | card->host->fail_mmc_request.stacktrace_depth | 0-u64max |
| HALF_LOCKED2 | &dev->mutex |
drivers/mmc/core/block.c mmc_blk_part_switch() -> mmc_blk_part_switch_post()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 4096-ptr_max |
| PARAM_VALUE | 0 | card->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | card->ext_csd.cmdq_en | 0 |
| PARAM_VALUE | 0 | card->host | 4096-ptr_max |
| PARAM_VALUE | 0 | card->host->bus_ops->hw_reset | 4096-ptr_max |
| PARAM_VALUE | 0 | card->host->led->brightness | 0-4294967295 |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->cmd_completion.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->cmd_completion.wait.lock.owner | 0,(-1) |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->cmd_completion.wait.lock.owner_cpu | 0,u32max |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->cmd_completion.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 0 | card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 0 | card->host->retune_paused | 1 |
| PARAM_VALUE | 0 | card->type | 0 |
| PARAM_VALUE | 0 | *card->host->err_stats | 0-4294967295 |
| DATA_SOURCE | 0 | card | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | card->host->fail_mmc_request.stacktrace_depth | 0-u64max |
| HALF_LOCKED2 | &dev->mutex |