Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mmc/host/sdhci.c __sdhci_read_caps() -> sdhci_do_enable_v4_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->enable_dma | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->read_l | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->read_w | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->write_l | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->preset_enabled | 0 |
| PARAM_VALUE | 0 | host->private->chip->pdev->is_busmaster | 1 |
| PARAM_VALUE | 0 | host->read_caps | 1 |
| PARAM_VALUE | 0 | host->v4_mode | 1 |
| PARAM_VALUE | 0 | *host->mmc->err_stats | 0-4294967295 |
| DATA_SOURCE | 0 | host | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->mmc->f_max | 0[c] |
| HOST_DATA | 0 | host->mmc->max_busy_timeout | 0[c] |
| HOST_DATA | 0 | host->version | 0-u16max |
drivers/mmc/host/sdhci.c sdhci_enable_v4_mode() -> sdhci_do_enable_v4_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->adma_table_cnt | 257-385 |
| PARAM_VALUE | 0 | host->complete_work_fn | 2999890127905411072 |
| PARAM_VALUE | 0 | host->cqe_err_ier | 50266112 |
| PARAM_VALUE | 0 | host->cqe_ier | 50282496 |
| PARAM_VALUE | 0 | host->flags | 0,16384,32768 |
| PARAM_VALUE | 0 | host->max_adma | 65536 |
| PARAM_VALUE | 0 | host->max_timeout_count | 14 |
| PARAM_VALUE | 0 | host->mmc | 4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->platform_execute_tuning | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->read_b | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->read_l | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->read_w | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->write_l | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->thread_irq_fn | 690343882305114112 |
| PARAM_VALUE | 0 | host->tuning_delay | (-1) |
| PARAM_VALUE | 0 | host->tuning_loop_count | 40 |
| PARAM_VALUE | 0 | host->v4_mode | 1 |
| PARAM_VALUE | 0 | *host->mmc->err_stats | 0-4294967295 |
| DATA_SOURCE | 0 | host | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->version | 0-u16max |
drivers/mmc/host/sdhci.c sdhci_init() -> sdhci_do_enable_v4_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->mmc->cqe_ops->cqe_disable | 4068934353236983808,6336699593261330432 |
| PARAM_VALUE | 0 | host->mmc->cqe_ops->cqe_enable | 2353700470644682752,4438057033843765248 |
| PARAM_VALUE | 0 | host->mmc->cqe_ops->cqe_off | 0,1278036848093978624 |
| PARAM_VALUE | 0 | host->mmc->cqe_ops->cqe_post_req | 69112578807832576,761825445855023104 |
| PARAM_VALUE | 0 | host->mmc->cqe_ops->cqe_recovery_finish | 798511935148539904,4118204743152734208 |
| PARAM_VALUE | 0 | host->mmc->cqe_ops->cqe_recovery_start | 92399166401212416,7299643949535535104 |
| PARAM_VALUE | 0 | host->mmc->cqe_ops->cqe_request | 3947029797050339328,8004223914298208256 |
| PARAM_VALUE | 0 | host->mmc->cqe_ops->cqe_timeout | 0,7076973505839443968 |
| PARAM_VALUE | 0 | host->mmc->cqe_ops->cqe_wait_for_idle | 8134864024895033344,8850574933161476096 |
| PARAM_VALUE | 0 | host->ops->enable_dma | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->hw_reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->platform_execute_tuning | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->read_b | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->read_l | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->read_w | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->set_timeout | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->write_l | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->ops->write_w | 0,4096-ptr_max |
| PARAM_VALUE | 0 | host->preset_enabled | 0 |
| PARAM_VALUE | 0 | host->private->chip->pdev->is_busmaster | 1 |
| PARAM_VALUE | 0 | host->v4_mode | 1 |
| PARAM_VALUE | 0 | *host->mmc->err_stats | 0-4294967295 |
| BUF_SIZE | 0 | host | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | host | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | host->complete_wq | (-1),512,528-8720 |
| DATA_SOURCE | 0 | host | $0 |
| STR_LEN | 0 | host->hw_name | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->mmc->f_max | 0[c] |
| HOST_DATA | 0 | host->mmc->max_busy_timeout | 0[c] |
| UNITS | 0 | host | unit_byte |