Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mmc/host/omap_hsmmc.c hsmmc_command_incomplete() -> omap_hsmmc_reset_controller_fsm()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->mmc->sdio_irq_thread->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | host->mmc->sdio_irq_thread->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | host->mmc->sdio_irq_thread->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 0 | host->mmc->sdio_irq_thread->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | host->mmc->sdio_irq_thread->sched_task_group->parent | 0-s64max |
| PARAM_VALUE | 0 | host->mmc->sdio_irq_thread->sched_task_group->shares | 0-s64max |
| PARAM_VALUE | 0 | host->req_in_progress | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | host->response_busy | 0 |
| PARAM_VALUE | 1 | bit | 33554432 |
| DATA_SOURCE | 0 | host | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags |
drivers/mmc/host/omap_hsmmc.c hsmmc_command_incomplete() -> omap_hsmmc_reset_controller_fsm()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->data | 1-u64max |
| PARAM_VALUE | 0 | host->mmc->sdio_irq_thread->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | host->mmc->sdio_irq_thread->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | host->mmc->sdio_irq_thread->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 0 | host->mmc->sdio_irq_thread->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | host->mmc->sdio_irq_thread->sched_task_group->parent | 0-s64max |
| PARAM_VALUE | 0 | host->mmc->sdio_irq_thread->sched_task_group->shares | 0-s64max |
| PARAM_VALUE | 0 | host->req_in_progress | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | host->response_busy | 0 |
| PARAM_VALUE | 1 | bit | 67108864 |
| DATA_SOURCE | 0 | host | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags |