Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/hid/hid-picolcd_debugfs.c picolcd_debug_reset_write() -> picolcd_fb_reset()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->hdev 4096-ptr_max
PARAM_VALUE 0 data->hdev->driver_input_lock.first_waiter->up 0-1
PARAM_VALUE 1 clear 1
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
CAPPED_DATA 0 data->hdev 1
NOCHECK_CALL
UNITS 0 data unit_array_size

drivers/hid/hid-picolcd_debugfs.c picolcd_debug_reset_write() -> picolcd_fb_reset()

Type Parameter Key Value
PARAM_VALUE 1 clear 1
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
NOCHECK_CALL
UNITS 0 data unit_array_size

drivers/hid/hid-picolcd_core.c picolcd_reset_resume() -> picolcd_fb_reset()

Type Parameter Key Value
PARAM_VALUE 1 clear 0
BUF_SIZE 0 data s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING

drivers/hid/hid-picolcd_fb.c picolcd_fb_update() -> picolcd_fb_reset()

Type Parameter Key Value
PARAM_VALUE 0 data 1-u64max
PARAM_VALUE 1 clear 0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &fbdata->lock
LOCK2 &fbdefio_state->lock
LOCK2 &info->lock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct fb_deferred_io_state)->lock
TYPE_LOCK (struct fb_info)->lock
TYPE_LOCK (struct picolcd_fb_data)->lock

drivers/hid/hid-picolcd_fb.c picolcd_init_framebuffer() -> picolcd_fb_reset()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->backlight 4096-ptr_max
PARAM_VALUE 0 data->backlight->dev.init_name 0
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->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->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->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 data->hdev->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 data->hdev->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 data->hdev->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
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 4096-ptr_max
PARAM_VALUE 0 data->hdev->driver_input_lock.lock.owner (-1)
PARAM_VALUE 0 data->hdev->driver_input_lock.lock.owner_cpu u32max
PARAM_VALUE 0 data->hdev->driver_input_lock.lock.raw_lock.val.counter 0-s32max
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->dev.power.completion.done u32max
PARAM_VALUE 0 data->input_keys->dev.power.usage_count.counter 0-s32max
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->dev.init_name 0
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->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->close 721390980081893376
PARAM_VALUE 0 data->rc_dev->dev.class 6207663014288752640
PARAM_VALUE 0 data->rc_dev->dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 data->rc_dev->dev.dma_uses_io_tlb 0
PARAM_VALUE 0 data->rc_dev->dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 data->rc_dev->dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 data->rc_dev->dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 data->rc_dev->dev.kobj.state_initialized 1
PARAM_VALUE 0 data->rc_dev->dev.links.status 0
PARAM_VALUE 0 data->rc_dev->dev.numa_node (-1)
PARAM_VALUE 0 data->rc_dev->dev.power.deferred_resume 0
PARAM_VALUE 0 data->rc_dev->dev.power.disable_depth 1
PARAM_VALUE 0 data->rc_dev->dev.power.early_init 1
PARAM_VALUE 0 data->rc_dev->dev.power.ignore_children 0
PARAM_VALUE 0 data->rc_dev->dev.power.is_prepared 0
PARAM_VALUE 0 data->rc_dev->dev.power.is_suspended 0
PARAM_VALUE 0 data->rc_dev->dev.power.last_status (-1)
PARAM_VALUE 0 data->rc_dev->dev.power.qos 0
PARAM_VALUE 0 data->rc_dev->dev.power.request 0
PARAM_VALUE 0 data->rc_dev->dev.power.request_pending 0
PARAM_VALUE 0 data->rc_dev->dev.power.runtime_auto 1
PARAM_VALUE 0 data->rc_dev->dev.power.runtime_error 0
PARAM_VALUE 0 data->rc_dev->dev.power.runtime_status 2
PARAM_VALUE 0 data->rc_dev->dev.power.timer_expires 0
PARAM_VALUE 0 data->rc_dev->dev.type 5956600962935705600
PARAM_VALUE 0 data->rc_dev->driver_name 387725010386403328
PARAM_VALUE 0 data->rc_dev->driver_type 1
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->open 5686160177997373440
PARAM_VALUE 0 data->rc_dev->priv s64min-(-4096),4096-s64max
PARAM_VALUE 0 data->rc_dev->rx_resolution 1
PARAM_VALUE 0 data->rc_dev->timeout 100000
PARAM_VALUE 0 *data->keycode 0-u16max
PARAM_VALUE 1 clear 1
BUF_SIZE 0 data 600
BUF_SIZE 0 data->fb_info s32min-s32max
DATA_SOURCE 0 data $0
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
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
LOCK2 &hdev->driver_input_lock
TYPE_LOCK (struct hid_device)->driver_input_lock