Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/dw_mmc.c dw_mci_set_ios() -> (struct dw_mci_drv_data)->set_ios()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->ctype 0-1,65536
PARAM_VALUE 0 host->drv_data 4096-ptr_max
PARAM_VALUE 0 host->drv_data->set_ios 1-u64max
PARAM_VALUE 1 ios 4096-ptr_max
BUF_SIZE 1 ios (-1),24
BUF_SIZE 1 ios (-1),24
DATA_SOURCE 1 ios $1
FUZZY_MAX 0 host->ctype 65536
BIT_INFO 0 host->ctype 0x0,0x10001
NOSPEC 0 host->clock
NOSPEC 1 ios->clock
HARD_MAX 0 host->ctype 65536
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 1 ios->clock 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 host->clock
NO_OVERFLOW_SIMPLE 1 ios->clock