Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/mmc/host/sdhci-uhs2.c sdhci_uhs2_reset_cmd_data() -> sdhci_do_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->cmd | 0 |
| PARAM_VALUE | 0 | host->data_cmd | 0 |
| PARAM_VALUE | 0 | host->mmc->ios.timing | 13-16 |
| PARAM_VALUE | 0 | host->mrqs_done | 4096-ptr_max |
| PARAM_VALUE | 0 | *host->mmc->err_stats | 0-4294967295 |
| PARAM_VALUE | 1 | mask | 6 |
| DATA_SOURCE | 0 | host | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &host->lock | |
| TYPE_LOCK | (struct sdhci_host)->lock |
drivers/mmc/host/sdhci.c sdhci_reset_for_all() -> sdhci_do_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->led.dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | host->led.dev->dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | host->led.dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | host->led.dev->dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | host->led.dev->dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | host->led.dev->dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | host->led.dev->kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | host->led.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | host->led.dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | host->led.trigger_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | host->led.trigger_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | host->mmc->class_dev.power.wakeirq->status | 0-4294967295 |
| 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->mmc->crypto_profile.lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | host->mmc->crypto_profile.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | host->mmc->parent->cma_area->nranges | s32min-s32max |
| 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->mmc->err_stats | 0-4294967295 |
| PARAM_VALUE | 1 | mask | 1 |
| 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 | |||
| 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 |
| NO_OVERFLOW_SIMPLE | 0 | host->led.blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 0 | host->led.blink_delay_on | |
| UNITS | 0 | host | unit_byte |
drivers/mmc/host/sdhci.c sdhci_reset_for_reason() -> sdhci_do_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | mask | 6 |
| BUF_SIZE | 0 | host | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | host | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | host | $0 |
| STR_LEN | 0 | host->hw_name | (-1) |
| BIT_INFO | 0 | host->quirks2 | 0x80000,0xffffffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->ier | 0-u32max[c] |
| HOST_DATA | 0 | host->sg_miter.consumed | 0-u32max[c] |
| HOST_DATA | 0 | host->thread_isr | 0-u32max[c] |
| UNITS | 0 | host | unit_byte |
| HALF_LOCKED2 | &host->lock | ||
| HALF_LOCKED2 | flags |
drivers/mmc/host/sdhci.c sdhci_reset_for_reason() -> sdhci_do_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | mask | 6 |
| BUF_SIZE | 0 | host | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | host | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | host | $0 |
| STR_LEN | 0 | host->hw_name | (-1) |
| BIT_INFO | 0 | host->quirks2 | 0x0,0xfff7ffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | host | unit_byte |
drivers/mmc/host/sdhci.c sdhci_reset_for_reason() -> sdhci_do_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | mask | 2 |
| DATA_SOURCE | 0 | host | $0 |
| STR_LEN | 0 | host->hw_name | (-1) |
| BIT_INFO | 0 | host->quirks2 | 0x0,0xfff7ffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->ier | 0-u32max[c] |
| HOST_DATA | 0 | host->sg_miter.consumed | 0-u32max[c] |
| HOST_DATA | 0 | host->thread_isr | 0-u32max[c] |
| HALF_LOCKED2 | &host->lock | ||
| HALF_LOCKED2 | flags |
drivers/mmc/host/sdhci.c sdhci_reset_for_reason() -> sdhci_do_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | mask | 4 |
| DATA_SOURCE | 0 | host | $0 |
| STR_LEN | 0 | host->hw_name | (-1) |
| BIT_INFO | 0 | host->quirks2 | 0x0,0xfff7ffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->ier | 0-u32max[c] |
| HOST_DATA | 0 | host->mmc->f_max | 0[c] |
| HOST_DATA | 0 | host->mmc->max_busy_timeout | 0[c] |
| HOST_DATA | 0 | host->sg_miter.consumed | 0-u32max[c] |
| HOST_DATA | 0 | host->thread_isr | 0-u32max[c] |
| HALF_LOCKED2 | &host->lock | ||
| HALF_LOCKED2 | flags |
drivers/mmc/host/sdhci.c sdhci_reset_for_reason() -> sdhci_do_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->cmd | 1-u64max |
| PARAM_VALUE | 0 | host->data | 0 |
| PARAM_VALUE | 0 | host->data_cmd | 0 |
| PARAM_VALUE | 0 | host->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | mask | 4 |
| CAPPED_DATA | 0 | host->cmd | 1 |
| DATA_SOURCE | 0 | host | $0 |
| STR_LEN | 0 | host->hw_name | (-1) |
| BIT_INFO | 0 | host->quirks2 | 0x0,0xfff7ffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->ier | 0-u32max[c] |
| HOST_DATA | 0 | host->sg_miter.consumed | 0-u32max[c] |
| HOST_DATA | 0 | host->thread_isr | 0-u32max[c] |
| LOCK2 | &host->lock | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct sdhci_host)->lock |