Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mmc/host/usdhi6rol0.c usdhi6_end_cmd() -> usdhi6_stop_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->dma_active | 1 |
| PARAM_VALUE | 0 | host->io_error | 0 |
| PARAM_VALUE | 0 | host->mrq | 4096-ptr_max |
| PARAM_VALUE | 0 | host->mrq->cmd | 4096-ptr_max |
| PARAM_VALUE | 0 | host->mrq->data | 4096-ptr_max |
| PARAM_VALUE | 0 | host->mrq->stop | 1-u64max |
| PARAM_VALUE | 0 | host->timeout_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->wait | 1 |
| PARAM_VALUE | 0 | *host->mrq->cmd->resp | 0-4294967295 |
| DATA_SOURCE | 0 | host | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |
drivers/mmc/host/usdhi6rol0.c usdhi6_sd_bh() -> usdhi6_stop_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->mrq | 4096-ptr_max |
| PARAM_VALUE | 0 | host->mrq->stop | 4096-ptr_max |
| PARAM_VALUE | 0 | host->mrq->stop->error | 0 |
| PARAM_VALUE | 0 | host->timeout_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | host->wait | 0-3,6,8 |
| PARAM_VALUE | 0 | *host->bounce_buf | 0-255 |
| PARAM_VALUE | 0 | *host->mrq->cmd->resp | 0-4294967295 |
| DATA_SOURCE | 0 | host | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |