picolcd_init_devfs 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 145 (as a prototype)

Defined in 2 files as a function:

Referenced in 1 files:

drivers/hid/hid-picolcd_core.c
- line 496
- line 514

Smatch caller information:

drivers/hid/hid-picolcd_core.c picolcd_probe_bootloader() -> picolcd_init_devfs()

Type	Parameter	Key	Value
PARAM_VALUE	0	data	4096-ptr_max
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->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->status	s32min-(-1),1-s32max
PARAM_VALUE	1	eeprom_r	0
PARAM_VALUE	2	eeprom_w	0
PARAM_VALUE	3	flash_r	0,4096-ptr_max
PARAM_VALUE	3	flash_r->id	243
PARAM_VALUE	4	flash_w	0,4096-ptr_max
PARAM_VALUE	4	flash_w->id	244
PARAM_VALUE	5	reset	0
BUF_SIZE	0	data	600
DATA_SOURCE	0	data	$1
BIT_INFO	0	data->status	0x1,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&hdev->driver_input_lock
TYPE_LOCK		(struct hid_device)->driver_input_lock

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

Type	Parameter	Key	Value
PARAM_VALUE	0	data	4096-ptr_max
PARAM_VALUE	0	data->backlight	4096-ptr_max
PARAM_VALUE	0	data->backlight->entry.prev	3658874351393501184
PARAM_VALUE	0	data->backlight->ops	927008066124111872
PARAM_VALUE	0	data->backlight->ops_lock.first_waiter	0
PARAM_VALUE	0	data->backlight->ops_lock.owner.counter	0
PARAM_VALUE	0	data->backlight->props.brightness	255
PARAM_VALUE	0	data->backlight->props.type	1-3
PARAM_VALUE	0	data->fb_info	4096-ptr_max
PARAM_VALUE	0	data->fb_info->bl_curve_mutex.magic	4096-ptr_max
PARAM_VALUE	0	data->fb_info->bl_dev	4096-ptr_max
PARAM_VALUE	0	data->fb_info->blank	0
PARAM_VALUE	0	data->fb_info->deferred_work->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	data->fb_info->deferred_work.timer.entry->pprev	4096-ptr_max
PARAM_VALUE	0	data->fb_info->deferred_work.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	data->fb_info->device	4096-ptr_max
PARAM_VALUE	0	data->fb_info->fbcon_rotate_hint	(-1)
PARAM_VALUE	0	data->fb_info->fbdefio	4096-ptr_max
PARAM_VALUE	0	data->fb_info->fbops	7375143837742850048
PARAM_VALUE	0	data->fb_info->fix.smem_len	16384
PARAM_VALUE	0	data->fb_info->fix.smem_start	1-u64max
PARAM_VALUE	0	data->fb_info->flags	0,4-s32max
PARAM_VALUE	0	data->fb_info->lcd_dev	4096-ptr_max
PARAM_VALUE	0	data->fb_info->par	4096-ptr_max
PARAM_VALUE	0	data->fb_info->par->force	1
PARAM_VALUE	0	data->fb_info->par->ready	1
PARAM_VALUE	0	data->fb_info->pseudo_palette	4096-ptr_max
PARAM_VALUE	0	data->fb_info->screen_base	1-u64max
PARAM_VALUE	0	data->fb_info->screen_buffer	1-u64max
PARAM_VALUE	0	data->hdev	4096-ptr_max
PARAM_VALUE	0	data->hdev->debug_list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	data->hdev->dev.devres_head.prev	4096-ptr_max
PARAM_VALUE	0	data->hdev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	data->hdev->dev.kobj.sd->priv	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->input_keys	4096-ptr_max
PARAM_VALUE	0	data->input_keys->absinfo	0,4096-ptr_max
PARAM_VALUE	0	data->input_keys->getkeycode	1-u64max
PARAM_VALUE	0	data->input_keys->h_list.next	4096-ptr_max
PARAM_VALUE	0	data->input_keys->hint_events_per_packet	1-u32max
PARAM_VALUE	0	data->input_keys->keycode	4096-ptr_max
PARAM_VALUE	0	data->input_keys->keycodemax	17
PARAM_VALUE	0	data->input_keys->keycodesize	2
PARAM_VALUE	0	data->input_keys->max_vals	1-u32max
PARAM_VALUE	0	data->input_keys->mt	0,4096-ptr_max
PARAM_VALUE	0	data->input_keys->node.next	8912400628449923072
PARAM_VALUE	0	data->input_keys->node.prev	0,4096-ptr_max
PARAM_VALUE	0	data->input_keys->poller	0,4096-ptr_max
PARAM_VALUE	0	data->input_keys->setkeycode	1-u64max
PARAM_VALUE	0	data->input_keys->vals	16,4096-ptr_max
PARAM_VALUE	0	data->lcd	4096-ptr_max
PARAM_VALUE	0	data->lcd->entry.prev	1731407110090051584
PARAM_VALUE	0	data->lcd->ops	3091368497248845824
PARAM_VALUE	0	data->lcd->ops_lock.first_waiter	0
PARAM_VALUE	0	data->lcd->ops_lock.osq.tail.counter	0
PARAM_VALUE	0	data->lcd->ops_lock.owner.counter	0
PARAM_VALUE	0	data->lcd->props.max_contrast	255
PARAM_VALUE	0	data->lcd->update_lock.first_waiter	0
PARAM_VALUE	0	data->lcd->update_lock.osq.tail.counter	0
PARAM_VALUE	0	data->lcd->update_lock.owner.counter	0
PARAM_VALUE	0	data->lcd_brightness	255
PARAM_VALUE	0	data->lcd_contrast	229
PARAM_VALUE	0	data->lock.rlock.dep_map->name	0-255
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->rc_dev	4096-ptr_max
PARAM_VALUE	0	data->rc_dev->allowed_protocols	130023420
PARAM_VALUE	0	data->rc_dev->change_protocol	1635151880428535808
PARAM_VALUE	0	data->rc_dev->close	721390980081893376
PARAM_VALUE	0	data->rc_dev->driver_name	387725010386403328
PARAM_VALUE	0	data->rc_dev->driver_type	1
PARAM_VALUE	0	data->rc_dev->idle	1
PARAM_VALUE	0	data->rc_dev->lirc_cdev.count	0-1
PARAM_VALUE	0	data->rc_dev->lirc_cdev.kobj.kref.refcount.refs.counter	1
PARAM_VALUE	0	data->rc_dev->lirc_cdev.kobj.kset	0
PARAM_VALUE	0	data->rc_dev->lirc_cdev.kobj.ktype	1499647686170447872
PARAM_VALUE	0	data->rc_dev->lirc_cdev.kobj.name	0
PARAM_VALUE	0	data->rc_dev->lirc_cdev.kobj.release.wq	0
PARAM_VALUE	0	data->rc_dev->lirc_cdev.kobj.sd	0
PARAM_VALUE	0	data->rc_dev->lirc_cdev.ops	2840549827647221760
PARAM_VALUE	0	data->rc_dev->lirc_cdev.owner	0
PARAM_VALUE	0	data->rc_dev->lirc_dev.driver	0
PARAM_VALUE	0	data->rc_dev->lirc_dev.init_name	0
PARAM_VALUE	0	data->rc_dev->lirc_dev.power.completion.done	4294967295
PARAM_VALUE	0	data->rc_dev->lock.first_waiter	0
PARAM_VALUE	0	data->rc_dev->lock.osq.tail.counter	0
PARAM_VALUE	0	data->rc_dev->lock.owner.counter	0
PARAM_VALUE	0	data->rc_dev->map_name	8859302598165901312
PARAM_VALUE	0	data->rc_dev->minor	0-s32max
PARAM_VALUE	0	data->rc_dev->open	5686160177997373440
PARAM_VALUE	0	data->rc_dev->priv	s64min-(-4096),4096-s64max
PARAM_VALUE	0	data->rc_dev->rc_map.alloc	0-4000000
PARAM_VALUE	0	data->rc_dev->rc_map.size	0-268435455
PARAM_VALUE	0	data->rc_dev->registered	1
PARAM_VALUE	0	data->rc_dev->rx_resolution	1
PARAM_VALUE	0	*data->fb_info->par->bitmap	0-255
PARAM_VALUE	0	*data->fb_info->par->vbitmap	0-255
PARAM_VALUE	0	*data->keycode	0-u16max
PARAM_VALUE	1	eeprom_r	0,4096-ptr_max
PARAM_VALUE	1	eeprom_r->id	163
PARAM_VALUE	2	eeprom_w	0,4096-ptr_max
PARAM_VALUE	2	eeprom_w->id	164
PARAM_VALUE	3	flash_r	0,4096-ptr_max
PARAM_VALUE	3	flash_r->id	179
PARAM_VALUE	4	flash_w	0,4096-ptr_max
PARAM_VALUE	4	flash_w->id	180
PARAM_VALUE	5	reset	0,4096-ptr_max
PARAM_VALUE	5	reset->id	147
BUF_SIZE	0	data	600
DATA_SOURCE	0	data	$1
BIT_INFO	0	data->status	0x0,0x7ffffffe
TERMINATED	0	data->rc_dev->driver_name	1
TERMINATED	0	data->rc_dev->map_name	1
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