Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/sdhci.c __sdhci_finish_data() -> sdhci_auto_cmd12()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 mrq 4096-ptr_max
PARAM_VALUE 1 mrq->sbc 0
DATA_SOURCE 0 host $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
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]
LOCK2 0 &host->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct sdhci_host)->lock

drivers/mmc/host/sdhci.c sdhci_auto_cmd_select() -> sdhci_auto_cmd12()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 mrq 4096-ptr_max
BUF_SIZE 0 host->cmd (-1)-0,72
BUF_SIZE 0 host->data_cmd (-1)-0,72
BUF_SIZE 1 mrq (-1),304
BUF_SIZE 1 mrq (-1),304
DATA_SOURCE 0 host $0
BIT_INFO 0 host->quirks2 0x0,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 host->ier 0-u32max[c]
HOST_DATA 0 host->mmc->f_max 0-u32max[c]
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->sg_miter.consumed 0-u32max[c]
HOST_DATA 0 host->sg_miter.piter.sg->length 1-2147483646[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