Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/mfd/madera-core.c madera_dev_init() -> madera_dev_init ptr patch_fn()

Type Parameter Key Value
PARAM_VALUE 0 madera 4096-ptr_max
PARAM_VALUE 0 madera->dapm_ptr_lock.dep_map->name 0-255
PARAM_VALUE 0 madera->dapm_ptr_lock.first_waiter 0
PARAM_VALUE 0 madera->dapm_ptr_lock.magic 4096-ptr_max
PARAM_VALUE 0 madera->dapm_ptr_lock.osq.tail.counter 0
PARAM_VALUE 0 madera->dapm_ptr_lock.owner.counter 0
PARAM_VALUE 0 madera->dcvdd 4096-ptr_max
PARAM_VALUE 0 madera->dcvdd->enable_count 0-4294967295
PARAM_VALUE 0 madera->dcvdd->rdev 4096-ptr_max
PARAM_VALUE 0 madera->dcvdd->rdev->ena_gpio_state 1
PARAM_VALUE 0 madera->dcvdd->rdev->ena_pin->enable_count 0-4294967295
PARAM_VALUE 0 madera->dcvdd->rdev->notifier.head->priority s32min-s32max
PARAM_VALUE 0 madera->dcvdd->rdev->reg_data->enabled_updated 0
PARAM_VALUE 0 madera->dcvdd->rdev->reg_data->load 0-4294967295
PARAM_VALUE 0 madera->dcvdd->rdev->reg_data->load_updated 0-1
PARAM_VALUE 0 madera->dcvdd->rdev->reg_data->lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 madera->dcvdd->rdev->reg_data->lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 madera->dcvdd->rdev->reg_data->lock.dep_map->name 0-255
PARAM_VALUE 0 madera->dcvdd->rdev->reg_data->regmap->async 0
PARAM_VALUE 0 madera->dcvdd->rdev->reg_data->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 madera->dcvdd->rdev->reg_data->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 madera->dcvdd->rdev->reg_data->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 madera->dcvdd->rdev->reg_data->uv_updated 0
PARAM_VALUE 0 madera->dcvdd->rdev->regmap->async 0-1
PARAM_VALUE 0 madera->dcvdd->rdev->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 madera->dcvdd->rdev->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 madera->dcvdd->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 madera->dcvdd->rdev->regmap->cache_dirty 0-1
PARAM_VALUE 0 madera->dcvdd->rdev->supply->enable_count 0-4294967295
PARAM_VALUE 0 madera->dcvdd->rdev->use_count 0-4294967295
PARAM_VALUE 0 madera->dev 4096-ptr_max
PARAM_VALUE 0 madera->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 madera->dev->class 0,4096-ptr_max
PARAM_VALUE 0 madera->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 madera->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 madera->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 madera->dev->kobj.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 madera->dev->kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 madera->dev->links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 madera->dev->power.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 madera->dev->power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 madera->num_core_supplies 2
PARAM_VALUE 0 madera->num_micbias 1-2,4
PARAM_VALUE 0 madera->pdata.reset 0,4096-ptr_max
PARAM_VALUE 0 madera->regmap 4096-ptr_max
PARAM_VALUE 0 madera->regmap->cache_only 0
PARAM_VALUE 0 madera->regmap->lock 4096-ptr_max
PARAM_VALUE 0 madera->regmap->unlock 4096-ptr_max
PARAM_VALUE 0 madera->regmap_32bit 4096-ptr_max
PARAM_VALUE 0 madera->regmap_32bit->cache_only 0
PARAM_VALUE 0 madera->regmap_32bit->lock 4096-ptr_max
PARAM_VALUE 0 madera->regmap_32bit->unlock 4096-ptr_max
PARAM_VALUE 0 madera->rev 0-255
PARAM_VALUE 0 madera->type 1-9
PARAM_VALUE 0 madera->type_name 4096-ptr_max
PARAM_VALUE 0 *madera->regmap->cache->data 0-4294967295
BUF_SIZE 0 madera 768
BUF_SIZE 0 madera->dcvdd (-1),160
BUF_SIZE 0 madera->dev 1616
BUF_SIZE 0 madera->type_name 7-8
CAPPED_DATA 0 madera->dcvdd->rdev 1
CAPPED_DATA 0 madera->dcvdd->rdev->coupling_desc.n_coupled 1
CAPPED_DATA 0 madera->irq 1
DATA_SOURCE 0 madera $0
MEM_ZERO 0 madera
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 madera->irq