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_hw_reset() -> mmc_set_initial_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->bus_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | host->card | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->card_hw_reset | 1-u64max |
| PARAM_VALUE | 0 | host->ops->set_ios | 4096-ptr_max |
| CAPPED_DATA | 0 | host->f_init | 1 |
| DATA_SOURCE | 0 | host | $0 |
| BIT_INFO | 0 | host->caps | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &mmc_test_lock |
drivers/mmc/core/core.c mmc_power_off() -> mmc_set_initial_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 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.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | host->card->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | host->card->dev.power.wakeirq->status | 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->parent->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | host->class_dev.dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | host->class_dev.dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | host->class_dev.dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | host->class_dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| 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.clock | 0 |
| PARAM_VALUE | 0 | host->ios.power_mode | 0 |
| PARAM_VALUE | 0 | host->ios.vdd | 0 |
| PARAM_VALUE | 0 | host->parent->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | host->pwrseq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *host->card->host->err_stats | 0-4294967295 |
| BUF_SIZE | 0 | host | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | host | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | host->ops | (-1),216 |
| DATA_SOURCE | 0 | host | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->card->host->fail_mmc_request.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->fail_mmc_request.stacktrace_depth | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | host->ios.clock | |
| NO_OVERFLOW_SIMPLE | 0 | host->supply.vqmmc2->rdev->mutex.ctx->deadlock_inject_countdown | |
| NO_OVERFLOW_SIMPLE | 0 | host->supply.vqmmc2->rdev->mutex.ctx->deadlock_inject_interval | |
| UNITS | 0 | host | unit_byte |
drivers/mmc/core/core.c mmc_power_up() -> mmc_set_initial_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 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.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | host->card->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | host->card->dev.power.wakeirq->status | 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->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 | 1 |
| PARAM_VALUE | 0 | host->ios.vdd | 0-31,u16max |
| PARAM_VALUE | 0 | host->parent->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | host->pwrseq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *host->card->host->err_stats | 0-4294967295 |
| DATA_SOURCE | 0 | host | $0 |
| BIT_INFO | 0 | host->ios.vdd | 0x0,0x1f |
| 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 | |
| NO_OVERFLOW_SIMPLE | 0 | host->supply.vqmmc2->rdev->mutex.ctx->deadlock_inject_countdown | |
| NO_OVERFLOW_SIMPLE | 0 | host->supply.vqmmc2->rdev->mutex.ctx->deadlock_inject_interval |
drivers/mmc/core/sdio.c mmc_sdio_sw_reset() -> mmc_set_initial_state()
| 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->sw_reset | 227273881174773760 |
| 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->ios.chip_select | 0-1 |
| 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->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->set_ios | 4096-ptr_max |
| PARAM_VALUE | 0 | host->private->pcr->pcr_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | host->private->pcr->pcr_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | host->private->ucr->dev_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | host->private->ucr->dev_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | host->uhs2_app_cmd | 0 |
| PARAM_VALUE | 0 | host->use_spi_crc | 0 |
| PARAM_VALUE | 0 | *host->card->host->err_stats | 0-4294967295 |
| CAPPED_DATA | 0 | host->f_init | 1 |
| DATA_SOURCE | 0 | host | $0 |
| NOCHECK_CALL |