Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mmc/host/sdhci.c sdhci_setup_host() -> sdhci_can_64bit_dma()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->caps | 4194304-u32max |
| BUF_SIZE | 0 | host->hw_name | (-1),4-6,8,14 |
| BUF_SIZE | 0 | host->irq | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | host->ops | (-1),256 |
| DATA_SOURCE | 0 | host | $0 |
| STR_LEN | 0 | host->hw_name | (-1),3-5,7,13 |
| BIT_INFO | 0 | host->flags | 0x0,0xffff |
| BIT_INFO | 0 | host->max_timeout_count | 0xe,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | host->caps | 4194304-u32max[c] |
| HOST_DATA | 0 | host->caps1 | 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->version | 0-u16max |