Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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->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_framebuffer()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
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->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