Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/sdhci.c sdhci_start_signal_voltage_switch() -> (struct sdhci_ops)->voltage_switch()

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_w 0,4096-ptr_max
PARAM_VALUE 0 host->ops->voltage_switch 4096-ptr_max
PARAM_VALUE 0 host->ops->write_w 0,4096-ptr_max
PARAM_VALUE 0 host->version 2-u32max
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
FUZZY_MAX 0 host->version 2
CONTAINER 0 -200-64+0 $(-1)
BIT_INFO 0 host->flags 0x8000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 host->clock