Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/memory/stm32-fmc2-ebi.c stm32_fmc2_ebi_parse_prop() -> (struct stm32_fmc2_prop)->check()

Type Parameter Key Value
PARAM_VALUE 0 ebi 4096-ptr_max
PARAM_VALUE 0 ebi->clk 0,4096-ptr_max
PARAM_VALUE 0 ebi->data 4096-ptr_max
PARAM_VALUE 0 ebi->data->child_props 4096-ptr_max
PARAM_VALUE 0 ebi->data->nb_child_props 1-u32max
PARAM_VALUE 0 ebi->dev 4096-ptr_max
PARAM_VALUE 0 ebi->dev->of_node 1-u64max
PARAM_VALUE 0 ebi->regmap 4096-ptr_max
PARAM_VALUE 0 ebi->regmap->async 0
PARAM_VALUE 0 ebi->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 ebi->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 ebi->regmap->cache_dirty 0-1
PARAM_VALUE 1 prop 4096-ptr_max
PARAM_VALUE 1 prop->check 1-u64max
PARAM_VALUE 1 prop->set 1-u64max
PARAM_VALUE 2 cs 0-3
BUF_SIZE 0 ebi->clk (-1),1-s32max
BUF_SIZE 0 ebi->dev 1616
BUF_SIZE 0 ebi->regmap (-1),1-s32max
CAPPED_DATA 0 ebi->regmap->volatile_table->n_no_ranges 1
CAPPED_DATA 0 ebi->regmap->volatile_table->n_yes_ranges 1
DATA_SOURCE 0 ebi $0
DATA_SOURCE 1 prop $2
DATA_SOURCE 2 cs $3
CONTAINER 1 -24+0 $(-1)
MEM_ZERO 0 ebi
RX_PATH
TASK_NOT_RUNNING