Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/sdhci-tegra.c tegra_sdhci_post_tuning() -> tegra_sdhci_tap_correction()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->adma_table->cmd 3,33
PARAM_VALUE 0 host->blocks 0-u16max
PARAM_VALUE 0 host->cmd 0
PARAM_VALUE 0 host->data->blocks 0-u16max
PARAM_VALUE 0 host->data->bytes_xfered 0
PARAM_VALUE 0 host->data->flags 0,256,512,4352,4608,8448,8704,12544,12800
PARAM_VALUE 0 host->data->sg_count 0-s32max
PARAM_VALUE 0 host->data_cmd->error 0
PARAM_VALUE 0 host->data_early 0
PARAM_VALUE 0 host->deferred_cmd 0
PARAM_VALUE 0 host->flags 0-2147475455
PARAM_VALUE 0 host->ier 0,8-u32max
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->mmc->card->host->ongoing_mrq->uhs2_cmd.packet_len 0,4-12
PARAM_VALUE 0 host->mmc->card->host->ongoing_mrq->uhs2_cmd.payload_len 0-8
PARAM_VALUE 0 host->mmc->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex 0-1
PARAM_VALUE 0 host->mmc->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len 0,4-6,8
PARAM_VALUE 0 host->mmc->ongoing_mrq->cmd_completion.wait.lock.owner (-1)
PARAM_VALUE 0 host->mmc->ongoing_mrq->cmd_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 host->mmc->ongoing_mrq->cmd_completion.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 host->mmc->ongoing_mrq->uhs2_cmd.packet_len 0,4-12
PARAM_VALUE 0 host->mmc->ongoing_mrq->uhs2_cmd.payload_len 0-8
PARAM_VALUE 0 host->mmc->ongoing_mrq->uhs2_cmd.tmode_half_duplex 0-1
PARAM_VALUE 0 host->mmc->ongoing_mrq->uhs2_cmd.uhs2_resp_len 0,4-6,8
PARAM_VALUE 0 host->mmc->uhs2_app_cmd 0
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->read_l 0,4096-ptr_max
PARAM_VALUE 0 host->rx_chan 0
PARAM_VALUE 0 host->sg_count 1-s32max
PARAM_VALUE 0 host->tuning_delay 0-s32max
PARAM_VALUE 0 host->tuning_done 0
PARAM_VALUE 0 host->tuning_err 0
PARAM_VALUE 0 host->tx_chan 0
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL