Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 33 files:

Smatch caller information:

drivers/mmc/host/sdhci-omap.c sdhci_omap_set_bus_width() -> sdhci_set_bus_width()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->cqe_on 0
PARAM_VALUE 0 host->flags 0-2147483391
PARAM_VALUE 0 host->ier 16711683,16711747,16711811,16712003,16712067,16715779,16715843,16715907,16716099,16716163
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->detect_change 1
PARAM_VALUE 0 host->mmc->ws->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_timeout_count 0,3590345704486223872,5822658914124541952
PARAM_VALUE 0 host->ops->platform_send_init_74_clocks 0,1896104494761431040,3068199620859031552,3720721519462801408
PARAM_VALUE 0 host->ops->read_b 0,4096-ptr_max
PARAM_VALUE 0 host->ops->read_l 0,4096-ptr_max
PARAM_VALUE 0 host->ops->set_power 0,4096-ptr_max
PARAM_VALUE 0 host->ops->write_l 0,4096-ptr_max
PARAM_VALUE 0 host->reinit_uhs 0
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
DATA_SOURCE 0 host $0
DATA_SOURCE 1 width $1
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock

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

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 width 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 host->clock

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

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->cmd 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 4096-ptr_max
PARAM_VALUE 0 host->data_cmd->data 0
PARAM_VALUE 0 host->data_cmd->error 0
PARAM_VALUE 0 host->data_cmd->mrq 4096-ptr_max
PARAM_VALUE 0 host->data_timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 host->data_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 host->data_timer.flags 0-4194302
PARAM_VALUE 0 host->data_timer.function 0
PARAM_VALUE 0 host->deferred_cmd 0
PARAM_VALUE 0 host->ier 0,1048576-u32max
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
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->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 host->timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 host->timing 5-6,9
PARAM_VALUE 0 host->tuning_done 0-1
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
PARAM_VALUE 1 width 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 host->clock

drivers/mmc/host/sdhci.c sdhci_set_ios() -> (struct sdhci_ops)->set_bus_width()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->bus_on 0-1
PARAM_VALUE 0 host->cqe_on 0
PARAM_VALUE 0 host->flags 0-2147483391
PARAM_VALUE 0 host->ier 16711683,16711747,16711811,16712003,16712067,16715779,16715843,16715907,16716099,16716163
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->detect.cpu s32min-s32max
PARAM_VALUE 0 host->mmc->detect.timer.flags 0-4294967295
PARAM_VALUE 0 host->mmc->detect_change 1
PARAM_VALUE 0 host->mmc->ws->active 0-1
PARAM_VALUE 0 host->mmc->ws->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->mmc->ws->timer.flags 0-4294967295
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_timeout_count 0,3590345704486223872,5822658914124541952
PARAM_VALUE 0 host->ops->platform_send_init_74_clocks 0,1896104494761431040,3068199620859031552,3720721519462801408
PARAM_VALUE 0 host->ops->read_b 0,4096-ptr_max
PARAM_VALUE 0 host->ops->read_l 0,4096-ptr_max
PARAM_VALUE 0 host->ops->set_power 0,4096-ptr_max
PARAM_VALUE 0 host->ops->write_l 0,4096-ptr_max
PARAM_VALUE 0 host->preset_enabled 0-1
PARAM_VALUE 0 host->reinit_uhs 0
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
CONTAINER 0 -128-64+0 $(-1)
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock