Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/max310x.c max310x_probe() -> max310x_set_ref_clk()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->dma_mem->pfn_base 0-s64max
PARAM_VALUE 0 dev->driver_data 4096-ptr_max
PARAM_VALUE 0 dev->driver_data->devtype 4096-ptr_max
PARAM_VALUE 0 dev->driver_data->devtype->rev_id_val 0,8-248
PARAM_VALUE 0 dev->driver_data->if_cfg->rev_id_offset 0,32
PARAM_VALUE 0 dev->driver_data->regmap->cache->cached_rbnode->blklen 1-4294967295
PARAM_VALUE 0 dev->driver_data->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 dev->driver_data->regmap->cache_dirty 1
PARAM_VALUE 0 dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 dev->iommu->max_pasids 0-4294967295
PARAM_VALUE 0 *dev->driver_data->regmap->cache->data 0-4294967295
PARAM_VALUE 1 s 4096-ptr_max
PARAM_VALUE 1 s->clk 0,4096-ptr_max
PARAM_VALUE 1 s->clk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 1 s->clk->core->dev->power.idle_notification 0-1
PARAM_VALUE 1 s->clk->core->dev->power.request 0-4294967295
PARAM_VALUE 1 s->clk->core->dev->power.request_pending 0-1
PARAM_VALUE 1 s->clk->core->dev->power.runtime_error s32min-s32max
PARAM_VALUE 1 s->clk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 1 s->clk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 1 s->clk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 1 s->clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 s->clk->core->enable_count 0-4294967295
PARAM_VALUE 1 s->clk->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 1 s->clk->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 1 s->clk->core->parent->dev->power.request 0-4
PARAM_VALUE 1 s->clk->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 1 s->clk->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 1 s->clk->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 1 s->clk->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 1 s->clk->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 1 s->clk->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 s->clk->core->parent->enable_count 0-4294967295
PARAM_VALUE 1 s->clk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 1 s->clk->core->parent->protect_count 0-4294967295
PARAM_VALUE 1 s->clk->core->prepare_count 1-4294967295
PARAM_VALUE 1 s->clk->core->protect_count 0-4294967295
PARAM_VALUE 1 s->devtype 4096-ptr_max
PARAM_VALUE 1 s->devtype->rev_id_val 0,8-248
PARAM_VALUE 1 s->if_cfg 3033089270697508864,5509872281384824832
PARAM_VALUE 1 s->if_cfg->rev_id_offset 0,32
PARAM_VALUE 2 freq 500000-35000000
PARAM_VALUE 3 fref 7170447782935965696
BUF_SIZE 1 s 544-u64max
BUF_SIZE 1 s 544-u64max
BUF_SIZE 1 s->clk (-1),1-s32max
CAPPED_DATA 0 dev->driver_data->devtype->rev_id_val 1
CAPPED_DATA 1 s->devtype->nr 1
CAPPED_DATA 2 freq 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 s r devm_kzalloc
FUZZY_MAX 2 freq 35000000
HARD_MAX 2 freq 35000000
MEM_ZERO 1 s
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 s->devtype->nr