Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/alcor.c alcor_set_ios() -> alcor_set_timing()

Type Parameter Key Value
PARAM_VALUE 0 mmc 4096-ptr_max
PARAM_VALUE 1 ios 4096-ptr_max
BUF_SIZE 0 mmc s32min-(-1),1-s32max
BUF_SIZE 0 mmc s32min-(-1),1-s32max
BUF_SIZE 0 mmc->ops (-1),216
BUF_SIZE 1 ios (-1),24
BUF_SIZE 1 ios (-1),24
CAPPED_DATA 1 ios->power_mode 1
DATA_SOURCE 0 mmc $0
DATA_SOURCE 1 ios $1
NOSPEC 0 mmc->ios.clock
NOSPEC 1 ios->clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 mmc->fail_mmc_request.stacktrace_depth 0-u64max
USER_DATA 0 mmc->ios.clock 0-s32max[c]
USER_DATA 1 ios->clock 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 mmc->card->debugfs_root->d_fsdata->d_fsdata
NO_OVERFLOW_SIMPLE 0 mmc->card->dev.physical_location
NO_OVERFLOW_SIMPLE 0 mmc->card->host->ios.clock
NO_OVERFLOW_SIMPLE 0 mmc->ios.clock
NO_OVERFLOW_SIMPLE 0 mmc->supply.vqmmc2->rdev->mutex.ctx->deadlock_inject_countdown
NO_OVERFLOW_SIMPLE 0 mmc->supply.vqmmc2->rdev->mutex.ctx->deadlock_inject_interval
NO_OVERFLOW_SIMPLE 1 ios->clock
LOCK2 &host->cmd_mutex
TYPE_LOCK (struct alcor_sdmmc_host)->cmd_mutex