Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/sdhci-pci-o2micro.c sdhci_o2_execute_tuning() -> __sdhci_o2_execute_tuning()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->read_l 0,4096-ptr_max
PARAM_VALUE 0 host->ops->read_w 0,4096-ptr_max
PARAM_VALUE 0 host->ops->write_b 0,4096-ptr_max
PARAM_VALUE 0 host->ops->write_l 0,4096-ptr_max
PARAM_VALUE 0 host->ops->write_w 0,4096-ptr_max
PARAM_VALUE 0 host->timing 5-6,9
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
PARAM_VALUE 1 opcode 19,21
DATA_SOURCE 1 opcode $1
FUZZY_MAX 1 opcode 21
BIT_INFO 1 opcode 0x11,0x1f
HARD_MAX 1 opcode 21
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 host->clock