Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/matrox/i2c-matroxfb.c i2c_matroxfb_remove() -> i2c_ddc2_done()

Type Parameter Key Value
PARAM_VALUE 0 minfo2 4096-ptr_max
PARAM_VALUE 0 minfo2->maven.adapter->debugfs->d_inode->i_sb->s_fs_info->s_first_error_func 0-255
PARAM_VALUE 0 minfo2->maven.adapter->debugfs->d_inode->i_sb->s_fs_info->s_last_error_func 0-255
PARAM_VALUE 0 minfo2->maven.adapter.class 0-255,257-u32max
PARAM_VALUE 0 minfo2->maven.adapter.debugfs->d_alias->next->pprev 1-u64max
PARAM_VALUE 0 minfo2->maven.adapter.debugfs->d_sib->next->pprev 1-u64max
PARAM_VALUE 0 minfo2->maven.adapter.dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 minfo2->maven.adapter.dev.bus 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.bus_dma_limit 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.class 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.cma_area 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 minfo2->maven.adapter.dev.devt 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.dma_mask 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.dma_mem 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.dma_ops 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.dma_parms 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.dma_range_map 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->callback->add 5235430000054906880
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->callback->early_resume 6956900869090054144
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->callback->remove 1719268733136482304
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->callback->requery 4713442613417914368
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->callback->resume 5068206944467017728
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->callback->suspend 2738892915008757760
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->callback->validate 4934365872137547776
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->cdev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->cdev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->cdev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->cdev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->cis_mem.flags 0,2-254
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->d_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->detaching.counter s32min-s32max
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->device_count 0-1
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->ops_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->ops_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->sfd_lock.dep_map->name 0-255
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->sfd_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->skt_mutex.dep_map->name 0-255
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->skt_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->skt_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 minfo2->maven.adapter.dev.driver_data->skt_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 minfo2->maven.adapter.dev.em_pd 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.fwnode 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.fwnode->dev 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.groups 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.id 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.init_name 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.iommu 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.iommu_group 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.kobj->release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 minfo2->maven.adapter.dev.kobj.kset 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.kobj.ktype 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.kobj.name 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.kobj.parent 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.kobj.parent->release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 minfo2->maven.adapter.dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 minfo2->maven.adapter.dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 minfo2->maven.adapter.dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 minfo2->maven.adapter.dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 minfo2->maven.adapter.dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 minfo2->maven.adapter.dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 minfo2->maven.adapter.dev.kobj.sd 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.links.status 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.msi.data 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.msi.domain 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.mutex.magic 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.numa_node 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.of_node 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.p 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.p->dead 1
PARAM_VALUE 0 minfo2->maven.adapter.dev.p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 minfo2->maven.adapter.dev.p->knode_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 minfo2->maven.adapter.dev.parent 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.parent->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 minfo2->maven.adapter.dev.pins 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.platform_data 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.pm_domain 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.power.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 minfo2->maven.adapter.dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 minfo2->maven.adapter.dev.power.no_pm 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.power.qos 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.power.request 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.power.syscore 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.power.wakeirq 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 minfo2->maven.adapter.dev.release 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.removable 0
PARAM_VALUE 0 minfo2->maven.adapter.dev.type 0
PARAM_VALUE 0 minfo2->maven.adapter.dev_released.done 0-4294967293,u32max
PARAM_VALUE 0 minfo2->maven.adapter.dev_released.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 minfo2->maven.adapter.dev_released.wait.lock.owner (-1)
PARAM_VALUE 0 minfo2->maven.adapter.dev_released.wait.lock.owner_cpu u32max
PARAM_VALUE 0 minfo2->maven.adapter.dev_released.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 minfo2->maven.adapter.dev_released.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 minfo2->maven.adapter.dev_released.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 minfo2->maven.adapter.dev_released.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 minfo2->maven.adapter.dev_released.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 minfo2->maven.adapter.userspace_clients_lock.dep_map->name 0-255
PARAM_VALUE 0 minfo2->maven.adapter.userspace_clients_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 minfo2->maven.adapter.userspace_clients_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 minfo2->maven.adapter.userspace_clients_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 minfo2->maven.adapter.userspace_clients_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 minfo2->maven.adapter.userspace_clients_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 minfo2->maven.initialized 0
BUF_SIZE 0 minfo2 1656,7296
BUF_SIZE 0 minfo2 1656,7296
DATA_SOURCE 0 minfo2 $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 minfo2->maven.adapter.cad->state->u.pc s64min-s64max
HOST_DATA 0 minfo2->maven.adapter.cad->state->u.pc->ctr 0-4294967295
HOST_DATA 0 minfo2->maven.adapter.cad->state->u.pc->ecr 0-4294967295