Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/hid-picolcd_debugfs.c picolcd_debug_flash_write() -> _picolcd_flash_write()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->hdev->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 data->hdev->dev.driver_data->pending 0
PARAM_VALUE 0 data->hdev->dev.driver_data->pending->ready.wait.lock.magic 3735899821
PARAM_VALUE 0 data->hdev->dev.driver_data->pending->ready.wait.lock.owner (-1)
PARAM_VALUE 0 data->hdev->dev.driver_data->pending->ready.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 data->mutex_flash.dep_map->name 0-255
PARAM_VALUE 0 data->mutex_flash.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 data->mutex_flash.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 data->mutex_flash.osq.tail.counter 0-s32max
PARAM_VALUE 0 data->mutex_flash.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 data->mutex_flash.wait_lock.owner (-1)
PARAM_VALUE 0 data->mutex_flash.wait_lock.owner_cpu u32max
PARAM_VALUE 1 report_id 180,244
PARAM_VALUE 3 s 64
PARAM_VALUE 4 off 4096-ptr_max
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 4 off (-1),8
BUF_SIZE 4 off (-1),8
CAPPED_DATA 0 data->hdev->dev.driver_data->hdev 1
CAPPED_DATA 0 &data->mutex_flash 1
CAPPED_DATA 2 u 1
DATA_SOURCE 2 u $1
DATA_SOURCE 4 off $3
FUZZY_MAX 1 report_id 244
BIT_INFO 1 report_id 0xb4,0xff
HARD_MAX 1 report_id 244
USER_DATA 2 u 0-u64max[c]
USER_DATA 4 *off 0-24575
USER_PTR 4 off
LOCK2 0 &data->mutex_flash
TYPE_LOCK (struct picolcd_data)->mutex_flash