Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/sdhci.c sdhci_setup_host() -> (struct sdhci_ops)->get_max_clock()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->adma_table_cnt 257-385
PARAM_VALUE 0 host->caps 4194304-u32max
PARAM_VALUE 0 host->complete_work_fn 2999890127905411072
PARAM_VALUE 0 host->cqe_err_ier 50266112
PARAM_VALUE 0 host->cqe_ier 50282496
PARAM_VALUE 0 host->max_adma 65536
PARAM_VALUE 0 host->max_timeout_count 14-15
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_disable 4068934353236983808,6336699593261330432
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_enable 2353700470644682752,4438057033843765248
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_off 0,1278036848093978624
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_post_req 69112578807832576,761825445855023104
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_recovery_finish 798511935148539904,4118204743152734208
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_recovery_start 92399166401212416,7299643949535535104
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_request 3947029797050339328,8004223914298208256
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_timeout 0,7076973505839443968
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_wait_for_idle 8134864024895033344,8850574933161476096
PARAM_VALUE 0 host->mmc->parent->cma_area->nranges s32min-s32max
PARAM_VALUE 0 host->mmc->supply.vqmmc 1-u64max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->enable_dma 0,4096-ptr_max
PARAM_VALUE 0 host->ops->get_max_clock 4096-ptr_max
PARAM_VALUE 0 host->ops->hw_reset 0,4096-ptr_max
PARAM_VALUE 0 host->ops->platform_execute_tuning 0,4096-ptr_max
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_dma_mask 0,7772850201070055424
PARAM_VALUE 0 host->ops->set_timeout 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->read_caps 1
PARAM_VALUE 0 host->thread_irq_fn 690343882305114112
PARAM_VALUE 0 host->tuning_delay (-1),1
PARAM_VALUE 0 host->tuning_loop_count 40
PARAM_VALUE 0 host->tx_chan->router->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
BUF_SIZE 0 host->align_buffer 512-4294967807,u64max
BUF_SIZE 0 host->hw_name (-1),4-6,8,14
BUF_SIZE 0 host->irq s32min-(-1),1-s32max
BUF_SIZE 0 host->ops (-1),256
DATA_SOURCE 0 host $0
FUZZY_MAX 0 host->max_timeout_count 15
STR_LEN 0 host->hw_name (-1),3-5,7,13
CONTAINER 0 -88-64+0 $(-1)
BIT_INFO 0 host->max_timeout_count 0xe,0xffffffffffffffff
HARD_MAX 0 host->tuning_delay 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 host->caps 4194304-u32max[c]
HOST_DATA 0 host->caps1 0-u32max[c]
HOST_DATA 0 host->max_clk 0-u32max[c]
HOST_DATA 0 host->mmc->f_max 0[c]
HOST_DATA 0 host->mmc->max_busy_timeout 0[c]
HOST_DATA 0 host->version 0-u16max