Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/mmc/host/sdhci-of-dwcmshc.c
- drivers/mmc/host/sdhci-of-ma35d1.c
- drivers/mmc/host/sdhci-of-sparx5.c
- drivers/mmc/host/sdhci.c
Smatch caller information:
drivers/mmc/host/sdhci-of-ma35d1.c ma35_adma_write_desc() -> sdhci_adma_write_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 3951528782701584384 |
| PARAM_VALUE | 4 | cmd | 3,33 |
| BUF_SIZE | 0 | host->cmd | (-1)-0,72 |
| BUF_SIZE | 0 | host->data_cmd | (-1)-0,72 |
| CAPPED_DATA | 0 | host->sg_count | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | desc | $1 |
| DATA_SOURCE | 2 | addr | $2 |
| DATA_SOURCE | 3 | len | $3 |
| DATA_SOURCE | 4 | cmd | $4 |
| BIT_INFO | 0 | host->flags | 0x6,0xffffffffffffffff |
| HARD_MAX | 4 | cmd | 33 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->ier | 0,1048576-u32max[c] |
| HOST_DATA | 0 | host->mmc->f_max | 0-u32max[c] |
| HOST_DATA | 0 | host->mmc->fail_mmc_request.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->mmc->max_busy_timeout | 0-2147483648[c] |
| HOST_DATA | 0 | host->thread_isr | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | host->cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->data_cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->sg_count | |
| LOCK2 | 0 | &host->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct sdhci_host)->lock |
drivers/mmc/host/sdhci-of-ma35d1.c ma35_adma_write_desc() -> sdhci_adma_write_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 3951528782701584384 |
| PARAM_VALUE | 3 | len | 1-134217728 |
| PARAM_VALUE | 4 | cmd | 3,33 |
| BUF_SIZE | 0 | host->cmd | (-1)-0,72 |
| BUF_SIZE | 0 | host->data_cmd | (-1)-0,72 |
| CAPPED_DATA | 0 | host->sg_count | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | desc | $1 |
| DATA_SOURCE | 2 | addr | $2 |
| DATA_SOURCE | 4 | cmd | $4 |
| BIT_INFO | 0 | host->flags | 0x6,0xffffffffffffffff |
| HARD_MAX | 4 | cmd | 33 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->ier | 0,1048576-u32max[c] |
| HOST_DATA | 0 | host->mmc->f_max | 0-u32max[c] |
| HOST_DATA | 0 | host->mmc->fail_mmc_request.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->mmc->max_busy_timeout | 0-2147483648[c] |
| HOST_DATA | 0 | host->thread_isr | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | host->cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->data_cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->sg_count | |
| LOCK2 | 0 | &host->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct sdhci_host)->lock |
drivers/mmc/host/sdhci-of-ma35d1.c ma35_adma_write_desc() -> sdhci_adma_write_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 3951528782701584384 |
| PARAM_VALUE | 1 | (*desc)->cmd | 3,33 |
| PARAM_VALUE | 4 | cmd | 3,33 |
| BUF_SIZE | 0 | host->cmd | (-1)-0,72 |
| BUF_SIZE | 0 | host->data_cmd | (-1)-0,72 |
| CAPPED_DATA | 0 | host->sg_count | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | desc | $1 |
| DATA_SOURCE | 2 | addr | $2 [m] |
| DATA_SOURCE | 3 | len | $3 [m] |
| DATA_SOURCE | 4 | cmd | $4 |
| BIT_INFO | 0 | host->flags | 0x6,0xffffffffffffffff |
| HARD_MAX | 4 | cmd | 33 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->ier | 0,1048576-u32max[c] |
| HOST_DATA | 0 | host->mmc->f_max | 0-u32max[c] |
| HOST_DATA | 0 | host->mmc->fail_mmc_request.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->mmc->max_busy_timeout | 0-2147483648[c] |
| HOST_DATA | 0 | host->thread_isr | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | host->cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->data_cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->sg_count | |
| LOCK2 | 0 | &host->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct sdhci_host)->lock |
drivers/mmc/host/sdhci-of-dwcmshc.c dwcmshc_adma_write_desc() -> sdhci_adma_write_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 3951528782701584384 |
| PARAM_VALUE | 4 | cmd | 3,33 |
| BUF_SIZE | 0 | host->cmd | (-1)-0,72 |
| BUF_SIZE | 0 | host->data_cmd | (-1)-0,72 |
| CAPPED_DATA | 0 | host->sg_count | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | desc | $1 |
| DATA_SOURCE | 2 | addr | $2 |
| DATA_SOURCE | 3 | len | $3 |
| DATA_SOURCE | 4 | cmd | $4 |
| BIT_INFO | 0 | host->flags | 0x6,0xffffffffffffffff |
| HARD_MAX | 4 | cmd | 33 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->ier | 0,1048576-u32max[c] |
| HOST_DATA | 0 | host->mmc->f_max | 0-u32max[c] |
| HOST_DATA | 0 | host->mmc->fail_mmc_request.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->mmc->max_busy_timeout | 0-2147483648[c] |
| HOST_DATA | 0 | host->thread_isr | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | host->cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->data_cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->sg_count | |
| LOCK2 | 0 | &host->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct sdhci_host)->lock |
drivers/mmc/host/sdhci-of-dwcmshc.c dwcmshc_adma_write_desc() -> sdhci_adma_write_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 3951528782701584384 |
| PARAM_VALUE | 3 | len | 1-134217728 |
| PARAM_VALUE | 4 | cmd | 3,33 |
| BUF_SIZE | 0 | host->cmd | (-1)-0,72 |
| BUF_SIZE | 0 | host->data_cmd | (-1)-0,72 |
| CAPPED_DATA | 0 | host->sg_count | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | desc | $1 |
| DATA_SOURCE | 2 | addr | $2 |
| DATA_SOURCE | 4 | cmd | $4 |
| BIT_INFO | 0 | host->flags | 0x6,0xffffffffffffffff |
| HARD_MAX | 4 | cmd | 33 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->ier | 0,1048576-u32max[c] |
| HOST_DATA | 0 | host->mmc->f_max | 0-u32max[c] |
| HOST_DATA | 0 | host->mmc->fail_mmc_request.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->mmc->max_busy_timeout | 0-2147483648[c] |
| HOST_DATA | 0 | host->thread_isr | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | host->cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->data_cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->sg_count | |
| LOCK2 | 0 | &host->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct sdhci_host)->lock |
drivers/mmc/host/sdhci-of-dwcmshc.c dwcmshc_adma_write_desc() -> sdhci_adma_write_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 3951528782701584384 |
| PARAM_VALUE | 1 | (*desc)->cmd | 3,33 |
| PARAM_VALUE | 4 | cmd | 3,33 |
| BUF_SIZE | 0 | host->cmd | (-1)-0,72 |
| BUF_SIZE | 0 | host->data_cmd | (-1)-0,72 |
| CAPPED_DATA | 0 | host->sg_count | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | desc | $1 |
| DATA_SOURCE | 2 | addr | $2 [m] |
| DATA_SOURCE | 3 | len | $3 [m] |
| DATA_SOURCE | 4 | cmd | $4 |
| BIT_INFO | 0 | host->flags | 0x6,0xffffffffffffffff |
| HARD_MAX | 4 | cmd | 33 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->ier | 0,1048576-u32max[c] |
| HOST_DATA | 0 | host->mmc->f_max | 0-u32max[c] |
| HOST_DATA | 0 | host->mmc->fail_mmc_request.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->mmc->max_busy_timeout | 0-2147483648[c] |
| HOST_DATA | 0 | host->thread_isr | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | host->cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->data_cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->sg_count | |
| LOCK2 | 0 | &host->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct sdhci_host)->lock |
drivers/mmc/host/sdhci.c __sdhci_adma_write_desc() -> sdhci_adma_write_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 3951528782701584384 |
| PARAM_VALUE | 4 | cmd | 3,33 |
| BUF_SIZE | 0 | host->cmd | (-1)-0,72 |
| BUF_SIZE | 0 | host->data_cmd | (-1)-0,72 |
| CAPPED_DATA | 0 | host->sg_count | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | desc | $1 |
| DATA_SOURCE | 2 | addr | $2 |
| DATA_SOURCE | 3 | len | $3 |
| DATA_SOURCE | 4 | cmd | $4 |
| BIT_INFO | 0 | host->flags | 0x6,0xffffffffffffffff |
| HARD_MAX | 4 | cmd | 33 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->ier | 0-u32max[c] |
| HOST_DATA | 0 | host->mmc->f_max | 0-u32max[c] |
| HOST_DATA | 0 | host->mmc->fail_mmc_request.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->mmc->max_busy_timeout | 0-2147483648[c] |
| HOST_DATA | 0 | host->mmc->uhs2_caps.dap | 0-15 |
| HOST_DATA | 0 | host->mmc->uhs2_caps.phy_rev | 0-63 |
| HOST_DATA | 0 | host->thread_isr | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | host->clock | |
| NO_OVERFLOW_SIMPLE | 0 | host->cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->data_cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->sg_count | |
| UNITS | 2 | addr | unit_byte |
| UNITS | 3 | len | unit_byte |
| LOCK2 | 0 | &host->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct sdhci_host)->lock |
drivers/mmc/host/sdhci-of-sparx5.c sdhci_sparx5_adma_write_desc() -> sdhci_adma_write_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 3951528782701584384 |
| PARAM_VALUE | 4 | cmd | 3,33 |
| BUF_SIZE | 0 | host->cmd | (-1)-0,72 |
| BUF_SIZE | 0 | host->data_cmd | (-1)-0,72 |
| CAPPED_DATA | 0 | host->sg_count | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | desc | $1 |
| DATA_SOURCE | 2 | addr | $2 |
| DATA_SOURCE | 3 | len | $3 |
| DATA_SOURCE | 4 | cmd | $4 |
| BIT_INFO | 0 | host->flags | 0x6,0xffffffffffffffff |
| HARD_MAX | 4 | cmd | 33 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->ier | 0,1048576-u32max[c] |
| HOST_DATA | 0 | host->mmc->f_max | 0-u32max[c] |
| HOST_DATA | 0 | host->mmc->fail_mmc_request.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->mmc->max_busy_timeout | 0-2147483648[c] |
| HOST_DATA | 0 | host->thread_isr | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | host->cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->data_cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->sg_count | |
| LOCK2 | 0 | &host->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct sdhci_host)->lock |
drivers/mmc/host/sdhci-of-sparx5.c sdhci_sparx5_adma_write_desc() -> sdhci_adma_write_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 3951528782701584384 |
| PARAM_VALUE | 3 | len | 1-134217728 |
| PARAM_VALUE | 4 | cmd | 3,33 |
| BUF_SIZE | 0 | host->cmd | (-1)-0,72 |
| BUF_SIZE | 0 | host->data_cmd | (-1)-0,72 |
| CAPPED_DATA | 0 | host->sg_count | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | desc | $1 |
| DATA_SOURCE | 2 | addr | $2 |
| DATA_SOURCE | 4 | cmd | $4 |
| BIT_INFO | 0 | host->flags | 0x6,0xffffffffffffffff |
| HARD_MAX | 4 | cmd | 33 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->ier | 0,1048576-u32max[c] |
| HOST_DATA | 0 | host->mmc->f_max | 0-u32max[c] |
| HOST_DATA | 0 | host->mmc->fail_mmc_request.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->mmc->max_busy_timeout | 0-2147483648[c] |
| HOST_DATA | 0 | host->thread_isr | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | host->cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->data_cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->sg_count | |
| LOCK2 | 0 | &host->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct sdhci_host)->lock |
drivers/mmc/host/sdhci-of-sparx5.c sdhci_sparx5_adma_write_desc() -> sdhci_adma_write_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 1 | desc | 3951528782701584384 |
| PARAM_VALUE | 1 | (*desc)->cmd | 3,33 |
| PARAM_VALUE | 4 | cmd | 3,33 |
| BUF_SIZE | 0 | host->cmd | (-1)-0,72 |
| BUF_SIZE | 0 | host->data_cmd | (-1)-0,72 |
| CAPPED_DATA | 0 | host->sg_count | 1 |
| DATA_SOURCE | 0 | host | $0 |
| DATA_SOURCE | 1 | desc | $1 |
| DATA_SOURCE | 2 | addr | $2 [m] |
| DATA_SOURCE | 3 | len | $3 [m] |
| DATA_SOURCE | 4 | cmd | $4 |
| BIT_INFO | 0 | host->flags | 0x6,0xffffffffffffffff |
| HARD_MAX | 4 | cmd | 33 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->ier | 0,1048576-u32max[c] |
| HOST_DATA | 0 | host->mmc->f_max | 0-u32max[c] |
| HOST_DATA | 0 | host->mmc->fail_mmc_request.stacktrace_depth | 0-u64max |
| HOST_DATA | 0 | host->mmc->max_busy_timeout | 0-2147483648[c] |
| HOST_DATA | 0 | host->thread_isr | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | host->cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->data_cmd->arg | |
| NO_OVERFLOW_SIMPLE | 0 | host->sg_count | |
| LOCK2 | 0 | &host->lock | |
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct sdhci_host)->lock |