Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/sdhci-msm.c sdhci_msm_cdclp533_calibration() -> msm_config_cm_dll_phase()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->clock 100000001-u32max
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->ios.timing 10
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->read_w 0,4096-ptr_max
PARAM_VALUE 0 host->ops->set_power 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->private->private s64min-(-4096),4096-s64max
PARAM_VALUE 0 host->reinit_uhs 0
PARAM_VALUE 0 host->version 2-u32max
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
DATA_SOURCE 0 host $0
FUZZY_MAX 0 host->clock 100000001
BIT_INFO 0 host->quirks 0x0,0xffffffff
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 host->clock 100000001-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock

drivers/mmc/host/sdhci-msm.c sdhci_msm_execute_tuning() -> msm_config_cm_dll_phase()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->ios.timing 5-6,9-10
PARAM_VALUE 0 host->private->private 4096-ptr_max
PARAM_VALUE 1 phase 0-15
FUZZY_MAX 1 phase 15
BIT_INFO 0 host->flags 0x0,0xffffdfff
HARD_MAX 1 phase 15
RX_PATH
TASK_NOT_RUNNING

drivers/mmc/host/sdhci-msm.c sdhci_msm_execute_tuning() -> msm_config_cm_dll_phase()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->ios.timing 5-6,9-10
PARAM_VALUE 0 host->private->private 4096-ptr_max
PARAM_VALUE 1 phase 0-15
BIT_INFO 0 host->flags 0x0,0xffffdfff
RX_PATH
TASK_NOT_RUNNING

drivers/mmc/host/sdhci-msm.c sdhci_msm_hs400_dll_calibration() -> msm_config_cm_dll_phase()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->clock 100000001-u32max
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->ios.enhanced_strobe 0
PARAM_VALUE 0 host->mmc->ios.timing 10
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->read_w 0,4096-ptr_max
PARAM_VALUE 0 host->ops->set_power 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->private->private 4096-ptr_max
PARAM_VALUE 0 host->reinit_uhs 0
PARAM_VALUE 0 host->version 2-u32max
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
DATA_SOURCE 0 host $0
FUZZY_MAX 0 host->clock 100000001
BIT_INFO 0 host->quirks 0x0,0xffffffff
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
USER_DATA 0 host->clock 100000001-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock

drivers/mmc/host/sdhci-msm.c sdhci_msm_restore_sdr_dll_config() -> msm_config_cm_dll_phase()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->ios.timing 5-6,9-10
PARAM_VALUE 0 host->private->private 4096-ptr_max
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
DATA_SOURCE 0 host $0
UNITS 0 host unit_byte