Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/mmc/core/mmc.c mmc_select_bus_width() -> mmc_set_bus_width()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->caps | 1-u32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->fail_mmc_request.stacktrace_depth | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | host->ios.clock |
drivers/mmc/core/sd.c mmc_sd_init_card() -> mmc_set_bus_width()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->bus_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | host->bus_ops->alive | 1906702137495691264,4100673312553930752,8240428867100008448,8536880801271664640 |
| PARAM_VALUE | 0 | host->bus_ops->cache_enabled | 0,1098733984586403840,4881299913085493248 |
| PARAM_VALUE | 0 | host->bus_ops->detect | 245931203581796352,1542872396865765376,1875366231697330176,4093061870799568896 |
| PARAM_VALUE | 0 | host->bus_ops->flush_cache | 0,3587622788017254400,7818510581524353024 |
| PARAM_VALUE | 0 | host->bus_ops->handle_undervoltage | 0,5715618764364496896 |
| PARAM_VALUE | 0 | host->bus_ops->hw_reset | 699803882447048704,1948919612921233408,5591957539113283584,7372460283402813440 |
| PARAM_VALUE | 0 | host->bus_ops->pre_suspend | 0,1083409855367589888 |
| PARAM_VALUE | 0 | host->bus_ops->remove | 2795767785232470016,4061658381353811968,4908634697295884288,8421056737440350208 |
| PARAM_VALUE | 0 | host->bus_ops->resume | 3931261325286801408,4221290554353364992,6069926845157036032,8924422233890791424 |
| PARAM_VALUE | 0 | host->bus_ops->runtime_resume | 1928456666478362624,2360134597016772608,5606383331103363072,5665944524184592384 |
| PARAM_VALUE | 0 | host->bus_ops->runtime_suspend | 3539196923992891392,3998081179798327296,4957148204940177408,5876214581270134784 |
| PARAM_VALUE | 0 | host->bus_ops->shutdown | 0,518975296561233920,3666404095795548160,4774049372095610880 |
| PARAM_VALUE | 0 | host->bus_ops->suspend | 3666404095795548160,4717438414900617216,4774049372095610880,8774612123753914368 |
| PARAM_VALUE | 0 | host->bus_ops->sw_reset | 0,227273881174773760 |
| PARAM_VALUE | 0 | host->card->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | host->card->host->debugfs_root->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | host->card->host->debugfs_root->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | host->card->host->led->brightness | 0-4294967295 |
| PARAM_VALUE | 0 | host->card->host->ongoing_mrq->uhs2_cmd.packet_len | 0,4-12 |
| PARAM_VALUE | 0 | host->card->host->ongoing_mrq->uhs2_cmd.payload_len | 0-8 |
| PARAM_VALUE | 0 | host->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex | 0-1 |
| PARAM_VALUE | 0 | host->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len | 0,4-6,8 |
| PARAM_VALUE | 0 | host->crypto_profile.lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | host->crypto_profile.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | host->ios.power_mode | 2 |
| 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.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->recovery_notifier | 0,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 | 0 | host->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->set_ios | 4096-ptr_max |
| PARAM_VALUE | 0 | *host->card->host->err_stats | 0-4294967295 |
| PARAM_VALUE | 1 | width | 2 |
| DATA_SOURCE | 0 | host | $0 |
| BIT_INFO | 0 | host->caps | 0x1,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 |
drivers/mmc/core/sd.c mmc_sd_init_uhs_card() -> mmc_set_bus_width()
| 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.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 | 0 | host->uhs2_app_cmd | 0 |
| PARAM_VALUE | 1 | width | 2 |
| NOCHECK_CALL | |||
| 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 |
drivers/mmc/core/sdio.c sdio_disable_wide() -> mmc_set_bus_width()
| 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 | width | 0 |
| BIT_INFO | 0 | host->caps | 0x1,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/mmc/core/sdio.c sdio_enable_4bit_bus() -> mmc_set_bus_width()
| 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.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 | width | 2 |
| NOCHECK_CALL | |||
| 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 |