picolcd_exit_lcd identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/hid/hid-picolcd.h, line 234 (as a prototype)

Defined in 2 files as a function:

Referenced in 1 files:

drivers/hid/hid-picolcd_core.c
- line 506
- line 627

Smatch caller information:

drivers/hid/hid-picolcd_core.c picolcd_probe_lcd() -> picolcd_exit_lcd()

Type	Parameter	Key	Value
PARAM_VALUE	0	data	4096-ptr_max
PARAM_VALUE	0	data->backlight	0
PARAM_VALUE	0	data->backlight->dev->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	data->backlight->dev.devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	data->backlight->dev.driver_data->callback->add	5235430000054906880
PARAM_VALUE	0	data->backlight->dev.driver_data->callback->early_resume	6956900869090054144
PARAM_VALUE	0	data->backlight->dev.driver_data->callback->remove	1719268733136482304
PARAM_VALUE	0	data->backlight->dev.driver_data->callback->requery	4713442613417914368
PARAM_VALUE	0	data->backlight->dev.driver_data->callback->resume	5068206944467017728
PARAM_VALUE	0	data->backlight->dev.driver_data->callback->suspend	2738892915008757760
PARAM_VALUE	0	data->backlight->dev.driver_data->callback->validate	4934365872137547776
PARAM_VALUE	0	data->backlight->dev.driver_data->cdev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->cdev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->cdev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->cdev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->cis_mem.flags	0,2-254
PARAM_VALUE	0	data->backlight->dev.driver_data->d_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->detaching.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->device_count	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->ops_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	data->backlight->dev.driver_data->ops_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	data->backlight->dev.driver_data->ops_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	data->backlight->dev.driver_data->ops_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->ops_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->sfd_lock.dep_map->name	0-255
PARAM_VALUE	0	data->backlight->dev.driver_data->sfd_lock.raw_lock.cnts.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->skt_mutex.dep_map->name	0-255
PARAM_VALUE	0	data->backlight->dev.driver_data->skt_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	data->backlight->dev.driver_data->skt_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	data->backlight->dev.driver_data->skt_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	data->backlight->dev.driver_data->skt_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->skt_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	data->backlight->dev.kobj.parent	0
PARAM_VALUE	0	data->backlight->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	data->backlight->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	data->backlight->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	data->backlight->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	data->backlight->dev.kobj.sd	0
PARAM_VALUE	0	data->backlight->dev.p->dead	1
PARAM_VALUE	0	data->backlight->dev.p->knode_class.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.p->knode_parent.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.power.can_wakeup	0
PARAM_VALUE	0	data->backlight->dev.power.completion.done	4294967295
PARAM_VALUE	0	data->backlight->dev.power.in_dpm_list	0
PARAM_VALUE	0	data->backlight->dev.power.irq_safe	0
PARAM_VALUE	0	data->backlight->dev.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	data->backlight->dev.power.qos	(-19),0
PARAM_VALUE	0	data->backlight->dev.power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	data->backlight->dev.power.runtime_status	2
PARAM_VALUE	0	data->backlight->dev.power.usage_count.counter	0-s32max
PARAM_VALUE	0	data->backlight->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	data->backlight->ops_lock.dep_map->name	0-255
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->ops_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	data->fb_info	0
PARAM_VALUE	0	data->fb_info->par->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	data->fb_info->pixmap.addr	0
PARAM_VALUE	0	data->hdev	4096-ptr_max
PARAM_VALUE	0	data->hdev->dev.devres_head.prev	4096-ptr_max
PARAM_VALUE	0	data->hdev->devres_group_id	4096-ptr_max
PARAM_VALUE	0	data->hdev->driver	4096-ptr_max
PARAM_VALUE	0	data->hdev->driver_input_lock.first_waiter->up	0-1
PARAM_VALUE	0	data->hdev->io_started	0
PARAM_VALUE	0	data->mutex.dep_map->name	0-255
PARAM_VALUE	0	data->mutex.first_waiter	0
PARAM_VALUE	0	data->mutex.magic	4096-ptr_max
PARAM_VALUE	0	data->mutex.osq.tail.counter	0
PARAM_VALUE	0	data->mutex.owner.counter	0
PARAM_VALUE	0	data->opmode_delay	5000
PARAM_VALUE	0	*data->led	0
BUF_SIZE	0	data	600
DATA_SOURCE	0	data	$1
BIT_INFO	0	data->status	0x0,0x7ffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	data->backlight->props.brightness
NO_OVERFLOW_SIMPLE	0	data->backlight->props.max_brightness
NO_OVERFLOW_SIMPLE	0	data->input_keys->max_vals
NO_OVERFLOW_SIMPLE	0	data->rc_dev->lirc_cdev.count
LOCK2		&hdev->driver_input_lock
TYPE_LOCK		(struct hid_device)->driver_input_lock

drivers/hid/hid-picolcd_core.c picolcd_remove() -> picolcd_exit_lcd()

Type	Parameter	Key	Value
PARAM_VALUE	0	data	4096-ptr_max
PARAM_VALUE	0	data->backlight	0
PARAM_VALUE	0	data->backlight->dev->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	data->backlight->dev.devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	data->backlight->dev.driver_data->callback->add	5235430000054906880
PARAM_VALUE	0	data->backlight->dev.driver_data->callback->early_resume	6956900869090054144
PARAM_VALUE	0	data->backlight->dev.driver_data->callback->remove	1719268733136482304
PARAM_VALUE	0	data->backlight->dev.driver_data->callback->requery	4713442613417914368
PARAM_VALUE	0	data->backlight->dev.driver_data->callback->resume	5068206944467017728
PARAM_VALUE	0	data->backlight->dev.driver_data->callback->suspend	2738892915008757760
PARAM_VALUE	0	data->backlight->dev.driver_data->callback->validate	4934365872137547776
PARAM_VALUE	0	data->backlight->dev.driver_data->cdev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->cdev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->cdev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->cdev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->cis_mem.flags	0,2-254
PARAM_VALUE	0	data->backlight->dev.driver_data->d_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->detaching.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->device_count	0-1
PARAM_VALUE	0	data->backlight->dev.driver_data->ops_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	data->backlight->dev.driver_data->ops_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	data->backlight->dev.driver_data->ops_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	data->backlight->dev.driver_data->ops_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->ops_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->sfd_lock.dep_map->name	0-255
PARAM_VALUE	0	data->backlight->dev.driver_data->sfd_lock.raw_lock.cnts.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->skt_mutex.dep_map->name	0-255
PARAM_VALUE	0	data->backlight->dev.driver_data->skt_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	data->backlight->dev.driver_data->skt_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	data->backlight->dev.driver_data->skt_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	data->backlight->dev.driver_data->skt_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.driver_data->skt_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	data->backlight->dev.kobj.parent	0
PARAM_VALUE	0	data->backlight->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	data->backlight->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	data->backlight->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	data->backlight->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	data->backlight->dev.kobj.sd	0
PARAM_VALUE	0	data->backlight->dev.p->dead	1
PARAM_VALUE	0	data->backlight->dev.p->knode_class.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.p->knode_parent.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->dev.power.can_wakeup	0
PARAM_VALUE	0	data->backlight->dev.power.completion.done	4294967295
PARAM_VALUE	0	data->backlight->dev.power.in_dpm_list	0
PARAM_VALUE	0	data->backlight->dev.power.irq_safe	0
PARAM_VALUE	0	data->backlight->dev.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	data->backlight->dev.power.qos	(-19),0
PARAM_VALUE	0	data->backlight->dev.power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	data->backlight->dev.power.runtime_status	2
PARAM_VALUE	0	data->backlight->dev.power.usage_count.counter	0-s32max
PARAM_VALUE	0	data->backlight->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	data->backlight->ops_lock.dep_map->name	0-255
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	data->backlight->ops_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	data->debug_eeprom	0
PARAM_VALUE	0	data->debug_eeprom->d_inode->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	data->debug_eeprom->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	data->debug_eeprom->d_sib->next->pprev	1-u64max
PARAM_VALUE	0	data->debug_flash	0
PARAM_VALUE	0	data->debug_flash->d_inode->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	data->debug_flash->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	data->debug_flash->d_sib->next->pprev	1-u64max
PARAM_VALUE	0	data->debug_reset	0
PARAM_VALUE	0	data->debug_reset->d_inode->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	data->debug_reset->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	data->debug_reset->d_sib->next->pprev	1-u64max
PARAM_VALUE	0	data->fb_info	0
PARAM_VALUE	0	data->fb_info->par->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	data->fb_info->pixmap.addr	0
PARAM_VALUE	0	data->haptic->pressure_sum	s32min-s32max
PARAM_VALUE	0	data->inputmode_value	0,2-3
PARAM_VALUE	0	data->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	data->mutex_flash.magic	0
PARAM_VALUE	0	data->pending	0,4096-ptr_max
PARAM_VALUE	0	data->pending->ready.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	data->pending->ready.wait.lock.owner	(-1)
PARAM_VALUE	0	data->pending->ready.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	data->status	0,2-s32max
PARAM_VALUE	0	data->wacom_wac.hid_data.cc_index	(-1)-2147483646
PARAM_VALUE	0	data->wacom_wac.hid_data.cc_report	s32min-s32max
PARAM_VALUE	0	data->wacom_wac.hid_data.cc_value_index	(-1)-s32max
PARAM_VALUE	0	data->wacom_wac.hid_data.last_slot_field	65584-65585,852018,852028,852034,852040-852041,852049
PARAM_VALUE	0	*data->debug_eeprom->d_inode->i_hash.next->pprev	1-u64max
PARAM_VALUE	0	*data->debug_eeprom->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*data->debug_eeprom->d_inode->i_sb->s_fs_info->wbuf_verify	0-255
PARAM_VALUE	0	*data->debug_flash->d_inode->i_hash.next->pprev	1-u64max
PARAM_VALUE	0	*data->debug_flash->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*data->debug_flash->d_inode->i_sb->s_fs_info->wbuf_verify	0-255
PARAM_VALUE	0	*data->debug_reset->d_inode->i_hash.next->pprev	1-u64max
PARAM_VALUE	0	*data->debug_reset->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*data->debug_reset->d_inode->i_sb->s_fs_info->wbuf_verify	0-255
PARAM_VALUE	0	*data->led	0
BUF_SIZE	0	data	s32min-(-2),1-s32max
BUF_SIZE	0	data	s32min-(-2),1-s32max
BIT_INFO	0	data->status	0x2,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	data	unit_byte
LOCK2		&hdev->driver_input_lock
HALF_LOCKED2		&dev->mutex
TYPE_LOCK		(struct hid_device)->driver_input_lock